• Journal of Environmental Impact Assessment
• /
• v.11 no.2
• /
• pp.109-116
• /
• 2002

The diagnostic and prognostic methods for generating 3 dimensional wind field were comparatively analyzed and 4 dimensional data assimilation (FDDA) technique by incorporating Automatic Weather System (AWS) into the prognostic methods was discussed for the urban scale air quality model. The A WS covered the urban scale grid distance of 10.6 km and 4.3 km in South Korea and Kyong-in region, respectively. This is representing that AWS for FDDA could be fairly well accommodated in prognostic model with the meso${\gamma}$~ microa scale (~5 km), indicating that the 3 dimensional wind field by FDDA technique could be a useful interpretative tool in urban area for the atmospheric environmental impact assessment.

• International Journal of Railway
• /
• v.5 no.2
• /
• pp.65-70
• /
• 2012

This paper introduced a novel railway system, Automatic Train Protection and Block (ATPB) briefly, which is proposed to improve the efficiency of existing regional train lines with low cost in Japan. The biggest superiority of ATPB system is a great use of universal and mature technologies, such as GPS and regular mobile telephone networks, so that there is nearly no increment of trackside equipments in the reconstruction. Then in order to guarantee the system safety, a formal model of ATPB is established and analyzed by formal method VDM++. Firstly, the specification is specified by VDM++ formally without ambiguity. Secondly, its internal consistency is proved by discharging the proof obligations. And finally, its satisfiability is checked by systematic testing, which executes specification and checks the outputs against corresponding inputs.

• Journal of the Korea Society of Computer and Information
• /
• v.1 no.1
• /
• pp.171-182
• /
• 1996

This study is, on the design and Implementation of automatic translation (user made pictures, or drawings to 3-dimentional graphics) magic eye system by analyzing and algorithm the principle of the stereogram(so called "magic. eye" ) which Is the another type of stereo images matching method. It was written in C programming language and needs windows 3.1 or higher version of windows. It Is expected to be utilized as acknowledgment tool of 3-dimentional vision and to be use In optalmology as a tool to enhance one's visualpower by general PC user. who are interested In stereogram.tereogram.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 1998.11a
• /
• pp.73-76
• /
• 1998

To use glazing systems protected by automatic sprinklers as fire barriers in building compartmentation, fire endurance tests of these systems have been performed by several research workers. Most of the tests concerned the types of glasses and sprinklers, sprinkler water flow rate, and sprinkler activation time. Horizontal side wall sprinklers and window glazing systems with a vertical center mullion were mainly applied in the tests. In the study, full-scale fire endurance tests were carried out to verify the ability of large glazing systems divided by a horizontal mullion and protected by pendent vertical sprinklers. The result shows that the protrusive length of the horizontal mullion, which is perpendicular to the glass surface, is the main parameter that determines the fire resistance rating of the systems. The mullion obstructs the water flow in the glass.

• ETRI Journal
• /
• v.19 no.4
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• Proceedings of the IEEK Conference
• /
• 2006.06a
• /
• pp.705-706
• /
• 2006

A novel plug and play system for a mobile device has been proposed and demonstrated to provide an easy inter-operation between the mobile device and external modules. It supports an automatic installation and execution of the device drivers stored in the external modules into the mobile devices when the external module is connected to the mobile device. It also enables an automatic removal of the derivers when the external module is disconnected from the mobile device, which makes the user use the resource of the mobile devices more efficiently.

• Journal of Information Technology Applications and Management
• /
• v.10 no.4
• /
• pp.135-147
• /
• 2003

With the development of multimedia and optical technologies, application systems with facial features hare been increased the interests of researchers, recently. The previous research efforts in face processing mainly use the frontal images in order to recognize human face visually and to extract the facial expression. However, applications, such as image database systems which support queries based on the facial direction and image arrangement systems which place facial images automatically on digital albums, deal with the directional characteristics of a face. In this paper, we propose a method to detect facial directions by using facial features. In the proposed method, the facial trapezoid is defined by detecting points for eyes and a lower lip. Then, the facial direction formula, which calculates the right and left facial direction, is defined by the statistical data about the ratio of the right and left area in facial trapezoids. The proposed method can give an accurate estimate of horizontal rotation of a face within an error tolerance of $\pm1.31$ degree and takes an average execution time of 3.16 sec.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.38 no.9
• /
• pp.740-752
• /
• 1989

Many works have been reported in various fields on the subject of controlling a robot with high-level robot languages. This paper presents one such effort and explains the development of an automatic robot programming system which utilizes the concept of the task level language. This system is expected to act as an intelligent supporting tool in robot programming and be put into practical use. Emphasis is placed on the role of the programming system as a tool that generates the executable robot program according to the user specified tasks. Several task level commands are used in the developed system, and the resulting inflexibility is complemented by the motion level commands of the motion level robot languages. Thus, the advantages of both task and motion level languages are utilized, and no knowledge of specific language grammer is needed even when using motion level commands. To increase the usability of the developed system, various methods are provided for supplementing the programming system using taught data.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.52 no.2
• /
• pp.114-120
• /
• 2003

According to the use of distribution automation systems, the function to find or to search a fault phase is necessary for automatic switches in a distribution substation. In this paper, two algorithms are developed to fine the fault circuit and the fault phase for the automatic switches in substation with ungrounded power system. One is the fault circuit searching method using the zero sequence voltage at the bus and zero sequence current of circuit current and the other is to find the fault phase using the line voltage and zero sequence current. The developed algorithms are tested in the case study simulations. An ungrounded power system is modeled by EMTP as a case study system. The developed algorithms are tested in the case study simulations and each shows correct results.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2766-2768
• /
• 2000

We were made the automatic measurement system of sheet resistance and resistivity of semiconductor and metals with accuacy. The use of this system measured SRM(Standard Reference Materials) silicon wafers which calibrated by NIST. From this result. this system operated with the standard deviation within maximum ${\pm}$1% error.