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

10:09
Operation of the Collaborative Composite Manufacturing CCM System
Published on: October 1, 2019
6.5K
无人机系统的综合建模,验证和代码生成:成本更低,效率更高
Jianyu Zhang1, Long Zhang2, Yixuan Wu3
1School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu, China.
PeerJ. Computer science
|February 3, 2025
概括
本研究介绍了一种用于模拟,验证和生成无人机系统 (UAS) 代码的综合方法. 该方法提高了可靠无人机飞行控制器的设计和验证效率.
科学领域:
- 航空航天工程 航空航天工程
- 软件工程 软件工程 软件工程
- 系统工程 系统工程
背景情况:
- 无人机系统 (UAS) 在工业和国防等安全密集型行业至关重要.
- 越来越复杂的UAS在可靠性,成本和效率方面提出了挑战.
- 现有的设计和验证方法与复杂的UAS要求作斗争.
研究的目的:
- 引入UAS建模,验证和代码生成的综合方法.
- 为满足对可靠,成本效益高,高效的无人机系统开发的需求.
- 改善在UAS设计中早期识别漏洞的方法.
主要方法:
- 使用架构分析和设计语言 (AADL) 进行通用UAS建模.
- 采用正式规范来定义系统的安全特性和功能.
- 开发一种方法,从经过验证的模型中生成飞行控制器代码.
主要成果:
- 在早期设计过程中识别潜在的UAS漏洞的有效性.
- 从经过验证的UAS模型中成功生成了可行的飞行控制器代码.
- 展示了设计和验证高可靠性无人机系统的效率的提高.
结论:
- 基于AADL的综合方法提高了UAS设计和验证效率.
- 正式方法有助于确保复杂无人机系统的安全性和可靠性.
- 这种方法为开发可靠的UAS飞行控制器提供了可行的途径.
相关概念视频
One-Degree-of-Freedom System
456
In mechanical engineering, one-degree-of-freedom systems form the basis of a wide range of electrical and mechanical components. Using these models, engineers can predict the behavior of various parts in a larger system, which gives them insight into how different forces interact with each other.
A one-degree-of-freedom system is defined by an independent variable that determines its state and behavior. One example of a one-degree-of-freedom system is a simple harmonic oscillator, such as a...
A one-degree-of-freedom system is defined by an independent variable that determines its state and behavior. One example of a one-degree-of-freedom system is a simple harmonic oscillator, such as a...
456
Mechanical Systems
169
Mechanical systems are analogous to to electrical networks where springs and masses play similar roles to inductors and capacitors, respectively. A viscous damper in mechanical systems functions similarly to a resistor in electrical networks, dissipating energy. The forces acting on a mass in such systems include an applied force in the direction of motion, counteracted by forces from the spring, a viscous damper, and the mass's acceleration. This interplay of forces is mathematically...
169
Mechanical Efficiency of Real Machines
623
The mechanical efficiency of a machine is a fundamental concept that describes how effectively a machine can convert input work into output work. According to this concept, the efficiency of a machine is equal to the ratio of the output work to the input work. An ideal machine, meaning a machine that has no energy losses, has an efficiency of one. This implies that the input work and the output work are equal.
However, in reality, no machine can be truly ideal, and all of them experience some...
However, in reality, no machine can be truly ideal, and all of them experience some...
623
Buoyancy and Stability for Submerged and Floating Bodies
1.2K
In fluid mechanics, buoyancy and stability are key concepts for understanding the behavior of submerged and floating bodies. When a stationary body is fully or partially submerged in a fluid, the fluid exerts a force on the body known as the buoyant force. This force acts vertically upward through a point called the center of buoyancy, which is the center of the displaced fluid volume. According to Archimedes' principle, the magnitude of the buoyant force is equal to the weight of the fluid...
1.2K
Virtual Work for a System of Connected Rigid Bodies
366
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,...
366
Three-Dimensional Force System:Problem Solving
619
A three-dimensional force system refers to a scenario in which three forces act simultaneously in three different directions. This type of problem is commonly encountered in physics and engineering, where it is necessary to calculate the resultant force on the system, which can then be used to predict or analyze the behavior of the object or structure under consideration.
To solve a three-dimensional force system, first resolve each force into its respective scalar components. Do this using...
To solve a three-dimensional force system, first resolve each force into its respective scalar components. Do this using...
619

