对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态，提高移动系统的设计水平。
Study of model checking strategy can eliminate the redundance configurations which exist in the model design and help to improve quality of the design of mobile system.
论述了基于PROFIBUS-DP现场总线的浮法玻璃生产线的PLC双冗余控制系统结构、硬件组态以及软件实现情况。
The PLC double redundant control sys- tem structure , hardware configuration and software running status were described on the basis of PROFIBUS-DP field bus on float glass line .
就APACS分布式控制系统的特点，对系统架构、冗余方法、应用组态、可靠性等加以说明，并给出正在施工中的某化肥厂的实际系统示例。
This paper elaborates the characteristics, structure, redundancy methods, applied configuration and reliability of APACS, and gives an example of a fertilizer factory.
设计一种基于光电池的核废料沉淀罐沉淀界面位置检测装置，采用分布式组态plc系统作为控制终端，继电器控制回路作为冗余控制系统。
A distributive configuration PLC system was used as control terminal of the detection device, while a relay loop as a redundancy control system.
设计一种基于光电池的核废料沉淀罐沉淀界面位置检测装置，采用分布式组态plc系统作为控制终端，继电器控制回路作为冗余控制系统。
A distributive configuration PLC system was used as control terminal of the detection device, while a relay loop as a redundancy control system.
应用推荐