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

Relative Motion Analysis using Rotating Axes - Acceleration01:22

Relative Motion Analysis using Rotating Axes - Acceleration

508
Consider a component AB undergoing a linear motion. Along with a linear motion, point B also rotates around point A. To comprehend this complex movement, position vectors for both points A and B are established using a stationary reference frame. The absolute velocity of point B is determined by adding the absolute velocity of point A, the relative velocity of point B in the rotating frame, and the effects caused by the angular velocity within the rotating frame.
Time differentiation is...
508
Relative Motion Analysis - Acceleration01:10

Relative Motion Analysis - Acceleration

581
A slider-crank mechanism converts rotational motion from the crank into linear motion of the slider or vice versa. This mechanism consists of three main parts: the crank, the connecting rod, and the slider. The movement of the slider-crank is an example of general plane motion as the fluctuating angle between the crank and the connecting rod. Consider a segment AB where point A is at the end of the slider and point B is on the diametrically opposite end to point A, on a crack. The variance in...
581
Kinematic Equations: Problem Solving01:15

Kinematic Equations: Problem Solving

24.2K
When analyzing one-dimensional motion with constant acceleration, the problem-solving strategy involves identifying the known quantities and choosing the appropriate kinematic equations to solve for the unknowns. Either one or two kinematic equations are needed to solve for the unknowns, depending on the known and unknown quantities. Generally, the number of equations required is the same as the number of unknown quantities in the given example. Two-body pursuit problems always require two...
24.2K
Linear Approximation in Time Domain01:21

Linear Approximation in Time Domain

190
Nonlinear systems often require sophisticated approaches for accurate modeling and analysis, with state-space representation being particularly effective. This method is especially useful for systems where variables and parameters vary with time or operating conditions, such as in a simple pendulum or a translational mechanical system with nonlinear springs.
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
190
Simplified Synchronous Machine Model01:30

Simplified Synchronous Machine Model

408
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...
408
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

163
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...
163

You might also read

Related Articles

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

Sort by
Same author

Maximizing sinusoidal channels of HZSM-5 for high shape-selectivity to p-xylene.

Nature communications·2019
Same author

Correction: Loss of the novel mitochondrial protein FAM210B promotes metastasis via PDK4-dependent metabolic reprogramming.

Cell death & disease·2019
Same author

RAD54B potentiates tumor growth and predicts poor prognosis of patients with luminal A breast cancer.

Biomedicine & pharmacotherapy = Biomedecine & pharmacotherapie·2019
Same author

Clinical management of malignant ovarian germ cell tumors: A 26-year experience in a tertiary care institution.

Surgical oncology·2019
Same author

Construction of a sp<sup>3</sup> /sp<sup>2</sup> Carbon Interface in 3D N-Doped Nanocarbons for the Oxygen Reduction Reaction.

Angewandte Chemie (International ed. in English)·2019
Same author

A versatile route to fabricate single atom catalysts with high chemoselectivity and regioselectivity in hydrogenation.

Nature communications·2019
Same journal

DARUMA: a gateway to fast and easy prediction of intrinsically disordered regions.

PeerJ. Computer science·2026
Same journal

Alzheimer's disease detection using a quantum deep neural network with Haralick feature extraction and simulated annealing optimization.

PeerJ. Computer science·2026
Same journal

Network anomaly detection using Deep Autoencoder and parallel Artificial Bee Colony algorithm-trained neural network.

PeerJ. Computer science·2026
Same journal

An anomaly detection model for multivariate time series with anomaly perception.

PeerJ. Computer science·2026
Same journal

Retraction: A wormhole attack detection method for tactical wireless sensor networks.

PeerJ. Computer science·2026
Same journal

Evaluation of mental disorder with prioritization of its type by utilizing the bipolar complex fuzzy decision-making approach based on Schweizer-Sklar prioritized aggregation operators.

PeerJ. Computer science·2026
See all related articles

Related Experiment Video

Updated: Nov 10, 2025

A Rapid Method for Modeling a Variable Cycle Engine
04:58

A Rapid Method for Modeling a Variable Cycle Engine

Published on: August 13, 2019

7.8K

Exact acceleration of complex real-time model checking based on overlapping cycle.

Guoqing Wang1, Lei Zhuang1, Yu Song1

  • 1School of Information Engineering, Zhengzhou University, Zhengzhou, Henan, China.

Peerj. Computer Science
|April 5, 2021
PubMed
Summary
This summary is machine-generated.

A new overlapping cycle method simplifies exact acceleration for complex real-time systems modeled as timed automata. This approach reduces state fragmentation and accelerates large-scale concurrent systems more efficiently.

Keywords:
Complex real-time systemExact accelerationOverlapping cycleReal-time model checkingTimed automata

More Related Videos

Simulation of Human-induced Vibrations Based on the Characterized In-field Pedestrian Behavior
10:52

Simulation of Human-induced Vibrations Based on the Characterized In-field Pedestrian Behavior

Published on: April 13, 2016

9.0K
Author Spotlight: Alignment of Synchronized Time-Series Data Using the Characterizing Loss of Cell Cycle Synchrony Model for Cross-Experiment Comparisons
07:59

Author Spotlight: Alignment of Synchronized Time-Series Data Using the Characterizing Loss of Cell Cycle Synchrony Model for Cross-Experiment Comparisons

Published on: June 9, 2023

1.7K

Related Experiment Videos

Last Updated: Nov 10, 2025

A Rapid Method for Modeling a Variable Cycle Engine
04:58

A Rapid Method for Modeling a Variable Cycle Engine

Published on: August 13, 2019

7.8K
Simulation of Human-induced Vibrations Based on the Characterized In-field Pedestrian Behavior
10:52

Simulation of Human-induced Vibrations Based on the Characterized In-field Pedestrian Behavior

Published on: April 13, 2016

9.0K
Author Spotlight: Alignment of Synchronized Time-Series Data Using the Characterizing Loss of Cell Cycle Synchrony Model for Cross-Experiment Comparisons
07:59

Author Spotlight: Alignment of Synchronized Time-Series Data Using the Characterizing Loss of Cell Cycle Synchrony Model for Cross-Experiment Comparisons

Published on: June 9, 2023

1.7K

Area of Science:

  • Computer Science
  • Formal Methods
  • Real-Time Systems

Background:

  • Modeling real-time systems with timed automata can cause state space fragmentation due to differing time scales.
  • Exact acceleration is a technique to address this fragmentation without altering system reachability.
  • Existing methods like appended or parking cycles are limited in handling complex models efficiently.

Purpose of the Study:

  • To propose a novel exact acceleration method for complex real-time systems.
  • To extend the parking-cycle technique for improved acceleration efficiency.
  • To reduce the time costs and state fragmentation in timed automaton models.

Main Methods:

  • Developed a complex real-time exact acceleration method utilizing an overlapping cycle.
  • Analyzed the acceleration impacts of multiple acceleratable cycles.
  • Introduced a single overlapping period of fixed length, independent of specific cycle windows.

Main Results:

  • The proposed overlapping cycle method simplifies the timed automaton model.
  • Experimental results demonstrate a significant decrease in exact acceleration time costs.
  • The method effectively accelerates large-scale and concurrent states in complex systems, overcoming limitations of prior techniques.

Conclusions:

  • The overlapping cycle method offers a more efficient approach to exact acceleration for complex real-time systems.
  • This technique enhances the scalability and applicability of exact acceleration in timed automaton modeling.
  • The proposed method provides a simpler and more effective solution compared to existing approaches.