检索结果-南通市图书馆

核动力工程 2014年第S1期35卷 54-58页

作者：杨明宋梦楚哈尔滨工程大学核安全与仿真技术国防重点学科实验室哈尔滨150001

提出利用多层流模型对核安全级数字化仪控系统软件进行建模和可靠性定量评估的方法,开发多层流模型图形化建模和分析平台,建立某数字化仪控系统比例积分微分(PID)控制软件的多层流模型并根据测试结果进行了软件可靠性估计。所提方法通... 详细信息

提出利用多层流模型对核安全级数字化仪控系统软件进行建模和可靠性定量评估的方法,开发多层流模型图形化建模和分析平台,建立某数字化仪控系统比例积分微分(PID)控制软件的多层流模型并根据测试结果进行了软件可靠性估计。所提方法通过一次分析可获得软件总目标及所有子目标的可靠度,便于识别软件设计中的薄弱环节,模型容易建立和修改。

关键词：数字化仪控系统软件可靠性流网模型多层流模型

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

核安全级数字化仪控系统可靠性评估技术研究

核安全级数字化仪控系统可靠性评估技术研究

引用

作者：陈强哈尔滨工程大学

学位级别：硕士

仪控系统被称作核电站的“神经中枢”,在很大程度上决定了核电机组能否安全、可靠和经济地运行。现阶段数字化仪控系统在核电站的应用越来越广泛,安全级仪控系统也在逐步采用数字化仪控系统。相对于模拟仪控系统,数字化仪控系统在逻辑... 详细信息

仪控系统被称作核电站的“神经中枢”,在很大程度上决定了核电机组能否安全、可靠和经济地运行。现阶段数字化仪控系统在核电站的应用越来越广泛,安全级仪控系统也在逐步采用数字化仪控系统。相对于模拟仪控系统,数字化仪控系统在逻辑处理、测控精度、经济性等方面有着无可比拟的优势,但是由于数字化仪控系统具有多状态、非单调等特性,传统的可靠性分析方法不再适用,亟需新的可靠性分析方法对数字化仪控系统进行可靠性评价。硬件和软件共同组成了数字化仪控系统,硬件或软件失效都能导致系统失效。硬件是一种实物,而软件是一种抽象的逻辑产品,两者有着本质的区别,其可靠性评价方法也不相同。论文首先分析了多层流模型用于数字化仪控系统可靠性建模的优势,在多层流模型中利用决策表来储存系统知识,数字化仪控系统相关硬件和软件的动态特性知识也可以融入到决策表中去。数字化仪控系统是典型的多状态系统,其最小失效模式不再是最小割集而是质蕴含集。质蕴含集的求取十分困难,尚没有成熟的商业化可靠性分析软件能够处理多状态问题。本文将质蕴含求解分为两层集合运算,第一层集合运算充分利用了现有的成熟商业可靠性分析软件Isograph Reliability Workbench(RWB),开发了多层流模型向多态故障树的转化程序,求出多状态系统的蕴含集,第二层集合运算是为了处理同一部件不同状态之间的关系,提出了基于立方体表示法的适用于数字化仪控系统的求取质蕴含集的算法和蕴含集的不交化方法。并以数字化反应堆保护系统为例对系统进行了可靠性分析。该算法既适合于两状态非单调系统,也适合于多状态系统(包括单调和非单调系统)。数字化仪控系统中应用着大量的软件,软件的可靠性评估也是数字化仪控系统可靠性分析中必须考虑的问题。本文基于流网模型和贝叶斯信度网络开发了数字化仪控系统可靠性自动建模及分析平台,实现了软件可靠性自动建模和分析的功能,而且可以对软件代码进行敏感性分析和识别关键测试路径,当被测代码段较复杂时,识别关键路径是节约测试成本的有效手段。

关键词：数字化仪控系统可靠性分析多层流模型流网模型贝叶斯信度网络

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

快堆液体悬浮式非能动停堆组件水力设计程序开发

快堆液体悬浮式非能动停堆组件水力设计程序开发

引用

作者：彭冠男上海交通大学

学位级别：硕士

对于钠冷快堆（SFR）,可采用液体悬浮式非能动停堆机构组件（Hydraulic Suspended Passive Shutdown Subassembly,HSPSS）,作为冗余的非能动停堆方式,在预期未紧急停堆的瞬态（ATWS）事件下发生无保护失流（ULOF）事故时实施停堆,以提... 详细信息

对于钠冷快堆（SFR）,可采用液体悬浮式非能动停堆机构组件（Hydraulic Suspended Passive Shutdown Subassembly,HSPSS）,作为冗余的非能动停堆方式,在预期未紧急停堆的瞬态（ATWS）事件下发生无保护失流（ULOF）事故时实施停堆,以提高快堆固有安全性。其中,这一停堆系统中最核心的部件——液体悬浮式非能动停堆机构组件在ULOF条件下的落棒运动特性十分关键。对于HSPSS,本文的主要工作和结论如下:（1）根据HSPSS结构特点,从HSPSS移动体水动力及运动学两方面进行分析,基于移动体与外套管所成流道间的流道分配及压降分布间关系（形成流网控制方程）,建立了液体悬浮式非能动停堆组件动力学-水力学模型,并结合移动体运动条件做了相关修正。该模型属于一种准稳态的计算方法,适用于移动体速度不大的情况。（2）依据液体悬浮式非能动停堆组件水力计算模型,开发了用于计算HSPSS移动体运动特性的液体悬浮式非能动停堆组件水力设计程序（Passive Shutdown Subassembly Design,PSSD）。（3）根据PSSD程序各个模块特点,设计并进行了PSSD程序子模块测试,经测试,程序各个子模块皆符合设计要求。计算了4组算例,验证PSSD程序计算所得结果合理且有效。（4）进行了临界流量、惰转流量落棒两方面的试验确认PSSD程序计算的准确性,分析试验结果得到:（1）程序能够准确地预测移动体的落棒特性曲线;（2）程序能够准确地计算移动体的落棒特性参数。PSSD程序计算结果具备适宜性。

关键词：钠冷快堆液体悬浮式非能动停堆组件水力-运动特性流网模型 PSSD水力设计程序验证与确认

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于多层流模型的数字化仪控系统软件可靠性定量评估方法研究

基于多层流模型的数字化仪控系统软件可靠性定量评估方法研究

引用

中国核学会核能动力分会2013年学术研讨会

作者：宋梦楚杨明哈尔滨工程大学核安全与仿真技术国防重点学科实验室

流网模型是一种基于软件结构和软件测试的软件可靠性定量评估方法,能够提高软件在测试阶段的效率,具有较强的工程应用价值。多层流模型是一种目标导向的建模方法,采用"部分.整体"及"手段-目的"的建模策略可以清晰地描述系统的设计目的... 详细信息

流网模型是一种基于软件结构和软件测试的软件可靠性定量评估方法,能够提高软件在测试阶段的效率,具有较强的工程应用价值。多层流模型是一种目标导向的建模方法,采用"部分.整体"及"手段-目的"的建模策略可以清晰地描述系统的设计目的及功能,便于分析。本文提出利用多层流模型建立软件的流网模型,在多层流模型图形化建模平台上进行算法设计,可通过一次分析获得总目标及所有子目标的可靠度,便于识别软件设计中的薄弱环节。

关键词：数字化仪控系统软件可靠性流网模型多层流模型

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：