AGV is a kind of unmanned intelligent handling equipment. The accuracy of the trajectory motion control determines whether the car can adjust its position in real time according to the error and work according to the ...
详细信息
ISBN:
(数字)9781728182889
ISBN:
(纸本)9781728182896
AGV is a kind of unmanned intelligent handling equipment. The accuracy of the trajectory motion control determines whether the car can adjust its position in real time according to the error and work according to the preset trajectory. In this paper, the kinematics model is first established, then the two-wheel speed is obtained by analyzing the relationship between the position deviation and speed deviation of the AGV, that is, the posture of the car can be adjusted by the wheel speed. Next a Siemens 1200 PLC's PID module is used to simulate its trajectory tracking, in which the PID parameters are determined by the optimization method. Finally, the correcting effect is compared, and the feasibility of using PID to adjust the trajectory deviation is verified.
A Coloured Petri Net (CPN) based method for programmablelogic Controller (PLC) program validation is proposed in this paper. It uses a simple fixed net structure and does not require the creation of different Petri N...
详细信息
ISBN:
(纸本)9781479909261
A Coloured Petri Net (CPN) based method for programmablelogic Controller (PLC) program validation is proposed in this paper. It uses a simple fixed net structure and does not require the creation of different Petri Nets for every new PLC program. The base of the method is the so-called technology description and operation state table used in engineering practice. The CPN simulates the operation of the PLC and compares the resulted values to the desired ones. In the case of a difference it indicates the existence of an error. The method is capable of automatic program validation and safety analysis, which is demonstrated through the example of an oil tank system.
This paper briefly introduces hardware connection, serial port settings, operation commands and control characters in the serial communication between computer and FX programmablelogic controller (PLC) programming po...
详细信息
ISBN:
(纸本)9781424455140;9781424455157
This paper briefly introduces hardware connection, serial port settings, operation commands and control characters in the serial communication between computer and FX programmablelogic controller (PLC) programming port, and it also presents in detail the message format, operation address and communication program written by Visual FoxPro(VFP) during four operations such as Force ON ,Force OFF, Read and Write.
This paper provides an intelligent solution to power line communication (PLC) by applying deep learning (DL) to the transmission system of PLC. To this end, we choose low voltage (LV) power line as a study case. Based...
详细信息
ISBN:
(数字)9781728161068
ISBN:
(纸本)9781728161075
This paper provides an intelligent solution to power line communication (PLC) by applying deep learning (DL) to the transmission system of PLC. To this end, we choose low voltage (LV) power line as a study case. Based on the channel measurement campaign on residential LV distribution areas in Ganzhou city, Jiangxi province, China, the in-home PLC channel is modeled as a multi-path channel. As for the noise model, we adopt the additive Middleton Class-A noise (AWCN) composed of impulsive and background noise. In order to combating this hostile PLC environment, a proprietary data encoder is recommended in the physical layer of the IEEE standard for broadband over power line networks. Accordingly, we design an intelligent data decoder combining deep neural network (DNN) and domain knowledge in decoding algorithms, able to learn and adapt the environment of PLC channel until achieving the optimal performance. The simulation results confirm the high-performance and low-complexity of the proposed decoder.
With the increasing computing power and network capacity, distributed automation systems are facing new challenges of handling massive amounts of distributed nodes within tight real-time constraints. The industrial cy...
详细信息
ISBN:
(纸本)9781479917631
With the increasing computing power and network capacity, distributed automation systems are facing new challenges of handling massive amounts of distributed nodes within tight real-time constraints. The industrial cyber-physical systems is considered as the key to solve these complexities. In distributed industrial automation systems, there exists several execution semantics. In this paper, all existing execution semantics are summarized as a set of rules which are described by reconfigurable elements. During the simulation and verification of industrial cyber-physical systems, those rules are helpful to provide a generic runtime environment which can perform various execution semantics. This reconfigurable execution environment is demonstrated using a case study of a room lighting system.
作者:
Capelli, FlorentUniversité de Lille
Inria UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille LilleF-59000 France
In this paper, we study proof systems in the sense of Cook-Reckhow for problems that are higher in the polynomial hierarchy than coNP, in particular, #SAT and maxSAT. We start by explaining how the notion of Cook-Reck...
详细信息
Power Line Communication is still one of the most popular ways to solve the last-mile problem in Smart Metering. The main drawbacks of this medium are the harsh circumstances in the grid. The unpredictability of noise...
详细信息
ISBN:
(纸本)9781629931333
Power Line Communication is still one of the most popular ways to solve the last-mile problem in Smart Metering. The main drawbacks of this medium are the harsh circumstances in the grid. The unpredictability of noise and impedance in the grid makes it a difficult task to model the physical channel and therefore choose the right modulation technique for the job. In this paper noise and impedance measurements are executed. This leads to a classification of the different types of loads in function of the basic parameters influencing power line communication.
Lattice semiconductor Corp. has launched MachXO, a family of programmablelogic devices that marks a change in the way the company designs complex PLDs. Rather than make a CPLD based on macrocells that comprise produc...
详细信息
Lattice semiconductor Corp. has launched MachXO, a family of programmablelogic devices that marks a change in the way the company designs complex PLDs. Rather than make a CPLD based on macrocells that comprise product terms, lattice switched to four-input lookup table logic cells, which are usually associated with FPGAs. Macrocells have offered consistent performance for a range of functions implemented in CPLDs. By shifting to a more cost efficient architecture, Lattice is betting that MachXO will be received by systems companies looking for more registers and memory without having to switch to FPGAs.
We describe the design and implementation of a narrowband power line communications (PLC) modem. The modem uses frequency shift keying (FSK) and is implemented on a C6000 DSP. The use of FSK and the selected receiver ...
详细信息
ISBN:
(纸本)9781467345965
We describe the design and implementation of a narrowband power line communications (PLC) modem. The modem uses frequency shift keying (FSK) and is implemented on a C6000 DSP. The use of FSK and the selected receiver architecture allows for a simple and efficient implementation. The project is used in an international DSP course to introduce students to basic signal processing algorithms.
This paper presents a method for automatic test case generation for PLC software following the IEC61131-3 standard. The core component is a model checker that iteratively creates program traces, each of them covering ...
详细信息
ISBN:
(纸本)9781467379304
This paper presents a method for automatic test case generation for PLC software following the IEC61131-3 standard. The core component is a model checker that iteratively creates program traces, each of them covering a part of the program in terms of a coverage metric. These test cases are translated into Structured Text, a programming languages defined in the IEC61131-3, to allow the execution on a soft-PLC or the actual hardware. Our approach is evaluated on a set of function blocks that are used in industry. We demonstrate that test cases can be automatically generated within few seconds in most cases.
暂无评论