• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.04a
• /
• pp.591-595
• /
• 1995

진동구조물의 해석 또는 설계변경 등을 위해서는 구조물의 강체특성(질량, 질량중심위치, 관성모멘트, 관성적, 주축방향)을 정확히 추정할 필요가 있다. 본 연구에서는 Direct System Identification Method를 애용하여 진동 시험으로부터 얻어진 잡음이 혼입된 데이터로 부터 특성행렬(질량행렬, 감쇄행렬, 강성행렬의총칭)을 직접 규명하는 반복계산에 의한 노이즈에 강인한 방법의 개발과 가상중심점을 이용하지 않고 실험으로 부터 얻어지는 병진성분 데이터를 직접 이용하여 강체특성을 추정하는 방법을 개발한다. 마운트 지지된 평판모델에 대한 실험적 응용과 시뮬레이션에 의한 soild 모델 응용으로 본 연구의방법의 타당성을 검증한다.

• Annual Conference of KIPS
• /
• 2006.11a
• /
• pp.183-186
• /
• 2006

NPC(Non playable Character)모델은 온라인 게임뿐만 아니라 가상공간 시스템 구축 시 빠질 수 없는 중요한 요소이다. 현재 가장 널리 사용되는 인공지능 처리방식의 하나인 FSM(Finite State Machine)은 NPC의 행동양식을 표현하기 위해 유한한 개수의 상태를 이용하는 알고리즘이다. 인공지능이 적용된 NPC 모델 설계시 정확한 명세는 구현 단계에서 발생되는 자원의 손실을 막아주고 요구명세에 따른 검증을 가능하게 한다. 본 논문에서는 해저가상공간 구축 시 발생되는 어류 객체의 행동패턴을 분석하여 속성을 정의하였으며, 환경변화에 따른 행동 특성의 상호관계를 설정하여 정형화하였다. 정의된 속성을 가진 NPC 모델을 FSM 알고리즘을 적용해 설계하고 구현한다. 설계된 NPC모델은 CTL기반의 모델체커인 SMV(Symbolic Model Verification)를 통해 검증함으로써 설계에 대한 타상성을 입증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.514-516
• /
• 2004

오늘날 RTOS가 운영되는 시스템이 고안정성을 요구할수록 임베디드 소프트웨어인 RTOS의 중요성은 날이 갈수록 증대하고 있다 검증된 RTOS의 개발을 목표로 본 논문에서는 RTOS의 태스크 스케줄러를 정형명세하고, 정형명세된 스케줄러가 가져야 하는 몇 가지의 검증특성들을 모델체킹 기법을 통해서 검증하였다. 또한 에스테럴로 정형 명세된 스케줄러에서 자동 생성된 C 소스를 사용하여 직접 태스크를 스케줄 해 주는 간단한 RTOS를 제작함으로서 검증된 RTOS를 제작 할 수 있는 방법을 제시 하고자 한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.598-601
• /
• 2011

동적응답과 하중을 정확히 산정하기 위해서는 구조물의 동적특성을 정확히 평가하는 것이 중요하기 때문에, 현재 대부분의 경우 FE 모델을 이용한 Modal 해석을 dldydg하여 동특성을 평가하고 있다. 그러나 실제 건물의 계측결과와 동적특성의 해석결과가 많은 차이를 나타내고 있으므로 해석결과의 신뢰성을 향상하기 위해서는 FE 모델에 대한 Calibration이 수행될 필요성이 있다. 이 논문에서는 초고층, 아파트, 대공간 구조물에 대한 계측을 수행하고 이 결과를 바탕으로 동특성을 정확히 예측하기 위한 FE 모델의Calibration 과정을 제시하였다. 이 결과를 바탕으로 동적특성의 정확성이 풍동실험결과의 신뢰성에 미치는 영향을 분석하였다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1680_1681
• /
• 2009

복잡한 이론적인 지식이 없어도 대상 발전소의 운전데이터를 밸브의 유량특성 관계 값에 지정함으로써 쉽게 모델링할 수 있도록 터빈제어 밸브 모델을 구현하였다. 또한 제어밸브의 여러 가지 동작 특성을 입력할 수 있는 사용자 인터페이스를 구현하였다. 이렇게 구현된 모델을 사용하여 직접 터빈제어시스템과 연계하여 모의시험 하였으며 만족스러운 결과를 보여주었다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.7
• /
• pp.647-654
• /
• 2010

