Related Experiment Video

Updated: Jun 14, 2025

Author Spotlight: Deciphering the Cognitive and Neural Mechanisms of Gesture in Communication
07:18

Author Spotlight: Deciphering the Cognitive and Neural Mechanisms of Gesture in Communication

Published on: January 26, 2024

847

Formal analysis of signal protocol based on logic of events theory

Zehuan Li1,2, Meihua Xiao3, Ruihan Xu4

  • 1School of Information and Software Engineering, East China Jiaotong University, Nan Chang, Jiang Xi, China. zehuanli@ecjtu.edu.cn.

Scientific Reports
|September 4, 2024
PubMed

Keywords:
Formal methodsLogic of events theoryProtocol compositionRatchet protocolSignal protocol

More Related Videos

Measuring Neural and Behavioral Activity During Ongoing Computerized Social Interactions: An Examination of Event-Related Brain Potentials09:40

Measuring Neural and Behavioral Activity During Ongoing Computerized Social Interactions: An Examination of Event-Related Brain Potentials

Published on: November 15, 2014

13.8K
Protocol for Data Collection and Analysis Applied to Automated Facial Expression Analysis Technology and Temporal Analysis for Sensory Evaluation07:12

Protocol for Data Collection and Analysis Applied to Automated Facial Expression Analysis Technology and Temporal Analysis for Sensory Evaluation

Published on: August 26, 2016

9.4K

Related Concept Videos

Signal Flow Graphs01:18

Signal Flow Graphs

Signal-flow graphs offer a streamlined and intuitive approach to representing control systems, providing an alternative to traditional block diagrams. These graphs use branches to symbolize systems and nodes to represent signals, effectively illustrating the relationships and interactions within the system.
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
199
Signal and System01:26

Signal and System

A signal x(t) is a set of data or a time function representing a variable of interest. Signals typically convey information about a phenomenon, such as atmospheric temperature, humidity, human voice, television images, a dog's bark, or birdsongs. More generally, a signal can be a function of more than one independent variable. For instance, images depend on horizontal and vertical positions and can be regarded as two-dimensional signals. However, this text will focus on one-dimensional...
635
Classification of Signals01:30

Classification of Signals

In signal processing, signals are classified based on various characteristics: continuous-time versus discrete-time, periodic versus aperiodic, analog versus digital, and causal versus noncausal. Each category highlights distinct properties crucial for understanding and manipulating signals.
A continuous-time signal holds a value at every instant in time, representing information seamlessly. In contrast, a discrete-time signal holds values only at specific moments, often denoted as x(n), where...
420
Even and Odd Signals01:17

Even and Odd Signals

An even signal, whether in continuous-time or discrete-time, is defined by its symmetry with its time-reversed version. Mathematically, this is represented as
769
Basic Operations on Signals01:22

Basic Operations on Signals

Basic signal operations include time reversal, time scaling, time shifting, and amplitude transformations. These operations are fundamental in signal processing and analysis.
Time Reversal mirrors a continuous-time signal about the vertical axis at t=0. This is achieved by substituting t with −t. For example, if a signal x(t) is considered, the time-reversed signal is x(−t). This operation can be graphically represented, showing the mirrored signal.
361
SFG Algebra01:16

SFG Algebra

In Signal Flow Graph (SFG) algebra, the value a node represents is determined by the sum of all signals entering that node. This summed value is then transmitted through every branch leaving the node, making the SFG a powerful tool for visualizing and analyzing control systems.
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
111