• Journal of Internet Computing and Services
• /
• v.10 no.3
• /
• pp.1-8
• /
• 2009

The primary tasks of a workflow management system specify workflow models with respect to resource, control-flow, data-flow, functional, and operational perspectives, and to enact their workcases (workflow instances). In terms of enacting workflow models, the essential criterion grading the quality of the system is "how much is the system able to guarantee the correctness of workflow models' enactment?". Particularly, the workflow determinacy problem, which may be caused by the interference of the control-flow and the data-flow specifications, is the most challenging issue in guaranteeing the correctness of the system. We are able to solve the problem by either of the following two approaches-analysis of workflow model and verification of workflow enactment. In the paper, we propose a technique that guarantee the system's correctness through verifying workflow enactment. In other words, the technique is able to detect the conflicts of control-flow and data-flow enactments existing on a workflow model, which causes the system to be non-determinant in enacting workflow models. Finally, by applying the technique to the e-Chautauque workflow management system developed by the authors' research group, we prove that the technique is a feasible solution for the workflow determinacy problem.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.10
• /
• pp.738-746
• /
• 2019

Instead of hydraulic actuation systems, an electromechanical actuation system is more efficient in terms of weight, cost, and test evaluation in the thrust vector control of the 7-ton gimbal engine used in the Korea Space Launch Vehicle-II(KSLV-II) $3^{rd}$ stage. The electromechanical actuator is a kind of servo actuator with position feedback and uses a BLDC motor that can operate at high vacuum. In the case of the gimballed rocket engine, a synthetic resonance phenomenon may occur due to a combination of a vibration mode of the actuator itself, a bending mode of the launcher structure, and an inertial load of the gimbals engine. When the synthetic resonance occurs, the control of the rocket attitude becomes unstable. Therefore, the requirements for the stiffness have been applied in consideration of the gimbal engine characteristics, the support structure, and the actuating system. For the 7-ton gimbal engine of the KSLV-II $3^{rd}$ stage, the stiffness requirement of the actuation system is $3.94{\times}10^7N/m$, and the direct drive type electromechanical actuator is designed to satisfy this requirement. In this paper, an equivalent stiffness analysis model of a direct drive electromechanical actuator designed based on the stiffness requirements is proposed and verified by experimental results.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.12
• /
• pp.1-6
• /
• 2018

This study examined the quality improvement of printed circuit boards (PCBs) in relation to the power consumption for radar. The radar examined is currently in production and being used by the military. The PCB converts 28 V DC to 5 V DC but frequently malfunctions. Therefore, cause analysis was carried out. As a result, the power consumed by a certain communication IC was very high, and the heat generated by the high power consumption caused damage to the surrounding parts. Accordingly, it was changed to an improved communication IC that meets all the radar system specifications. System tests were carried out for the changed communication IC to check the impact on the system, and environmental tests were performed, which proved that the performance required by the radar system is satisfactory. As a result of this improvement, there has been no history of failure in this PCB so far. Therefore, the quality of this PCB has been improved.

• Proceedings of the KIEE Conference
• /
• 2002.07b
• /
• pp.1021-1023
• /
• 2002

최근 전력연구원에서 화력 발전소에 설치한 위상 제어 정류기 (PCR : Phasc Controled Rcctifier)에 설치된 동기 변압기 (Synchronous Transformer)의 절연 파괴에 의한 소손이 발생되어 발전소 운용에 신뢰성을 떨어뜨리고 있다. 본 논문에서는 800MW급 발전기용 다중화 정지형 여자시스템을 현장에 적용하여 설치, 운전중인 동기 변압기를 기준으로 1차측(고압측)이 절연 파괴후 소손된 변압기의 설계규격과 1차측과 2차측의 권선배치, 고조파 영향, 권선 굵기에 따른 단락 용량 기타 변압기 제작 방법에 대한 전반적 기술을 검토한 결과를 기술하고자 한다.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.25 no.4
• /
• pp.108-125
• /
• 2014

현재 국방부는 주요 핵심 시설에 대해 EMP 방호 시설 건설 사업을 추진하고 있으며, 향후 더욱 많은 방호 시설 확보 계획을 가지고 있다. EMP 방호 시설은 장비 운용 중 방호 성능이 감소하여도 감소 현상을 알지 못하다가 EMP 공격을 받게 되면 그때 문제가 발생하게 된다. 따라서 EMP 방호 시설에 대한 정비 유지는 매우 중요하며, 방호 시설에 대한 성능 감소 여부를 평상시에도 확인할 수 있는 체계적이고, 현실적인 정비 유지 기법이 요구된다. 본 논문에서는 EMP 방호 시설 정비 유지에 필요한 정비 유지 기법을 미국 EMP 방호 시설 군사 규격 MIL-STD-188-125의 정비 유지 요구사항을 기준으로 구체적으로 작성하였으며, 실제 EMP 방호 시설 정비 유지에 쉽게 활용할 수 있도록 노력하였다. 주요 내용은 EMP 방호 시설에 대한 정비 개념, 정비 매뉴얼 구성, 정비 유지 단계(예방 정비, 고장 정비, 창 정비)의 업무, 교육/훈련 내용으로 구성되어 있다.

