Robot-based forest fire detection and extinguishing model

Afzaal, Hamra; Zafar, Nazir Ahmad

doi:10.1109/icrai.2016.7791238

Cited by 24 publications

(9 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The coverage probability model is used to estimate whether a sensor sj is covered by an actuator ai. The probability P(ai, sj ) that sj is covered by ai is based on the distance between ai and sj , which can be expressed by equation (6). d , is the distance between the i-th actuator ai and the j-th sensor sj , re is the coverage error range and re < ra.…”

Section: Coverage Modelmentioning

confidence: 99%

See 1 more Smart Citation

Prolonging Network Lifetime by Optimizing Actuators Deployment with Probabilistic Mutation Multi-layer Particle Swarm Optimization

2021

KSII TIIS

View full text Add to dashboard Cite

In wireless sensor and actuator networks (WSANs), the network lifetime is an important criterion to measure the performance of the WSAN system. Generally, the network lifetime is mainly affected by the energy of sensors. However, the energy of sensors is limited, and the batteries of sensors cannot be replaced and charged. So, it is crucial to make energy consumption efficient. WSAN introduces multiple actuators that can be regarded as multiple collectors to gather data from their respective surrounding sensors. But how to deploy actuators to reduce the energy consumption of sensors and increase the manageability of the network is an important challenge. This research optimizes actuators deployment by a proposed probabilistic mutation multi-layer particle swarm optimization algorithm to maximize the coverage of actuators to sensors and reduce the energy consumption of sensors. Simulation results show that this method is effective for improving the coverage rate and reducing the energy consumption.

show abstract

Section: Coverage Modelmentioning

confidence: 99%

“…These nodes can connect and communicate with each other to monitor the environment and process events. WSANs have been widely applied into various fields such as intelligent agriculture, fire monitoring, and smart cities [3]- [6].…”

Section: Introductionmentioning

confidence: 99%

Prolonging Network Lifetime by Optimizing Actuators Deployment with Probabilistic Mutation Multi-layer Particle Swarm Optimization

2021

KSII TIIS

View full text Add to dashboard Cite

show abstract

“…The main hazard is forest fires because its consequences are terrible in nature. Therefore, there is a need to detect and extinguish fire before it spreads to destroy the resources [1]. Forest fire spreading is a complex process affected by multi-factors.…”

Section: Introductionmentioning

confidence: 99%

Mathematical Model of Forest Fire Soil-thrower Movement

Dornyak

Бартенев

Drapalyuk

et al. 2020

KLS

View full text Add to dashboard Cite

The design of a forest fire soil-thrower made to prevent and eliminate ground forest fires is presented. A mathematical model of machine movement has been developed, which enables to study the laws of the interaction process of the design with the soil. It is accepted that the machine has two degrees of freedom. The mathematical model has been obtained using the Lagrange equations of the second kind. The design and technological parameters of the forest fire soil-throwing machine, affecting the efficiency of its work, including mass and width of the grip of the ripper casing, mass, radius and frequency of rotation of the milling tool, the number and geometric parameters of the blades are taken into account. Mathematical model enables to determine the effect of these parameters on the characteristics of the movement of ripper casing and milling working body. A mathematical model is needed to synchronize the translational motion of the unit and the rotational motion of the rotor. Formulas have been obtained for the steady motion of the forest fire soil-thrower, that determine the hauling power of tractor and torque that ensures the operation of milling tools.

show abstract

“…For the static component of model using graph theory and are then integrated with VDM-SL for the specification to prove the correctness of system it is analyzed by using VDM tool box. Some of other related works based on VDM formal method bring into being in these papers [20]- [22].…”

Section: Related Workmentioning

confidence: 99%

UML based Formal Model of Smart Transformer Power System

Sultan¹,

Pir²,

Zafar³

2017

ijacsa

View full text Add to dashboard Cite

Abstract-Recently many significant improvements have been done in traditionally power system. But still a lot of work is needed in traditional power system to mend many challenges. We propose formal method based on subnet model for smart power system. Formal method is mathematics based technique that is used to develop, specify and verify model in a systematic manner. It involve components i.e., power plant, smart grid, transformer and smart meters. Power plant produces electricity and then distributes it to the smart grid. Smart grid generates electricity to transformers and then transformers transfer electricity to smart meters. Smart transformers and smart meters are deployed inform of subnets that increase the energy efficiency of smart power system. In this paper our main focus is on two components of smart power system that is transformers and smart meters. Graph theory is used for the semi-formal representation of model. In this paper we present system requirements through UML use case diagrams that are used to describe actions of system and then real topology is transferred into model topology in graph theory that is used to represent the structure of system. Mathematical technique and notation based formal method approaches are used for describing and analyzing the system. VDM-SL formal method language is used for formal specification and VDM toolbox is used for the verification and analysis of system.

show abstract

Robot-based forest fire detection and extinguishing model

Cited by 24 publications

References 15 publications

Prolonging Network Lifetime by Optimizing Actuators Deployment with Probabilistic Mutation Multi-layer Particle Swarm Optimization

Prolonging Network Lifetime by Optimizing Actuators Deployment with Probabilistic Mutation Multi-layer Particle Swarm Optimization

Mathematical Model of Forest Fire Soil-thrower Movement

UML based Formal Model of Smart Transformer Power System

Contact Info

Product

Resources

About