• Proceedings of the Korea Contents Association Conference
• /
• 2006.05a
• /
• pp.507-511
• /
• 2006

This paper introduces the case study of constructing a quest engine system in a commercial online game, Travia. The system can help several operations for quests such as modeling and execution with a dedicated script language. Since the many attributes of a quest, including the type or preconditions or execution ordering of quests, could be represented well with the script, game developers can constitute and modify a quest system very easily. Thus it is expected that the quest system introduced in this paper can be a good guideline to the developers of online RPG games.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.201-206
• /
• 2010

PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.23-28
• /
• 1997

We discuss development of a simulator for automated manufacturing systems (AMSs) which have sophisticated automated material handling equipments and complicated work flows. The simulator is designed to satisfy the following requirements. A user should be able to easily configure or specify an AMS through a graphical user interface (GUI) and minimal data input. The user should be able to model diverse and complied control logic for automated material handling systems like automated guided vehicle (AGV) systems, robot workcell systems and conveyor systems as well as complicated job flow program. Real time animation is desired. Finally, the simulator should be easily maintained and extended. To satisfy the requirements, we use an object-oriented paradigm for modeling, designing, and programming of the simulator. We use an object-oriented modeling framework to design the modeling elements library, and take the process interaction approach for scheduling processes and events. To model a user-defined diverse control logic, we also develop a script language and its interpreter. We explain design and implementation strategies. We implement the simulator using Visual C++ 4.2 and Open GL on Windows NT and the Windows95. Some modeling examples will be demonstrated.

• Journal of Aerospace System Engineering
• /
• v.12 no.1
• /
• pp.17-26
• /
• 2018

The interaction model between variable-speed control moment gyros and a satellite has been studied based on the multi-body dynamics. Using the interaction model, we could obtain data for the design of VCMG motors and the strength design of structure. The interaction effects of flexible modules such as solar panels were included. Flexible modes are excited by the satellite's maneuver, and these modes cause perturbations in the satellite attitude. We developed a simulation program by Modelica and verified the proposed model.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.55-68
• /
• 2012

Recently it is important to understand service supply chain because the economy moves from manufacturing to services. However, most of existing supply chain research focuses exclusively on the manufacturing sector. To overcome this situation, it needs to investigate and analyze service supply chain. Simulation is one of the most frequently used techniques for analysis and design of complex system. Service supply chain is complex and large systems that require an accurate designing phase. Especially, it is important to examine closely the dynamically interactive behavior of the different service supply chain components in order to predict the performance of the servcie supply chain. In this paper, we develop a conceptual model of service supply chain. Then, we present a new procedure to develop simulation model for the developed conceptual model of service supply chain, based on the UML analysis and design tools and on the ARENA simulation language. The two main characteristics of the proposed procedure are the definition of a systematic procedure to design service supply chain and of a set of rules for the conceptual model translation in an ARENA simulation language. The goal is to improve the knowledge on service supply chain management and support the simulation model development efficiency on service supply chain.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.3
• /
• pp.190-196
• /
• 2016

This paper proposes a humanoid robot performance system for performing in public places, such as an event, exhibition, or street performance. The system of modular structures can be moved easily, and can be played by a module or a combination of modules. The system developed with open source-based software and hardware is easy to adapt and improve. The robot performance control program for controlling robots, displays, audios, videos, and performance instruments was developed using the open source language, Processing. The performance instruments were developed using the open source hardware, Arduino. The contents of the robot performance were composed of scene-specific image, background audio, computer graphics, and videos. For their control and synchronization, the performance control program communicates with the humanoid robots and the performance instruments. In addition, performance accessories required to represent the performance concepts are produced by 3D modeling and printing. In a public place, the robot performance is performed with the theme of celebrating a Halloween day.

• Journal of the Korean Society for information Management
• /
• v.24 no.3
• /
• pp.119-147
• /
• 2007

Actually a diffusion of a semantic web application and utilization are situations insufficient extremely. Technology most important in semantic web application is construction of the ontology which contents itself with characteristics of semantic web. Proposed a suitable a method of building web ontology for characteristics or semantic web and web ontology as we compared the existing ontology construction ana ontology construction techniques proposed for web ontology construction, and we analyzed. And modeling old ontology to bases to description logic and the any axiom rule that used an expression way of SWRL, and established inference-based web ontology according to proposed ways. Verified performance of ontology established through ontology inference experiment. Also established an web ontology-based intelligence image retrieval system, to experiment systems for performance evaluation of established web ontology, and present an example of implementation of a semantic web application and utilization. Demonstrated excellence of a semantic web application to be based on ontology through inference experiment of an experiment system.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.1065-1070
• /
• 2005

According to the development of embedded systems, they are used in various fields. However, the productivity and the quality of embedded systems are not acceptable because of the hardware environment-oriented development. Several works has proposed new techniques using a formal specification method or complex template, but due to high complexity and low flexibility of the method, it is difficult to be used. Accordingly, this paper presents a new approach to develop embedded device drivers which are kinds of embedded system software. In our approach, we define a light device driver template for ensuring high flexibility and productivity and generate the device driver by incorporating with embedded system information represented by XML. By using XML we consider the design phase in device driver development process for the quality of the driver. Our approach, improves the reusability of embedded device driver and finally, it will improve productivity and quality of embedded system.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.9_10
• /
• pp.485-496
• /
• 2008

As the complexity of SoC (System-on-Chip) design increases dramatically. traditional system performance analysis and verification methods based on RTL (Register Transfer Level) are no more valid for increasing time-to-market pressure. Therefore a new design methodology is desperately required for system verification in early design stages. and hardware software (HW-SW) cosimulation at TLM (Transaction Level Modeling) level has been researched widely for solving this problem. However, most of HW-SW cosimulators support few restricted ion levels only, which makes it difficult to integrate HW-SW cosimulators with different ion levels. To overcome this difficulty, this paper proposes a multipurpose framework for HW SW cosimulation to provide systematic SoC design flow starting from software application design. It supports various design techniques flexibly for each design step, and various HW-SW cosimulators. Since a platform design is possible independently of ion levels and description languages, it allows us to generate simulation models with various ion levels. We verified the proposed framework to model a commercial SoC platform based on an ARM9 processor. It was also proved that this framework could be used for the performance optimization of an MJPEG example up to 44% successfully.

• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.187-196
• /
• 2008

The system development approach method of the new paradigm, as being standardizing MDA(Model Driven Architecture) in OMG(Object Management Group), the core technique of MDA definite technique structure for system materialization focusing on Model, is to build the design and the statement for system in PIM(Platform Independent Model), Materialization technique, and to build PSM(Platform Specific Model) adapt to materialization environment, and then to be the technique transforming into language Platform suitable to materialization environment. It includes MOF(Meta-Object Facility), UML, XMI(XML Metadata Interchange), CWM(Common Warehouse Metamodel), the core of MDA. Though these operations MDA support automatic tools product the practicable system after carrying out transform operation with the above information. In this thesis, it will be approached how to design and materialize the Bachelor management system based on MDA and the importance of modeling should be emphasized by applying to the approach method based on MDA. It should be suggested how to develop software efficiently, written it out in PIM, and suggested the process transforming PSM into EJB by J2EE Platform. The system is designed and implemented using automatic tool, edit machine(Together Architect 2006 for Eclipse, Edit plus2) supporting MDA and Database Modeling tool(ER/WIN 4.1). In conclusion, it should be suggested the efficiency analysis result for development process of traditional and based on MDA.