• Journal of Advanced Navigation Technology
• /
• v.14 no.3
• /
• pp.384-390
• /
• 2010

Since many accidents have been constantly occurring in the workplace, requirements of Industrial Safety Management have also been increasing. In order to meet the needs and prevent the problems in advance, we designed wireless sensor network system based on PLC. This system is set with amain node including PLC Modem and Zigbee in the every workplace and each wireless sensor node is attached to every worker in the workplace. The main node is supposed to transmit and receive sensor data, and the data which is from a wireless sensor node to the main node is delivered to monitoring PC through PLC. In this paper, it is expected that, by perceiving the realtime situation of the work place through this system, we could prevent the problems in advance and reduce damages by accidents.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.2
• /
• pp.283-294
• /
• 1996

To operate the automatic devices of manufacturing process more effectively and to solve the needs of the resource sharing, network technology is applied to the unit control devices located in common manufacturing zone and operated by connecting them. This paper introduces deign and test operation of cell system for the management of multivendor PLC by applying to wall paper process based on the manufacturing standardization of CIM. The analysis of designed multivendor PLC group is performed by selecting the parameters such as variation of data packet size and node number of PLC ladder logic program and variation by analyzing the corresponding variation values of token rotation time and waiting time for the system operation. For the method of the analysis,the equation is considering the overhead such as indicated packet service time and transmission safety margin for PLC network connection in M/G/1 queue model,and it is applied to the cell system and PLC group manage-ment for operation .Through the experiment,it is found that the realtime processing is possible with expanded and better result than the resuit obtained by Jayasumana.Browaka with PLC scan time considered,response lower limit of 10-20 msec. data packet size not more than 50 bytes.and the number of nodes less than 40.

• Journal of the Society of Disaster Information
• /
• v.18 no.4
• /
• pp.699-705
• /
• 2022

Purpose: Sequence control is widely used by being applied to manufacturing, distribution, construction, and automation in the medical industry. With the development of the fourth industry, artificial intelligence convergence technology in the control field is becoming an important factor in the industry. In particular, it is required to evaluate the safety and innovation of facilities where microprocessors and artificial intelligence are fused to existing systems and develop reliable equipment, so it is intended to develop equipment for educational purposes and drive the development of the field. Method: The self-developed all-in-one artificial intelligence controller module is a device that combines artificial intelligence capabilities with existing sequence and PLC control circuits. As the performance evaluation items of this equipment, the recognition ability of motion, voice, text, color, etc. and the stability and reliability of the circuit were evaluated. Conclusion: After designing the sequence and PLC circuit, the performance evaluation items of the integrated integrated artificial intelligence controller module were all satisfied, and there was no problem in the safety and reliability of the circuit.

• Journal of the Korean Institute of Plant Engineering
• /
• v.23 no.4
• /
• pp.29-38
• /
• 2018

Through process quality information, the time required for process quality analysis has been drastically shortened, the process defect rate has been reduced, and the manufacturing lead time has been shortened and the on-time delivery rate has been improved. Therefore, The purpose of this study is to develop a quality information analysis system model that effectively shortens the time required for process quality analysis in automobile safety belt parts manufacturing process. As a result of experiments on communication operation between manufacturing execution system (MES) quality server, injection machine control computer, injection machine programmable logic controller (PLC) and terminal, in analyzing quality information, the conventional handwriting input method took an average of 20 minutes, but the new multi-network method took about 2 minutes on average. In addition, the process defect rate was reduced by 13% and the manufacturing lead time was shortened from 28 hours to 20 hours. The delivery compliance rate improved from 96 to 99%.

• Nuclear Engineering and Technology
• /
• v.38 no.3
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

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

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.853-855
• /
• 2005

본 논문은 Sequence Diagram을 이용한 안전등급 PLC(Safety-Grade Programmable Logic Controller) 운영 체제의 인터페이스 설계명세를 기술한다. 원자력 발전소에 사용하기 위한 안전 소프트웨어(Safety Software)의 규제 기준인 Reg. Guide는 IEEE Std 1016, IEEE Std 1016.1 의 설계명세서 작성 표준에 따라 작성하도록 요구하며, 이러한 규제기준과 기 표준을 안전등급 PLC를 위한 운영체제 소프트웨어의 설계명 세서도 만족해야 한다. 특히 운영 체제와 외부 장치들 사이의 인터페이스를 위해 실시간 특성의 표현에 장점을 갖는 Sequence Diagram을 적용함으로써 운영체제의 인터페이스에 대한 정확성, 완전성, 그리고 일관성을 향상시킬 수 있었다.

• Korean Journal of Veterinary Research
• /
• v.45 no.4
• /
• pp.507-515
• /
• 2005

Melatonin, the principal hormone of the vertebral pineal gland, participates in the regulation of cardiovascular system in vitro and in vivo. However, the effects of melatonin on vascular tissues are still vague. The aim of this study was to assess the relationship between phospholipase C (PLC) and nitric oxide synthase (NOS)/cyclic guanosine 3',5'-monophosphate (cGMP) signaling cascade in the relaxatory action of melatonin in isolated rat aorta. Melatonin induced a concentration-dependent relaxation in phenylephrine (PE)- and KCl-precontracted endothelium intact (+E) aortic rings. In KCl-precontracted +E aortic rings, the melatonin-induced vasorelaxation was not inhibited by endothelium removal or by pretreatment with NOS inhibitors, L-$N^G$-nitor-arginine (L-NNA) and L-$N^G$-nitor-arginine methyl ester (L-NAME), guanylate cyclase (GC) inhibitors, methylene blue (MB) and 1H-[1,2,4] oxadiazolo-[4,3-a] quinoxalin-1-one (ODQ). In PE-precontracted +E aortic rings, the melatonin-induced vasorelaxation was inhibited by endothelium removal or by pretreatment with L-NNA, L-NAME, MB, ODQ and 2-nitro-4-carboxyphenyl-n,n-diphenylcarbamate (NCDC). Moreover, in without endothelium (-E) aortic rings and in the presence of L-NNA, L-NAME, MB and ODQ in +E aortic rings, the melatonin-induced residual relaxations and residual contractile responses to PE were not affected by NCDC, a PLC inhibitor. It is concluded that melatonin can evoke vasorelaxation due to inhibition of PLC pathway through the protein kinase G activation of endothelial NOS/cGMP signaling cascade.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.912-916
• /
• 2004

The home network is the technique to guarantee a safe, economical, socially integrated, and healthy life to the family and it provides domestic safety, instrument control, controllable energy and health monitoring by the connection of the home appliances using wired and wireless networks. A home control system has been developed for managing and controlling home appliances. This paper designs the broadband PLC home controller using broadband PLC technology which can save much cost at a network infrastructure using the existing power line at a home and design the USB home controller using USB technology which is low cost and has many goods with it. And the embedded home server manages those. The CDMA module provides mobile functions to the home control system in this paper. And we choose the OSGi specification which is compatible with other home middleware and can accept various communication techniques of home network