This paper presents the design and performance analysis of Differential Evolution(DE)algorithm based Proportional-Integral-Derivative(PID)controller for temperature control of Continuous Stirred Tank Reactor(CSTR)plan...This paper presents the design and performance analysis of Differential Evolution(DE)algorithm based Proportional-Integral-Derivative(PID)controller for temperature control of Continuous Stirred Tank Reactor(CSTR)plant in che-mical industries.The proposed work deals about the design of Differential Evolu-tion(DE)algorithm in order to improve the performance of CSTR.In this,the process is controlled by controlling the temperature of the liquid through manip-ulation of the coolantflow rate with the help of modified Model Reference Adap-tive Controller(MRAC).The transient response of temperature process is improved by using PID Controller,Differential Evolution Algorithm based PID and fuzzy based DE controller.Finally,the temperature response is compared with experimental results of CSTR.展开更多
The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, security, etc., are being developed day-to-day which of...The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, security, etc., are being developed day-to-day which often leads to rapid, premature developments. Many protocols have not scaled to satisfy important properties like deadlock and livelock freedom, since MDA focuses on the rapid development rather than on the quality of the developed models. In order to fix the above, we introduce a 2-Phase strategy based on the UML state machine and sequence diagram. The state machine is converted into PROMELA code as a protocol model and its properties are derived from the sequence diagram as Linear Temporal Logic (LTL) through automation. The PROMELA code is interpreted through the SPIN model checker, which helps to simulate the behavior of protocol. Later the automated LTL properties are supplemented to the SPIN for the verification of protocol properties. The results are compared with the developed UML model and SPIN simulated model. Our test results impress the designer to verify the expected results with the system design and to identify the errors which are unnoticed during the design phase.展开更多
文摘This paper presents the design and performance analysis of Differential Evolution(DE)algorithm based Proportional-Integral-Derivative(PID)controller for temperature control of Continuous Stirred Tank Reactor(CSTR)plant in che-mical industries.The proposed work deals about the design of Differential Evolu-tion(DE)algorithm in order to improve the performance of CSTR.In this,the process is controlled by controlling the temperature of the liquid through manip-ulation of the coolantflow rate with the help of modified Model Reference Adap-tive Controller(MRAC).The transient response of temperature process is improved by using PID Controller,Differential Evolution Algorithm based PID and fuzzy based DE controller.Finally,the temperature response is compared with experimental results of CSTR.
文摘The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, security, etc., are being developed day-to-day which often leads to rapid, premature developments. Many protocols have not scaled to satisfy important properties like deadlock and livelock freedom, since MDA focuses on the rapid development rather than on the quality of the developed models. In order to fix the above, we introduce a 2-Phase strategy based on the UML state machine and sequence diagram. The state machine is converted into PROMELA code as a protocol model and its properties are derived from the sequence diagram as Linear Temporal Logic (LTL) through automation. The PROMELA code is interpreted through the SPIN model checker, which helps to simulate the behavior of protocol. Later the automated LTL properties are supplemented to the SPIN for the verification of protocol properties. The results are compared with the developed UML model and SPIN simulated model. Our test results impress the designer to verify the expected results with the system design and to identify the errors which are unnoticed during the design phase.