• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.17 no.6
• /
• pp.119-126
• /
• 2003

This paper presents an algorithm of automatically finding magnitude of each maintenance index regarding step response characteristic for speed control system of driving roller in rolling process. For speed response data with noise, we distinguished possible cases that the number of maximum values is 2 or more into three separate types. Also, we suggested a way of selecting a candidate for reasonable maximum overshoot in each type and developed a decision algorithm of checking whether a candidate chosen is correct maximum overshoot. In terms of two types of test, we showed that magnitude and position in time axis of maximum overshoot can be found well via such algorithm presented in this paper.

• 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.

• The Journal of Society for e-Business Studies
• /
• v.7 no.1
• /
• pp.187-206
• /
• 2002

The purpose of this study is to review the process for the trade settlement system between all parties involved in the commercial transaction under SURF System. SURF application is the latest value added service from bolero.net and a fully automated documentary settlement system. It extends bolero.net's capability to enable trade transactions by providing a delivery versus payment system. It has been designed as a standard, shared, infrastructure component for handling trade settlement within an electronic environment to keep step with the operation of electronic Bolero bill of Lading. It exploits the services provided by the Bolero Core Messaging Platform - secure, guaranteed transactions based on boleroXML standards to provide document compliance services with optional bank guarantees. So, SURF system can automatically check all commonly used trade documents such as commercial invoices, bills of lading and certificates of weight and analysis, etc and supports a full range of settlement options including Open Account, Documentary Collections, Documentary Credit. 58 have key features as follows, ① automatic document compliance checking, ② integrated with the Title Registry, ③ supports various forms of vender financing, ④ governed by a set of legally binding rules, ⑤ fully prepared for Straight-Through-Processing, ⑥ Enabled compliance with UCP 500.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.4
• /
• pp.422-427
• /
• 2014

This study provides a method to detect blood vessels shape using image processing techniques with the help of fluoroscopy equipments, providing high precision information about vessels' location and shape of inner path. It will assist for checking and monitoring the position of operating tools during vascular interventional treatment. The blood vessels shapes are gathered with X-ray images when a fluorescent medications are injected into patient's vessel and those images are processed for getting the boundaries of vessels. Then these data are merged with real-time CT-images. These image processing systems and procedures recognize the catheter, though continued computing algorithms are very useful for observer part on the automatic control system.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.24 no.9 s.180
• /
• pp.2397-2405
• /
• 2000

The remeshing is a method to replace a distorted mesh by a new mesh without interrupting the finite element calculation. The remeshing procedure in this paper refers to the rezoning, for which a sm oothing process is developed to alleviate the distortions of mesh. In the paper, an automatic finite element rezoning system with tetrahedral elements for large deformation analysis has been developed. Our smoothing process is composed of two steps, a surface smoothing and a volume smoothing. In the surface smoothing, checking the dihedral angle and projection on surface patch reduced the change of shape and nodes penetrating die. The constrained Laplacian smoothing has been employed for the volume smoothing process. The state variables are mapped from old mesh to new mesh by using volume coordinates within a tetrahedral element. All these procedures have been linked to the NIKE3D program As illustrated in the examples the overall strategy ensures a robust and efficient rezoning scheme for finite element simulation of metal-forming processes.

• Korean Institute of Interior Design Journal
• /
• v.17 no.5
• /
• pp.61-71
• /
• 2008

The study alms to seek a plan of applying the digital technology to housing for the elderly. The purpose of the study was to grasp the needs of the aged on 30 types of digital systems in housing. The subjects were 120 persons aged of more than 60 years and lived in Busan. Data were collected by the individual interview. The following results were drawn from this study. First, the needs of the aged on the digital systems categorized as safe and security, control of indoor environment, and housework support were very high and should be provided at first. Second, the necessary types of digital systems which should be provided to the digital home for the elderly were digital systems for heating control, health checking, sensing of fire and gas leak, and house cleaning. Also, the basic types of digital systems were ones for invasion and burglarproof, emergency, air cleaning, automatic facet, door locking, and waste collecting. Third, the Income and usage level of digital equipment of the aged influenced to the floods of the aged on the digital system. Therefore, in addition to the necessary and basic types of digital systems mentioned above, the income and usage level of digital equipment should be considered in planning the digital home for the elderly.

• Journal of Astronomy and Space Sciences
• /
• v.29 no.4
• /
• pp.397-405
• /
• 2012

Astronomical Observations at Chungbuk National University Observatory (CBNUO) with an 1 m telescope have begun since April 2008, and Near-Earth Space Survey observations also have been started since November 2010, with a 0.6 m wide field telescope developed by Korea Astronomy and Space Science Institute. To improve observational efficiency, we developed a weather monitoring system enabling automatic monitoring for the weather conditions and checking the status of the observational circumstances, such as dome status. We hope this weather monitoring system can be helpful to more than 100 Korean domestic observatories, including public outreach facilities. In this paper, we present the statistic analysis of the weather conditions collected at CBNUO for 3 years (2009- 2011) and comparisons were made for clear nights between using only humidity data and both humidity and cloud data.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• Proceedings of the KIEE Conference
• /
• 2001.10a
• /
• pp.271-274
• /
• 2001

The purpose of interlocking system was to prevent the route for a train being set up and its protecting signal cleared if there was already another, conflicting route set up and the protecting signal for that route cleared. Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial systems, therefore, interlocking system are rapidly changing from relay interlocking system to Electronic Interlocking System(EIS) that control requirements of interlocking at junctions using electronic circuits. In this paper, by examine checking technique of EIS, we will to acquire interlocking inspection algorithm and method for EIS and to develope inspection system for EIS. By using inspection system we obtain every advantage. It has the functions for test data generation and automatic test execution, and it can operate on personal computer. Time and cost for test work can be reduced to more of those now required by using this developed inspection system.

• Korean Journal of Artificial Intelligence
• /
• v.9 no.2
• /
• pp.29-34
• /
• 2021

In this paper, for efficient parking control, in an Arduino environment, an intelligent parking control prototype was implemented to provide parking control and parking guidance information using HC-SR2O4 and RC522. The main elements of intelligent parking control are vehicle recognition sensors, parking control facilities, and integrated operating software. Whether the vehicle is parked on the parking surface may be confirmed through sensor or intelligent camera image analysis. Parking control equipment products include parking guidance and parking available display devices, vehicle number recognition cameras, and intelligent parking assistance systems. This paper applies and implements ultrasonic sensors and RFID concepts based on Arduino, recognizes registered vehicles, and displays empty spaces. When a vehicle enters a parking space to handle this function, the automatic parking management system distinguishes the registered vehicle from the external vehicle through the RC522 sensor. In addition, after checking whether the parking slot is empty, the HC-SR204 sensor is displayed through the LED so that the driver can visually check it. RFID is designed to check the parking status of the server in real time and provide the driver with optimal route service to the parking slot.