• 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.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1263-1265
• /
• 1996

IEC1131-3 Specification of Programming Controller is established in 1994 and consists of 3 graphical languages and 2 textual languages. It is used in PLC and small scale controller because of its uniformity and extensibility. This paper describes Soft Logic Designer which is a graphical and textual programming editor for IEC1131-3 programming languages. Soft Logic Designer is developed with Object Orient Language, C++ under Microsoft Windows 95. It has two graphic editors for Sequential Function Chart and Function Block Diagram and one textual editor for Structured Text. Users can efficiently write high-level programs with mouse and menu buttons.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.11a
• /
• pp.425-428
• /
• 2005

Healthcare is a research field suitable for applying the recent ubiquitous techniques. As a test system, we developed a kind of CDSS (Clinical Decision Support System) running in ubiquitous environment. called as 'uCDSS'. The uCDSS is a core system of the ubiquitous healthcare and is composed of some 'uMLMs(Ubiquitous Medical Logic Modules)'. The uMLMs based on the class in C# programming language could be reused in development of CDSS, or another EHR system running in .NET environment. As a test system, we developed the DM(Diabetes Mellitus knowledge system using ASP.NET. This system shows the potential of C# class-based uMLMs and the extensibility to any .NET development project.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.2
• /
• pp.126-130
• /
• 2006

Programmable Logic Controller(PLC) is the most widely utilized and plays an important role in industrial control system. Sequential Function Chart(SFC) is a graphic language which is suitable for describing a sequential control logic in discrete control system. We can design a distribute control construction and a hierarchical control construction in process control system described by SFC. In hierarchical control structure, we construct each subsystems to synchronize a synchronous signal between subsystems, and the command system gives and takes a synchronous signal with subsystems. Therefore, the system has a low memory efficiency and a low system performance. In this paper, we propose the method that improved the efficiency of memory in hierarchical control construction, and confirm its feasibility through an actual example.

• Design Convergence Study
• /
• v.15 no.6
• /
• pp.73-92
• /
• 2016

As one of empirical research and developments on BIM applications to improve design quality and productivity of building, efforts have been devoted to automated compliance checking of building design for building permit. KBimLogic is a mechanism that translate Korean Buidling Act to the computational language called KBimCode. KBimCode aims to standardized and neutral language that can be applied to various design rules. This paper focuses on testing expandability of KBimCode by appling it on Chinese Building Act. We analyzed Chinese national regulation on fire protection and evacuation, based on 1) Object·property, 2) function for predicate processing, 3) relationship of sentences. As a result, Chinese Building Act were successfully translated to KBimCode with some important implications for further application. Based on the finding of the paper, KBimCode is expected to be applicable to kinds of design rules.

• Journal of Internet of Things and Convergence
• /
• v.6 no.1
• /
• pp.97-102
• /
• 2020

Multi-Channel Switch ICs for IoT have integrated several solid state structure low ON-resistance bi-directional relay MOS switches with level shifter to drive high voltage and they should be independently controlled by external serialized logic control. These devices are designed for using in applications requiring high-voltage switching control by low-voltage control signals, such as medical ultra-sound imaging, ink-jet printer control, bare board open/short and leakage test system using Kelvin 4-terminal measurement method. This paper describes implementation of analog switch control block and its verification using Field programmable Gate Array (FPGA) test pattern generation. Each block has been implemented using Verilog hardware description language then simulated by Modelsim and prototyped in a FPGA board. Compare to conventional IC, The proposed architecture can be applied to fields where multiple entities need to be controlled simultaneously in the IoT environment and the proposed pattern generation method can be applied to test similar types of ICs.

• Journal of the Korean Electrochemical Society
• /
• v.8 no.4
• /
• pp.149-154
• /
• 2005

Fuel cell performance evaluation logic was developed using G-language (LabVIEW) to measure performance stability. Degree of stability and reliability of performance data were improved with averaged value and standard deviation method. Water injection system was introduced and the performance using this method was comparable to that of conventional humidification method. Water injection system has advantage of lowering operation energy consumption, reducing the number of parts needed in humidification, therefore increasing efficiency of fuel cell system. Fuel cell performance was decreased in case of low temperature operation such as sub freezing condition. Air purge method was tested to reduce the water content in cell fixture before sub freezing condition. The performance degradation due to low temperature operation was minimized by air purge method in medium size cell fixture ($25cm^2$) case.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.253-287
• /
• 2014

In First-Order Logic the English expressions, 'any', 'every', 'all', and 'each' are treated on a par but have different meanings in the natural language usages. Especially the expression 'any' is typically used only in the negative contexts, which linguists have paid attention to and attempted to provide an adequate explanation of. I shall show that the explanations so far mainly from linguists are not satisfactory and revive the philosophical insights concerning the logical features of 'any' provided by Zeno Vendler in 1962. I shall claim that the expression 'any' has what Vendler calls the 'freedom of choice' as its primary meaning and denotes what Kit Fine calls an 'arbitrary object'. It will be shown that the logical features of 'any' are manifested more evidently in the analysis of the Korean expression 'amwu'. I believe that this analysis has significant philosophical implications. As an instance I shall show that we can take a fresh perspective on the problem which involves the universal generalization rule and the preface paradox.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.34 no.8
• /
• pp.971-980
• /
• 2010

In this paper, we present a navigation control algorithm for mobile robots that move in environments having static and moving obstacles. The algorithm includes a global and a local path-planning algorithm that uses $D^*$ search algorithm, a fuzzy logic for determining the immediate level of danger due to collision, and a fuzzy logic for evaluating the required wheel velocities of the mobile robot. To apply the $D^*$ search algorithm, the two-dimensional space that the robot moves in is decomposed into small rectangular cells. The algorithm is verified by performing simulations using the Python programming language as well as by using the dynamic equations for a two-wheeled mobile robot. The simulation results show that the algorithm can be used to move the robot successfully to reach the goal position, while avoiding moving and unknown static obstacles.

• Journal of Internet Computing and Services
• /
• v.2 no.4
• /
• pp.1-10
• /
• 2001

In this paper, we define requirements for call distribution of service control logic in Intelligent Network, Also, we propose call distribution mechanism for every subscriber with different call distribution rates, The call distribution mechanism had been developed as a function of Premium-rate Service in Intelligent Network. Our call distribution mechanism applies to percentage distribution instead of circular or hierarchical distribution. The call distribution mechanism consists of call input. output. call distribution processing logic part, random number generator, and customers database. We propose the practical implementation of a call distribution mechanism and call distribution decision indicating number computation method. We show three methods, the rand() function in C language, microsecond by system clock, and proposed algorithm, to get call distribution decision indicating number. In order to optimal call distribution mechanism, we estimated the results of three methods on occurrence values and the number of occurrences.