• Proceedings of the IEEK Conference
• /
• 2000.11a
• /
• pp.105-108
• /
• 2000

무선채널환경에서의 하향 방향 링크 상에서 페이딩 효과에 효과적으로 대처하고 고품질의 수신신호를 위하여 시간, 주파수 및 공간 영역 상에서의 여러 형태의 독립적인 다이버시티를 임의로 발생하기 위한 방안이 연구 되어왔다. 특히 3GPP 지상시스템에서 사용되는 개방형 전송 다이버시티 기법중 하나인 STTD( Space-Time Transmit Diversity)는 시공간 블록코드를 기반으로 하고 있으며, 본 논문에서는 이를 IMT-2000용 위성시스템의 순방향링크에 적용하여 이에 대한 결과를 고찰한다. 위성시스템의 순방향채널은 위성의 앙각에 의하여 라이시안 팩터 성분이 결정되며, 다수의 가시 위성군을 통하여 다이버시티효과를 발생시킴으로써 성능을 향상시킬 수 있다. 본 논문에서는 현재까지 상세한 규격작업이 이루어지고 있지 않은 IMT-2000용 위성시스템 상에서 두개의 가시위성을 통한 STTD 적용시 우수한 수신성능을 확인하였다.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.2 no.2
• /
• pp.85-90
• /
• 1991

군사장비에 대한 EMI문제는 2차 세계대전 이후 전자장비에 대한 의존도가 높아짐에 따라 크게 변화하였다. 2차 세계대전 초기에는 주로 항공기의 엔진점화장치에서 발생되는 3~30MHz 대역의 무선주 파수간섭(RFI)이 통신장비에 문제가 되었으며 간섭현상도 그다지 심각하지 않았다. 그러나 전자공학의 급 속한 발전에 따라 고성능 통신장비 및 레이다가 등장하였으며 각종 전자장비도 고출력화, 고밀도화됨에 따 라 장비자체에서 방사되는 전자파잡음의 세기가 증가하게 되었다. 이에 반해 체계(System)탑재 전자장비 들이 점차 마이크로프로세서화 됨에 따라 제어신호의 수준은 더 낮아져서 전자파간섭에 더욱 취약하게 되 었다. 또한 현대의 전장(Battle Field)은 수많은 전기/전자장비가 동시에 운용됨에 따라 발생되는 전자파로 인해 더욱 복잡한 전자파환경이 형성된다.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2009.10a
• /
• pp.235-237
• /
• 2009

변전자동화시스템이 IEC 61850 규격도입 이후 통신에 대한 적합성 시험과 함께 보호계전기의 보호 및 제어기능에 대한 시험도 통신과 결부되어 자동화하려는 추세에 있다. 기존에 변전소에 적용된 디지털 보호계전기는 IEC 61850 통신서비스와 접목되어 IED(Intelligent Electronic Device)로 불려진다. 기존의 보호계전기와 달리 IED의 경우 변전자동화시스템으로 통합구현되기 때문에 IED 단위시험 보다는 시스템 수준의 성능시험을 요구하게 된다. 따라서 CMC 256 전용프로그램을 가지고는 변전자동화시스템의 성능시험을 완벽하게 다루게 어렵게 때문에 사용자가 CMC 256 장비를 자유롭게 다룰 수 있는 환경개발을 필요로 한다. 본 논문에서는 CMC 256 장비의 운용을 사용자 정의로 구현할 수 있는 CM Engine을 소개하고 실제 구현사례를 통해 변전자동화시스템의 성능시험을 위한 기반 자료를 다루고자 한다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.5 no.3
• /
• pp.11-22
• /
• 2002

In this paper, a statistical meaning that the 1% frequency value which is used as a basis for the temperature specification generation for weapon systems is similar to $3{\sigma}$ frequency value of a year is presented, and the theoretical reference for temperature specification generation is made. The new method which extracts the 1% frequency value from general weather data, not depending on long term temperature hour data, is established, and the temperature analysis result of East Asia is also presented by using this method. On the basis of these result, operational temperature for the weapon systems to be used in the area of East Asia is recommended.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2012.06a
• /
• pp.282-283
• /
• 2012

국제표준규격(ISO 12215-5) 및 국내 플레저보트 검사지침의 개정에 따라 길이 6미터 미만의 플레저보트의 낙하시험에 의한 강도시험기준을 적용 가능하게 되었다. 하지만 현재 낙하시험은 자유낙하 시 내력 및 외력에 의한 선체 내부의 찌그러짐, 크랙, 박리, 파손 등을 육안으로 검사하는 방법으로 시험결과의 정량적인 판단이 이루어지지 않고 있다. 따라서 본 연구에서는 레저선박의 낙하시험을 위한 시스템 및 운용프로그램을 개발하여 플레저보트의 구조안전성의 정량적 평가가 가능한 시스템을 개발하고 다단 롤포밍 기법을 적용한 5m급 알루미늄레저보트에 적용하여 시스템의 성능을 검증하였다.