• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제20권10호
• /
• pp.561-566
• /
• 2014

통신기능과 상호연동가능성을 통해 의료기기들을 통합 제어함으로써 의료서비스의 효율과 환자의 안전성을 높이려는 요구가 증가하고 있다. 그러나, 네트워크와 제어컴퓨터를 통한 의료기기의 통합이 체계적이지 못할 경우 시스템의 복잡도를 크게 높이게 되며, 이는 안전사고의 위험성을 높일 가능성이 있다. 본 논문에서는 의료기기간의 안전한 상호작용 형태를 패턴으로 분류하였으며, 이를 이용하여 네트워크 통합형 의료기기의 제어 구조를 계층적으로 설계하고 안전성을 검사하는 방법을 제시한다. 제안된 기법은 Architecture Analysis and Description Language (AADL)의 플러그인으로써 구현되었다. AADL환경에서 의료기기들을 가상으로 통합하고, 이들의 구조적인 안전성 여부를 검사할 수 있게 함으로써, 실제 개발에 앞서 안전성을 검증할 수 있게 된다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2002년도 추계 학술대회논문집
• /
• pp.28-34
• /
• 2002

A computational study of supersonic flow around lateral jet controlled missile has been performed. For this study, three dimensional Navier-Stokes code(AADL3D) has been developed. Spalart-Allmaras one equation turbulence model has been implemented on the AADL3D code for relatively rapid computational time. For the validation of developed code, AADL3D, pressure distributions on an ogive-cylinder body has been compared with experimental data. Also, the shock structure of sonic jet on the flat plate in the supersonic flow field has been compared with experimental flow visualization result to see the analysis capability of freestream-jet interaction case. A case study has been performed through comparing the normal force coefficient and the moment coefficient of missile body for several jet flow conditions. Current results will be used to the optimum design of a lateral jet controlled missile.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• 한국항공우주학회지
• /
• 제32권8호
• /
• pp.64-71
• /
• 2004

측 추력(Lateral Jet)을 이용하여 자세를 제어하는 미사일 주위의 초음속 유동장 해석을 위하여 삼차원 Navier-Stokes 코드 (AADL3D)를 개발하고, 이를 이용한 수치해석 연구를 수행하였다. 분출 제트 압력, 분출 마하수 등을 포함하는 제트의 유동특성이 미사일에 미치는 수직력 및 피칭모멘트에 대한 영향을 알아보기 위한 사례연구를 수행하였으며, 공력 해석 결과 제트의 분출 압력과 분출 마하수 변화에 따른 서로 다른 수직력과 모멘트 변화 양상 및 그 원인을 확인할 수 있었다. 또한 대부분의 수직력 손실과 피칭모멘트 발생은 노즐 후방의 저압영역에 의한 것이며, 동일한 제트 추력일지라도 분출 마하수가 큰 경우가 분출 압력이 큰 경우보다 모멘트 발생 최소화에 유리함을 확인하였다.

• 한국항공우주학회지
• /
• 제32권9호
• /
• pp.27-34
• /
• 2004

측 추력(Lateral Jet) 제어 시스템에 의해 자세제어를 하는 미사일 주위의 초음속 유동장 해석을 위하여 삼차원 Navier-Stokes 코드 (AADL3D)를 개발하고, 이를 이용한 수치해석 연구를 수행하였다. 미사일의 받음각, 제트 노즐의 위치, 그리고 제트의 분출 각 등의 Parameter가 미사일에 미치는 수직력 및 피칭모멘트에 대한 영향을 알아보기 위한 사례 연구를 수행하였다. 또한 미사일은 무게 중심을 기준으로 4개 영역으로 나뉘어 각 부분에서의 수직력과 모멘트에 대한 기여도를 비교하였다. 공력해석 결과, 각 Parameter 변화에 대한 서로 다른 수직력과 모멘트 변화양상 및 그 원인을 확인할 수 있었다. 또한 각 Parameter 의 적절한 조합에 의해 모멘트 발생을 최소화 할 수 있음을 보여 주었다.

• 한국가시화정보학회:학술대회논문집
• /
• 한국가시화정보학회 2004년도 춘계학술대회 논문집
• /
• pp.9-18
• /
• 2004

초음속 유동하에서 측추력기 주위의 유동 현상을 실험 및 수치해석을 이용하여 해석하였다. 실험은 버지니아공대의 초음속 풍동과 건국대의 초음속 풍동을 사용하였으며 계산 코드는 Aerosoft 사의 GASP(ver.4.0)과 건국대의 AADL3D를 사용하였다. 실험결과는 Schlieren, Shadow graph 등의 가시화 장치와 압력 센서와 PSP(Pressure Sensitive Paint)를 이용하여 유동장 특성과 압력분포를 구하여 실제 작용되는 힘과 모멘트를 구하였다. 실험조건은 자유류의 흐름이 마하수 4 이고 측추력기와 자유류의 압력비가 532 이었다. 성능향상 방안으로 측추력기 후방에 램프를 설치하는 것을 제안하였으며 이에 대한 실험을 수행하여 수직력에 대한 변화는 없지만 피칭다운 모멘트가 약 $70\%$ 감소함을 보여주어 실제로 성능이 향상되었음을 입증하였다. 또한 측추력기의 성능에 영향을 주는 여러 가지 인자들에 대한 가시화실험을 수행하여 그 이해를 돕고자 하였으며, 현재 건국대에서 보유하고 있는 고속유동 관련 실험장치의 소개와 이를 이용한 연구들을 소개하므로써 압축성 유동장 연구에 이러한 실험장치의 필요성에 대한 이해를 구하고자 한다.