• 제어로봇시스템학회논문지
• /
• 제20권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.

• 한국건설관리학회논문집
• /
• 제18권3호
• /
• pp.33-41
• /
• 2017

모듈러 시방서는 모듈제작, 운송, 설치에 필요한 요구사항을 기술하는 계약문서이다. 그러나 기존 모듈러 시방서의 문제점은 모듈러 공사에서 요구하는 성능수준을 보장해주지 못하고 공사별 특성을 배제한 채 건축공사 표준시방서의 내용을 그대로 차용하고 있다는 것이다. 본 연구에서는 모듈러 건축의 품질개선 방안으로 모듈러 특성에 적합한 공사시방서를 제안하였다. 연구의 범위는 하자발생이 높은 방수공사 및 기계설비공사에 한하여 진행하였다. 본 연구에서 제안하는 모듈러 시방서 개선방안은, 1) 마스터 포맷에 따른 descriptive형식의 서술, 2)누수점검 및 검사 항목 반영, 3) 모듈러 특성을 고려한 시방서 내용 작성이다. 개선안을 전문가 면담을 통해 검증하였으며 이와 같은 개선방안이 모듈러 공사시방서를 보완하여 향후 모듈러 건축의 품질향상을 가져올 수 있을 것으로 평가하였다. 본 연구에서 제안하는 시방서 개선안은 전체 공사시방서 작성의 가이드가 될 수 있으며, 이를 통해 모듈러 건축의 하자발생률을 낮추는데 큰 영향을 미칠 수 있을 것이다.

• 한국언어정보학회지:언어와정보
• /
• 제19권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
• /
• 제38권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)
• /
• 제12권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.

• 대한한의학원전학회지
• /
• 제34권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.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• Journal of Electrical Engineering and information Science
• /
• 제2권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.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2019년도 춘계종합학술대회
• /
• pp.465-466
• /
• 2019

특별한 차별성 없이 평준화되고 있는 제품들로 넘쳐나는 과대경쟁 마케팅 환경 속에 브랜드 및 제품의 스토리텔링 마케팅은 고객 지향적 브랜드 커뮤니케이션 활동으로 주목받고 있다. 효과적이고 지속적인 경쟁유지를 위한 USP전략을 성공적으로 활용한 사례를 중심으로 스토리텔링 구성요소인 실행성, 이야기성 및 상호작용성의 관점에서 분석하여 고객과의 상호작용을 긍정적으로 이끌어 내고 지속적인 경쟁우위를 유지하기 위한 방법을 알아보았다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• 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.