基于证据推理面向生命周期的可信软件评估

来源 :南京师大学报:自然科学版 | 被引量 : 0次 | 上传用户:qxff
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可信软件评估是目前学术界研究的一个新的热点和难点,为解决可信软件评估过程中未能有效处理区间不确定评价信息的集结、可信准则体系动态生成算法效率不够高的问题,本文提出了一种基于证据推理面向软件生命周期的可信软件评估方法,给出了可信准则体系的动态生成的两个改进算法,并通过使用区间置信度的证据推理方法进行可信准则评价信息的集结.最后通过实验和算例验证了该方法的优越性与有效性.
其他文献
目的碳/碳(C/C)复合材料为当前极具潜力的骨修复生物材料,在其表面制备聚多巴胺涂层旨在改善C/C复合材料亲水性和生物活性。方法制备一系列不同涂覆时间、涂覆环境(空气或富
苏轼词的革新主要表现在两个方面,其一是"以诗为词",抒写自己的理想与抱负,表现慷慨豪迈精神或表达人生感悟和哲理。从农村清新风光中,再现淳朴风情。把词推进为诗,且灵活多
<正>近日,广西玉林市党史办副主任彭兆玉率陆川、北流等县(市)党史办一行10多人到化州考察革命遗址保护、开发和利用工作。考察团一行在化州市党史研究室主任陈土富的陪同下,
案件简介原告中国农业银行广州A支行诉称:原告与B公司签订了《租赁合同》,约定原告承租广州市某商铺作为营业网点使用,原告需向出租人B公司支付保证金13万元,并约定B公司在租
基于有限元分析软件对用钢量相同的折线形、梯形、正弦曲线形波纹腹板钢梁进行了弹塑性非线性分析,同时考虑了几何初始缺陷以及几何非线性和材料非线性,并综合考虑了腹板厚度、
证券公司作为金融中介机构在我国金融业发展中扮演着重要的角色。随着我国资本市场进程的加快,浮动佣金制和互联网金融的冲击使证券公司经纪业务的利润空间越发狭小,加之混业
为提高新型混联式混合动力客车的燃油经济性,制定了一种功率均衡能量管理控制策略。建立动力系统模型并针对其结构特点设计了模式切换规则。通过确定各个功率需求下的电池荷
20世纪80年代我国开始关注并讨论高校图书馆服务效益问题,文献产出量整体呈上升趋势。通过文献计量的方法,对文献的外部信息(年代分布、作者分布和期刊分布)和内部信息(研究
随着社会经济的迅速发展,张掖市正在经历从传统向现代化快速转型的过程。城市更新过程中,如何保持城市的整体活力不断加强,如何将传统历史文化街区的原真性得以保留,有必要进行相
本文简要介绍了国内外橡胶材料防老化涂层的研究现状与进展,并针对军用装备橡胶器材的库存环境及其对橡胶器材性能的影响,简明阐述了研究我军装备橡胶器材防老化涂层的迫切需