• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.3
• /
• pp.57-64
• /
• 2019

In this paper, an efficient prediction-based parallel simulation method using spatially partial simulation strategy is proposed for improving both the performance of the event-driven gate-level timing simulation and the debugging efficiency. The proposed method quickly generates the prediction data on-the-fly, but still accurately for the input values and output values of parallel event-driven local simulations by applying the strategy to the simulation at the higher abstraction level. For those six designs which had used for the performance evaluation of the proposed strategy, our method had shown about 3.7x improvement over the most general sequential event-driven gate-level timing simulation, 9.7x improvement over the commercial multi-core based parallel event-driven gate-level timing simulation, and 2.7x improvement over the best of previous prediction-based parallel simulation results, on average.

• Journal of Industrial Technology
• /
• v.31 no.B
• /
• pp.45-50
• /
• 2011

Recently, machine olfactory systems that have been proposed as an artificial substitute of the human olfactory system are being studied by many researchers because they can scent dangerous gases and identify the type of gases in contamination areas instead of the human. In this paper, we present an effective design method for the gas identification system. The design method adopted the sequential combination between genetic algorithms and TSK fuzzy logic system. First, the proposed method allowed the designed gas identification system effectively performing the pattern analysis because it was able to avoid the curse of dimensionality caused by use of a large number of sensors. Secondly, the method led the gas identification system to good performance because it was able to deal with drift characteristics of the sensor data by using description ability of the fuzzy system for nonlinear data. In simulation, we demonstrated the effectiveness of the designed gas identification system by using the simulation results of five types of gases.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.831-839
• /
• 2009

An interlocking equipment of railway signalling systems is manufactured with electrical devices and electrical interlocking equipment has been substituted for existing interlock equipment(relay sequential logic type). But interlock conditions are still generated from rail diagram and used to make Interlock Table manually. In order to make EIS(Electrical Interlock System) operate, we should write interlock data which is made from interlock table. But, as the station is larger and more complicated, handwork may becomes a very tediou work and makes more mistakes. Therefore the development of CAD system for Interlocking System is very significant, if CAD can reduce the mistakes from handwork and help the configuring the interlocking system. In this paper, we first arrange some rules which can be used to extract route information automatically from rail diagram and interlocking rules. And then we propose "Search-And-Rollback" algorithm to extract route information and individual interlocking rules. The proposed algorithm is implemented and tested through the signal design process of the Hyundai-Steel private railway to carry melted pig iron from the blast furnace to the steel-making workshop. some cases. It shows that CAD for Interlocking system is very helpful in time saving aspect and system reliability.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1254-1256
• /
• 1996

Design methods for sequence flow controllers play an important role in industrial automation. To design a flexible, reusable, and maintainable control software has become a key issue nowadays. Petri net has been emerging as an important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems recently. This paper describes an international standard of programming languages for programmable logic controllers, IEC 1131-3 SFC( Sequential Function Chart), and the sequence flow control method for an SFC using a Petri net-like model.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.44 no.2
• /
• pp.115-123
• /
• 2021

A lot of sensor and control signals is generated by an industrial controller and related internet-of-things in discrete manufacturing system. The acquired signals are such records indicating whether several process operations have been correctly conducted or not in the system, therefore they are usually composed of binary numbers. For example, once a certain sensor turns on, the corresponding value is changed from 0 to 1, and it means the process is finished the previous operation and ready to conduct next operation. If an actuator starts to move, the corresponding value is changed from 0 to 1 and it indicates the corresponding operation is been conducting. Because traditional fault detection approaches are generally conducted with analog sensor signals and the signals show stationary during normal operation states, it is not simple to identify whether the manufacturing process works properly via conventional fault detection methods. However, digital control signals collected from a programmable logic controller continuously vary during normal process operation in order to show inherent sequence information which indicates the conducting operation tasks. Therefore, in this research, it is proposed to a recurrent neural network-based fault detection approach for considering sequential patterns in normal states of the manufacturing process. Using the constructed long short-term memory based fault detection, it is possible to predict the next control signals and detect faulty states by compared the predicted and real control signals in real-time. We validated and verified the proposed fault detection methods using digital control signals which are collected from a laser marking process, and the method provide good detection performance only using binary values.

• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.21-30
• /
• 2016

Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.

• Archives of design research
• /
• v.18 no.3 s.61
• /
• pp.95-104
• /
• 2005

Although the volume and complexity of available information have increased, our ability to process such volume of complex information has not been met with corresponding development. Information designers have been given the responsibility to address such unbalanced progress by developing effective visual systems to deliver and communicate such information to the masses in a manner that is quick and easy to process and understand. This study originated in recognition of these issues. This study seeks to find a solution to these issues in rhetorics in order to proliferate visual communications in recognition of the increasing importance of information and visual communication. Rhetorics, a field of study with a long history of analyzing the delivery of communication, provides numerous possibilities for the re-establishment of importance placed on visual information communication. Included in this study are (i) a thorough analysis of the principals of expression and logic offered by rhetorics, as applicable to information design (ii) a proposal to the solution to the above-mentioned issues encompassing the rhetoric process and methods of expression of information design and (iii) the practical application of these design principals to social activities. In order to provide an example of the practical use of the rhetoric methodology Presented in this study, we applied the rhetoric methodology to the 'Information Design for Public Transportation of Seoul.' and developed a new map and a guidebook. The raw data necessary for the foregoing were obtained through the analysis of the information designs that are currently in use in connection with mass transportation in Seoul and the survey evaluation conducted among Seoul residents. We modulated the infrastructure of Seoul by using 48 TAZs, computed the routes that are most likely to be used, and proposed the predictable information analysis process. The design proposed on this study encompasses color coding and use of combined information, and application of style and sequential information analysis process.