• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05c
• /
• pp.33-37
• /
• 2002

기존 EMFG의 동작해석 알고리즘에서 마크벡터는 정확한 시간 간격이 아닌 각 스텝의 변화를 나타내는 것이었다. 그래서 시간 트랜지션이 있는 EMFG의 경우에는 정해진 지연시간 이외의 필요 없는 시간이 발생하였다. 본 연구에서는 이를 개선하여 초기완료비벡터를 적용하였고, 시간 트랜지션을 가진 EMFG에 대하여 시간의 흐름에 따른 점화가능벡터와 예상완료비를 산출하고, 현완료비에 따라 달라지는 경과완료비를 수학적으로 판단할 수 있도록 개선된 알고리즘을 제안하였다. 제안된 알고리즘을 무인 운전 시스템에 적용하여 시간 흐름에 따른 마크벡터의 변화를 입증하였다. 설계된 EMFG를 개선된 알고리즘에 따라 해석하게 되면, 시스템의 분석 및 설계가 용이하여, 시스템의 성능향상에 도움을 줄 것으로 기대된다.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.371-378
• /
• 2002

The EMFG (Extended Mark Flow Graph) is known as a graph model for representing the discrete event systems. In this paper, we introduce input/output matrixes representing the marking variance of input/output boxes when each transition fires in an EMFG, and compute an incidence matrix. We represent firing conditions of transitions to a firing condition matrix for computing a firable vector, and introduce the firing completion vector to decide completion of each transition’s firing. By using them, we improve an analysis algorithm of the EMFG’s operation to be represented all the process of EMFG’s operation mathematically. We apply the proposed algorithm to the system repeating the forward and reverse revolution, and then confirm that it is valid. The proposed algorithm is useful to analysis the variant discrete event systems.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.7
• /
• pp.1896-1907
• /
• 1998

확장된 마크흐름선도(EMFG: Extednded Mark Flow Graph)는 기존의 MFG를 개선한 그래프로서, 회로변수식에 의해 실제회로로 쉽게 구현가능하므로 이산제어시스템의 모델링과 설계 및 구현의 강력한 도구로 사용될 수 있다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션들이 점화완료하였을 때 각 박스들의 마크수 변화를 부울함수식과 벡터를 사용하여 표현하였다. 또한 시스템의 상태변화를 쉽게 판단할 수 있게 하는 EMFG의 동작알고리듬을 제안하였으며, 제안된 알고리듬은 3-비트 증가계수기를 설계한 EMFG와 시간트랜지션이 포함된 가상의 EMFG에서 잘 수행되었다. EMFG의 동작이 부울함수로 해석가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화된 시스템의 분석과 설계가 가능하다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.18 no.1
• /
• pp.91-96
• /
• 2014

KSLV-I (Korea Space Launch Vehicle-I) upper stage KM (Kick Motor) is a solid propulsion system which consists of igniter, SAD (Safety Arming Device), composite case, and submerged nozzle capable of TVC (Thrust Vector Control) actuation. Each subsystem of KM fulfilled development requirements for achieving a flight mission successfully. We confirmed the successful development of KM from the $3^{rd}$ flight test results of NARO on January 30, 2013. This article deals with the requirements of KM and the results on configuration management, mass variation, thrust axis alignment, and major test results and so on.