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

Ampere-Maxwell's Law: Problem-Solving01:17

Ampere-Maxwell's Law: Problem-Solving

809
A parallel-plate capacitor with capacitance C, whose plates have area A and separation distance d, is connected to a resistor R and a battery of voltage V. The current starts to flow at t = 0. What is the displacement current between the capacitor plates at time t? From the properties of the capacitor, what is the corresponding real current?
To solve the problem, we can use the equations from the analysis of an RC circuit and Maxwell's version of Ampère's law.
For the first part of...
809
Ampere's Law: Problem-Solving01:31

Ampere's Law: Problem-Solving

3.7K
Ampere's law states that for any closed looped path, the line integral of the magnetic field along the path equals the vacuum permeability times the current enclosed in the loop. If the fingers of the right hand curl along the direction of the integration path, the current in the direction of the thumb is considered positive. The current opposite to the thumb direction is considered negative.
Specific steps need to be considered while calculating the symmetric magnetic field distribution...
3.7K
Simplified Synchronous Machine Model01:30

Simplified Synchronous Machine Model

348
The Synchronous Machine Model is a fundamental tool in analyzing and ensuring the transient stability of power systems. This model simplifies the representation of a synchronous machine under balanced three-phase positive-sequence conditions, assuming constant excitation and ignoring losses and saturation. The model is pivotal for understanding the behavior of synchronous generators connected to a power grid, particularly during transient events.
In this model, each generator is connected to a...
348
Parallel Processing01:20

Parallel Processing

307
The brain processes sensory information rapidly due to parallel processing, which involves sending data across multiple neural pathways at the same time. This method allows the brain to manage various sensory qualities, such as shapes, colors, movements, and locations, all concurrently. For instance, when observing a forest landscape, the brain simultaneously processes the movement of leaves, the shapes of trees, the depth between them, and the various shades of green. This enables a quick and...
307
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

112
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
112
Distributed Loads: Problem Solving01:21

Distributed Loads: Problem Solving

785
Beams are structural elements commonly employed in engineering applications requiring different load-carrying capacities. The first step in analyzing a beam under a distributed load is to simplify the problem by dividing the load into smaller regions, which allows one to consider each region separately and calculate the magnitude of the equivalent resultant load acting on each portion of the beam. The magnitude of the equivalent resultant load for each region can be determined by calculating...
785

You might also read

Related Articles

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

Sort by
Same author

Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments.

Sensors (Basel, Switzerland)·2022
Same author

Modeling of a Generic Edge Computing Application Design.

Sensors (Basel, Switzerland)·2021
See all related articles

Related Experiment Video

Updated: Oct 3, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

696

Modeling an Edge Computing Arithmetic Framework for IoT Environments.

Pedro Juan Roig1, Salvador Alcaraz1, Katja Gilly1

  • 1Computer Engineering Department, Miguel Hernández University, 03202 Elche, Spain.

Sensors (Basel, Switzerland)
|February 15, 2022
PubMed
Summary

This study introduces a three-layer remote computing model for Internet of Things (IoT) environments. The proposed arithmetic framework optimizes traffic forwarding, saving resources and improving efficiency in edge computing networks.

Keywords:
ACPCNNPromelaSpinedge computingfog computingformal modeling

More Related Videos

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem
10:15

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem

Published on: February 3, 2021

3.9K
Data Communication Based on MQTT in a Polymer Extrusion Process
08:15

Data Communication Based on MQTT in a Polymer Extrusion Process

Published on: July 15, 2022

3.6K

Related Experiment Videos

Last Updated: Oct 3, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

696
Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem
10:15

Integration of 5G Experimentation Infrastructures into a Multi-Site NFV Ecosystem

Published on: February 3, 2021

3.9K
Data Communication Based on MQTT in a Polymer Extrusion Process
08:15

Data Communication Based on MQTT in a Polymer Extrusion Process

Published on: July 15, 2022

3.6K

Area of Science:

  • Computer Science
  • Network Engineering
  • Artificial Intelligence

Background:

  • Internet of Things (IoT) environments are rapidly expanding.
  • Advances in edge computing and artificial intelligence drive this growth.
  • Efficient resource management and traffic forwarding are critical challenges in large-scale IoT.

Purpose of the Study:

  • To present a novel remote computing scheme for optimizing computing and forwarding tasks in IoT.
  • To design a generic, resource-saving communication layout across multiple computing layers.
  • To propose an arithmetic framework for faster traffic forwarding decisions.

Main Methods:

  • A three-layer computing node model for optimized tasks.
  • Utilization of simple arithmetic operations for inter-layer communication.
  • Implementation of integer division and modular arithmetic for traffic forwarding.
  • Formal description using Spin/Promela and Algebra of Communicating Processes (ACP).

Main Results:

  • The proposed arithmetic framework potentially speeds up traffic forwarding decisions.
  • Resource savings are achieved across involved computing nodes.
  • The ACP approach resulted in a specified and verified model, unlike the Spin/Promela approach which led to state explosion.

Conclusions:

  • The developed arithmetic framework offers an efficient method for traffic forwarding in layered IoT computing architectures.
  • Formal verification using ACP demonstrates the robustness and efficacy of the proposed design.
  • The study highlights the benefits of algebraic methods for modeling complex communication systems.