This article presents the identification of the system parameters in the state space, by using an interface between Matlab/Simulink and the programmablelogic controller (PLC). The effectiveness of the estimation of t...
详细信息
ISBN:
(纸本)9781634397988
This article presents the identification of the system parameters in the state space, by using an interface between Matlab/Simulink and the programmablelogic controller (PLC). The effectiveness of the estimation of the parameters was tested by calculating the arithmetic mean of the response error between the responses of the real system and the system model with an observer into the input in the real time. It is shown that the Matlab/Simulink software could be used for identifying the system parameters in real time and setting the model parameters in the PLC.
Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Krajicek [1] have recently introduced the notion of propositional proof systems, with advice. In this paper we investigate the following...
详细信息
ISBN:
(纸本)9783642009815
Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Krajicek [1] have recently introduced the notion of propositional proof systems, with advice. In this paper we investigate the following question: Given a language L, do there exist polynomially bounded proof systems with advice for L ? Depending on the complexity of the underlying language L and the amount and type of the advice used by the proof system, we obtain different characterizations for this problem. In particular, we show that the above question is tightly linked with the question whether L has small nondeterministic instance complexity.
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable functions which have all propositional ...
详细信息
ISBN:
(纸本)9783642027765
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable functions which have all propositional tautologies as their range. Motivated by provability consequences in bounded arithmetic. Cook and Krajicek [5] have recently started the investigation of proof systems which are computed by poly-time functions using advice. While this yields a more powerful model, it is also less directly applicable in practice. In this note we investigate the question whether the usage of advice in propositional proof systems call be simplified or even eliminated. While in principle, the advice call be very complex, we show that proof systems with logarithmic advice are also computable in poly-time with access to a sparse NP-oracle. In addition, we show that if advice is "not very helpful" for proving tautologies, then there exists all optimal propositional proof system without advice. In our main result, we prove that advice call be transferred from the proof to the formula, leading to all easier computational model. We obtain this result by employing a recent technique by Buhrman and Hitchcock [4].
The automation architecture consists of actuators, sensors, programmable logic controllers (PLC) and monitoring systems. Some research focuses on how to replace the communication between those entities from wired to w...
详细信息
ISBN:
(纸本)9781424425884
The automation architecture consists of actuators, sensors, programmable logic controllers (PLC) and monitoring systems. Some research focuses on how to replace the communication between those entities from wired to wireless communication taking in consideration the industrial constraints, given the advantages of this kind of communication. To study the performance of the Wireless Network System, this paper presents an approach for estimating the maximum and minimum delays for each traffic of a wireless network in the worst case. Influence of the Maximum number of retransmission parameter is studied on the estimated delay and on the packet loss rate. Our results are compared and analyzed with simulated ones obtained with the tool OPNET.
This paper discusses a local power supply unit designed for fine grain Dynamic Voltage Scaling (DVS) in a multi-power domain SoC. The proposed power supply unit is fully compatible with an I/O library and adaptable to...
详细信息
ISBN:
(纸本)9781424444342
This paper discusses a local power supply unit designed for fine grain Dynamic Voltage Scaling (DVS) in a multi-power domain SoC. The proposed power supply unit is fully compatible with an I/O library and adaptable to various logic module power needs. It delivers the module operating voltage, from 1.2 V to 0.6 V, according to predefined operating power modes and is equipped with the module power gating. The designed circuit requires five-I/O-pad pitch area in a 65-nm technology. The first test chip demonstrates that the maximum power efficiency is over 87% and the measured current consumption in stand-by mode is only 19 nA regardless of the connected module.
In this paper, we propose a novel hardware-software codesign technique of network protocol stacks on a SoC (System on Chip) platform for providing the QoS (Quality of Service) functionality. We address that the codesi...
详细信息
For the problem of poor control precision of high-speed solenoid valves which are widely used in aero-engine control systems, a fuzzy-PID control system based on Soc single-chip is designed in this paper by using fuzz...
详细信息
PLC's (programmable logic controllers) are the control hubs for a wide variety of automated systems and processes. Advanced control features, network connectivity and device interoperability are all capabilities i...
详细信息
The main aim of the contribution is to present a possible approach to design of simple Proportional-Integral (PI) robust controllers and subsequently to demonstrate their applicability during control of a laboratory m...
详细信息
This paper makes two key contributions. First there is a definition and implementation of a novel auto-tuned predictive controller. The key novelty is that the modelling is based on relatively crude but pragmatic plan...
详细信息
ISBN:
(纸本)9783902661548
This paper makes two key contributions. First there is a definition and implementation of a novel auto-tuned predictive controller. The key novelty is that the modelling is based on relatively crude but pragmatic plant information. Secondly, the paper tackles the issue of availability of predictive control for low level control loops. Hence the paper describes how the controller is embedded in an industrial programmablelogic Controller (PLC) using the IEC 1131.1 programming standard. Laboratory experiment tests were carried out in two bench-scale laboratory systems to prove the effectiveness of the combined algorithm and hardware solution. For completeness, the results are compared with a commercial PID controller (also embedded in the PLC) using the most up to date auto-tuning rules.
暂无评论