• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.11 no.3
• /
• pp.193-200
• /
• 2006

This paper suggests a 6-pulse-shift converter structure with PWM current-source inverter based on buck-boost configuration to improve the efficiency and to reduce the switching frequency of inverter for photovoltaic generation system, the device can be operated as interface system between solar module system and power system grid without energy storage cell. The circuit has six current-source buck-boost converter which operate chopper part and kas one full bridge inverter which make a decision the polarity of AC output. Therefore, the proposed PWM power inverter has advantages such as the reduction of witching loss and realization of unity power factor operation. The theoretical backgrounds are discussed and the input-output characteristics for the implemented prototype inverter using TMS320F2812 are verified experimentally in this paper.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.20 no.7
• /
• pp.589-602
• /
• 2009

The phenomenon degrading reception performance of DVB broadcasting signal is caused by collocation of plural communication modules in the GSM-900 cellular phone with a built-in DVB-H receiver. This paper offers how to improve performance of the DVB-H receiver by applying digital filter that is using DSP techniques to cancel GSM signal interfering to the DVB-H receiver which is collocated in a single user's GSM terminal. In the demodulation part of the DVB-H receiver, the DVB reception performance can be greatly improved by removing interference components of GSM signal, which is flowed with DVB signal, to the noise cancellation filtering algorithm using difference of characteristics between GSM modulated signal and OFDM signal.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.1
• /
• pp.156-161
• /
• 1992

In this research a monitoring system for turning using NC information and the current of feed motor as a monitoring signal was developed. The overall system consists of modules such as learning process, NC data transmission, generation of forecast information, signal acquisition, monitoring and post process. In the learning process, the reference data and the cutting force equation necessary for monitoring are obtained from the accumulated monitoring results. In the generation of forecast information, the information of forecasted cutting forces is acquired from the cutting force equation and NC program and appended to each NC block as a monitor code. Reliability of monitoring is improved by using the monitor code in the real-time monitoring. Monitoring module is divided into two parts : the off-line monitoring where errors of NC program are checked and the on-line monitoring where the level of motor current is monitored during cutting operations. If the actual current level exceeds the limit value provided by the monitor code in the level monitoring, it is recognized as abnormal. In the event of abnormal status, the post processor sends the emergency stop signal to NC controller to stop the operation. Actual experiments have shown that the developed monitoring system works well.

• Journal of Korea Multimedia Society
• /
• v.14 no.7
• /
• pp.917-923
• /
• 2011

In this paper, a new prediction based embedded compression (EC) codec algorithm for the JPEG2000 encoder system is proposed to reduce excessive memory requirements. The EC technique can reduce the 50 % memory requirement for intermediate low-frequency coefficients during multiple discrete wavelet transform (DWT) stages compared with direct implementation of the DWT engine of this paper. The LOCO-I predictor and MAP are widely used in many lossless picture compression codec. The proposed EC algorithm use these predictor which are very simple but surprisingly effective. The predictive EC scheme adopts a forward adaptive quantization and fixed length coding to encoding the prediction error. Simulation results show that our LOCO-I and MAP based EC codecs present only PSNR degradation of 0.48 and 0.26 dB in average, respectively. The proposed algorithm improves the average PSNR by 1.39 dB compared to the previous work in [9].

• Journal of Advanced Navigation Technology
• /
• v.18 no.2
• /
• pp.165-169
• /
• 2014

Digital load is increasing suddenly for various reasons, such as easy control and management. Accordingly, a consumption pattern of load is becoming DC. However, the power supply is supplied by AC power. The load power supply substantially needs DC power. AC power has to be converted to DC power. Renewable energy sources like solar, wind, fuel cells are DC power generation, but the transfer needs to through by AC power, thus DC power has to be converted to AC power. Resultantly, a multi-stage conversion loss is constantly increasing. The power distribution system of DC-based is required for effective use of these energy sources. This requires a DC load, as well as is necessary to develop DC ELCB which are able to detect DC leakage current for implementing protection. In this study, it realize detection algorithm about DC leakage current to verify the performance of the sensor and apply it to the ELCB which is based on DC. Therefore, it is expected to protect operating of DC power distribution system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.2
• /
• pp.273-280
• /
• 1999

This paper presents the design and implementation of circuit analyzer system for the convenient troubleshooting and diagnosis of the electronics appliance using the curve tracer technology of analog signature analysis. The circuit analyzer provides advanced troubleshooting capabilities to simplify testing newer technology components such as CMOS and MOS circuits, its built-in pulse generator lets thoroughly troubleshoot gate-fired devices such as SCRs, TRIACs and optocouplers. The circuit analyzer while the power to the circuitry testing is turned of, so that avoid an accidental short that could cause further damage, its allow to analyze the impedance state of a solid-state component, which makes it perfect for finding leakage or substrate damage that has brought a system or PCB down prematurely. Because it can compare suspect components to known-good equivalents, it's verified the ideal application for troubleshooting when documentation is missing or incomplete.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.4
• /
• pp.722-727
• /
• 2009

The technology of distinguishing human motion states is required in the areas of measuring and analyzing biosignals changing according to physical activities, diagnosing sleep disorder, screening the effect of treatment, examining chronic patients' kinetic state, prescribing exercise therapy, etc. The present study implemented a fuzzy inference system based on fuzzy rules that distinguish human motion states (tying, sitting, walking, and running) by acquiring and processing data of LAA, TAA, L-MAD, and T-MAD using ADXL202AE of Analog Devices embedded in an armband. The membership degree and fuzzy rules in each area of input (LAA, TAA, L-MAD, and T-MAD) and output (tying, sitting, walking, and running) data used here were determined using numeric data obtained from experiment. In the results of analyzing data for simulation generated in order of tying$\rightarrow$walking$\rightarrow$running$\rightarrow$tying, the sorting rate for motion states tying, sitting, walking, and running was 100% for each motion.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.364-367
• /
• 2007

We combined CC2431(Chipcon, Norway), as the platform for the Indoor Location Tracking, which follows Zigbee/IEEE802.15.4 standards in RSSI (Received Signal Strength Indicator) and Base Station Node and then, embodied Indoor Location Tracking System. CC2431 is composed of the Reference Node that transfer its current position at the designated place and the Blind Node. The Blind node receives the current position(X and Y coordinates) of the Reference Node fields which are being contiguous and also, calculates its current position and transfers it to the Base Station Node. The base station node is used for receiving the current position of blind node and passing its data to the PC as a gateway. We can make sure where is the Blind Node not only from the out-of-the-way place of the server side but from the outside in a real-time.

• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1507-1516
• /
• 2004

Recently, the most remarkable word is 'ubiuuitous' in field of information and communication. Ubiquitous has a meaning 'exist everywhere' that means our daily life is connect as network. It means we can get the information which in need whenever and wherever with safety. We predict this word will be symbolical keyword which lead an information-oriented society including the internet a quite long it. It's already per-meate to us the Ubiquitous. It's taken by CCTV when we visit bank. It's made to us can know the fastest way the GPS system to be connected by an artificial satcllite on mobile, and many people use mobile and PDA for investment in stocks. Among them, it has begun to spread many mobile services to us. In this paper, it's the aim a creation of value added through an efficient mobile services to use wireless internet different with previous way, cutting down on expenses and business modeling.