• 한국신재생에너지학회:학술대회논문집
• /
• 2010.11a
• /
• pp.75.1-75.1
• /
• 2010

This research presents a fuel cell simulator for control logic verification and operator training. Nowadays, power industries are focusing on clean energy as a response to new policy. The fuel cell can be the solution for clean energy, but operating technology is not well developed compared to other conventional power plans because of its short history. Therefore we need a simulator to verify the new control strategy and train operators, because the price of a real fuel cell system is too high and mechanically weak to be used for these kind of purposes. To develop the simulator, a 300 KW MCFC(Molten Carbonate Fuel Cell) system was modeled with stack, BOPs(pre-reformer, steam generator, etc) and mechanical components(valves, pipes, pumps, blowers, etc). The process model was integrated to emulated control system and HMI(Human Machine Interface). A static load and open loop tests were conducted for verifying the accuracy of the process model, since it is the most important part in the simulation. After verifying the process model, an automatic load change and start-up tests were conducted to verify the performance of a new control strategy(logic and functional loops).

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.19 no.4
• /
• pp.37-43
• /
• 2011

Lunar exploration program has been prepared with the aim of launch in the 2020's. As part of it, a lunar lander demonstrator has been developed which is the model for verifying all the system, such as structure, propulsion and control system before launch to deep space. After verifying all the system, the demonstrator will be evaluated by flight test. This paper deals with path tracking controller based on thrusters for the demonstrator. For this, first we derive equations of motion according to the allocation of thrusters and design the path tracking controller. The signal generated from the controller is continuous so PWPF(Pulse-Width Pulse-Frequency) modulator is adopted for generating on/off signal. Finally MATLAB simulation is performed for evaluating the path tracking ability and the final landing velocity.

• Electronics and Telecommunications Trends
• /
• v.32 no.6
• /
• pp.105-115
• /
• 2017

This paper describes a project - based quality management model that identifies development technologies and codes while at the same time verifying the ability to implement processes that are essential in R & D projects. In order to verify the process implemented in the R & D project implementation, there are review, checking points, and evaluating methods the process performance levels for five processes such as defining requirements which is the beginning stage of system development, testing process which is the completion stage of system development, and project management and peer review process for project management and support in the proposed project-based quality management model. For development technology and code validation, the model included the documented test cases for each requirement by the developer in the requirements definition stage, debugging and testing in the design and implementation stages, static analysis and open source licence verification procedure, and system environment. After applying the model in SW development R&D project for evaluating the process performance, and verifying the development technology and the code, the developers responded that the improvement in the development technique and the code, and upgrade of process performance level for project are more than 10%.

• KIEAE Journal
• /
• v.10 no.6
• /
• pp.145-151
• /
• 2010

Bearing wall system was used extensively in most multi-residential apartment buildings in Korea. However, bearing wall apartments have the lack of architectural plan flexibility, remodelling-incompatible, causing serious economic losses in terms of construction waste. Recently, many researchers have studied the use of Rahmen structure as a potential alternative. The beam-column connection in the paper for long-life apartment housing forms connection of a Rahmen structure utilizing the advantages of steel and reinforced concrete. In addition, reduction of cast-in place concrete and construction schedule is expected by using precast concrete. Reduction effect of quantity decreased construction costs and $CO_2$ emission of key construction materials. However, verifying the feasibility of new construction method entails numerous challenges. Accordingly, the purpose of this study is to analyze the construction feasibility of sleeve, coupler, and pressure welding connections for long-life apartment building structure. A 3D modeling software was used to perform the analysis, and a real scale model was created to verify the results of construction feasibility. By verifying the construction feasibility of beam-column connections, this study will contribute to the efficient application of these methods on construction sites.

• Journal of Information Processing Systems
• /
• v.14 no.2
• /
• pp.309-321
• /
• 2018

In the conventional computing environment, users use only a small number of software systems intensively. So it had been enough to check and guarantee the functional correctness and safety of a small number of giant systems in order to protect the user systems and their information inside the systems from outside attacks. However, checking the correctness and safety of giant systems is not enough anymore, since users are using various software systems or web services provided by unskilled developers. To prove or guarantee the safety of software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also discuss the future research challenge which must be solved with better solutions in the near future.

• Korean Journal of Computational Design and Engineering
• /
• v.16 no.2
• /
• pp.156-164
• /
• 2011

The automation technology is able to enhance the business process more rapidly and effective. Open BIM technology which supports automation technology of building overcomes the limitations of two dimensions drawings system. The purpose of this study is on the development of open BIM based modules for creating and verifying the core model for super-tall building in the schematic design phase. The module is expected to create cases of core models automatically and it is expected to verify the requirement of building model. This module is anticipated to utilize for creating the core model rapidly in order to create the alternative plan and to make the model accurate by its verification.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.477-480
• /
• 2001

최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.633-636
• /
• 1991

This paper describes the auto depth control system for underwater vehicle that can be used for both near surface and deeply submerged depthkeeping operations. This controller uses the fuzzy control algorithm and is implemented on the 16 bit microprocessor 8086 and coprocessor 8087. For verifying this system design, the digital simulator using PC-386 based T800 transputer is proto-totyped and the real time simulations show us satisfactory results.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.589-594
• /
• 1989

In this paper, a programming system for robot-based manufacturing cell which can control and simulate manufacturing devices as well as robots in workcell is proposed and developed. The system is based on world model, and modem textual and object-level robot programming language and interactive graphic world modeler are used to construct and exploit world model. Graphic simulation is used as an efficient and easy to use debugging or verifying tool for user written robot programs. Machine dependency is minimized by adopting the hierarchical control structure and by assuming all the workcell components as virtual ones.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.377-382
• /
• 1994

The performance measurement and evaluation system is required on automotive engines to analyze engine characteristics. In this study, data acquisition is established by installing various sensors of temperature,pressure, gas amount, RPM, Torque,.etc to engines, and the modeling of evaluation system is suggested. Also a data base management system is developed for verifying the quality of automotive parts which effect engine characteristics and the output module is presented to be used as certification sheets in automotive and part manufacturer.