• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.6
• /
• pp.878-884
• /
• 2015

In this paper, Power Management System(PMS) simulator for Liquid Nature Gas Carrier(LNGC) is developed. Major components of power system for LNGC, such as generator, diesel engine and governor, transformer, circuit breaker, and 3 phase loads models are built based on MATLAB/SIMULINK. With these designed major parts, PMS simulator modeling is carried out. Based on MATLAB/Graphical User Interface, PMS simulator control for LNGC, and Human Machine Interface for monitoring is designed. PMS simulator for LNGC carries out simulation according to sequence of characteristics analysis. By comparing results of predicted simulation for each sequence to that of characteristics analysis, the reliability of PMS simulator for LNGC will be verified.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.628-634
• /
• 1995

In the area of assembly process of micro-chips and electronic parts on the printed circuit board, surface mounting device(SMD) is used as a fundamental tool. Generally speaking, the motion of the SMD is based on the ball screw system operated by any type of actuators. The ball screw system is a mechanical transformer which converts the mechanical rotational motion to the translational one. Also, this system could be considered as an efficient motion device against mechanical backash and friction. Therefore a dynamic modeling and stste sensitivity analysis of the ball screw system in SMD have to be done in the initial design stage. In this paper, a simple mathematical dynamic model for this system and the sensitivity snalysis are mentioned. Especially, the bond graph approach is used for graphical modeling of the dynamic system before analysis stage. And the direct differentiation method is used for the state sensitivity analysis of the system. Finally, some trends for the state variables with respect to the design variables could be suggested for the better design based on the results on the results of dynamic and state sensitivity.

• Proceedings of the KIEE Conference
• /
• 2000.07a
• /
• pp.449-451
• /
• 2000

Arcing fault on overhead lines can be detected by amplitude of the arc voltage using numerical algorithm. In the case of transient fault, the arc voltage has any high value. In the case of permanent fault, the arc voltage is near zero. Thus, fault distance estimation should be performed by digital distance relay algorithm[3]. The purpose of this study is to build a structure for modeling of arcing fault detection and fault distance estimation algorithm using Matlab programming. Additionally, this algorithm has been designed in Graphical User Interface(GHI). So, this method using GUI interface of Matlab can reduce the number of simulation steps in modeling the distance relay.

• Journal of KIBIM
• /
• v.2 no.2
• /
• pp.17-26
• /
• 2012

This paper presents the results of a theoretical energy analysis of a research test bed called the Zero Net Energy Test House (ZNETH) in Omaha, Nebraska in U.S.A. The ZNETH project is being designed and built with the goal of consuming a negligible amount of energy by offsetting remaining usage after energy conservation. The theoretically consumed and generated energy levels were analyzed using energy modeling software programs. By integrating a highly graphical and intuitive analysis with a Building Information Model(BIM) of the house, this investigation introduces strategies to include sustainable materials and systems to predict energy generation with a case study of ZNETH. In addition, this paper introduces parametric analyses for better envelope design and construction material selection by analyzing simulated energy consumption with various parametric inputs, e.g., material types, location, and size. It was found that the current design of ZNETH does not meet its goal of zero net energy. Sugeestions are presented to assist ZHETH in meeting its net zero energy goal.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• Journal of Fisheries and Marine Sciences Education
• /
• v.17 no.3
• /
• pp.427-433
• /
• 2005

The study of Web GUI(Graphic User Information) system for Virtual Reality System is mainly performed on effective methodology which transform real world data to computing world data. MGIS(Marine Geographic Information System) has its own target on reliable data service by acquisition of geometric information using accurate measurement and graphical visualization. This type of raw data visualization can be built without software tools, yet is incredibly useful for interpreting and communicating data. Even simple visualizations can aid in the interpretation of complex 3D relationships that are frequently encountered in the geosciences. The Virtual Reality Modeling Language provides an easy way for geoscientists to construct complex visualizations that can be viewed with free software. This study propose a three dimensional Web GUI system using MGIS-based three dimensional data models and virtual imaging system. Finally, we design a Web GUI system integrating above data models.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.30.2-30
• /
• 2001

As the era of the human friendly robot looms, the intelligent autonomous mobile robots have obtained tremendous interests in recent years. The robots may be service robots for serving human or industrial robots for replacing human. For the coexistance with human, the robots must be able to feel and recognize three dimensional space that human live. In this paper, we propose three dimensional environmental modeling method based on a neural network technique called Growing Neural Gas Network. The purpose of this neural network is to generate a graphical structure which reflects the topology of the input space. Through this method, the robots´ surroundings are autonomously segmented ...

• The KIPS Transactions:PartD
• /
• v.9D no.1
• /
• pp.65-74
• /
• 2002

This paper focuses components interactions which is important factor in designing software components. We classified several types of interaction between components and suggested appropriate graphical notation to extend UML and design process with extended method. Suggested notation and process was verified by practical experiment which is performed in travel agent component application. Representing interaction between components is not same to representing association between classes. UML in current version needs to be extended for representing this kind of components interaction. This research covers UML extension for components interaction and experiment for showing effectiveness.

• Proceedings of the KIEE Conference
• /
• 2004.11b
• /
• pp.220-222
• /
• 2004

In the paper architecture of load flow under graphic interface we mentioned that the define of graphic interface and the way of system modeling. In the view point of engineering, domain define is the step of process which is seek out the general solution. This is a base of program's structure. When making a relationship inner component, relevance and restriction are affected by data type and etc. In this process logical data is realized as a symbol. And system configuration decide that main function and extension by the analysis user's demand and requirements. Specially engineering analysis software has accuracy also through the numerical method. To represent this wee need more powerful graphical component. This helps user's accessibility. We can combine 10, numerical library and graphical component as a system element by domain definition. In this paper we will materialize as a step of implementation and decide a direction of programming. In conclusion we will see the analysis software's necessary function to make a better.

• International Journal of Control, Automation, and Systems
• /
• v.1 no.1
• /
• pp.134-141
• /
• 2003

A major research issue associated with service robots is the creation of an environment recognition system for mobile robot navigation that is robust and efficient on various environment situations. In recent years, intelligent autonomous mobile robots have received much attention as the types of service robots for serving people and industrial robots for replacing human. To help people, robots must be able to sense and recognize three dimensional space where they live or work. In this paper, we propose a three dimensional environmental modeling method based on an edge enhancement technique using a planar fitting method and a neural network technique called "Growing Neural Gas Network." Input data pre-processing provides probabilistic density to the input data of the neural network, and the neural network generates a graphical structure that reflects the topology of the input space. Using these methods, robot's surroundings are autonomously clustered into isolated objects and modeled as polygon patches with the user-selected resolution. Through a series of simulations and experiments, the proposed method is tested to recognize the environments surrounding the robot. From the experimental results, the usefulness and robustness of the proposed method are investigated and discussed in detail.in detail.