• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2003.04a
• /
• pp.282-287
• /
• 2003

DTTS(Dynamic Track Tensioning System) system requires robust control performance for the various maneuvering tasks. However, it is very difficult to tune the controller gains in experiments. In this paper, the hydraulic unit is modeled and constructed into the DTTS control module in Matlab/Simulink The control module is interfaced to the vehicle dynamics module so that the control performance of the DTTS system can be evaluated in simulations. The dynamics data and control input data are exchanged between two modules at each control time-step. The gains in the fuzzy-logic controller are varied and the control performance is evaluated in simulations. The proposed simulation tool can be very useful for the gain tuning of track tension controller in bucked vehicles

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.633-634
• /
• 2006

Recently we started a development of the digital meister expert system for the product design supporting in manufacturing industry. Knowledge representation is of major importance in digital moister expert system. This rule-based expert system-knowledges are designed for a certain type of knowledge representation such as rules or logic. The way in which a rule-based expert system represents knowledge affects the development, efficiency, speed, and maintenance. Eventually, this digital moister system is used to the engineer in manufacturing industry for the process control, production management and system management. In this paper, we propose the digital moister system knowledge representation method for product design supporting in manufacturing industry and we present introduction and contents of rule-based knowledge representation supporting tool.

• Journal of Information Technology Services
• /
• v.11 no.1
• /
• pp.141-153
• /
• 2012

USM(Unit Service Management System) is the development tool and methodology to handling the event process in a U-City integrated platform by using the minimum unit services. USM can be one of the SOA development methodology. Minimum unit service has a minimum business logic that can be executed with input and output parameters. Minimum unit service consists of three parts : service profile, service input and output parameters and service execution information. USM provides two types of the execution method. One is module execution and the other is web service execution. The development of the event sinario by the USM development methodology can reduce the cost and duration of the u-service development by raising the rate of reusing minimum unit service.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.3 no.2
• /
• pp.133-137
• /
• 2003

Various bioinformatics tools for biological data processing have been developed and most of them are available in public. Most bioinformatics works are carried out by a composite application of those tools. Several integration approaches have been proposed for easy use of the tools. This paper proposes a new multi agent system to integrate bioinformatics tools in the perspective of workflow since the composite applications of tools can be regarded as workflows. For the easy integration, the proposed system employs wrapper agents for existing tools, uses XML-based messages in the inter-agent communication, and agents are supposed to extract necessary information from the received messages. This allows new tools to be easily added on the integration framework. The proposed method allows various control structures in workflow definition and provides the progress monitoring capability of the on-going workflows. In particular, agents in this system have the rule-based architecture which allows the defined rule set to be a special role agent. This feature provides fast and flexible agent development to aid in managing the complexity of bioinformatics application. This system has been partially implemented and has been proven to be a viable implementation for workflow-based bioinformatics tool integration.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• Korean Journal of Optics and Photonics
• /
• v.23 no.4
• /
• pp.143-146
• /
• 2012

All-optical data extraction, one of the key technologies for all-optical computing and optical communication to perform add-drop, packet switching, and data reset, etc., is experimentally demonstrated by using cross-gain modulation (XGM) of semiconductor optical amplifiers (SOAs). Also, all-optical data extraction based on numerical simulation is performed by using the VPI simulation tool. In this paper, the suggested optical system based on SOAs shows the potential for high speed, and highly integrable and low power optical data computing.

• Journal of Korean Society for Quality Management
• /
• v.42 no.4
• /
• pp.591-606
• /
• 2014

Purpose: The purpose of this study is to design an experimental simulation model for evaluating the UGV(Unmanned Ground Vehicle) effectiveness in a small unit combat scenario. Methods: We design and build a simulation model to evaluate the combat effectiveness of UGV in a small unit combat scenario. In order to build a simulation model, we used AnyLogic software tool which has functional advantages to describe agent-based simulation model. As for the combat scenario, we applied the typical engagement of mechanized unit equal or lower than battalion level. Analysis process follows the three phases. 1) Design an agent based conceptual medel in a small unit combat scenario. 2) Build a simulation medel using AnyLogic tool. 3) Analyze the simulation results and evaluate the UGV effectiveness. Results: The UGV effectiveness was measured and presented as a numeric values. Those numeric values were represented as a MOE(Measure of Effectiveness) which was the blue survival ratio. Conclusion: We developed an agent based simulation model which can provide a pattern of change how UGV effectiveness varied depending upon the number of UGV in a small unit combat scenario. We also found that the UGV effectiveness grows in the given scenario as the number of UGV increases.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1257-1259
• /
• 1996

In this paper, we introduce an integrated communication and control system(ICCS) for control of a crane. The system is integrated with a compasite technique as a network interfacing, a user interfacing and a system control for continuous process like as a container crane. The field-bus(Profibus) network module is used to interconnect each input/output module with main control unit. The MMI system for user interfacing is integrated with an ODBC-based data management tool and IECl131-based control logic design tool(Soft-Logic Designer:SLD). The each programmed control task in the main Controller is executed using a petri-net based scheduler.

• Smart Media Journal
• /
• v.12 no.5
• /
• pp.58-64
• /
• 2023

In Logic Bomb, the conditions of branch statements that trigger malicious behavior cannot be detected in advance, making Android malicious app analysis difficult. Various studies have been conducted to detect potentially suspicious branch statements that can be logic bombs and triggers, but suspicious branch statements cannot be properly detected in apps that contain information determined at runtime, such as reflection. In this paper, we propose a tool that can detect suspicious branch statements even when reflection is used in Android apps. It works through recording app execution logs and analyzing the recorded log). The proposed tool can check the relationship between the called method and the branch statement by recording and analyzing the user-defined methods, Java APIs called and method information called through reflection, and branch information in the log while the Android app is running. Experimental results show that suspicious branch statements can be detected even in apps where reflection is used.

• Journal of Electrical Engineering and Technology
• /
• v.11 no.1
• /
• pp.247-256
• /
• 2016

This paper proposes Context-Awareness Healthcare for Disease Reasoning based on Fuzzy Logic. It consists of a Fuzzy-based Context-Awareness Module (FCAM) and a Fuzzy-based Disease Reasoning Module (FDRM). The FCAM computes a Correlation coefficient and Support between a Condition attribute and a Decision attribute and generates Fuzzy rules by using just the Condition attribute whose Correlation coefficient and Support are high. According to the result of accuracy experiment using a SIPINA mining tool, those generated by Fuzzy Rule based on Correlation coefficient and Support (FRCS) and Improved C4.5 are 0.84 and 0.81 each average. That is, compared to the Improved C4.5, the FRCS reduces the number of generated rules, and improves the accuracy of rules. In addition, the FDRM can not only reason a patient’s disease accurately by using the generated Fuzzy Rules and the patient disease information but also prevent a patient’s disease beforehand.