• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.24 no.1
• /
• pp.33-40
• /
• 2016

ROK issued its first type certificate to the KC-100 airplane, Part 23 normal category, and become the State of Design (SoD) in 2013. Before this, ROK aviation regulations were focused on the operation and continued airworthiness of aircraft registered and operated in ROK that were designed and manufactured in another contracting state. Therefore the implementation of reporting system were restricted to gather the failure and service difficulty reports from the owners or operators and transmit the information to the State of Design and/or the manufacture relating to the type certificated aircraft. However, ROK, to fulfill the accountability of the State of Design, has to ensure there is a system to address the information received from the State of Registry on failure, malfunctions, defects and other occurrences that might cause adverse effects on the continuing airworthiness of the korean type certificated aircraft. This paper presents an overview of ICAO requirements for the State of Design, and current implementation of reporting system of USA and Japan and discusses the current status and further considerations on the rule-making for the malfunction, defect and failure reporting system applicable to the korean indigenous aircraft.

• KIEE International Transaction on Systems and Control
• /
• v.2D no.2
• /
• pp.92-96
• /
• 2002

This paper is concerned with properties of a Lyapunov functional of state delay systems. It is shown that if a state delay system has a pure imaginary pole for some state delay, then no Lyapunov functional satisfying a Lyapunov condition exists periodically with respect to change of the state delay. This periodic property is unique in state delay systems and has been well known in the frequency domain stability conditions. However, in the time domain stability conditions using a Lyapunov functional, the periodic property is not known explicitly.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.12
• /
• pp.1-8
• /
• 1997

In this paper, a new method of state code assignment for reduction of switching activities of state transition in asynchronous circuits is proposed. The algorithm is based on a on-hot code and modifies it to reduce switching activities. To estimate switching activities as a cost functions we introduce state transition probability (STP). AS a results, the proposed algorithm has an advantage of 60% over with the conventional code assignment in terms of switching and code length of state assignment.

• International Journal of Railway
• /
• v.1 no.3
• /
• pp.94-98
• /
• 2008

Static inverters are essential devices onboard of rolling stock. State-of-the-art static inverters have an impact on both rail infrastructure and vehicle maintenance due to their new topology with new features. The paper describes two important aspects as examples of new features available in state-of-the-art static inverters: active input current control and the effects on the rail infrastructure as well as the detection of the state of charge and the state of health of batteries to simplify vehicle maintenance.

• Clinical Endoscopy
• /
• v.57 no.3
• /
• pp.412-414
• /
• 2024

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.80-82
• /
• 1998

we introduce the concept of coverings, direct products, cascade products and wreath products of T-fuzzy finite state machines and investigate their algebraic structures.

• The Bulletin of The Korean Astronomical Society
• /
• v.24 no.2
• /
• pp.36-36
• /
• 1999

• Proceedings of the Korean Society of Plant Biotechnology Conference
• /
• 2005.04a
• /
• pp.24-26
• /
• 2005

• Bulletin of the Korean Chemical Society
• /
• v.32 no.2
• /
• pp.701-704
• /
• 2011

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.4
• /
• pp.27-33
• /
• 1996

In this paper we introduce the notions of T-generalized state machines and primary submachines of T-generalized state machines and obtain a decomposition theorem for T-generalized state machine in terms of primary submachines.