Wireless sensor network(WSN)is considered as the fastest growing technology pattern in recent years because of its applicability in varied domains.Many sensor nodes with different sensing functionalities are deployed ...Wireless sensor network(WSN)is considered as the fastest growing technology pattern in recent years because of its applicability in varied domains.Many sensor nodes with different sensing functionalities are deployed in the monitoring area to collect suitable data and transmit it to the gateway.Ensuring communications in heterogeneous WSNs,is a critical issue that needs to be studied.In this research paper,we study the system performance of a heterogeneous WSN using LoRa–Zigbee hybrid communication.Specifically,two Zigbee sensor clusters and two LoRa sensor clusters are used and combined with two Zigbee-to-LoRa converters to communicate in a network managed by a LoRa gateway.The overall system integrates many different sensors in terms of types,communication protocols,and accuracy,which can be used in many applications in realistic environments such as on land,under water,or in the air.In addition to this,a synchronous management software on ThingSpeak Web server and Blynk app is designed.In the proposed system,the token ring protocol in Zigbee network and polling mechanism in LoRa network is used.The system can operate with a packet loss rate of less than 0.5%when the communication range of the Zigbee network is 630 m,and the communication range of the LoRa network is 3.7 km.On the basis of the digital results collected on the management software,this study proves tremendous improvements in the system performance.展开更多
Renewable energy sources like solar,wind,and hydro are becoming increasingly popular due to the fewer negative impacts they have on the environment.Because,Since the production of renewable energy sources is still in ...Renewable energy sources like solar,wind,and hydro are becoming increasingly popular due to the fewer negative impacts they have on the environment.Because,Since the production of renewable energy sources is still in the process of being created,photovoltaic(PV)systems are commonly utilized for installation situations that are acceptable,clean,and simple.This study presents an adaptive artificial intelligence approach that can be used for maximum power point tracking(MPPT)in solar systems with the help of an embedded controller.The adaptive method incorporates both the Whale Optimization Algorithm(WOA)and the Artificial Neural Network(ANN).The WOA was implemented to enhance the process of the ANN model’s training,and the ANN model was developed using the WOA.In addition to this,the inverter circuit is connected to the smart grid system,and the strengthening of the smart grid is achieved through the implementation of the CMCMAC protocol.This protocol prevents interference between customers and the organizations that provide their utilities.Using a protocol known as Cross-Layer Multi-Channel MAC(CMCMAC),the effect of interference is removed using the way that was suggested.Also,with the utilization of the ZIGBEE communication technology,bidirectional communication is made possible.The strategy that was suggested has been put into practice,and the results have shown that the PV system produces an output power of 73.32 KW and an efficiency of 98.72%.In addition to this,a built-in regulator is utilized to validate the proposed model.In this paper,the results of various experiments are analyzed,and a comparison is made between the suggested WOA with the ANN controller approach and others,such as the Particle Swarm Optimization(PSO)based MPPT and the Cuckoo Search(CS)based MPPT.By examining the comparison findings,it was determined that the adaptive AI-based embedded controller was superior to the other alternatives.展开更多
This paper briefly analyzes the present situation of textile mill's air-conditioning system. Since it is difficult to establish detailed math model to control a textile mill's airconditioning system because of the i...This paper briefly analyzes the present situation of textile mill's air-conditioning system. Since it is difficult to establish detailed math model to control a textile mill's airconditioning system because of the influence of various factors such as the differences in seasons, regions, etc., most air-conditioning equipment can not be controlled automatically. This paper suggests utilizing multi-function data acquisRion card to collect the data about the temperature and humidity of a workshop, processing the data on a PC, comparing them with the expert database, and then using the 485 serial port expanding module to output the parameters, which are used to control the inverter, so that the purpose of adjusting the temperature and humidity of the workshop is achieved.展开更多
In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the sa...In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method.展开更多
The distributed computer system described in this paper is a set of computernodes interconnected in an interconnection network via packet-switching interfaces.The nodes communicate with each other by means of message-...The distributed computer system described in this paper is a set of computernodes interconnected in an interconnection network via packet-switching interfaces.The nodes communicate with each other by means of message-passing protocols. Thispaper presents the implementation of rendezvous facilities as highlevel prhoitives provided by a parallel programming language to support interprocess cornmunication andsynchronisation.展开更多
文摘Wireless sensor network(WSN)is considered as the fastest growing technology pattern in recent years because of its applicability in varied domains.Many sensor nodes with different sensing functionalities are deployed in the monitoring area to collect suitable data and transmit it to the gateway.Ensuring communications in heterogeneous WSNs,is a critical issue that needs to be studied.In this research paper,we study the system performance of a heterogeneous WSN using LoRa–Zigbee hybrid communication.Specifically,two Zigbee sensor clusters and two LoRa sensor clusters are used and combined with two Zigbee-to-LoRa converters to communicate in a network managed by a LoRa gateway.The overall system integrates many different sensors in terms of types,communication protocols,and accuracy,which can be used in many applications in realistic environments such as on land,under water,or in the air.In addition to this,a synchronous management software on ThingSpeak Web server and Blynk app is designed.In the proposed system,the token ring protocol in Zigbee network and polling mechanism in LoRa network is used.The system can operate with a packet loss rate of less than 0.5%when the communication range of the Zigbee network is 630 m,and the communication range of the LoRa network is 3.7 km.On the basis of the digital results collected on the management software,this study proves tremendous improvements in the system performance.
基金funding this research work through the Small Group Research Project under Grant Number RGP1/70/44.
文摘Renewable energy sources like solar,wind,and hydro are becoming increasingly popular due to the fewer negative impacts they have on the environment.Because,Since the production of renewable energy sources is still in the process of being created,photovoltaic(PV)systems are commonly utilized for installation situations that are acceptable,clean,and simple.This study presents an adaptive artificial intelligence approach that can be used for maximum power point tracking(MPPT)in solar systems with the help of an embedded controller.The adaptive method incorporates both the Whale Optimization Algorithm(WOA)and the Artificial Neural Network(ANN).The WOA was implemented to enhance the process of the ANN model’s training,and the ANN model was developed using the WOA.In addition to this,the inverter circuit is connected to the smart grid system,and the strengthening of the smart grid is achieved through the implementation of the CMCMAC protocol.This protocol prevents interference between customers and the organizations that provide their utilities.Using a protocol known as Cross-Layer Multi-Channel MAC(CMCMAC),the effect of interference is removed using the way that was suggested.Also,with the utilization of the ZIGBEE communication technology,bidirectional communication is made possible.The strategy that was suggested has been put into practice,and the results have shown that the PV system produces an output power of 73.32 KW and an efficiency of 98.72%.In addition to this,a built-in regulator is utilized to validate the proposed model.In this paper,the results of various experiments are analyzed,and a comparison is made between the suggested WOA with the ANN controller approach and others,such as the Particle Swarm Optimization(PSO)based MPPT and the Cuckoo Search(CS)based MPPT.By examining the comparison findings,it was determined that the adaptive AI-based embedded controller was superior to the other alternatives.
文摘This paper briefly analyzes the present situation of textile mill's air-conditioning system. Since it is difficult to establish detailed math model to control a textile mill's airconditioning system because of the influence of various factors such as the differences in seasons, regions, etc., most air-conditioning equipment can not be controlled automatically. This paper suggests utilizing multi-function data acquisRion card to collect the data about the temperature and humidity of a workshop, processing the data on a PC, comparing them with the expert database, and then using the 485 serial port expanding module to output the parameters, which are used to control the inverter, so that the purpose of adjusting the temperature and humidity of the workshop is achieved.
基金supported by the New Century Excellent Researcher Award Program from Ministry of Education of China (Grant No. NCET-07-0059)the Fundamental Research Funds for the Central Universities (Grant No.2011YJS006)+1 种基金the National High Technology Research and DevelopmentProgram of China ("863" Program) (Grant No. 2011AA010104)the State Key Laboratory of Rail Traffic Control and Safety Research Project(Grant Nos. RCS2008ZZ001, RCS2008ZZ005)
文摘In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method.
文摘The distributed computer system described in this paper is a set of computernodes interconnected in an interconnection network via packet-switching interfaces.The nodes communicate with each other by means of message-passing protocols. Thispaper presents the implementation of rendezvous facilities as highlevel prhoitives provided by a parallel programming language to support interprocess cornmunication andsynchronisation.