安全仪控系统TXS的控制逻辑按照功能划分为信号采集、数据逻辑处理、数据逻辑表决以及信号监视和服务4个部分。它们被分别下载到不同的控制器中以实现分布式控制。采用RS程序自动建立故障树模型并进行定量分析。为了提高建模速度,采用Ac...安全仪控系统TXS的控制逻辑按照功能划分为信号采集、数据逻辑处理、数据逻辑表决以及信号监视和服务4个部分。它们被分别下载到不同的控制器中以实现分布式控制。采用RS程序自动建立故障树模型并进行定量分析。为了提高建模速度,采用ActiveX and Visio对TXS硬件设备进行图形化组态和拓扑结构程序分析。以高压安全注入系统的BA11功能为例,提出了2种控制分布策略,并与原有方法进行了比较。结果表明:所提策略1可以提高高压安全注入系统的响应时间,但使其不可用度增长了0.87%;所提策略2将系统的不可用度降低了3.6%;2种策略均在安全范围内。展开更多
为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件系统采用组件开发的特点,分析组件间依赖关系,处理组件计算顺...为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件系统采用组件开发的特点,分析组件间依赖关系,处理组件计算顺序。提出合约覆盖标准,结合基础组件合约,逐级求得组件输出,生成满足所有合约的测试用例集。过程中针对系统合约求解时NP难问题,有效降低求解系统合约得到测试用例的难度。该方法在核电堆芯测量系统的成功应用,验证了其实用性。展开更多
文摘安全仪控系统TXS的控制逻辑按照功能划分为信号采集、数据逻辑处理、数据逻辑表决以及信号监视和服务4个部分。它们被分别下载到不同的控制器中以实现分布式控制。采用RS程序自动建立故障树模型并进行定量分析。为了提高建模速度,采用ActiveX and Visio对TXS硬件设备进行图形化组态和拓扑结构程序分析。以高压安全注入系统的BA11功能为例,提出了2种控制分布策略,并与原有方法进行了比较。结果表明:所提策略1可以提高高压安全注入系统的响应时间,但使其不可用度增长了0.87%;所提策略2将系统的不可用度降低了3.6%;2种策略均在安全范围内。
文摘为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件系统采用组件开发的特点,分析组件间依赖关系,处理组件计算顺序。提出合约覆盖标准,结合基础组件合约,逐级求得组件输出,生成满足所有合约的测试用例集。过程中针对系统合约求解时NP难问题,有效降低求解系统合约得到测试用例的难度。该方法在核电堆芯测量系统的成功应用,验证了其实用性。
