Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Formal Charges02:42

Formal Charges

40.2K
In some cases, there are seemingly more than one valid Lewis structures for molecules and polyatomic ions. The concept of formal charges can be used to help predict the most appropriate Lewis structure when more than one reasonable structure exists.
40.2K
Fault Types01:18

Fault Types

408
When analyzing a single line-to-ground fault from phase A to ground at a three-phase bus, it is important to consider the fault impedance. This impedance is zero for a bolted fault, equal to the arc impedance for an arcing fault, and represents the total fault impedance for a transmission-line insulator flashover. To derive sequence and phase currents, fault conditions are translated from the phase domain to the sequence domain.
For line-to-line faults occurring between phases B and C, the...
408
Lewis Structures and Formal Charges02:19

Lewis Structures and Formal Charges

21.5K
Lewis symbols can be used to indicate the formation of covalent bonds, which are shown in Lewis structures—drawings that describe the bonding in molecules and polyatomic ions. The periodic table can be used to predict the number of valence electrons in an atom and the number of bonds that will be formed to reach an octet. Group 18 elements, such as argon and helium, have filled electron configurations and thus rarely participate in chemical bonding. However, atoms from group 17, such as...
21.5K
Protein Networks02:26

Protein Networks

4.5K
An organism can have thousands of different proteins, and these proteins must cooperate to ensure the health of an organism. Proteins bind to other proteins and form complexes to carry out their functions. Many proteins interact with multiple other proteins creating a complex network of protein interactions.
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
4.5K
Protein Networks02:26

Protein Networks

2.8K
2.8K
Network Covalent Solids02:18

Network Covalent Solids

16.1K
Network covalent solids contain a three-dimensional network of covalently bonded atoms as found in the crystal structures of nonmetals like diamond, graphite, silicon, and some covalent compounds, such as silicon dioxide (sand) and silicon carbide (carborundum, the abrasive on sandpaper). Many minerals have networks of covalent bonds.
To break or to melt a covalent network solid, covalent bonds must be broken. Because covalent bonds are relatively strong, covalent network solids are typically...
16.1K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Numerical and experimental assessment of implant-induced thermal risks during electrosurgical procedures.

Biomedical physics & engineering express·2026
Same author

Improved assessment of radiofrequency electromagnetic field power deposition near orthopaedic device using a bone-inclusive ASTM phantom under 1.5T and 3T MRI.

Physics in medicine and biology·2024
Same author

A Hybrid Model with New Word Weighting for Fast Filtering Spam Short Texts.

Sensors (Basel, Switzerland)·2023
Same author

Bond-Slip Monitoring of Concrete Structures Using Smart Sensors-A Review.

Sensors (Basel, Switzerland)·2019
Same author

Real-Time Monitoring of Bond Slip between GFRP Bar and Concrete Structure Using Piezoceramic Transducer-Enabled Active Sensing.

Sensors (Basel, Switzerland)·2018

Related Experiment Video

Updated: Jan 25, 2026

Construction of a Wireless-Enabled Endoscopically Implantable Sensor for pH Monitoring with Zero-Bias Schottky Diode-based Receiver
08:25

Construction of a Wireless-Enabled Endoscopically Implantable Sensor for pH Monitoring with Zero-Bias Schottky Diode-based Receiver

Published on: August 27, 2021

2.9K

A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks.

Na Wang1, Jiacun Wang2, Xuemin Chen3

  • 1Department of Computer and Information Engineering, Shanghai Polytechnic University, Shanghai 201209, China. wangna@sspu.edu.cn.

Sensors (Basel, Switzerland)
|April 26, 2019
PubMed
Summary

A new Trust-based Formal Model (TFM) addresses Wireless Sensor Network (WSN) fault detection issues. This model enables fault analysis without network simulation, improving efficiency and adaptability for WSN security.

Keywords:
Petri netsfault detectionformal modelmulti-factorswireless sensor networks

More Related Videos

The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
06:18

The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm

Published on: October 20, 2022

2.5K
Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator
06:45

Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator

Published on: October 28, 2022

2.1K

Related Experiment Videos

Last Updated: Jan 25, 2026

Construction of a Wireless-Enabled Endoscopically Implantable Sensor for pH Monitoring with Zero-Bias Schottky Diode-based Receiver
08:25

Construction of a Wireless-Enabled Endoscopically Implantable Sensor for pH Monitoring with Zero-Bias Schottky Diode-based Receiver

Published on: August 27, 2021

2.9K
The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
06:18

The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm

Published on: October 20, 2022

2.5K
Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator
06:45

Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator

Published on: October 28, 2022

2.1K

Area of Science:

  • Computer Science
  • Network Security
  • Formal Methods

Background:

  • Wireless Sensor Networks (WSNs) face significant challenges from failures and malicious attacks.
  • Existing multi-factor trust models require redeployment upon network parameter adjustments, limiting their practical application.
  • Effective fault detection is crucial for maintaining the integrity and reliability of WSNs.

Purpose of the Study:

  • To propose a novel Trust-based Formal Model (TFM) for fault detection in WSNs.
  • To develop a model that allows for fault analysis without the need for network simulation or execution.
  • To address the redeployment limitations of previous trust models in dynamic WSN environments.

Main Methods:

  • The Trust-based Formal Model (TFM) is derived from Petri nets, incorporating time, weight, and threshold characteristics.
  • Defined basic and compound structures for TFM, along with transition firing and marking updating rules.
  • Developed an efficient TFM analysis algorithm for structured detection models.
  • Implemented TFM using the Generic Modeling Environment (GME).

Main Results:

  • The TFM effectively describes the fault detection process in WSNs.
  • The model allows for fault specification and analysis without requiring WSN simulation.
  • Precise node assessment is achievable by loading trust factor values, firing time, weights, and thresholds.
  • An example demonstrates TFM's capability to efficiently describe fault detection and predict faults.

Conclusions:

  • The Trust-based Formal Model (TFM) offers an efficient and adaptable solution for fault detection in Wireless Sensor Networks.
  • TFM overcomes the redeployment issues associated with previous simulation-based trust models.
  • This formal modeling approach enhances the security and reliability of WSNs by enabling proactive fault identification.