关于可信性模型的若干评注

可信性模型是经验费率厘定中最重要的方法.本文在简述可信性概念的发展简史并强调了有限扰动可信性与最精确可信性的区别后,重点剖析了最精确可信性的理论基础,且详尽地解释了导出（修正）Buhlmann单合同可信性模型的基本思路.在阶段性地展示了建立此模型基本假定的过程后,给出了风险保费与预测值的可信性估计的简明公式.现今最基础的Buhlmann-Straub可信性模型可视为由多个相互独立、且具有相同结构函数的（修正）Buhlmann单合同模型相嵌而成.这种组嵌方式使得估计该模型的未知结构参数成为可能.本文最后概述了可信性模型的主要进展.全文的叙述是说明性的,不涉及技术性证明过程,目的在于为理解可信性模型提供一个直观与清晰的思路.

盲环境下的数字图像可信性评估模型研究

随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判断模型和可信性度量模型.可信性判断模型在数字图像取证技术的基础上,围绕数字图像的不同生命阶段,判断数字图像是否可信.可信性度量模型分为可信性综合度量模型和可信性历史度量模型两种.文中设计了一种基于隐马尔可夫(HMM)的历史度量模型和一种基于模糊层次分析法的综合度量模型.在所设计模型的基础上,文中进一步研究了盲环境下数字图像可信性评估体系.文中最后通过实验结果验证了所提出的数字图像可信性综合度量模型的有效性.

基于FAHP和FMCDM构建软件可信性评估模型

结合软件可信性评估的特点及模糊理论的最新进展,提出一种基于模糊层次分析法和模糊多指标决策理论的评估模型。首先针对软件可信性没有一致定义的现状,提出了相对可信性的概念;接着基于模糊数理论,用三角模糊数表示专家评估中语言变量的主观性和模糊性,结合专家给出的模糊指标权重及待评软件可信等级的模糊评价,得到软件可信性的集成模糊评价;最后,将该模型应用到国内某汽车制造企业整车产品开发项目管理软件评估中,实例说明软件可信性评估的具体过程,结果验证了该模型的实效性。

利用可信性模糊回归模型研究核电厂操纵员事故响应时

利用模糊数学中的模糊数概念 ,采用可信性模糊回归模型研究核电厂操纵员的事故响应。对影响操纵员事故响应时间的绩效形成因子PSF进行了定量化的分析 ,得到了核电厂操纵员事故响应时间的可信性模糊回归模型定量计算公式。对所得到的结论进行了相应的分析 ,说明了在小样本情况下所采用研究方法的正确性。

基于体系结构能耗建模的CPS软件可信性评估方法

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

基于模糊综合评判的M&S可信性评估研究

为保证M&S可信性评估工作有效和成功地完成,构建了由影响因素、校核与验证(verification and vali-dation,V&V)过程和可信性特性组成三维可信性信息空间,并以此为理论基础,以V&V过程模型为基本框架,综合分析可信性在V&V过程中不同阶段的评价标准,建立了M&S可信性评估模型;在分析了模糊综合评估模型的基础上,以某飞行视景仿真系统的设计与开发为例,进行可信性评估。应用实例表明,所建立的评估模型及采用的评估方法合理有效。

开源软件可信性评价方法

为有效解决企业和用户对开源软件的可信性的评价,分析开源软件的特点,提出开源软件可信性模型,给出开源软件的可信属性及组件可信性定义。爬取缺陷跟踪系统中开源软件可信证据,评价开源软件在实时运行时的可信性;在此基础上,对可信属性之间的联系进行分析,采取可信转移概率算法,评价组件之间的可信性。通过火狐浏览器的分析与验证,验证了该模型和该算法的有效性。

组件化软件系统的可信度量模型

软件可信性是保证软件质量的重要因素.文章以研究组件化软件系统的可信性为目的,以组件自身的属性作为出发点,结合组件的权重和不同组合模式,建立相应的软件系统可信度量模型.根据组件自身的各种属性,建立单个组件的可信性度量.结合组件的权重和组件的各种组合方式,分别建立相应系统的可信性度量模型.通过理论验证,这些模型满足单调性、非负性、凝聚性、敏感性和替代性等代数性质,更有利于开发人员及用户对软件可信性进行分析和度量.列举相关案例对可信性度量模型进行验证.

