一种安全关键软件系统符号执行优化方法

在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路。     

比例阀控制可编程调速器在象山水电厂应用

调速器是水轮发电机组的重要控制设备,它的工作性能好坏直接影响到水轮发电机组和电力系统的安全与稳定。因此,可靠性、灵敏性、稳定性、速动性高低是衡量调速器品质主要技术指标。文章简要叙述应用在该厂320 kW水轮发电机组上比例阀控制可编程调速器的特点、结构、原理。     

象山水电站计算机监控系统

象山水电站是座总装机容量为 3× 6 MW的小型水电站 ,采用美国莫迪康公司的紧凑型可编程序控制器与台湾研华公司的亚当模块及工控机组成的计算机监控系统 ,具有机组监控、巡检和全厂水力观测等功能。该系统与基建项目同步建成 ,投资较少。 3台机组已于 1997年顺利发电 ,取得了明显的经济效益。该项目在我国小型水电站中处于领先地位