Jove
Visualize
联系我们
JoVE
x logofacebook logolinkedin logoyoutube logo
关于 JoVE
概览领导团队博客JoVE 帮助中心
作者
出版流程编辑委员会范围与政策同行评审常见问题投稿
图书馆员
用户评价订阅访问资源图书馆顾问委员会常见问题
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experiments存档
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教师资源中心教师网站
使用条款与条件
隐私政策
政策

相关概念视频

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

100
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...
100
Mechanistic Models: Overview of Compartment Models01:21

Mechanistic Models: Overview of Compartment Models

160
Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...
160
Mechanistic Models: Compartment Models in Individual and Population Analysis01:23

Mechanistic Models: Compartment Models in Individual and Population Analysis

86
Mechanistic models are utilized in individual analysis using single-source data, but imperfections arise due to data collection errors, preventing perfect prediction of observed data. The mathematical equation involves known values (Xi), observed concentrations (Ci), measurement errors (εi), model parameters (ϕj), and the related function (ƒi) for i number of values. Different least-squares metrics quantify differences between predicted and observed values. The ordinary least...
86
Multi-input and Multi-variable systems01:22

Multi-input and Multi-variable systems

149
Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence...
149
Laminar Flow: Problem Solving01:24

Laminar Flow: Problem Solving

252
Laminar flow occurs when a fluid moves smoothly in parallel layers with minimal mixing and turbulence. In fluid mechanics, ensuring laminar flow within a pipe is essential for precise control of flow characteristics, especially in engineering applications. The key factor in determining whether flow remains laminar is the Reynolds number, a dimensionless quantity that depends on the fluid's velocity, density, viscosity, and the pipe's diameter. A Reynolds number of 2100 or lower...
252
Block Diagram Reduction01:22

Block Diagram Reduction

285
The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
285

您也可能阅读

相关文章

通过共同作者、期刊和引用图与本文相关的文章。

排序
Same author

Robust Thermochromic Photothermal Coating with Ultraslippery Anti-icing/Deicing and All-Season Temperature Regulation Performance.

Research (Washington, D.C.)·2026
Same author

Responses of ecological stability in subtropical coastal phytoplankton communities to varying N:P ratios under present and future scenarios.

Water research·2026
Same author

Nitrate modulates high CO<sub>2</sub> effects on carbon partitioning in Gracilariopsis lemaneiformis: Trade-offs between particulate and dissolved organic carbon sequestration.

Environmental research·2025
Same author

KalmanFormer: using transformer to model the Kalman Gain in Kalman Filters.

Frontiers in neurorobotics·2025
Same author

Production and ecological function of fucoidans from marine algae in a changing ocean.

International journal of biological macromolecules·2024
Same author

A Transparent Photo/Electrothermal Composite Coating with Liquid-like Slippery Property for All-Day Anti-/De-Icing.

ACS applied materials & interfaces·2024
Same journal

Correction: A method for supervoxel-wise association studies of age and other non-imaging variables from coronary computed tomography angiograms.

Scientific reports·2026
Same journal

Poly(bromophenol blue)/CoSn(OH)<sub>6</sub> cubic particles modified pencil graphite electrode for electrochemical determination of diphenhydramine.

Scientific reports·2026
Same journal

Dietary Chlorella, Spirulina, and acidifier modulate jejunal cytokine-related gene expression in broiler chickens.

Scientific reports·2026
Same journal

Perceived physical activity barriers in university students: associations with fatigue and eating behaviours.

Scientific reports·2026
Same journal

Refuge limitation structures habitat use in agricultural landscapes: evidence from Sunda pangolins.

Scientific reports·2026
Same journal

Lightweight stateless transaction verification with outsourced witness updates for UTXO blockchains.

Scientific reports·2026
查看所有相关文章

相关实验视频

Updated: Sep 10, 2025

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

11.8K

集成模块化航空电子系统的基于模型的分区调度使用遗传算法

Jichen Chen1, Zhengjun Zhai2, Pujie Han3

  • 1School of Computer Science, Northwestern Polytechnical University, Xi'an, 710072, Shaanxi, China.

Scientific reports
|August 26, 2025
PubMed
概括
此摘要是机器生成的。

本研究使用基于模型的方法优化了集成模块化航空系统 (IMA) 的分区调度. 该方法提高了符合ARINC 653标准的实时系统的处理器利用率和效率.

关键词:
遗传算法集成模块化航空电子分区时间表时间自动机这里是UPPAAL

更多相关视频

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.7K
Design and Optimization Strategies of a High-Performance Vented Box
14:23

Design and Optimization Strategies of a High-Performance Vented Box

Published on: June 9, 2023

1.2K

相关实验视频

Last Updated: Sep 10, 2025

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

11.8K
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.7K
Design and Optimization Strategies of a High-Performance Vented Box
14:23

Design and Optimization Strategies of a High-Performance Vented Box

Published on: June 9, 2023

1.2K

科学领域:

  • 计算机科学
  • 实时系统工程
  • 航空航天系统

背景情况:

  • 集成模块化航空系统 (IMA) 对现代飞机至关重要,需要高效的资源管理.
  • 符合ARINC 653提出了复杂的调度挑战,特别是多核处理器和多种分区类型.
  • 传统方法在优化实时分区调度的组合复杂性方面存在困难.

研究的目的:

  • 在符合ARINC 653的IMA系统中开发基于模型的优化分区调度方法.
  • 在确保实时约束的情况下最大限度地利用处理器.
  • 在IMA设计中提高分区调度的效率和适用性.

主要方法:

  • 在UPPAAL中使用定时自动机来建模ARINC 653功能,如双层调度和多核处理器.
  • 使用并行遗传算法来有效地探索调度参数空间.
  • 实施独立分区验证和全球可调度分析的组成框架.

主要成果:

  • 与传统技术相比,拟议的方法实现了较低的处理器占用率.
  • 在实时分区调度中表现出更好的优化性能.
  • 成功缓解了模型检查中常见的状态空间爆炸问题.

结论:

  • 基于模型的方法为IMA系统中的分区优化提供了更有效和更实用的解决方案.
  • 构成框架提高了可调度分析的可扩展性.
  • 这项工作有助于更高效的航空电子系统设计.