• Journal of the Korean Society of Systems Engineering
• /
• v.13 no.2
• /
• pp.9-17
• /
• 2017

Concept development of a real-time Field Programmable Gate Array (FPGA)-based switched Ethernet data communication network for the Man-Machine Interface System (MMIS) is presented in this paper. The proposed design discussed in this research is based on the systems engineering (SE) approach. The design methodology is effectively developed by defining the concept development stage of the life-cycle model consisting of three successive phases, which are developed and discussed: needs analysis; concept exploration; and concept definition. This life-cycle model is used to develop an FPGA-based time-triggered Ethernet (TTE) switched data communication network for the non-safety division of MMIS system to provide real-time data transfer from the safety control systems to the non-safety division of MMIS and between the non-safety systems including control, monitoring, and information display systems. The original IEEE standard 802.3 Ethernet networks were not typically designed or implemented for providing real-time data transmission, however implementing a network that provides both real-time and on-demand data transmission is achievable using the real-time Ethernet technology. To develop the design effectively, context diagrams are implied. Conformance to the stakeholders needs, system requirements, and relevant codes and standards together with utilizing the TTE technology are used to analyze, synthesize, and develop the MMIS non-safety data communication network of the APR1400 nuclear power plant.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2003.04a
• /
• pp.313-320
• /
• 2003

The efficient and well organized database is essential for the management of information in every industrial field. In this study, a practical and effective database which can handle 3-D information of steel bridges is built on the basis of a STEP-based data model. The data model of steel bridge information is classified into geometric and non-geometric part and the design information is represented by linking geometric information and life cycle supported non-geometric information. Especially, the shape information is represented by boundary representation method, which is one of the representative methods of solid model information. In this study, ISO/STEP(STandard for the Exchange of product model data) AP203(configuration controlled design) EXPRESS schema is used to represent the shape information of steel bridge. The syntax of EXPRESS schema of developed data model is verified by NIST Expresso - is a tool for parsing and compiling EXPRESS schema. Also, this study verifies the conformance of the data model by applying to the real data of Hannam bridge. Therefore, the constructed database using STEP-based data model of steel bridges can be used effectively in the concurrent engineering point of view with transferring and sharing steel bridge information.

• Journal of Korea Multimedia Society
• /
• v.24 no.7
• /
• pp.913-921
• /
• 2021

After arranging the general usability evaluation criteria of existing VUI researchers, this study verified how appropriate these criteria are for AI VUI specialized in navigation and the priority of their suitability. The VUI used in this study was analyzed through a survey from a total of 195 Chinese users after analyzing the navigation VUI used in China. As a result of the analysis, the usability evaluation criteria of the navigation VUI were extracted from three sub-factors of 'task accuracy', 'function satisfaction', and 'information reliability' in verifying conformance with general VUI evaluation criteria. With the recent advent of self-driving cars, safety and response speed are becoming very important, so Chinese users also ranked responsiveness as the top priority in VUI design, and the importance was also found to be high. Also, both men and women have the highest reactivity and the lowest multiplicity. VUI requires a convenient and natural interface to understand the intention between two objects through usability evaluation and verification in order to have effective interaction between humans and machines.

• Proceedings of the KIEE Conference
• /
• 2008.04a
• /
• pp.41-42
• /
• 2008

무선방식으로 원격에서의 인식으로 정보교환을 가능하게 하는 RFID(Radio Frequency IDentification) 시스템은 태그 내의 배터리 유무에 따라 수동형과 능동형으로 구분된다. 수동형 태그는 판독기로부터 받은 RF 신호를 에너지로 이용하기 때문에 인식거리가 짧으며, 가격이 싸고 반영구적으로 사용할 수 있는 장점이 있다. 반면에, 능동형 태그는 금속재질에 취약한 수동형의 단점을 극복하는 동시에 인식거리가 길고, 인식률이 좋은 장점이 있다. 따라서 항만물류나 국방 분야에서 능동형 RFID 시스템에 대한 개발이 점차 확대되고 있다. 하지만 동일한 표준으로 개발된 제품의 서로 간에 인식이 불가능한 사례가 보고되고 있으며, 국제적으로 정확한 평가방법 및 장치가 정립되지 않아 개발된 제품들 간의 상호 운용성 및 표준 적합성 평가에 대한 어려움이 존재한다. 본 논문에서는 능동형 RFID 시스템의 적합성 평가를 위한 에뮬레이터의 하드웨어 및 소프트웨어를 설계하고 제작하였다. 설계된 장치는 Matlab의 Simulink를 통한 시뮬레이션으로 성능을 분석하였고, 실제 능동형 RFID 태그의 표준적합성 평가를 통해 에뮬레이터의 적용 가능성을 검증하였다.

