对国外一种大范围、宽滞回带电压监控器的性能分析和改进

分析进口电压监控器的电路性能 ,发现电压适应范围小、无过流保护、可视性低等设计缺陷及实际应用的局限性 .根据工厂实际供电情况 ,应用常用元件 ,对之进行了改进 ,提高了该产品对电源电压波动的适应性和运行稳定性 .根据进口电压监控器的电路及其实现 。

基于时间自动机的监测系统通信流程建模分析

介绍了轨道电路微机监测系统的通信流程。使用实时系统验证及分析软件UPPAAL对建立的通信模型进行分析、仿真,并对一些特性进行验证。所建立的通信模型能够在轨道电路微机监测系统软件中仿真运行,并能够为软件的开发提供功能及时序规范,确保软件开发的正确性及软件运行时无死锁等故障发生。