In this study, an efficient ornithopter aerodynamic model, which is applicable to ornithopter wing design considering fluid-structure interaction or ornithopter flight dynamics and control simulation, was proposed and experimentally validated through the wind tunnel experiments. Due to the ornithopter aerodynamics governed by unsteady low Reynolds number flow, an experimental device was specially designed and developed. A part of the experimental device, 2-axis loadcell, was situated in the non-inertial frame; the dynamic calibration method was established to compensate the inertial load for pure aerodynamic load measurements. The characteristics of proposed aerodynamic model were compared with the experimental data in terms of mean and root-mean-square values of lift and drag coefficients with respect to the flow speed, flapping frequency, and fixed angle of attack.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.731-736
• /
• 2011

A pneumatic driving solenoid valve operates pneumatic control devices by opening/closing operating flow passage when the command is given by control system for the liquid-propellant feeding system of space launch vehicle. The simulation model of pneumatic driving solenoid valve is designed with AMESim to verify the designs and evaluate the dynamic characteristics and pneumatic behaviors of valve. To validate a valve simulation model, the simulation results of their operating durations of valve by AMESim analysis are compared with the results of experiments. In addition, the results of internal flow simulation with FLUENT are utilized to improve the accuracy of valve-modeling. Using the model, we analyze performance of valve; opening/closing pressure, operating time on various design factors; shape of control valve seat, drainage seat, rate of sealing diameter, volume of control cavity. This study will serve as one of reference guides to enhance the developmental efficiency of ventilation-relief valves with the various operating conditions, which shall be used in Korea Space Launch Vehicle-II.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.15 no.6
• /
• pp.70-77
• /
• 2011

A ventilation-relief valve performs as a safety-valve assembly for the liquid-propellant feeding system of space launch vehicle. This valve plays a role of relieving the vaporized propellants from propellant tanks during the filling and storing stages of propellants. Also it regulates to maintain the pressure of ullage volume of on-board propellant tanks within the safety-margin during the flight. The simulation model of ventilation-relief valve is designed with AMESim to predict and evaluate the dynamic characteristics and pneumatic behaviors of valve. To validate a valve simulation model, the simulation results of the opening and closing pressures and their operating durations of valve by AMESim analysis are compared with the results of mathematical methods. In addition, the results of internal flow simulation with FLUENT are utilized to improve the accuracy of valve-modeling. This study will serve as one of reference guides to enhance the developmental efficiency of ventilation-relief valves with the various operating conditionss, which shall be used in Korea Space Launch Vehicle-II.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.411-414
• /
• 2011

구조물에서의 소음은 일반적으로 볼트, 스냅, 힌지, 용접 등과 같은 체결부에서 발생한다. 이러한 소음을 정확히 예측하기 위해서는 구조물이 갖는 실제적인 동적특성(고유진동수, 주파수응답함수) 해석기술이 필수적으로 선행되어야 한다. 그러나 현재의 동적특성 해석기술은 체결부 특성을 무시하거나 많은 시간을 수반되는 상세모델을 적용하여 해석한다. 본 연구에서는 간단한 요소를 사용하여 체결부 상세모델을 대처할 수 있는 등가모델 개발을 수행하였고 실제모델과의 비교를 통해 타당성을 검증하였다. 또한, Monte-Carlo Simulation(MCS)을 사용하여 구조물의 확률기반 해석을 수행하였다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02b
• /
• pp.541-547
• /
• 2007

최근 디지털 컨텐츠의 기하급수적인 증가와 함께 사용자가 접하고 관리해야 하는 파일의 양이 급격히 늘어나고 있으며 이에 따라 폴더의 계층구조가 넓고 깊어지는 현상이 나타나고 있다. 현재 파일시스템은 크게 두 가지 형태로 나누어 볼 수 있는데, 사용자 자신에게 의미 있는(semantic) 계층구조(hierarchical structure)형태의 폴더 내에 파일을 저장하는 방식과 Meta Tag를 사용한 방식이다. 이러한 두 가지 파일시스템을 사용자가 인식하고 Conceptual Model을 형성해 가는 과정에 있어서 사용자의 지리적, 역사적 전통 등의 문화적 요소들이 기저에서 작용하게 된다. 본 연구에서는 각기 다른 문화적 성향을 가지고 있는 사용자 간의 File System을 인식하고 구조화하는데 있어서 차이점이 있을 것이라는 가설을 수립 하였고, 가설을 검증하기 위하여 파일 시스템의 사용 행태를 분류하고, 이러한 행태들이 사용자의 문화적 요소에 따라 어떠한 차이를 보이는지에 대하여 페이퍼 프로토타이핑 등의 기법을 사용하여 실험을 설계 하였다. 또한 이러한 연구모델의 검증을 위하여 파일럿 테스트를 진행하여 실효성 있는 가설검증방법에 대한 모델을 제안하고자 한다.