• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.5
• /
• pp.526-538
• /
• 2007

This paper presents a neural network based decentralized excitation controller design for large-scale power systems. The proposed controller design considers not only the dynamics of generators but also the algebraic constraints of the power flow equations. The control signals are calculated using only local signals. The transient stability and the coordination of the subsystem control activities are guaranteed through rigorous stability analysis. Neural networks in the controller design are used to approximate the unknown/imprecise dynamics of the local power system and the interconnections. All signals in the closed loop system are guaranteed to be uniformly ultimately bounded. To evaluate its performance, the proposed controller design is compared with conventional controllers optimized using particle swarm optimization. Simulations with a three-machine power system under different disturbances demonstrate the effectiveness of the proposed controller design.

• Korean Journal of Computational Design and Engineering
• /
• v.8 no.3
• /
• pp.157-166
• /
• 2003

In this paper, we explain the DMU (digital mockup) system based on the PDM system. Most manufacturing companies are trying to develop a competitive product by increasing the quality, shortening time to market (TIM) and reducing the cost of a product. Some technologies such as SE (System Engineering), CE (Concurrent Engineering), QFD (Quality Function Development), CI (Cost Innovation) and some systems such as CAD (Computer-Aided Design), CAE (Computer-Aided Engineering), CAM (Computer-Aided Manufacturing), PDM (Product Data Management) and visualization system are adopted for these purposes. Specially, DMU system utilizes a visualization system that shows the 3D shape of a product on the computer and it gives a quick intuition to a person whether he/she is an engineer or not. It also can induce the effects of CE and QFD. SO, 0 company is developing a DMU system integrating CAD, visualization and PDM system. The main feature of the developed DMU system is that it is entirely integrated with PDM system, which means that the 3D shape of any part or assembly can be retrieved through PDM system. The DMU system will change the development process, which will increase the competitiveness of a developed product.

• Proceedings of the KIEE Conference
• /
• 2002.06a
• /
• pp.41-45
• /
• 2002

In industrial computer vision systems, the image quality is dependent on the parameters such as light source, illumination method, optics, and surface properties. Most of them are related with the lighting system, which is designed in heuristic, based on the designer's experimental knowledge, In this paper, a design code by which the optimal lighting method and light source for computer vision systems can be found are suggested based on experimental results, To prove the usefulness of the design code, it is applied to the lighting system design of the transistor marking inspection system and the results are presented.

• Ocean Systems Engineering
• /
• v.2 no.2
• /
• pp.83-97
• /
• 2012

In the present work, design procedure and computer simulation of an AUV are documented briefly. The design procedure containing the design of propulsion system and CFD simulation of hydrodynamics behavior of the hull leads to achieve an optimum mechanical performance of AUV system. After designing, a comprehensive one dimensional model including motor, propeller, and AUV hull behavior simulates the whole dynamics of AUV system. In this design, to select the optimum AUV hull, several noses and tails are examined by CFD tools and the brushless motor is selected based on the first order model of DC electrical motor. By calculating thrust and velocity in functional point, OpenProp as a tool to select the optimum propeller is applied and the characteristics of appropriate propeller are determined. Finally, a computer program is developed to simulate the interaction between different components of AUV. The simulation leads to determine the initial acceleration, final velocity, and angular velocity of electrical motor and propeller. Results show the final AUV performance point is in the maximum efficiency regions of DC electrical motor and propeller.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.24 no.4
• /
• pp.87-99
• /
• 2022

The purpose of this study is to develop machine embroidery textile designs for each technique that can be expressed using a single-headed computer embroidery sewing machine through a machine embroidery CAD system. For research, embroidery CAD utilized the Artistic digitizer, and the guillotine computer-mechanical magnetization machine used ELNA. The design concept was limited to portraits and relics of independence activists in six memorial halls built in Korea. The results of this study are as follows. First, it was found that the machine embroidery texture, which could only be produced by industries in the past, can be expand in the infinite creative embroidery design area by enabling the digitalization of motif images and the simulation of machine embroidery techniques through various layout options. Second, in the development of machine embroidery textures, it was found that the setting of the width, height, axis ratio, stitch, object, path, length, density, layer order, etc. in embroidery CAD is a very important part of determining the completeness of the embroidery results. Third, mechanical embroidery textile designs, which can be represented by single-head computer machine embroidery machine were able to show colorful embroidery results that differs from the original image by using seven main techniques and five deep technique alone or in combination, according to the designer's intention.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.435-435
• /
• 2000

Light Rail Transit (LRT) system is a complex and large system in which there are many subsystems, interfaces, functions and demanding performance requirements. Because many contractors participate in the development, it is necessary to apply methods of sharing common objectives and communicating effectively among all of the stakeholders. This paper shows not only the methodology and the results of computer-aided systems engineering including requirement management, functional analysis and architecting LRT system, but also propose a tool to help manage a project by linking WBS (Work Breakdown Structure), work organization and PBS (Product Breakdown Structure). The application of computer-aided tool RDD-100 provides the capability to model product design knowledge and decisions about important issues such as architecting the top-level system. The product design knowledge will be essential in integrating the following life-cycle phase activities over the life of the LRT system. Additionally, when a new generation train system is required, the reuse of the database can increase the system design productivity and effectiveness significantly.

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

• Proceedings of the KSME Conference
• /
• 2001.11a
• /
• pp.730-733
• /
• 2001

A computer aided design system for spur, helical, bevel and worm gears by using AutoCAD system and its AutoLISP computer language was newly developed in this study. Two methods are available for a designer to draw a gear. The first method needs the gear design parameters such as pressure, module, number of tooth, shaft angle, velocity, materials, etc. When the gear design parameters are inputted, a gear is drawn in AutoCAD system and maximum allowable power and shaft diameter are calculated additionally. The second method calculates all dimensions and gear design parameters to draw a gear when the information such as transmission, reduction ratio, rpm, materials and pressure are inputted. The system includes four programs. Each program is composed of a data input module, a database module, a strength calculation module, a drawing module, a text module and a drawing edit module. In conclusion, the CAD system would be widely used in companies to find the geometric data and manufacturing course.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1467-1470
• /
• 2003

In order to enhance the productivity of design and manufacture of injection molds, various computer-aided systems have been developed and introduced to mold manufacturers. The customized 3-D CAD systems for mold design is one of the most representative computer-aided system. However, these systems usually do not provide a convenient way to access and manage design knowledge implemented in them. To overcome this shortage, knowedge-based engineering systems have been developed, and now they are imbedded as modules of commercial CAD systems. In this paper, we introduced a 3-D design system for standard mold base based on Knowledge Fusion, a commercialized KBE system imbedded in Unigraphics. By introducing KBE system, design knowledge can be exposed to the users and modified by the end-users.