• 전기학회논문지
• /
• 제64권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 A
• /
• 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.

• 한국BIM학회 논문집
• /
• 제2권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• 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.

• 수산해양교육연구
• /
• 제17권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년도 ICCAS
• /
• 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 ...

• 정보처리학회논문지D
• /
• 제9D권1호
• /
• pp.65-74
• /
• 2002

이 논문에서는 소프트웨어 부품이 되는 컴포넌트를 설계하기 위한 요소 중 컴포넌트간 상호작용에 중점을 두어 이를 체계적으로 분류한 후, 이에 맞는 도해적 표기방법(graphical notation)과 이를 이용한 설계 방법을 제시하고 실제 설계 사례를 통해 이를 검증하며, 컴포넌트 설계 및 모델링을 효과적으로 표현할 수 있는 방법에 대해 논의하였다. 컴포넌트는 일반 클래스와는 달리 그 규모가 크며 인터페이스와 이를 이용한 컴포넌트간의 상호작용에 대한 표현이 매우 부족하다. 따라서 이 연구에서는 컴포넌트 표현기법을 제시하기 위하여 UML을 확장하였고 이를 이용하여 실험적으로 설계해 보고 그 효용성을 검토하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 추계학술대회 논문집 전력기술부문
• /
• 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
• /
• 제1권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.