• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.153-158
• /
• 1997

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.557-560
• /
• 2003

In this paper, we developed an editor and running engine for the SoftPLC. LD is the most popular standard IEC 1131-3 PLC language in Korea and used over 90% among the 5 PLC languages. In this paper, we have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user is converted to IL, which is one of intermediate codes, and IL is converted to the standard C code which can be used in a commercial editor such as visual C++. In ISPLC, the detection of logical error in high level programming(C) is more efficient than PLC programming itself. ISPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion of LD-> U->C is firstly tried in the world as well as KOREA.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.40 no.8
• /
• pp.836-844
• /
• 1991

PLC(programmable logic controller) system is widely used for the control of factory. PLC system receives ladder diagram which is drawn by the user to implement hardware logic, converts the ladder diagram into sequence program which is executable in the PLC system, and executes the sequence program indefinitely unless user breaks. The sequence program processes the data of on/off signal, and endures 1 scan delay and missing of pulse-type signal shorter than a scan time. So, data dependency doesn't exist. By applying theis characteristics to multiprocessor architecture, we design parellel PLC functionally and evaluate performance upgrade. Parallel PLC consists of central processing module, N general processing unit, and a shared memory by master-slave type. Each module executes allocated sequence program by the control of central processing module. We can expect performance upgrade by parallel processing, and reliability by relocation of sequence program when error occurs in processing module.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.288-290
• /
• 2006

This paper presents the real-time water tank wireless control in a ship using duplex RF modules and PLC(Programmable logic Controller). The purpose of this paper is developing HMI(Human Machine Interface) for automation equipments. The system can low a cost because long wires are no more used. Analog signals of the water gauge and flow meter are changed to discrete signals by the micro-processor. The PLC checks the volume of water and runs On or Off of the valve and pump. Duplex RF modules send and receive data between the water tank and control room. Everywhere the Internet is used, operators are able to check the status of the system by the web-server.

• Proceedings of the KIEE Conference
• /
• 1997.11a
• /
• pp.567-569
• /
• 1997

A control system using a PLC has been developed for a single tower drier(STD) in a CANDU type nuclear power plant. This system will replace the existing STD control system which was implemented with mechanical timers and relays. The new control system makes it possible for an operator to perform more precise time and dew point control for the STD, thanks to the high efficiency and flexibility of the PLC. The operational cost for the control system is much reduced compared to the existing system.

• Proceedings of the KIEE Conference
• /
• 1998.07g
• /
• pp.2321-2323
• /
• 1998

A control system using a PLC has been developed for a dual tower drier(DTD) in a CANDU type nuclear power plant. This system will replace the existing DTD control system which was implemented with mechanical timers and relays. The new control system makes it possible for an operator to perform more precise time and dew point control for the DTD, thanks to the high efficiency and flexibility of the PLC. The operational cost for the control system is much reduced compared to the existing system.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.5
• /
• pp.185-192
• /
• 2011

In this paper, we simulate and analyze performance of iterative coding scheme, double binary turbo code, for high speed power line communication (PLC) systems. PLC system has hostile environment for high speed data transmission, so error correction method is necessary to compensate effects of PLC channel. We employ the PLC model proposed by M. Zimmerman and Middleton Class A interference model, and system performance is evaluated in terms of bit error rate (BER). From the simulation results, we confirm double binary turbo code provides considerable coding gains to PLC system and BER performance is significantly improved as the number of iteration increase. It is also confirmed that BER performance increases as code rate is lager, while it decreases as the code rate is smaller.

• BMB Reports
• /
• v.33 no.2
• /
• pp.97-102
• /
• 2000

Phosphoinositide-specific phospholipase C-${\gamma}1$ (PLC-${\gamma}1$) is a pivotal mediator in the signal transduction cascades induced by many growth factors. Using a yeast two-hybrid system, heat-shock protein 90 (Hsp90) was identified as a PLC-${\gamma}1$-binding protein. A co-immunoprecipitation experiment, using anti-PLC-${\gamma}1$ antibody, demonstrated an in vivo interaction between Hsp90 and PLC-${\gamma}1$ in the NIH-3T3 cells. The interaction in NIH-3T3 was unaffected by the PDGF treatment, inducing phosphorylation and activation of PLC-${\gamma}1$. Direct interaction between Hsp90 and PLC-${\gamma}1$ was confirmed by in vitro binding experiments using purified Hsp90 and PLC-${\gamma}1$. Furthermore, Hsp90 increased the $PIP_2$-hydrolyzing activity of PLC-${\gamma}1$ up to 2-fold at $0.1{\mu}M$ in vitro. Taken together, we show for the first time, the interaction of PLC-${\gamma}1$ with Hsp90, both in vivo and in vitro. We suggest that Hsp90 may play a role in PLC-${\gamma}1$-mediated signal transduction.

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1271-1282
• /
• 2005

Recently, PC-based control is incredibly developed in the industrial control field, but it is difficult for PLC programming in PC. Therefore, I need to develop the softeware PLC, which support the international PLC programming standard(IECl131-3) and can be applied to diverse control system by using C language. In this paper, I have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user which is used over $90\%$ among the 5 PLC languages, is converted to IL, which is one of intermediate codes, and IL is converted to the standard C rode which can be used in a commercial editor such as Visual C++. In ISPLC, the detection of logical error in high level programming(C) is more eaier than PLC programming itself The study of code conversion of LD->IL->C is firstly tried in the world as well as KOREA. I developed an execution engine with a good practical application. To show the effectiveness of the developed system, 1 applied it to a practical case, a real time traffic control(RT-TC) system. ISPLC is minimized the error debugging and programming time owing to be supported by windows application program.

• Journal of information and communication convergence engineering
• /
• v.7 no.2
• /
• pp.113-118
• /
• 2009

This paper is about design broadband impedance matching circuit for Coupler to improve power transfer efficiency in the power line communication (PLC) system. The Tchebycheff gain function algorithm is represented to design broadband matching circuit. A practical PLC Coupler impedance matching circuit is designed, and the characteristics for S11 and S21 of PLC coupler are enhanced comparing with unmatched one. This is done by maximizing the power transfer gain from modem to the load.