• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.414-415
• /
• 2007

AGC (Automatic Generation Control) is supplementary tool for area frequency control in EMS(Energy Management System). This pater addresses the key features of AGC function in KEMS which is under development.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.11
• /
• pp.2862-2873
• /
• 1998

In the integrated development environments for automatic generation of Java applets and applications tat can be used as Internet and Intranet-based client-server programs, it is essential to interconnect between the function components such as main window, project manager, object inspector, source code editor, and form designer. This paper describes the function components related with the generation of mobile code based client-server program. In then designs and implements a data structure, named 'JCode', for interconnection between the function components. Finally, it discusses the action principles of Two-Way Access technique based on JCode. By applying the proposed JCode based interconnection technique, user can program efficiently using the function components.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.753-760
• /
• 2001

Design Patterns are design knowledge for solving issues related to extensibility and maintainability which are independent from problems concerned by application, but despite vast interest in design pattern, the specification and application of patterns is generally assumed to rely on manual implementation. As a result, we need to spend a lot of time to develop software program not only because of being difficult to analyze and apply to a consistent pattern, but also because of happening the frequent programing faults. In this paper, we propose a notation using XML for describing design pattern and a framework using design pattern. We will also suggest a source code generation support system, and show a example of the application through this notation and the application framework. We may construct more stable system and be generated a compact source code to a user based on the application of structured documentations with XML.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.16 no.3
• /
• pp.58-63
• /
• 2008

ICAO has recommended ADS-B implementation that is considered as next generation surveillance system to meet the air traffic capability and aviation safety. However, safety verification for the new ADS-B technology should be carried out in advance. FAA performed a preliminary hazard analysis for ADS-B equipped aircraft through Capstone program in Alaska in order to reduce aviation accidents. The present study deals with ADS-B concept, FAA Capstone program and PHA for ADS-B equipped aircraft. We expect that this paper will be a valuable material to assess ADS-B risk when it is applied to the domestic environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.466-469
• /
• 2011

단계가 없는 고차원 프로그램(higher-order program)을 다단계 프로그램(multi-staged program)으로 타입의 도움을 받아 변환하는 방법을 제시한다. 이 방법은 최첨단의 다단계 프로그램 타입시스템에 기반했기에 직관적으로 이해가 쉽고, 열린 코드(open code)를 지원한다. 변환의 결과 나올 수 있는 열린 코드는 자유 변수(free variable)을 허용하여 나중에 사용자의 의도대로 자유롭게 묶이게 할 수 있다. 우리의 변환은 기존의 타입의 도움을 받아 특화시키는 Linger와 Sheard[2,3]의 방법에 비해 더 효율적이고, 더 많은 종류의 다단계 프로그램을 만들어 낼 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.4
• /
• pp.447-456
• /
• 2004

Information extraction is a process of recognizing and fetching particular information fragments from a document. In order to extract information uniformly from many heterogeneous information sources, it is necessary to produce information extraction rules called a wrapper for each source. Previous methods of information extraction can be categorized into manual wrapper generation and automatic wrapper generation. In the manual method, since the wrapper is manually generated by a human expert who analyzes documents and writes rules, the precision of the wrapper is very high whereas it reveals problems in scalability and efficiency In the automatic method, the agent program analyzes a set of example documents and produces a wrapper through learning. Although it is very scalable, this method has difficulty in generating correct rules per se, and also the generated rules are sometimes unreliable. This paper tries to combine both manual and automatic methods by proposing a new method of learning information extraction rules. We adopt the scheme of supervised learning in which a user-interface agent is designed to get information from the user regarding what to extract from a document, and eventually XML-based information extraction rules are generated through learning according to these inputs. The interface agent is used not only to generate new extraction rules but also to modify and extend existing ones to enhance the precision and the recall measures of the extraction system. We have done a series of experiments to test the system, and the results are very promising. We hope that our system can be applied to practical systems such as information-mediator agents.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

• Journal of the Korean Society for Precision Engineering
• /
• v.23 no.3 s.180
• /
• pp.187-194
• /
• 2006

Unexpected postoperative changes, such as growth in rib hump and shoulder unbalance, have been occasionally reported after corrective surgery for scoliosis. However there has been neither experimental data fer explanation of these changes, nor the suggestion of optimal correction method. Therefore, the numerical study was designed to investigate the post-operative changes of vertebral rotation and rib cage deformation after the corrective surgery of scoliosis. A mathematical finite element model of normal spine including rib cage, sternum, both clavicles, and pelvis was developed with anatomical details. In this study, we also developed a special program which could convert a normal spine model to a desired scoliotic spine model automatically. A personalized skeletal deformity of scoliosis model was reconstructed with X-ray images of a scoliosis patient from the normal spine structures and rib cage model. The geometric mapping was performed by translating and rotating the spinal column with an amount analyzed from the digitized 12 built-in coordinate axes in each vertebral image. By utilizing this program, problems generated in mapping procedure such as facet joint overlapping, vertebral body deformity could be automatically resolved.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.8
• /
• pp.685-692
• /
• 2007

This paper describes the development procedure of GUI Program for the automated generation of airfoil performance table used in helicopter comprehensive code. Considering commercialization, the program is developed based on the Windows operating system. In addition, it is aimed to enhance user's convenience by including embedded postprocessor which enables real-time display of calculation procedure and grid system. Using the validated CFD code, the aerodynamic analyses are automated for a given range of Mach number and angles of attack. The computational grid system is designed to generate automatically once the surface coordinates are given. Mixed-Language scheme is employed in order to combine the CFD code in Fortran with C++ based GUI program, which makes the time-consuming code conversion unnecessary.

• Journal of Information Technology Applications and Management
• /
• v.12 no.4
• /
• pp.133-155
• /
• 2005

This Paper makes an attempt to suggest a process of automatically generating application software based on the Entity-Relationship model 1. The designer develops an E-R model of an real-world system. 2. The designer inputs the entity and relationship types, and attributes shown in the E-R model, and also the basic operations of the application system to the software generator. 3. The application generator produces database schema and link information between application programs, and then automatically generates a stereo-type application system. In order for the automated application generator to build the application system in a systematic way, four basic program generation rules have been suggested. A set of computer programs have been developed in order to show the applicability of the automated software generation process suggested in this paper. By following each rule with the generator, the designer can build an application in an efficient manner compared with traditional (manual programming) approaches. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model is feasible.