• 한국항행학회논문지
• /
• 제13권1호
• /
• pp.74-78
• /
• 2009

본 논문은 IP-USN 기반의 FDA(Fault Detection Agent)의 설계와 구축을 설명한다. FDA는 IP-USN 기반의 홈 네트워크 환경에서 멀티미디어 원격 교육을 위한 소프트웨어 오류를 감지하기에 적합한 에이전트이다. 이 시스템은 ED, ES로 구성되어 있다. ED는 IP-USN 기반 환경에서 멀티미디어 원격 교육을 위하여 훅킹 기법으로 오류를 감지하는 에이전트이다. ES는 IP-USN 기반 환경에서 멀티미디어 원격 교육을 위하여 오류를 공유하는 에이전트이다.

• 정보과학회지
• /
• 제5권2호
• /
• pp.105-107
• /
• 1987

A storage tube, Tektronix 4010, was added to NOVA 840 system at Korea Advanced Institute of Science in 1974 and efforts were made to develop an interactive graphics system. These include a software library, called TCS(Terminal Control System) [4], algorithms for hidden line and surface eliminations [5. 6], and two single user graphics systems based on different concepts involving graphic languages [2, 11]. A storage tube is a low-cost terminal, which is useful in certain applications, but introduces some problems since partial modification of the screen is not possible without erasing it entirely. Thus it has far reaching effects on the design of an interactive graphics system. The components of an interactive graphics system will be explained in section 2 and their relation ships with the choice of storage tube as the output device will be pointed out.

• Bulletin of the Korean Chemical Society
• /
• 제14권2호
• /
• pp.211-215
• /
• 1993

A multichannel optical detector system employing a self-scanning linear photodiode array has been developed. The photodiode array detector system is designed for various applications which require fast, multichannel detection of transient signals. The detector system consists of a controller which runs on an IBM personal computer and a detector head connected to the controller through a DB-15 cable. The entire scanning of 1024 detector elements is achieved in 20 ms. By using an on-board 16-bit counter/timer, the operational mode of the photodiode array detector is fully programmable by software. The design considerations and the performance of the photodiode array detector system is presented.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• 유공압시스템학회논문집
• /
• 제8권4호
• /
• pp.24-31
• /
• 2011

Double-color Injection molding machine is the assembly of many kinds of mechanical, fluid power part and electric electronic control system. From in these, fluid power is a part where becomes the first core of this machine. Fluid power systems of double-color injection molding machine are modelled and analyzed using a commercial program AMESim. Partial system models which is divided according to functional operation are made and its analysis results shows how design parameters work on operational characteristics like pressure, flow rates, displacement at each node and so on. Analysis modeling and compared the data which gets from experiment and the analysis result which has a reliability got data. The results made by analysis will be used design of fluid power circuit for developing a double-color injection molding machine.

• International Journal of Internet, Broadcasting and Communication
• /
• 제11권3호
• /
• pp.49-58
• /
• 2019

Efficient evidential reasoning is an important issue in the development of advanced knowledge based systems. Efficiency is closely related to the design of problems solving methods adopted in the system. The explicit modeling of problem-solving structures is suggested for efficient and effective reasoning. It is pointed out that the problem-solving method framework is often too coarse-grained and too abstract to specify the detailed design and implementation of a reasoning system. Therefore, as a key step in developing a new reasoning scheme based on properties of the problem, the problem-solving method framework is expanded by introducing finer grained problem-solving primitives and defining an overall control structure in terms of these primitives. Once the individual components of the control structure are defined in terms of problem solving primitives, the overall control algorithm for the reasoning system can be represented in terms of a finite state diagram.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 전력전자학회논문지
• /
• 제22권4호
• /
• pp.312-323
• /
• 2017

This paper introduces the bidirectional dc-dc converter design case study, which employs silicon-carbide (SiC) MOSFETs for battery energy storage system (BESS). This converter topology is selected as bidirectional synchronous buck converter, which is composed of a half bridge converter, an inductor, and a capacitor, where the converter has less conduction loss than that of a unidirectional buck and boost converter, and to improve the converter efficiency, both the power stage design and power conversion architecture are described in detail. The conduction and switching losses are compared among three different SiC devices in this paper. In addition, the thermal analysis using Maxwell software of each switching device supports the loss analyses, in which both the 2 kW prototype analyses and experimental results show very good agreement.

• Journal of Advanced Marine Engineering and Technology
• /
• 제19권4호
• /
• pp.72-78
• /
• 1995

The diffusion of fuzzy logic techniques into real applications requires specific software supports which save development time and reduce the programming effort. But we has been lack of a tool devoted to support the design of fuzzy controllers. In this paper, on the basis of the general fuzzy set and .alpha.-cut set decomposition of fuzzy sets, a set of fuzzy reasoning tool(FRT) devoted to support the design of fuzzy dontroller for servo systems is developed. The major features of this tool are: 1) It supports users to analyze fuzzy ingerence status based on input deta and expected results by three-D graphic display. 2) It supports users to prepare input data and expected result. 3) It supports users to tuned scaling factor of membership functions, rules and fuzzy inference. The paper shows how the suggested design tools are suitable to give a consistent answer to the tuning of fuzzy control system. This FRT is expected to exert good performance and devoted to support which the design of fuzzy controller is illustrated in the servo systems.

• Nuclear Engineering and Technology
• /
• 제53권7호
• /
• pp.2184-2194
• /
• 2021

The Free-Piston Stirling engine (FPSE) is of interest for many research in aerospace due to its advantages of long operating life, higher efficiency, and zero maintenance. In this study, a 1-kW FPSE was proposed by analyzing the requirements of Space Reactor Power Systems (SRPS), of which performance was evaluated by developing a code through the Simple Analysis Method. The results of SAM showed that the critical parameters of FPSE could satisfy the designed requirements. The heater of the FPSE was designed with the copper rectangular fins to enhance heat transfer, and the parametric study of the heater was performed with Computational Fluid Dynamics (CFD) software STAR-CCM⁺. The Performance Evaluation Criteria (PEC) was used to evaluate the heat transfer enhancement of the fins in the heater. The numerical results of the CFD program showed that pressure drop and Nusselt number ratio had a linear growth with the height of fins, and PEC number decreased as the height of fins increased, and the optimum height of the fin was set as 4 mm according to the minimum heat exchange surface area. This paper can provide theoretical supports for the design and numerical analysis of an FPSE for SRPSs.