scholarly journals Virtual Control Object for Siemens Logic Controllers and Online PLC Education

2021 ◽  
Vol 29 (49) ◽  
pp. 7-14
Author(s):  
Michal Bilčík ◽  
Maximilián Strémy ◽  
Dominika Janíková ◽  
Dušan Horváth
Keyword(s):  
Control Object ◽  
Virtual Model ◽  
Design And Implementation ◽  
Virtual Control ◽  
Virtual Models ◽  
Logic Controllers

Abstract This paper deals with the possibility of creating virtual C # models connectable to a virtual PLC of Siemens. The models will lead to the improvement and simplification of the online PLC education. Hardware solutions cost a lot of money, while using a software version of PLC leads to cheaper simulations. Paper presents the design and implementation of the virtual models, including the ways of the interconnection with PLCSIM, visualization and finally demonstration for the selected virtual model.

COMPUTER SIMULATION OF A SINGLE-PHASE ASYNCHRONOUS MOTOR

2020 ◽  
pp. 29-35
Author(s):  
S.Yu. Trudnev ◽  
Keyword(s):  
Computer Simulation ◽  
Single Phase ◽  
Asynchronous Motor ◽  
Computer Models ◽  
Virtual Model ◽  
Modes Of Operation ◽  
The Real ◽  
Matlab Program ◽  
Virtual Models ◽  
Asynchronous Motors

The most widely used single-phase asynchronous motors are described and also substitution and vector dia-grams are reviewed. Theoretical and mathematical descriptions of processes of controlling and enabling asynchronous modes of operation were provided, on the basis of which computer models of a single-phase asynchronous motor in static and dynamic modes was created in the Matlab program. Experiments were per-formed on the real and virtual models, and the data obtained were processed and compared to confirm the adequacy of the developed virtual model.

scholarly journals LABORATORY COMPLEX BASED ON MICROPROCESSOR FACILITIES OF «OWEN» COMPANY

2021 ◽  
pp. 109-114
Author(s):  
Н.А. Кислицын ◽  
Д.Ш. Акчурин ◽  
М.Г. Баширов
Keyword(s):  
Research Laboratory ◽  
Control Object ◽  
Thermal Control ◽  
Educational Institutions ◽  
Professional Activity ◽  
Technological Processes ◽  
Virtual Control ◽  
Research Systems ◽  
Automation Systems ◽  
And Control

Автоматизация технологических процессов играет все более важную роль в условиях цифровизации управления технологическими процессами, производствами и целыми предприятиями. Важнейшей составной частью процесса цифровизации современного промышленного производств является подготовка кадров, владеющих необходимыми компетенциями в области программирования, монтажа, наладки, ремонта и эксплуатации современных цифровых средств и систем управления. Для решения этой задачи средние специальные и высшие учебные заведения должны иметь учебно-исследовательские лабораторные комплексы, позволяющие обучающимся приобрести необходимые для профессиональной деятельности знания, умения и навыки. В условиях действия экономических санкций против России актуальным становится разработка таких учебно-исследовательских лабораторных комплексов на основе современных отечественных программно-технических комплексов автоматизации. Для расширения функциональных возможностей созданного учебно-исследовательского лабораторного комплекса, содержащего физический тепловой объект управления в виде эмулятора печи, комплекс дополняется виртуальными объектами управления, созданными путем их моделирования. Использование виртуальных объектов управления позволяет создавать модели технологических процессов на их основе, разрабатывать и исследовать системы автоматического управления этими процессами. Разработан цифровой двойник физического учебно-исследовательского лабораторного комплекса, позволяющий в полном объеме выполнять все лабораторные работы в дистанционном формате обучения. Automation of technological processes is playing an increasingly important role in the context of digitalization of the management of technological processes, production facilities and entire enterprises. The most important part of the digitalization process of modern industrial production is the training of personnel who have the necessary competencies in the field of programming, installation, commissioning, repair and operation of modern digital means and control systems. To solve this problem, secondary specialized and higher educational institutions must have educational and research laboratory complexes that allow students to acquire the knowledge, skills and abilities necessary for professional activity. In the context of economic sanctions against Russia, the development of such educational and research laboratory complexes based on modern domestic software and hardware automation systems becomes urgent. To expand the functionality of the created educational and research laboratory complex containing a physical thermal control object in the form of a furnace emulator, the complex is supplemented with virtual control objects created by modeling them. The use of virtual control objects allows you to create models of technological processes based on them, to develop and research systems for automatic control of these processes. A digital twin of the physical educational and research laboratory complex has been developed, which allows performing all laboratory work in a distance learning format in full.

