• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.6
• /
• pp.657-662
• /
• 2014

Usually, spatial information can be incorporated into histograms by taking histograms of a multiresolution image. For these reasons, many researchers are interested in multiresolution histogram processing. If the relation and sensitivity of the multiresolution images are well combined without loss of information, we can obtain satisfactory results in several fields of image processing including histogram equalization, specification and pattern matching. In this paper, we propose a multiresolution histogram specification method that improves the accuracy of histogram specification. The multiresolution decomposition technique is used in order to overcome the unique feature of a histogram specification affected by a quantization error of a digitalized image. The histogram specification is processed after the reduction of image resolution in order to enhance the accuracy of the results by histogram specification methods. The experimental results show that the proposed method enhances the accuracy of specification compared to conventional methods.

• Korean Journal of Construction Engineering and Management
• /
• v.18 no.3
• /
• pp.33-41
• /
• 2017

A modular specification is a contract document that specifies the requirements of production, transformation and installation in a modular construction. A problem of the currently used specification is that it does not guarantee the level of performance required by the modular construction and fails to accommodate unique characteristics of each construction because it widely uses the standard specification as it is. This study proposes a specification that reflects the unique feature of modular construction in order to improve the quality of modular construction. Research focuses on the leakage in waterproof and mechanical equipment because it is the area with the highest rate of defects. This study suggests ways to improve the modular specification as follows: 1)Descriptive specifying (following MasterFormat) 2)Propose leakage verification method and test clause 3) Reflect characteristic of modular construction. Proposed modifications to modular specification are reviewed by experts for validation and their opinion verifies suggested improvements as a way to secure the quality of modular construction and to promise characteristics of the modular specification. This improvement will be used for reference when writing construction project specification, which can be an important contract document, so that it could lower occurrence rate of the modular defects.

• Language and Information
• /
• v.19 no.2
• /
• pp.37-53
• /
• 2015

It has been widely accepted that Korean -i/ka, known as the nominative marker, can give rise to exhaustivity effect. However, it has been rarely discussed and still remains unclear how and why the particle can convey exhaustivity. The purpose of this paper is to shed light on this issue, based on Kim's (2014) analysis of the function of -i/ka. The main claim is that the exhaustivity expressed by -i/ka is a pragmatic effect derived from the interaction of the function of -i/ka, namely, unique specification, and the existence of alternatives to the denotation of an -i/ka-marked phrase in discourse context. Thus, the nature of the exhaustive implicature induced by -i/ka is not conventional but conversational.

• Nuclear Engineering and Technology
• /
• v.38 no.3
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.9
• /
• pp.4248-4270
• /
• 2018

This research aims at a new practical Intent fuzzing tool for detecting Intent vulnerabilities of Android apps causing the robustness problem. We proposed two new ideas. First, we designed an Intent specification language to describe the structure of Intent, which makes our Intent fuzz testing tool flexible. Second, we proposed an automatic tally method classifying unique failures. With the two ideas, we implemented an Intent fuzz testing tool called Hwacha, and evaluated it with 50 commercial Android apps. Our tool offers an arbitrary combination of automatic and manual Intent generators with executors such as ADB and JUnit due to the use of the Intent specification language. The automatic tally method excluded almost 80% of duplicate failures in our experiment, reducing efforts of testers very much in review of failures. The tool uncovered more than 400 unique failures including what is unknown so far. We also measured execution time for Intent fuzz testing, which has been rarely reported before. Our tool is practical because the whole procedure of fuzz testing is fully automatic and the tool is applicable to the large number of Android apps with no human intervention.

• Journal of Korean Medical classics
• /
• v.34 no.4
• /
• pp.95-117
• /
• 2021

Objectives : Based on the entries on each medicinal's 'specification' and the phrase '所以然' in the Shennong Bencao Baizhonglu, this paper aims to examine Xu Dachun's understanding of herbal medicinals. Methods : One hundred medicinals from the text were sorted into eight categories: Qi, flavor, color, form, quality, nature and characteristic, time of growth, and producer, then examined. Results : 1. Medicinals related to Qi were aromatic and pungent and warm. 2. Medicinals related to flavor were explained according to the Five Flavors' nature in terms of the thing and its functions theory. 3. Medicinals related to color were explained in relation to the Five Colors, whose interpretations were rather erratic. 4. Medicinals related to form were explained as it being possible to figure out their effects based on each medicinal's shape and form. 5. Medicinals related to quality were those that were used to manage dryness and dampness using their dry or wet qualities. 6. Medicinals related to nature and characteristics needed to be understood in their originality to grasp their unique abilities. 7. Both producer and time of growth were closely related to each medicinal's efficacy. Conclusions : Understanding of the application of medicinals in the Shennong Bencaojing through continuous examination into each medicinal's 'specification' and 'its reasoning', together with their clinical application, will allow for learners to build an understanding of herbal medicinals.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.6
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• Proceedings of the Korea Contents Association Conference
• /
• 2019.05a
• /
• pp.465-466
• /
• 2019

Storytelling marketing is attracting attention as a customer-oriented brand communication activity in an over-competitive marketing environment that is overflowing with products and without specification of brand and products. This case study is researched for USP strategies in terms of excitability, storytelling, and interactivity, which are components of storytelling marketing to positively interact with customers for effective and sustained competition. And this research could be helped effective and sustained competition for brand and productions.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1861-1863
• /
• 2007

In rock mass, great many discontinuity exists that is caused to various factors of formation. But these are parted to some groups by specific category, so called these as discontinuity set. This discontinuity set has unique special characteristics in original rock mass, but for the moment, differ the special quality if external force such as digging etc. acts, specially, change of stress condition. Also, geometrical relation change between discontinuity orientation and direction of excavation various characteristic is seen. Therefore, we introduce here the useful chart that can do specification these relation.