• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.2
• /
• pp.131-138
• /
• 2009

Analytical modal verification is considered as the process to provide an acceptable description of the subject structure's behaviour. In general, results of original analytical model are different with actual structure results to uncertainty like non-linearity of material, boundary and modified shape, etc. In this paper, the dynamic model of glider's wing is correlated with static deformation and vibration test results by goal-attainment method, multi-objects optimization technique. The structural responses are predicted by using finite element method and optimization is carried out by using the SQP(sequential quadratic programming) method which is widely used in the constrained nonlinear optimization problem. The MAC(Modal Assurance Criterion) is used to modify the mode shapes and quantify the similarity.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.198-204
• /
• 2022

대화 요약은 다중 발화자와 발화문으로 이루어진 멀티턴 형식의 문서에 대해 핵심내용을 추출하거나 생성하는 태스크이다. 대화 요약 모델은 추천, 대화 시스템 등에 콘텐츠, 서비스 기록에 대한 분석을 제공하는 데 유용하다. 하지만 모델 구축에 필요한 한국어 대화 요약 데이터셋에 대한 연구는 부족한 실정이다. 본 논문에서는 생성 기반 대화 요약을 위한 데이터셋을 제안한다. 이를 위해 국내 방송사의 대용량 콘텐츠로 부터 원천 데이터를 수집하고, 주석자가 수작업으로 레이블링 하였다. 구축된 데이터셋 규모는 6개 카테고리에 대해 약 100K이며, 요약문은 단문장, 세문장, 2할문장으로 구분되어 레이블링 되었다. 또한 본 논문에서는 데이터의 특성을 내재화하고 통제할 수 있도록 대화 요약 레이블링 가이드를 제안한다. 이를 기준으로 모델 적합성 검증에 사용될 디코딩 모델 구조를 선정한다. 실험을 통해 구축된 데이터의 몇가지 특성을 조명하고, 후속 연구를 위한 벤치마크 성능을 제시한다. 데이터와 모델은 aihub.or.kr에 배포 되었다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.1-17
• /
• 2002

In this paper, we present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE cache coherence protocol designed by ETRI(Electronics and Communications Research Institute) and to verify that RACE protocol satisfies important requirements. To investigate this, we specified the model of the RACE protocol as the input language of SMV and specified properties as a formula in temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of RACE protocol. We verified that abnormal state/input combinations was not occurred and every possible request of processors was executed correctly We verified that RACE protocol satisfies liveness, safety and the property that any abnormal state/input combination was never occurred. Besides, We found some ambiguities of the specification and a case of starvation that the protocol designers could not expect before. By this verification experience, we show advantages of model checking method. And, we propose a new method to generate automatically test cases which are used in simulation and testing.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.524-527
• /
• 2021

최근 국외에서 사실 검증 연구가 활발하게 이루어지고 있지만 한국어의 경우 데이터 집합의 부재로 인하여 사실 검증 연구가 이루어지는데 큰 어려움을 겪고 있다. 이러한 어려움을 해소하고자 자동 생성 모델을 통하여 데이터 집합을 생성하는 시도도 있으나 생성 모델의 특성 상 부정확한 데이터가 생성되어 사실 검증 연구의 퀄리티를 떨어뜨린다는 문제점이 있다. 이러한 문제점을 해소하기 위해 수동으로 구축한 100건의 데이터 집합으로 최근에 이루어진 퓨-샷(Few-Shot) 사실 검증을 확장한 학습이 필요없는 제로-샷(Zero-Shot) 질의 응답에 대한 사실 검증 연구를 제안한다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.388-390
• /
• 2004

디지털 보호계전기의 성능 검증에 있어서 RTDS(Real Time Digital Simulator)와 같은 디지털 시뮬레이터를 사용하는 경우가 점점 증가하고 있다. 특히 보호계전기의 동특성(Dynamic Performance) 시험에 있어서는, 디지털 시뮬레이터를 이용한 성능 검증이 거의 필수적이다. 본 논문에서는 디지털 보호계전기 중 거리계전기의 Reach Test에 있어서 성능 검증에 사용할 계통 모델 선정 방안을 PSCAD/RTDS에서의 구현 관점에서 기술하고 있다. 양단 전원을 가지는 4모선 2회선 송전선로를 Bergeron 모델을 이용하여 모델링하고, 모델의 유효성을 귀납적인 방법을 사용해서 검증하는 방안을 제시하고 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.511-512
• /
• 2023

자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.9
• /
• pp.1003-1008
• /
• 2012

The paper presents an Experimental Vehicle Model (EVM), that utilizes the kinematic characteristics of suspensions from SPMD test data. The relative displacement and orientation of a wheel with respect to the body are represented as a function of the vertical displacement of the wheel. The equations of motion of the vehicle are formulated in terms of local coordinates that do not require coordinate transformation, which improves the efficiency of dynamic analysis. The EOM was modularized for each suspension model, and a $6{\times}6$ vehicle model was obtained by combining six suspensions. The analysis results were compared with ADAMS to verify the accuracy of the EVM. This study also verifies the feasibility of real-time simulation with the developed EVM. For a vehicle simulation for 1 ms, the real simulation time required within 20% of the prescribed time. This result shows that the EVM meets the real-time simulation requirements.

• Proceedings of the KIPE Conference
• /
• 2008.06a
• /
• pp.289-291
• /
• 2008

태양전지에 관한 많은 모델이 제안되어 왔으나 대부분은 특정 일사량에서 측정된 태양전지의 I-V 특성커브를 기준으로 보간법을 사용하여 운전점을 구하는 모델링 방식을 사용하고 있으며, 태양전지의 동특성 모델에 관한 연구는 매우 드물다. 효율적인 에너지 변환을 위한 고성능 전력변환기의 설계를 위해서는 태양전지의 정특성 및 동특성에 관한 정확한 정보가 요구된다. 태양전지의 정특성은 제조사에 의해 일반적으로 측정되어 공개되므로 용이하게 이해될 수 있으나 동특성은 그렇지 못하다. 본 논문에서는 임피던스 분광법(Impedance Spectroscopy)을 이용하여 태양전지 모듈의 동특성 모델을 개발하고, 개발된 모델의 유용함과 정밀함을 실험을 통해 검증 하였다. 개발된 동특성 모델은 정밀한 태양전지 시뮬레이션과 새로운 MPPT 알고리즘 개발에 이용될 수 있을 것으로 기대된다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.10a
• /
• pp.83-84
• /
• 2013

최근 다양한 시스템의 상태를 추정하는데 시스템의 운동 특성을 모델링하는 기법이 많이 연구되고 있다. 이 기법은 시스템의 운동 특성을 수학적으로 모델링하는 것으로 모델링의 정확도에 따라 시스템의 상태 추정 정확도에 많은 영향을 미치게 된다. 따라서 본 논문에서는 표적의 기동 특성을 모델링하고 표적의 현재와 과거의 상태를 이용하여 정의된 기동 모델 중 적합성을 판단하는 기법을 제시하며 시뮬레이션을 통하여 기동하는 표적의 모델을 정확하게 판단하는지를 검증하고자 한다.