• The KSFM Journal of Fluid Machinery
• /
• v.16 no.5
• /
• pp.11-17
• /
• 2013

This study is aimed to construct a marine small hydro power plant using discharge water of fish farm in Jeju Haengwon-ri. The difference of design methods between marine small hydro power plant and land small hydro power plant is to consider the tides. Moreover, ground condition should be examined because gushout sea water comes out from the ground at high tide in Jeju as the ground of Jeju beach consists of basalt stone. From the field test of the turbine generator after construction of the power plant, output power and efficiency of the turbine generator shows good conformance to the required conditions.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.5
• /
• pp.434-445
• /
• 1990

Protocol testing techniques are expanded from the traditional simple function- testing based on the OSI model, to sophisticated performance testing, conformance testing and interoperability testing. In addition, both point-to-point and point-to-multipoint protocols are to be covered. This paper presents a new multiple-purpose protocol test system where the common platform includes the test sequence generation and test result analysis, and the modular test execution part is selectively adjusted according to the test purposes and protocols under test. This paper describes test system for network routing protocol and test system for transport protocol, designed upon the ideas of the multiple-purpose protocol test system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.602-604
• /
• 2003

국내 전자상거래의 표준으로 채택된 ebXML에 대한 관심이 집중되면서 앞으로 전자상거래 솔루션에 대한 제품 개발이 활발히 이루어질 것으로 보인다. 현재 제품 출시 초기 단계에서 제품의 시험 및 인증의뢰에 대한 대비책을 세우기 위해 ebXML 표준적합성 시험, 인증 모델의 개발이 절실하게 필요하다. 본 논문에서는 ebXML 적합성 평가를 위한 시스템을 설계하고, 메시지 서비스의 적합성 여부를 판단하기 위한 테스트 요구 사항을 추출하여 각 요구 사항 항목에 대한 테스트 케이스를 정의한다. 본 논문에서 설계한 적합성 테스트 도구를 이용하여 ebXML Messaging Service의 표준적합성 시험. 인증을 위한 평가 기준을 제공할 수 있으며. 국내/국외 기업체의 ebXML 솔루션 제품 개발에 도움을 줄 것으로 기대한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.324-326
• /
• 2008

컴포넌트 기반 개발(Component Based Development, CBD)은 높은 품질의 소프트웨어를 신속하고 효과적으로 개발할 수 있는 방법으로써 각광 받아 왔다. 하지만 CBD를 이용한 기존의 소프트웨어 개발은 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하였다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태머신으로 표현하고, 표현된 상태머신을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태머신으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 설계한다.

• The Journal of the Acoustical Society of Korea
• /
• v.31 no.4
• /
• pp.225-234
• /
• 2012

The anechoic chamber is essential tool to measure the various acoustic parameters with high precision. The chamber provides the climate controlled indoor environments but requires the dedicated room at a great cost in order to isolate and absorb sound field. Provided the purpose of the chamber is specific to the experiments of sound localization, the performance requirements excluding free field can be alleviated for cost effective solution. This paper designs low cost and profile anechoic chamber based on acoustic pyramids and evaluates the performance specified by the Annex of ISO 3745. Data analysis is employed to measure the free and hemi-free field performance over five straight paths for working areas and four paths for non-working areas. The identical two measurement campaigns were conducted for free and hemi-free field chamber which is easily interchangeable by simple labor in this chamber design. In the working area with conventional speaker, the results of these analyses demonstrate that lab-designed anechoic chamber is in conformance with ISO 3745 for 250 Hz - 16 kHz one-third octave band at free field chamber and for 1 kHz - 16 kHz one-third octave band at hemi-free field chamber.