• 인터넷정보학회논문지
• /
• 제13권1호
• /
• pp.99-106
• /
• 2012

다수의 오브젝트로 구성된 반응형 시스템을 모델링 하거나 디자인하기 위해 외부의 입력 및 오브젝트들간의 상호작용을 분석하는 것은 중요하고 어려운 문제이다. 또한, 반응형 시스템이 요구 사항들을 모든 가능한 환경 하에서 올바르게 만족하는지를 확인하는 것은 많은 노력이 필요하다. 본 논문에서는 요구 사항들을 기존에 다양한 분야에서 사용되는 시나리오 명세 언어인 MSC(Message Sequence Chart)에 대해 구문 및 의미를 확장한 LSC(Live Sequence Chart)를 이용하여 반응형 시스템에 적합한 시나리오 기반 명세 모델을 만든다. 그리고 LTL Synthesis를 통해 각 오브젝트에 대하여 모든 요구 사항을 올바르게 만족하는 반응형 시스템 모델을 자동으로 생성한다. 마지막으로 생성된 반응형 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 반복함으로써 전체 반응형 시스템을 개발하는 방법을 제안한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.145-146
• /
• 2008

The appearance inspection of various electronic products and parts has been executed by the eyesight of human. But inspection by eyesight cannot bring about uniform inspection result. Because the appearance inspection result by eyesight of human is changed by condition of physical and spirit of the checker. So machine vision inspection system is currently used to many appearance inspection fields instead of the checker. However the inspection result of machine vision is changed by the illumination of workplace. Therefore we proposed histogram specification in this paper for machine vision inspection accuracy. As a result of histogram specification algorithm, we could increase the exactness of visual inspection and prevent system error from physical and spirit condition of human. More specifically, average inspection error rate was 7.5[%] in existing inspection method but we could see 0.6[%] error rate after applying the algorithm which is presented in this paper.

• 정보과학회 논문지
• /
• 제44권1호
• /
• pp.27-35
• /
• 2017

사용자 및 기기의 상황을 파악하고 이에 따라 실시간으로 사용자 인터페이스를 변경하는 '적응형 사용자 인터페이스 (Adaptive User Interface)' 연구가 진행되어 왔다. 기존 관련 연구들은 주로 설계 방법론에 초점을 맞추고 있으며, 요구공학 방법론에 대해서는 거의 다루어지지 않았다. 본 연구에서는 적응형 사용자 인터페이스를 요구공학 관점에서 조명하고, 자가 적응 시스템 분야에서 연구되어 온 개념들에 기초한 요구사항 도출 및 명세 방법을 제안한다. 잘 알려진 자가 적응 소프트웨어 개념들을 재정의 및 해석한 후, 적응형 사용자 인터페이스 요구사항을 도출 및 명세하는 방법을 단계적으로 보인다. 사례연구에서는 제안하는 방법에 따라 적응형 사용자 인터페이스 요구사항을 도출 및 명세하여 본 기법이 효과적임을 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.265-269
• /
• 2009

정형명세기법은 안전최우선시스템 소프트웨어의 안전성을 일정 수준 이상 보장할 수 있는 기법으로서, 원자력 발전소의 디지털 제어시스템의 개발에 사용되고 있다. 정형명세기법 NUSCR로부터 Programmable Logic Controller(PLC) 시스템을 구현하기 위한 소프트웨어인 Function Block Diagram(FBD) 프로그램을 자동으로 생성하는 기법[1]이 개발되었으나, 이를 지원하는 자동화 도구가 없어 이 기법이 널리 사용되지 못하였다. 본 논문에서는 이어 자동생성 기법을 지원하기 위하여 개발된 자동화 도구 NuSCRtoFBD를 소개한다. 본 연구에서 제안하는 NuSCRtoFBD 도구를 사용하여 NuSCR로부터 FBD를 자동생성 함으로써, 기존의 수동 프로그래밍 작업에서 발생했던 다수의 오류들을 줄일 수 있다.

• 전자공학회논문지A
• /
• 제33A권7호
• /
• pp.1-14
• /
• 1996

Effects of the external optical feedback on the optical transmission characteristics were evaluated for 3 kinds of commercialized DFB-LD modules for 2.5Gbps optical communication systems. As a result, intensity noise induced by external optical feedback via generating the external cavity modes deteriorated the transmission performances of sthe DFB-LD modules as much as 1.5dB, 1.2dB, and 1.0dB for the maximum feedback ratio of -8.8dB which corresponds to the worst reflection along the fiber transmission line. Additional penalty of 0.5dB was occurrred when state of polarization of feedback light was adjusted. From the experiments evaluating the isolation ratio of the single polarization optical isolator, decrease of the polarization dependent isolation ratio as much as 10dB from that of specification and the effective isolation ratio as much as 20dB from that of specification was mjor cause of high sensitivity of DFB-LD modules to external feedback. It was suggested that polarization independent optical isolator or single polarization optical isolator with isolation ratio specification of more than 40dB is required for 2.5Gbps DFB-LD modules with complete suppression of external feedback effects.

