面向以过程为导向的范式为基础的网络物理系统的无拓编程.
Vladimir E Zyubin1, Natalia O Garanina1, Igor S Anureev1
1Institute of Automation and Electrometry SB RAS, Academician Koptyug Ave. 1, 630090 Novosibirsk, Russia.
Sensors (Basel, Switzerland)
|July 14, 2023
概括
本研究介绍了一种无拓方法,用于设计使用过程导向编程的分布式控制系统. 这种方法使得拓独立的控制算法成为可能,并支持网络物理系统的正式验证.
科学领域:
- 计算机科学 计算机科学
- 控制工程 控制工程 控制工程
- 软件工程 软件工程 软件工程
背景情况:
- 分布式控制系统 (DCS) 通常需要复杂的拓依赖规范.
- 由于分布式性质和不同的网络配置,对DCS的正式验证具有挑战性.
研究的目的:
- 为分布式控制系统提出一个无拓的规范方法.
- 通过保留集中式程序的语义来实现分布式控制算法的正式验证.
- 开发一种分区过程导向程序的方法,用于分布式实现.
主要方法:
- 利用以过程为导向的编程范式用于控制系统规范.
- 开发一种正式的启发式算法,将顺序的过程导向程序分成独立的集群.
- 将该方法应用于案例研究,如瓶装和系统.
主要成果:
- 分布式控制算法的拓独立规范.
- 保存程序语义,以便在分布式环境中进行正式验证.
- 一个实用的程序分区算法,用案例研究来证明.
结论:
- 以过程为导向的方法为开发分布式控制系统提供了优势,特别是对于网络物理系统.
- 无拓规范简化了设计,并增强了正式验证能力.
- 拟议的分区算法有效地实现了分布式控制系统的实现.
更多相关视频
相关概念视频
Cyclic Processes And Isolated Systems
2.8K
A thermodynamic system with zero heat exchange and work is an isolated system. For these systems, the internal energy remains constant.
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each...
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each...
2.8K
Principle of Virtual Work: Problem Solving
1.2K
The principle of virtual work is an essential concept in the field of mechanics and engineering. This is used to solve problems related to the equilibrium of a structure or system. It is based on the assumption that if a system is in equilibrium, the work done by all the forces during a virtual displacement is zero. This principle is applied by considering virtual displacements of the system and the corresponding work done by internal and external forces.
To apply the principle of virtual work,...
To apply the principle of virtual work,...
1.2K
Control Systems: Applications
659
Electrical engineering plays a pivotal role in our daily lives, with control systems at the heart of many applications, from home appliances to sophisticated space shuttles. Control systems manage and regulate the behavior of devices and processes, ensuring they function safely, correctly, and efficiently.
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The...
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The...
659
Introduction to Cognitive Psychology
540
Cognitive psychology is the field of psychology dedicated to examining how people think. It attempts to explain how and why we think the way we do by studying the interactions among human thinking, emotion, creativity, language, and problem-solving, as well as other cognitive processes. Cognitive psychology studies how information is processed and manipulated in remembering, thinking, and knowing.
This field emerged in the mid-20th century, following a period dominated by behaviorism, which...
This field emerged in the mid-20th century, following a period dominated by behaviorism, which...
540
Parallel Processing
182
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...
182
Block Diagram Reduction
247
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...
247