scholarly journals Temporal Logic for Programmable Logic Controllers

2020 ◽  
Vol 27 (4) ◽  
pp. 412-427
Author(s):  
Natalia Olegovna Garanina ◽  
Igor Sergeevich Anureev ◽  
Vladimir Evgenyevich Zyubin ◽  
Sergey Mikhailovich Staroletov ◽  
Tatiana Victorovna Liakh ◽  
...  
Keyword(s):  
Control System ◽  
Model Checking ◽  
Control Object ◽  
Transition System ◽  
State Transitions ◽  
Programmable Logic ◽  
Critical Systems ◽  
Programmable Logic Controllers ◽  
Property A ◽  
Logic Controllers

We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programmable Logic Controllers (PLCs). A specific feature of a PLC is a scan cycle: 1) the inputs are read, 2) the PLC states change, and 3) the outputs are written. Therefore, in order to formally verify PLC, e.g., by model checking, it is necessary to describe the transition system taking into account this specificity and reason both in terms of state transitions within a cycle and in terms of larger state transitions according to the scan-cyclic semantics. We propose a formal PLC model as a hyperprocess transition system and temporal cycle-LTL logic based on LTL logic for formulating PLC property. A feature of the cycle-LTL logic is the possibility of viewing the scan cycle in two ways: as the effect of the environment (in particular, the control object) on the control system and as the effect of the control system on the environment. For both cases we introduce modified LTL temporal operators. We also define special modified LTL temporal operators to specify inside properties of scan cycles. We describe the translation of formulas of cycle-LTL into formulas of LTL, and prove its correctness. This implies the possibility ofmodel checking requirements expressed in logic cycle-LTL, by using well-known model checking tools with LTL as specification logic, e.g., Spin. We give the illustrative examples of requirements expressed in the cycle-LTL logic.

Simulations Using Finite Element Method Made on a Personalized Dental System

2019 ◽  
Vol 34 ◽  
pp. 175-182 ◽  
Author(s):  
Mihaela Vatu ◽  
Daniela Vintilă ◽  
Dragoş Laurenţiu Popa ◽  
Veronica Mercuţ ◽  
Sanda Mihaela Popescu ◽  
...  
Keyword(s):  
Bone Tissue ◽  
Ct Images ◽  
Virtual Model ◽  
Mechanical Tension ◽  
Dental Tissues ◽  
Virtual Models ◽  
Fea Simulation ◽  
Computational Procedures ◽  
Bone Structures ◽  
State Of Tension

The human skull and the maxillary bones have a very complicated architecture, determined by the outer walls, by the internal bone structures and their joining. In this paper CAD parametric software has been used to define complex virtual models. First, the mandible and jaw were defined using CT images. These images were imported into a CAD software using specific techniques and methods. These models have been finalized in SolidWorks where the virtual model of the studied system has been generated. Then, the virtual models were exported to a software for FEA simulation and prepared for every dentistry simulations. The structure of the maxillary bones contains spongy bone tissue, cortical bone tissue along with dental tissues. Each of these tissues have certain properties (elasticity, plasticity, density) assessed by flexibility. The analysis of the mechanical tension of the dental structures has been a subject of interest in recent years in order to determine the state of tension in the dental structures and to improve the mechanical strength of these structures. Such numerical techniques can give a better understanding of reactions and interactions of individual tissues. This involves a series of computational procedures to calculate stress in each element. Field variables can be interpolated by using form functions for scientific verification and validation of clinical assumptions. Various loadings have been applied to a personalized skull obtained from CT images using CAD techniques and procedures. On this system, FEM simulations were made and maps of stress, displacements and deformations were obtained that show the mechanical behavior of the maxillary dental system. Finally, important conclusions were highlighted.

Study of Ethernet Control System Based on EPA

2014 ◽  
Vol 602-605 ◽  
pp. 1256-1259
Author(s):  
Cui Ping Pu ◽  
Jie Ren ◽  
Wei Jie Feng ◽  
Shi Wang Zhang
Keyword(s):  
Control System ◽  
Performance Monitoring ◽  
Control Object ◽  
Configuration Software ◽  
Device Layer ◽  
Network Configuration ◽  
Object Control ◽  
Design And Implementation ◽  
Control Layer ◽  
Layer Control

The design and implementation of the Ethernet Control System Based on EPA were appeared. The Ethernet Control System consists of the device layer, control layer, management structure. The use of EPA configuration software control network configuration, performance monitoring, the device performs to achieve the control object control strategy.

Sign in / Sign up

Export Citation Format

Share Document