在运行时验证中,对于给定的线性时序逻辑公式,常用其可监控性和弱可监控性来衡量其是否适合用于运行时验证.而实际上,可监控性的要......

提出对蓄电池电压控制盒的研究方法，并成功将其应用于某飞机二次电源蓄电池电压控制盒上。该研究方法采用开关电源成熟可靠新技术，结......

Compactor manufacturers have tested many possibilities in optimization of earth compaction to best combine the construct......