• Proceedings of the KIEE Conference
• /
• 1999.07c
• /
• pp.1428-1430
• /
• 1999

The New Distribution Automation System(NDAS) was composed of several equipments, computer system, communication system, feeder remote unit, switches and so on. In this paper, we introduce the conception of hardware and software design about Central Control System, the communication method and protocol in Feeder Remote Unit, the Automatic Switch, the operating software, consideration factors in the feeder automation(FA) and the system configuration of NDAS in power distribution test center.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.10-17
• /
• 2009

Surface detection and parameter estimation in point cloud is a relevant subject in CAD/CAM, reverse engineering, computer vision, coordinate metrology and digital factory. In this paper we present a software for a fully automatic surface detection and parameter estimation in unordered, incomplete and error-contaminated point cloud with a large number of data points. The software consists of three algorithmic modules each for object identification, point segmentation, and model fitting, which work interactively. Our newly developed algorithms for orthogonal distance fitting(ODF) play a fundamental role in each of the three modules. The ODF algorithms estimate the model parameters by minimizing the square sum of the shortest distances between the model feature and the measurement points. We demonstrate the performance of the software on a variety of point clouds generated by laser radar, computer tomography, and stripe-projection method.

• ETRI Journal
• /
• v.18 no.4
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.54 no.6
• /
• pp.43-51
• /
• 2017

Since Korea joined the ranks of the developed countries, the interests in people with disabilities are rising. In particular, as disabled people become more active, to improve the transportation vulnerable's the right of movement have been required more strongly. Thus each municipality has been various efforts to do this. In this study we provide a understanding of each local government authority status which associated with operation of special transport systems, a call-taxi for transportation vulnerable and investigate the implementation status of mobility support system for traffic vulnerable which provided with automatic vehicle delivery. Also, with identification of automatic vehicle delivery problems the system, we design and implement a best-effort automatic vehicle delivery algorithm to improve these problems. Algorithm proposed in this study actually applied to commercial system of local governments to resolve the existing problems and to check to operate normally. The results are expected to provide to more exact and faster automatic vehicle delivery to transportation vulnerable and to improve the convenience of transportation vulnerable's movement.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.1849-1852
• /
• 2005

An automatic cap-washing machine is developed for rinse and dry of synthetic resin cap which is used in spring water bottle. This machine should be achieved all processes washing and drying, array, transfer automatically. A cap is washed by an ozonized water and pure water first. Next, a cap is dried by a hot wind drying equipment. In this paper, structural and modal analysis for the cap-washing machine is carried out to check the design criterion of the machine. The analysis is carried out by FEM simulation using the commercial software, CATIA V5. And a fictitious mass properties was used for the analysis of the machine. Finally, the machine performance is shown to be satisfactory.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.107-113
• /
• 2004

This study presents a development of DeCatS(Detail Design of High Speed Catenary System) which is a software to design high speed catenary system automatically. The program is developed by Korea Railroad Research Institute with the support of KHSR. A process of developing it and a comparison with LEXCAT. in order to demonstrate a preciseness of that, were performed. In the program, decision of H-beam, cantilever fitting, management of materials, automatic drawing and etc. according to input conditions can be accomplished. In this study, especially the program algorithm for the decision of mast was introduced.

• Transactions of Materials Processing
• /
• v.8 no.1
• /
• pp.65-77
• /
• 1999

In recent years, the quality requirements from the customers of hot rolled steel strip have been steadily increasing in diversity and strictness. To meet these quality requirements as well as to improve productivity, steel mills have been doing their efforts for developing high performance Automatic Gauge Control (AGC) system. However, it is very time consuming and also needs a lot of money to develop the new technologies of AGC in actual mill. So, there has been a demand for developing the Dynamic Hot Rolling Simulator since late 80's. It is a kind of software packages and can analyze the dynamic behaviors of hot finishing rolling process without laborious experiments in actual mill. It can also be used as a designing tool of Automatic Gauge Controller. In this work, the Dynamic Hot Rolling Simulator which is applicable to 6 sands hot strip mill rolling was developed. The MATLAB with SIMLINK was used as a software developer for making the main part of simulator because it is very powerful tool for modeling, integrating, controller design, and simulation. In this paper, the structures and the mathematical models of the simulator were briefly described and the results of simulation on the transient phenomena of hot rolling process with actual mill data were also presented.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Journal of Korea Multimedia Society
• /
• v.6 no.4
• /
• pp.714-722
• /
• 2003

Men's clothing has been recently giving higher market shares to the ready-made clothes rather than the custom-tailored clothes. With many active studies on the human body and design, the ready-made clothes win popularity due to their rapid repairing, various design, and cheap prices, though they are not perfect suitable for some people. Therefore the ready-made has a weak point unable to consider all of the individual physical characteristics. However the custom-tailored clothes ate able to make clothing perfectly suitable lot their customers, though they require longer time-taking and expensive costs. In this context, this paper is design and implementation an automatic design edit system to provide a rapid and cheap service for customers on the ground of the custom-tailored clothes. In other words, this paper intended to use computer systems lot rapidly and precisely providing design dependent on the individual physical characteristics including a distorted bodies, types of the leg, and a height of the shoulder. To do so, the paper using not only studies on the human body and the custom-tailored clothes but also technical know-hows planned design for each individual body by LISP language and automatically process the design through CAD system. Consequently, the rapid and precise processing has reduced inventories and production costs, leading to supplying high quality clothes at lower prices.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.24 no.4
• /
• pp.467-474
• /
• 2018

The purpose of this study is related to automatic hull-form design for ships operating at two speeds. Research was conducted using a series 60 ($C_B=0.6$) ship as a target, which has the most basic ship hull-form. Hull-form development was pursued from the viewpoint of improving resistance performance. In particular, automatic hull-form design for a ship was performed to improve wave resistance, which is closely related to hull-forms. For this purpose, we developed automatic hull-form design software for ships by combining an optimization technique, resistance prediction technique and hull-form modification technique, appling the software developed to a target ship. A sequential quadratic programming method was used for optimization, and a potential-based panel method was used to predict resistance performance. A Gaussian-type modification function was developed and applied to change the ship hull-form. The software developed was used to design a target ship operating at two different speeds, and the performance of the resulting optimized hull was compared with the results of the original hull. In order to verify the validity of the program developed, experimental results obtained in model tests were compared with calculated values by numerical analysis.