• 한국CDE학회논문집
• /
• 제10권3호
• /
• pp.188-198
• /
• 2005

There are two types of mold parts, ready-made standard parts and ETO (Engineered-to-Order) parts, the latter are of increasing importance to manufacturers. However, the ETO parts require more engineering support and communication than the ready-made standard parts. Existing e-Catalog modules provide classification structures of products that allow customers to select products based on their needs, and the trade begins with the provided specification. However, machine parts or mold parts have different purchasing patterns. Customers do not purchase the ready-made standard parts offered by an e-Catalog. They usually (1) add own options to the provided specifications or (2) change specification items such as length. To support these trades, a new e-Catalog system is proposed. The proposed system is based on the product design process and the specification selection process in addition to the parts classification structure.

• 한국항행학회논문지
• /
• 제16권1호
• /
• pp.54-61
• /
• 2012

차세대 ITS 환경을 위한 차량용 무선 통신 규격인 WAVE 규격은 IEEE 802.11p와 IEEE P1609 규격을 통칭하며, IEEE 802.11p의 규격제정이 마무리됨에 따라 최근 많은 연구가 진행되고 있다. 고속 차량 환경과 실내 환경의 차이는 무선 통신 채널 모델이 훨씬 가혹하다는 것이다. 따라서, 무선 통신 시스템의 설계 시 온도, 잡음, 다중 경로 페이딩과 같은 시스템의 성능을 저하시킬 수 있는 사항들을 충분히 고려하여야 한다. 본 논문에서는 IEEE 802.11p PHY/MAC을 기반으로 하는 WAVE 무선 통신 시스템을 위한 RF 회로를 설계하고 실제로 구현하면서 나타나는 문제들을 보이고 이를 해결하는 과정을 보였다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.1127-1132
• /
• 2003

Suspension system of vehicle have enough endurance during its life time to protect passenger. Spring is one of major part of vehicle. Thus, a fatigue strength evaluation for leaf spring based on road load response was carried out. At first, strain of leaf spring is measured on the city condition and proving ground condition. And next, the damage analysis of road load response data was carried out. And fatigue test of leaf spring were also carried out. Based on -N life relation, fatigue life of leaf spring was evaluated at belgian mode, city mode and drawing test specification. After that, it is compared the design life of leaf spring and evaluated fatigue life by belgian mode, city mode and drawing test specification. From the above, the maximum load-fatigue life relation of leaf spring was defined by test. and new test target of belgian mode and city mode was proposed to accept design specification of leaf spring. It is expect that proposed test target can verify leaf spring fatigue endurance at specific road condition.

• 공학교육연구
• /
• 제16권1호
• /
• pp.35-44
• /
• 2013

The purpose of this study is to develop an examination system for an e-learning quality manager's certificate which is composed of subjects, criteria, method of examination. The task model of e-learning quality manager was modify and task/knowledge/skill matrix was developed to design the examination system through conferences of DACUM committee and an advisory committee. And a survey was carry out to analyze validity of contents of the examination system. The major findings were as the follow: First, occupational specification, job specification, task specification and task/knowledge/skill matrix were developed. Second, examination subjects were developed based on task/knowledge/skill matrix, which were "Basis of e-Learning and plan of service", "Expulsion and management of e-learning infrastructure", "Development of e-learning contents", "Operation and evaluation of e-learning service". Third, the criteria and methods of examination for an e-learning quality manager's certificate were developed, which is composed of test type, the sum of test items, test time and acceptable standards.

• 패션비즈니스
• /
• 제11권2호
• /
• pp.155-171
• /
• 2007

This research aims to present the corresponding dimensions of China men's clothes on the basis of size specification of Korea men's suits. The results of this study, with the cooperation of Sejung Company exporting men's clothes to Ningbo City, Zhejiang Province in China, are as follows: 1. Based on the drop standard of KS K 0050, the body types of Chinese men in their 20s were classified. A body types were 55.77%, Y body types were 32.16%, B body types were 11.55% and BB body types were 1.51%. 2. According to the criteria of ready-made dimensions of normal body type suggested in Korea Standards, and in consideration of the basic distribution reality of body dimensions, representative 5 sizes were selected. 3. Research jackets by different sizes were produced and went through wearing tests. The means of 1st wearing test were 3.86, 4.09, 4.09, 3.57, and 3.69. The mean of 2nd wearing test of 88-73-170 size was 4.32. 4. The corresponding size specification of China men's clothes based on those of Korea men's suits were presented here, showing product sizes and physical items in detail.