一种面向CPS软件的可信性评估框架

信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。

Bayes小子样鉴定中仿真可信度研究

在仿真试验和飞行试验的一体化试验鉴定过程中,仿真信息的作用越来越突出,仿真的可信度也越来越受到重视。改进Bayes方法,在Bayes公式中引入了仿真可信度,使综合利用仿真数据和试验数据得出的武器性能指标评估结果更加可信。首先,定义了可信性Bayes模型,分析了它的合理性,并把它应用到多阶段武器试验鉴定中。接着,分析了仿真可信度的含义,给出了一个仿真可信度直观定义。最后,通过仿真实例来验证了可信性Bayes分析方法的有效性。

基于主成分分析的仿真模型选择方法

为了减少在参考输出完备时仿真模型选择的主观性,提出了基于主成分分析和灰色综合评判的仿真模型选择方法。依据数据特征将仿真输出分为静态、缓变和速变三类数据,并分别从多个方面充分刻画了各类数据之间的差异;基于主成分分析从多个相关的数据差异中提取出少数几个独立的主成分;利用灰色综合评判对主成分进行综合分析,进而得到仿真模型的选择结果。通过实例应用,表明了方法的有效性。

基于忠诚度的见证人信誉

见证人信誉是目前信任和信誉模型的一个重要组成部分,它使agent利用很小的开销就可以跟合作伙伴建立起信任关系。然而,由于在评价的计算过程中忽略了agent的忠诚度这个重要因素,使得见证人信誉不能够很好的处理虚假信息所造成的影响。因此,提出了基于忠诚度的见证人信誉模型来解决这个问题。实验表明,基于忠诚度的见证人信誉模型能够帮助agent选择更合适的交易伙伴。

基于贝叶斯网络的人因可靠性评价

提出一种贝叶斯网络的人因可靠性评价(HRABN)方法,其中的每个因子对应于贝叶斯网络中的节点,该方法可对人因可靠性作定量分析和定性分析。在定性分析上,节点的因果关系(HRA中的因子关系)及需要改进的薄弱节点都直观地显示在层次图中;在定量分析方面,对节点因子后验概率的推断通过HRA中的先验信息(包含仿真数据、现场操作及专家知识等)和最新信息得到。如果人因可靠性贝叶斯网络中的每个节点的先验概率分布和后验概率分布都已知,模型的可信性就可通过贝叶斯因子进行定量验证。贝叶斯网络扩展性好,当有新的节点因子需要考虑时,只需要补充对应的节点;笔者的方法也能很好地应用在不同行业的HRA。

盲环境下数字图像的自动修复算法研究

当前所有的数字图像修复算法都是一种半自动的方法,因为在对图像修复前,都是由用户给出想要修复的区域,而算法无法自动获取照片的破损所在。提出了盲环境下图像自动修复的概念,以基于数字图像的样本修复为基础,改进了基于纹理合成的图像修复算法。首次运用数字图像可信性评估体系于图像修复,并通过可信性综合度量模型判断确定待修复区域。实验证明,该算法最终达到了盲环境下的图像自动修复效果。

核电厂操纵员多种方法可靠性研究

采用核电厂模拟器作为研究平台,利用国际上流行的多种可靠性研究方法,对过去十几年中国核电厂操纵员的可靠性研究进行回顾总结,阐明了从人的认知可靠性模型、模糊综合评价数学模型、心理素质研究模型等多种角度对中国核电厂操纵员研究的必要性和可行性。利用多种研究方法对核电厂操纵员进行可靠性研究可对核电厂的安全运行起到有益作用。

操纵员可靠性研究的相关多种方法

本文采用核电厂模拟器作为研究平台,对过去十几年来中国核电厂操纵员的可靠性研究采用的多种相关方法进行了回顾总结,说明了从人的认知可靠性模型、模糊综合评价数学模型、心理素质研究模型等多种角度对中国核电厂操纵员研究的必要性和可行性。这些研究方法的总结,既是对核电厂相关人的可靠性研究的真实记录回顾,也是对其中研究方法的再次探讨。对核电厂操纵员进行可靠性研究的多种方法不仅可以对核电厂的安全运行起到有益作用,而且可为其他行业操纵员可靠性研究提供参考。