相关实验视频
Updated: May 22, 2025

04:58
A Rapid Method for Modeling a Variable Cycle Engine
Published on: August 13, 2019
7.5K
走向基于大图的网络物理系统架构演变的建模和分析方法
Chaoze Lu1, Qifeng Zou2, Jianchao Zhou3
1School of Cyber Science and Engineering, Ningbo University of Technology, Ningbo, 315211, Zhejiang, China. luchaoze@126.com.
Scientific reports
|March 14, 2025
概括
网络物理系统 (CPS) 的发展是动态的. 一个具有位置约束的新型Bigraph模型捕捉了它们的2D演变,从而实现了强大的分析并确保了系统可靠性.
科学领域:
- 计算机科学 计算机科学
- 系统工程 系统工程
- 网络物理系统 网络物理系统
背景情况:
- 传统的图形模型在与网络物理系统 (CPS) 固有的二维空间演变作斗争.
- 建模和分析CPS架构和信息流中的动态,多维变化是一个重大挑战.
研究的目的:
- 为网络物理系统 (CPS) 提出一个新的Bigraph模型,有效地表示和分析它们的二维空间演变.
- 开发动态演变规则和算法,确保CPS架构在变化过程中的一致性,完整性和可访问性.
主要方法:
- 引入了一个包含位置约束的Bigraph模型,使用链接和位置图来表示连接和空间关系.
- 基于条件匹配和状态转换的动态演变规则是为CPS结构和信息流设计的.
- 为验证动态进化,开发了限制检查 (一致性,完整性,可访问性) 的算法.
主要成果:
- 提出的Bigraph模型成功地代表了CPS进化中的2D空间关系.
- 开发的动态演变规则和算法确保了CPS在架构更改后的正确性和可靠性.
- 关于智能会议和车辆网络系统的案例研究证明了该模型的有效性.
结论:
- 具有位置约束的Bigraph模型提供了一种强大的方法来分析网络物理系统 (CPS) 的动态2D演变.
- 相关的算法提供了验证不断发展的CPS架构的完整性和可靠性的基本机制.
相关概念视频
Relation between Mathematical Equations and Block Diagrams
159
In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.
159
Block Diagram Reduction
147
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...
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
147
SFG Algebra
96
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...
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...
96
Modeling and Similitude
178
Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...
178
Typical Model Studies
235
Fluid mechanics model studies often utilize scaled-down systems to predict fluid behavior in full-scale environments, such as river flows, dam spillways, and structures interacting with open surfaces. Maintaining Froude number similarity in river models is crucial, as it replicates surface flow features like wave patterns and velocities.
235
Virtual Work for a System of Connected Rigid Bodies
359
Virtual work is a powerful method used to solve problems involving several connected rigid bodies. When the system is in equilibrium, virtual work is zero. This allows the calculation of the resulting forces when a system undergoes a virtual displacement. When attempting to analyze such a system, first, use a free-body diagram, where an independent coordinate represents the configuration of the links, and mark its deflected position resulting from the positive virtual displacement.
Next,...
Next,...
359

