何玮
- 作品数：4 被引量：1H指数：1
- 供职机构：北京广利核系统工程有限公司更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电气工程电子电信更多>>
- 核安全级数字化仪控系统平台设计管理工具的实现——配置管理
- 2013年
- 作为核安全级数字化仪控系统平台设计管理工具的一部分,配置管理平台采用Client/Server架构。选择面向对象的设计理念,提供组件化设计,支持动态扩展和项目管理关键过程自动化,并与其它设计工具形成集成化的管理平台,实现核安全级数字化仪控系统核心数据全生命周期管理。
- 陈育颖冀建伟何玮
- 关键词：配置管理工具
- 一种核电站安全级软件过程质量分析方法研究被引量：1
- 2017年
- 核电站安全级数字化仪控系统承担着整个核电站仪控系统中安全功能的控制部分,是核电站的神经中枢。核电站安全级数字化仪控系统中大量地运用软件完成其功能,软件的质量对核电站的安全起着重要的作用。本文从核电站数字化仪控系统安全级软件的要求、设计、实现及验证等过程进行质量分析,建立质量分析模型,通过实际数据对模型的验证和应用,确定了软件过程质量理论基础,提高对开发过程的重视,从而提高软件产品质量。
- 宋立新何玮冀建伟
- 关键词：软件质量
- 核安全级DCS产品可靠性验证试验方法研究
- 2017年
- 可靠性是核电厂安全级DCS的重要指标,目前均利用已知或假定的单个组件的失效概率和系统故障特性,结合系统数学模型对核电厂安全级DCS进行系统级可靠性分析,组件级产品失效概率将直接影响系统级分析结果。为了进一步提升组件产品数据的准确性,本文提出了一种基于阿伦尼斯加速模型的组件级产品可靠性验证的试验方案,实现对组件级产品可靠性指标的定量验证,进而为核电厂安全级DCS系统级可靠性评估提供可信的底层数据。
- 王嫘张玉超何玮张亚栋
- 关键词：加速寿命试验
- 功能覆盖率统计用于核级可编程逻辑仿真验证
- 2017年
- 可编程逻辑器件在核电数字化仪控设备中的应用越来越广泛。对可编程逻辑器件进行功能仿真是验证其正确性及安全性的重要手段。核电标准明确提出要对可编程逻辑进行充分的仿真验证。代码覆盖率是功能仿真验证的重要指标,但代码覆盖率有局限性,较高的代码覆盖率下仿真测试不一定完备。本文首次将功能覆盖率统计技术用于核电DCS产品可编程逻辑验证。文中功能覆盖率统计技术结合了受约束的随机激励方法来减小定向测试用例的工作量,并且采用断言进行自动检查提高了对结果正确性检查的效率。在达到同等代码覆盖率的基础上,通过采用功能覆盖率统计技术达到了对被测对象的功能高覆盖,进而保障了仿真验证的充分性。目前功能覆盖率统计技术已应用于DCS系统设备接口模块的优选逻辑验证。
- 张运涛何玮曹宗生孟广国
- 关键词：可编程逻辑
