• ICROS
• /
• v.5 no.4
• /
• pp.29-41
• /
• 1999

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.60-68
• /
• 2009

Because of the reduced product life-cycle, industries are making an effort to bring down the process planning time. In the traditional approach, we have to analyze established process planning, then design the time chart based on process information and drawing the formal time chart such as SOP(sequence of operation). Thereafter, it will be converted to PLC code that is a time consuming and redundant job. Similarly, Industrial automated process uses PLC Code to control the factory; however, control information and control code(PLC code) are difficult to understand. Hence, industries prefer writing new control code instead of using the existing one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose SOS-Net modeling method. Unlike past stabilized process planning that is rigid to any change; our proposed SOS-Net modeling method is more adaptable to the new changes. The SOS-Net model is easy to understand and easy to convert into PLC Code accordingly. Therefore, we can easily modify the control information and reuse it for new process planning. The proposed model plays an intermediary role between process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.

• Journal of The Korean Association For Science Education
• /
• v.44 no.1
• /
• pp.105-117
• /
• 2024

The purpose of this study was to explore changes in elementary teachers' modeling pPCK (personal PCK) resulting from knowledge exchange within the realms of PCK described in the Refined Consensus Model (hereafter RCM). For this purpose, a professional learning community (hereafter PLC) was established for three elementary school teachers to facilitate knowledge exchange specifically focused on science modeling instructions. The study then analyzed the CoRe (content representations) written by the research participants twice to explore any changes in modeling pPCK (personal PCK). In addition, the discourse shared by the participants in the PLC and the data from the in-depth interviews were also analyzed using grounded theory research methods. The results of the study showed that there was no significant change in knowledge of the science curriculum in elementary teachers' modeling pPCK, but there were changes in orientations toward teaching science, knowledge of students' understanding in science, knowledge of instructional strategies and representations, and knowledge of assessment of science learning. Furthermore, the analysis of PLC discourse and in-depth interviews showed that modeling instructions reflection (ePCK; enacted PCK) and educational research-based modeling cPCK (collective PCK) influenced these changes in teachers' modeling pPCK. Accordingly, this study suggests recommendations for pedagogical approaches aimed at improving teachers' modeling PCK.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.1110-1115
• /
• 1991

Tne mathematical modeling and analysis results of a dataflow logic solving processor(DFLSP) for programmable logic controller(PLC) are proposed in this paper. The logic program language is formalized using a dataflow graph model. From this dataflow graph, the instruction precedence relationship, and deadlock problems, which are major properties of a logic program, are described.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.1
• /
• pp.443-450
• /
• 2017

Nowadays, Power Line Communication (PLC) is gaining high attention from industry and electric supply companies for the services like demand response, demand side management and Advanced Metering Infrastructure (AMI). The reliable services to consumers using PLC can be provided by utilizing an efficient PLC channel for which sophisticated channel modeling is very important. This paper presents characterization of a Low Voltage (LV) access network for Narrowband Power Line Communications (NB-PLC) using transmission line (TL) theory and a Simulink model. The TL theory analysis not only includes the constant parameters but frequency selectivity is also introduced in these parameters such as resistance, conductance and impedances. However, the proposed Simulink channel model offers an analysis and characterization of capacitive coupler, network impedance and channel transfer function for NB-PLC. Analysis of analytical and simulated results shows a close agreement of the channel transfer function. In the absence of a standardized NBPLC channel model, this research work can prove significant in improving the efficiency and accuracy of NB-PLC communication transceivers for Smart Grid communications.

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

• Journal of The Korean Association For Science Education
• /
• v.40 no.1
• /
• pp.29-40
• /
• 2020

The purpose of this study is to explore how a high school science teacher (Teacher E) shifted her understanding and facilitation of scientific modeling through participation in a professional learning community (PLC) for over a year. Based on socially situated theory of learning, I focused on examining Teacher E's frames about scientific modeling from her social interactions. Teacher E participated in her school-based PLC over a year and collaborated with other science teachers, coaches, and researchers to improve science instruction. I qualitatively explored her participation in 6 full-day professional learning opportunities-studios-where the PLC members collectively planned, implemented, and debriefed modeling-based lessons. Especially, I focused on two Studios (Studio 2, 6) where Teacher E became the host teacher and implemented the lessons. I also examined her classroom teaching in those Studios. To understand how the PLC inquiry affected the shifts observed in Teacher E's understanding and practice, I explored how the inquiry evolved over the 6 Studios. Findings suggest that in Studio 2, Teacher E viewed students' role in scientific modeling as to fill out the worksheet with "correct" answers. Meanwhile, in Studio 6, she focused on helping students collaborate to construct explanatory models of phenomena using evidence. The PLC inquiry, focused on supporting students' construction of evidence-based explanations and collaboration in scientific modeling, seemed to promote the shifts observed in Teacher E's understanding and facilitation of scientific modeling. These findings can inform educational researchers and practitioners who aim to promote teachers' professional learning to support students' epistemic practices.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.1
• /
• pp.21-27
• /
• 2013

Presented in the paper is a log data based modeling method for effective construction of a virtual plant model which can be used for the virtual PLC (Programmable Logic Controller) simulation. For the PLC simulation, the corresponding virtual plant, consisting of virtual devices, is required to interact with the input and output symbols of a PLC. In other words, the behavior of a virtual device should be the same as that of the real device. Conventionally, the DEVS (Discrete Event Systems Specifications) formalism has been used to represent the behavior a virtual device. The modeling using DEVS formalism, however, requires in-depth knowledge in the simulation area, as well as the significant amount of time and efforts. One of the key ideas of the proposed method is to generate a plant model based on the log data obtained from the production system. The proposed method is very intuitive, and it can be used to generate the full behavior model of a virtual device. The proposed approach was applied to an AGV (Automated Guided Vehicle).

• Journal of the Korea Society for Simulation
• /
• v.18 no.4
• /
• pp.67-79
• /
• 2009

Because a product in the car industry has a short life cycle in recent years, the process planning and the manufacturing lines have to be changed frequently. Most of time, repositioning an existing facility and modifying used control information are faster than making completely new process planning. However, control information and control code such as PLC code are difficult to understand. Hence, industries prefer writing a new control code instead of using the existing complex one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose a SOS-Net modeling method. SOS-Net is a standard methodology used to describe control information. It is based on the Device Structure which consists of sensor information derived from device hardware information. Thus, SOS-Net can describe a real control state for automated manufacturing systems. The SOS-Net model is easy to understand and can be converted into PLC Code easily. It also enables to modify control information, thus increases the reusability of the new process planning. Proposed model in this paper plays an intermediary role between the process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.