安全级DCS响应时间分析及异常判断方法研究

为解决核电厂安全级数字化控制系统(DCS)响应时间验证方法在充分性、准确性方面的不足,对系统响应时间数学模型进行分析。根据分析结果以及DCS模块及器件的特征和参数,对系统响应时间进行理论计算。通过模型仿真及测试试验,对理论计算结果进行验证。验证结果证明了理论模型的正确性。基于此理论模型,提出了系统异常的判断方法。分析及测试结果表明,该方法能够应用于测试验证实践,并且能够更充分和准确地判断系统响应时间是否满足要求,以及被测DCS是否存在异常。

数字示波器检定方法研究

为保证数字示波器的量值准确,针对其数字化的特点,从总体方案入手,采用分项检定的方法,详细地阐述了对时基、带宽与上升时间等项目的检定,给出了目前硬件设备条件下较为完整的检定方案。

基于数字样机的装备维修时间验证方法研究

研究了装备在设计阶段只有数字样机的情况下维修时间的验证方法,通过对装备维修活动逐级分解优化,在虚拟维修仿真环境下调用维修时间模型和维修动素对应的标准维修工时,实现对装备维修时间的验证工作,为装备研制过程中并行开展维修性设计提供了方法。

复分接中数字化定时处理的参数化验证法

在复分接系统中，如同步数字系列（SDH），定时处理占有重要地位。数字化定时处理技术应用于ASIC设计时，传统方法需要的仿真代价太大。作者指出了定时验证的特殊性，提出了定时处理电路验证的概念。同时利用参数化方法对定时处理进行验证，大大缩短了仿真时间。