国家科技重大专项(2011ZX06004-024)
- 作品数:25 被引量:50H指数:5
- 相关作者:杨燕华钟明君林萌马续波党哈雷更多>>
- 相关机构:西安交通大学上海交通大学华北电力大学更多>>
- 发文基金:国家科技重大专项北京市科技计划项目国家自然科学基金更多>>
- 相关领域:核科学技术自动化与计算机技术电气工程更多>>
- 核电软件开发的安全配置管理过程
- 通用软件一般拥有完整的开发流程和成熟的生命周期体系、质保章程等,而核电软件对比通用软件的主要区别在于其将风险因素成倍放大-如果在核电站安全系统中出现故障,它可导致严重事故,造成重大的经济损失、物理破坏甚至威胁到人类的安全...
- 顾伟莫文涛宋涛涛任党培
- 关键词:核电
- 文献传递
- 面向核电分析软件耦合计算的实时数据库服务平台的设计与实现
- 2016年
- 针对核电分析软件耦合计算过程中遇到的数据交换效率低下和数据格式不统一等技术难点,提出一种利用网络通信和内存存储技术,将实时数据库作为数据交换中心,并设计实现统一的访问接口,应用于多个计算程序之间耦合计算过程的解决方案,从而实现了计算程序之间的高速数据交互及简单通用的数据库访问接口。该成果目前已经应用于核电厂全范围仿真环境中,为多个仿真计算程序提供数据共享服务,其高效性和通用性完全满足仿真环境的性能和功能需求。同时,其可扩展的特性也支持在不同编程语言开发的计算程序耦合过程中进行应用。
- 刘硕莫文涛刘陆光张蕊峰肖爽
- 关键词:实时数据库
- 基于广度优先搜索的COSINE软件代码框架自动生成算法
- 2013年
- 本文基于树型数据结构,提出基于广度优先搜索的科学计算软件代码框架自动生成算法CFAA。该算法将科学计算软件的架构抽象为树型数据结构,从根节点开始逐层细化存储程序的各级子程序名,然后采用广度优先搜索遍历架构树的各级节点,自顶向下的逐层生成细化的软件代码框架,最终生成完整的可编译运行的代码框架。CFAA使程序设计人员更专注于计算软件架构的设计与优化,然后根据架构树自动生成框架代码。CFAA已应用于COSINE软件开发过程中,实践证明其可极大提高软件框架的搭建效率,同时降低软件开发的缺陷率。
- 任浩莫文涛赵广刘硕
- 关键词:广度优先搜索树型结构自动化
- 分层数据格式在COSINE物理子系统中的应用
- 2013年
- 在COSINE平台物理子系统的开发过程中,为提升程序执行效率而引入了若干先进算法或技术,其中包含用于优化过程数据存储的分层数据格式技术。分层数据格式具有数据模型通用、文件格式自由、接口功能高效等优点,因而被普遍采用。本文定性分析了分层数据格式提高物理程序再启动模块及组件-堆芯接口模块执行效率的原因,说明了分层数据格式能契合物理程序的过程数据存储特性。此外,本文还给出了引入分层数据格式前后程序各相关模块执行效率的初步对比结果,这些结果能充分支持定性分析结论。
- 王苏安伟健王常辉许花刘占权余慧陈义学
- COSINE软件包中子动力学程序KIND的点堆动力学模块设计被引量:1
- 2013年
- 围绕实现点堆动力学程序工程化设计的问题,简介了COSINE软件包的点堆动力学计算模块。关于点堆算法的选取,本文对比了显式方法和去刚性算法计算各种典型瞬态问题的结果。结果表明,上述两种算法能充分满足设计可靠性的要求。关于反应性模型的设计,本文简介了全面覆盖各种反应性引入形式和反馈形式的设计思想。此外,还简介了本模块内置的热工模型。本文点堆动力学模块的设计具有良好的可靠性和灵活性。
- 王苏余慧陈义学刘占权
- 关键词:工程化设计
- COSINE软件包中子动力学程序KIND的设计与开发
- 2013年
- 中子动力学程序KIND是COSINE软件包的一部分,它基于堆芯物理分析程序CORE,用于反应堆物理设计中的瞬态计算与事故分析。KIND包含了点堆和时空动力学两种计算模式,能模拟从零维到三维的压水堆堆芯。本文简单介绍了KIND程序的基本设计思想,包括程序架构、理论模型、开发规范等。
- 余慧王苏刘占权王常辉陈义学
- 关键词:KIND时空动力学
- COSINE软件包物理系统V&V策略研究被引量:5
- 2013年
- 软件验证(verification)和确认(validation)(简称V&V)是保证软件质量的重要手段,合理高效的V&V策略可事半功倍,COSINE软件包全称为堆芯物理-热工设计及系统安全分析软件包,其中的物理程序包括组件参数计算程序LATC、堆芯物理分析程序CORE、中子动力学程序KIND。本文以LATC、CORE、KIND为对象,以科学计算软件V&V研究为基础,提出了基于模块的验证方法和基于功能的确认方法,共同组成COSINE软件包物理系统V&V策略。
- 刘占权杨超党哈雷陈义学
- 基于代码生成技术的COSINE软件开发
- 2013年
- 采用代码生成技术可大幅提高软件开发的质量和生产率,降低软件开发风险。目前已有代码生成器多是基于UML模型驱动技术,不能很好适应核电数值计算软件的开发需求。本文针对科学计算类程序的设计特点,开发了基于C#的代码生成器FCG。FCG可根据输入元数据自动生成Module变量定义Fortran代码,并根据元数据自动生成动态变量的内存分配接口和数据访问接口,方便程序直接调用。目前,FCG已应用于堆芯设计和系统分析一体化平台(COSINE)软件的开发过程,实践证明,FCG可极大提高核电软件的开发效率,同时降低软件开发的缺陷率。
- 任浩莫文涛刘硕赵广
- 关键词:代码生成COSINE软件开发
- T型管直接接触冷凝特性实验研究被引量:2
- 2017年
- 在反应堆发生LOCA时,一回路系统压力降低,产生大量的蒸汽,安注水注入冷腿后可能会发生冷凝现象。为研究冷凝现象,通过开展T型管冷凝实验,在主管通纯蒸汽、支管通过冷水的情况下,研究了不同蒸汽流量和不同安注水流量下的冷凝量。结果表明:冷凝量存在一定的限制,即主管内蒸汽无法全部被冷凝。基于实验结果提出了一个冷凝效率与热力学比系数R_T之间的模型。
- 任五岳汪刘于国军边嘉伟田文喜苏光辉秋穗正
- 关键词:T型管LOCA
- COSINE软件包组件参数计算程序LATC中S_N输运模块的开发与初步验证被引量:5
- 2013年
- 本文论述了组件参数计算程序LATC的离散纵标(SN)输运模块的理论模型。通过对基准问题的校验,验证了自主开发的组件参数计算程序LATC中基于一维、二维SN理论及扩散综合加速收敛方法的输运模块。结果表明,LATC组件参数计算程序的SN输运模块与基准解吻合良好,初步验证了LATC组件参数计算程序的SN输运模块的正确性。
- 李硕张斌刘志彦闫宇航余慧陈义学张广春
- 关键词:COSINE组件均匀化