• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.6
• /
• pp.773-785
• /
• 2014

For decades, modeling of pilots has been intensively studied due to its advantages in reducing costs for training and enhancing safety of pilots. In particular, research for modeling of pilots' non-kinetic behaviors which refer to the decisions made by pilots is beneficial as the expertise of pilots can be inherent in the models. With the recent growth in the amount of combat logs accumulated, employing statistical learning methods for the modeling becomes possible. However, the combat logs consist of heterogeneous data that are not only continuous or discrete but also sequence independent or dependent, making it difficult to directly applying the learning methods without modifications. Therefore, in this paper, we present a kernel function named hybrid sequence kernel which addresses the problem by using multiple kernel learning methods. Based on the empirical experiments by using combat logs obtained from a simulator, the proposed kernel showed satisfactory results.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.408-413
• /
• 2007

최근 인구와 기계문명의 발달로 예전에 비해 좀더 복잡한 응급 사고가 발생하고 있다. 현재 응급 구조 시스템은 타인에 의한 신고나 정적인 웹페이지로 수집된 정보를 통해 당시 상황에 맞춰 응급 체계를 수립하고 있다. 이는 비전문 의료인인 구급대원의 현장 판단과 의료기관으로의 부적절한 판단으로 인해 응급 환자의 적절한 치료의 가능성을 낮추는 요인이 될 수 있다. 따라서 선행연구로써 기존의 응급 의료 시스템에 멀티 에이전트 개념을 도입하여 멀티 에이전트 기반의 응급 의료 시스템(MAEMS)을 모델링하였다. 멀티 에이전트 시스템은 독립적인 성격과 자율적인 성격으로 않은 부분에 응용되어 설계되고 있다. 특히 에이전트의 독립적인 성격은 이질적인 환경에서 동일한 목적의 행위를 수행할 수 있으며, 동적으로 많은 변화가 있는 상황에서 자율적으로 판단하여 행동할 수 있다. 본 논문에서는 MAEMS에 구성되어 있는 각 에이전트를 구현하며, ARENA를 통해 시뮬레이션함으로써 실제 통계자료와 비교하여 멀티 에이전트를 도입한 응급 의료 시스템의 효율성에 대해 연구한다.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Journal of Radiation Protection and Research
• /
• v.24 no.2
• /
• pp.65-72
• /
• 1999

A methodology for determining the optimal durations of the use of contaminated crops as feedstuffs of cattle was designed based on the cost-benefit analysis method. The results of application for pigs, an omnivorous cattle, were discussed for the hypothetical deposition of radionuclides on August 15 when a number of crops are fully developed in Korean agricultural conditions. For investigating the relative cost-effectiveness of the use of contaminated crops as feedstuffs, the net benefit was compared with the case of the direct disposal of contaminated crops. The time-dependent radionuclide concentration in crops after the deposition was predicted using a dynamic food chain model DYNACON. The net benefit from the actions was quantitatively evaluated in terms of cost equivalent of doses and monetary costs of implementing the action. It depended on a number of factors such as radionuclides, variety of crops supplied as feedstuffs and duration of the actions. The use of contaminated crops as feedstuffs was more cost effective for $^{90}Sr\;or\;^{131}I$ deposition than for $^{137}Cs$ deposition.