期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
核能装备安全控制代码自动生成软件研发与应用的构想与成果展望
1
作者 刘明星 马权 +5 位作者 吴鹏 杨斐 侯荣彬 王俊峰 黄滟鸿 吴延群 《工程科学与技术》 EI CAS CSCD 北大核心 2024年第2期1-16,共16页
目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围... 目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新:一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互式定理证明的可信代码生成器构造方法,形成经过形式化验证的可信代码生成器;四是数据驱动的测试用例智能生成方法,实现测试验证的自动化;五是一套面向核能装备控制软件的一体化研发平台,构建完整的开发和验证工具链。本文旨在以形式化和模型驱动方法为基础,对安全关键软件的建模、模型验证、代码生成、测试验证等方面进行系统性研究,以形成高可信的安全关键软件开发和验证新方法。研究成果对核能等领域安全关键软件开发相关工业软件的科学研究、技术研发、产业发展等具有十分重要的理论意义和实际应用价值。 展开更多
关键词 核能装备 代码生成 形式化 模型驱动
下载PDF
民用海洋核能装备总承包所需资质和条件的初步探讨
2
作者 娄亚娟 王家明 +1 位作者 张文杰 王艳婷 《工业技术创新》 2017年第6期104-106,共3页
民用海洋核能装备总承包所需资质和条件作为总承包业务的准入门槛,备受民用海洋核能总承包单位的关注。根据既存法律法规、部门规章、标准和规范,指出:鉴于民用海洋核能装备的"核"和"船"双重特点,核工程设计资质中... 民用海洋核能装备总承包所需资质和条件作为总承包业务的准入门槛,备受民用海洋核能总承包单位的关注。根据既存法律法规、部门规章、标准和规范,指出:鉴于民用海洋核能装备的"核"和"船"双重特点,核工程设计资质中核行业资质或反应堆专业资质可作为民用海洋核能装备总承包所需资质;特定的专利或专有技术可为民用海洋核能装备总承包单位如虎添翼;工程业绩是民用海洋核能装备总承包的有利条件之一;财务和风险承担能力、组织机构、项目管理体系、项目管理专业人员是民用海洋核能装备总承包的必要条件。为后续民用海洋核能装备总承包所需资质和条件的探讨和相关规定的制定起到了参考和指导作用。 展开更多
关键词 民用海洋核能装备 总承包 资质 条件
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部