• 대한원격탐사학회지
• /
• 제35권3호
• /
• pp.471-482
• /
• 2019

달 탐사용 고해상도 스테레오 카메라의 임무는 달 궤도선 및 착륙 선에 탑재되어 달 표면의 3차원 지형정보를 제공하는데 있다. 이를 통해, 달 착륙 후보지를 탐색하고 착륙 시에는 달 표면 근접에 따른 근거리 입체영상을 실시간으로 제공하여 정확한 지점에 착륙이 가능하도록 한다. 본 논문에서는 달 탐사선에 탑재되는 달 탐사용 고해상도 카메라 개발을 위한 지상모델인 다기능 스테레오 카메라를 활용하여 고해상도 스테레오 카메라에 요구되는 임무를 검증하고 결과를 분석하기 위해 지상검증 및 분석 시스템을 제안하였다. 지상검증 및 분석 시스템은 임무 검증을 위한 임무검증항목과 시험계획을 제공하며, 시험 수행 후 결과를 분석하게 된다. 이를 위해 본 논문에서는 달 지형과 유사한 지역을 대상으로 지상 임무항목시험 계획을 세우고, 항공촬영을 통해 스테레오 영상을 획득하였다. 분석장치를 통해 스테레오 영상으로부터 영상을 보정 및 매칭 후 수치표고모델(DEM)을 추출하고 3차원 영상을 생성하여 결과를 분석하였다. 달 탐사용 고해상도 카메라에 요구되는 임무수행항목이 검증되었고, 스테레오 영상을 처리할 수 있는 지상처리분석 시스템이 확보 되었다.

• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.893-907
• /
• 2017

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.3019-3026
• /
• 2011

The pantograph on HEMU400 perform the simulation of following characteristics for pantograph's performance prediction and confirming the EN50119's requirement. To meet the performance requirements for the input data are proposed. Simulation result of the performance requirements are satisfied from proposed input data. The new model was developed by proposed data base on the simulation result. A new developed model data used in following characteristics meet to be sure about what the test was done to count the equivalence of mass. Depending on the results of test to performance prediction, and propose research directions.

• 시스템엔지니어링학술지
• /
• 제8권1호
• /
• pp.77-82
• /
• 2012

In Weapons acquisition process, if the requirements are not clear, it leads to confusion and conflict in business. In the development of next-generation weapons, to define and derive requirements has to start from decision of operational concept. It is difficult task and has many uncertainties. This paper has goal about development of knowledge acquisition process that derive military operational scenario-based requirements acquisition process and framework that classify and save the derived requirements for next project. That framework can generate new class and category, also suggest that verification of requirements. It help to derive and manage the requirements, and make it easy to grasp the requirements. Accordingly, it can help make military requirement plan and weapon acquisition process.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집D
• /
• pp.152-157
• /
• 2001

UTC(Unglazed Transpired Collector) system has recently emerged as a new solar air heating technology. It is relatively inexpensive because it has not a glazed material. And it demonstrates efficient particularly for the applications in which larger wall area facilities with a high outdoor air requirement. Mathematical algorithm for UTC thermal modeling has been understood for further improvement of the system. EES and TRNSYS model of actual solar wall panel could be developed for computer simulations under other conditions. Computer models could be validated with the measured data from fixed outdoor test cell in KIER(Korea Institute of Energy Research). Major design parameters could be identified such as panel configuration and absorptivity and emissivity values for UTC design.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2011년도 한국우주과학회보 제20권1호
• /
• pp.32.2-32.2
• /
• 2011

State dependent Riccati equation (SDRE) control technique has been widely used in the control society. Although it solves nonlinear optimal control problems, which minimizes state error and control efforts simultaneously, it has drawbacks when it is to be applied to the real time systems in that it requires much computational efforts. So the real time system whose computational ability is limited (for example, satellites) cannot afford to use SDRE controller. To solve this problem, a hybrid controller which is based on MSDRE (Modified SDRE) and ANFIS (Adaptive Neuro-Fuzzy Inference System) has been proposed by Abdelrahman et al. (2010). We propose a hybrid controller based on SDRE and ANFIS, and apply the hybrid controller to the hardware attitude simulator to perform a HIL (Hardware-In-the-Loop) simulation. Through HIL simulation, it is demonstrated that the hybrid controller satisfies the control requirement and the computation load is reduced significantly. In addition, the effects of statistical properties of the ANFIS training data to the performance of the ANFIS controller have been analyzed.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.75-80
• /
• 2004

The study analyzes about brand image's effect and change when customers purchase product. Purpose of this study suggests how to influence that brand image come up to product purchase to cosmetic customer . Consumers compare with product and trademark when they select product. Consumers evaluate dissatisfaction and satisfaction about goods that they choose through comparison and analysis. Find the factor that decides consumer's choice. Give weight by the scores of each factor's relative importance. The purpose of this study is find various requirement of consumers and present efficient marketing activity through theoretical verification and actual proof analysis .

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.422-425
• /
• 2004

This paper develops an octree-based algorithm for machining simulation. Most commercial machining simulators are based on the Z map model, which has several limitations in terms of achieving a high level of precision in five-axis machining simulation. Octree representation being a three-dimensional (3D) decomposition method, an octree-based algorithm is expected to be able to overcome such limitations. With the octree model, storage requirement is reduced. Moreover, recursive subdivision is processed in the boundaries, which reduces useless computations. The supersampling method is the most common form of antialiasing and is typically used with polygon mesh rendering in computer graphics. The supersampling technique is being used to advance the efficiency of the octree algorithm..

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2004년도 전력전자학술대회 논문집(2)
• /
• pp.976-980
• /
• 2004

This paper presents a position sensorless control system of Switched Reluctance Motor (SRM) using neural network. The control of SRM depends on the commutation of the stator phases in synchronism with the rotor position. The position sensing requirement increases the overall cost and complexity. In this paper, the current-flux-rotor position lookup table based position sensorless operation of SRM is presented. Neural network is used to construct the current-flux-rotor position lookup table, and is trained by sufficient experimental data. Experimental results for a 1-hp SRM is presented for the verification of the proposed sensorless algorithm.