检索结果-内蒙古大学图书馆

南京大学学报（自然科学版） 2010年第4期46卷 456-463页

作者：卢刚王怀民毛晓光国防科学技术大学计算机学院长沙410073

互联网软件资源的开放性复杂性应用广泛性对当前的可信模型提出新的挑战.为回应这些挑战以符合认知途径和成本递进的方式评估软件,给出用于可信评估的相关概念,综合软件环境、使用体验和生产过程中的可信要素,提出支持评估的证据模型,... 详细信息

互联网软件资源的开放性复杂性应用广泛性对当前的可信模型提出新的挑战.为回应这些挑战以符合认知途径和成本递进的方式评估软件,给出用于可信评估的相关概念,综合软件环境、使用体验和生产过程中的可信要素,提出支持评估的证据模型,模型分为声誉可信、交互可信、机理可信三个可信剖面,可用于评估互联网软件资源.分析了可信剖面下的多个可信目标和目标的证据来源,最后给出模型在软件可信性评价中的应用方法.

关键词：软件可信评估认知声誉证据模型

来源：评论

学校读者我要写书评

暂无评论

面向机载软件适航审查的软件计划阶段的证据模型

引用

计算机科学 2018年第9期45卷 52-59页

作者：袁巍吴际刘超杨海燕北京航空航天大学计算机学院北京100191

适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C... 详细信息

适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C标准中针对目标的特征描述,提出了3种模型(标准证据模型、项目制品模型、项目相关证据模型),并通过项目相关证据模型向项目证据数据模型的转换生成证据信息检查单,确定了证据信息的来源。建立证据模型的审查方法为软件计划阶段的审查提供了证据收集的指导,减少了证据收集过程对审定方审定人员的依赖,提高了审查效率。最后,通过一个机载飞行显示器软件的案例说明了提出的证据模型具有可用性与有效性。

关键词：机载软件适航审查证据模型 DO-178C Order8110.49

来源：评论

学校读者我要写书评

暂无评论

一种基于多可信属性的证据模型建立方法

引用

贵州师范大学学报（自然科学版） 2011年第3期29卷 66-74页

作者：施光源付颖芳北京工业大学计算机学院北京100124

可信远程证明是可信计算技术中非常重要的一部分,而可信证据又是可信远程证明的基础。但是,通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题:首先,证据信息不充分,不能满足可信证明的需求;其次,证据信息组... 详细信息

可信远程证明是可信计算技术中非常重要的一部分,而可信证据又是可信远程证明的基础。但是,通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题:首先,证据信息不充分,不能满足可信证明的需求;其次,证据信息组织不够合理;最后,由于可信性具有一定的主观性,与用户的预期相关,但现有方法中在收集证据时没有考虑用户的预期。针对上述问题,提出了一种可信远程证明的证据模型建立方法。该方法依据可信属性建立证据模型与用户预期模型,并利用该模型对软件不同阶段的证据信息进行收集,最后,根据模型建立形式更加规范的可信证据实例,该实例表明证据信息更加多样,符合用户的预期。

关键词：可信计算远程证明证据模型

来源：评论

学校读者我要写书评

暂无评论

一种基于多可信属性的证据模型建立方法

一种基于多可信属性的证据模型建立方法

引用

2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

作者：施光源付颖芳北京工业大学计算机学院，北京 100124

可信远程证明是可信计算技术中非常重要的一部分，而可信证据又是可信远程证明的基础。但是，通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题：首先，证据信息不充分，不能满足可信证明的需求;其次，证据... 详细信息

可信远程证明是可信计算技术中非常重要的一部分，而可信证据又是可信远程证明的基础。但是，通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题：首先，证据信息不充分，不能满足可信证明的需求;其次，证据信息组织不够合理;最后，由于可信性具有一定的主观性，与用户的预期相关，但现有方法中在收集证据时没有考虑用户的预期。针对上述问题，提出了一种可信远程证明的证据模型建立方法。该方法依据可信属性建立证据模型与用户预期模型，并利用该模型对软件不同阶段的证据信息进行收集，最后，根据模型建立形式更加规范的可信证据实例，该实例表明证据信息更加多样，符合用户的预期。

关键词：可信计算可信远程证明证据模型用户预期模型

来源：评论

学校读者我要写书评

暂无评论

一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法

一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法

引用

作者：刘超杨阳杨海燕任健 100191 北京市海淀区学院路37号

本发明涉及一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化，... 详细信息

标准号: CN104978275B

本发明涉及一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化，为实现DO‑178C软件测试过程的目标提出了一套自动推理的解决方案。使得软件测试过程更加符合适航审定的规范，为确定通过适航认证的软件测试过程的目标提供了有效的帮助；更加有效率的完成收集证据这一步骤，降低成本；实现目标满足性的自动推理，节省了成本，尤其是存在大量数据需要论证时，效率有显著的提升。

关键词：软件测试过程证据模型适航推理证据目标验证数据需要项目数据自动化认证分析帮助

来源：评论

学校读者我要写书评

暂无评论

一种面向DO-178C软件测试过程的目标验证及证据模型提取方法

一种面向DO-178C软件测试过程的目标验证及证据模型提取方法

引用

作者：刘超杨阳杨海燕任健 100191 北京市海淀区学院路37号

本发明涉及一种面向DO-178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化，... 详细信息

标准号: CN104978275A

本发明涉及一种面向DO-178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化，为实现DO-178C软件测试过程的目标提出了一套自动推理的解决方案。使得软件测试过程更加符合适航审定的规范，为确定通过适航认证的软件测试过程的目标提供了有效的帮助；更加有效率的完成收集证据这一步骤，降低成本；实现目标满足性的自动推理，节省了成本，尤其是存在大量数据需要论证时，效率有显著的提升。

关键词：软件测试证据模型自动推理适航论证证据对应大量数据过程相关目标提供提取方法项目数据满足性一种自动化验证节省建立认证收集提升涉及帮助分析符合确定完成有效需要

来源：评论

学校读者我要写书评

暂无评论

一种新的证据表示模型及其在敌作战意图识别中的应用

引用

指挥控制与仿真 2006年第6期28卷 9-13页

作者：李瑛刘卫东第二炮兵工程学院陕西西安710025

根据所获得的敌作战意图相关信息的特征,首先提出了证据支持最简形式、证据支持二元形式、同型证据等概念,在这些概念的支撑下,研究了将证据支持二元形式表示为证据支持最简形式的正交和问题,其结论用于表示敌作战意图及其特征信息之间... 详细信息

根据所获得的敌作战意图相关信息的特征,首先提出了证据支持最简形式、证据支持二元形式、同型证据等概念,在这些概念的支撑下,研究了将证据支持二元形式表示为证据支持最简形式的正交和问题,其结论用于表示敌作战意图及其特征信息之间的相关性,从而建立对敌作战意图的识别体系,完成对敌作战意图的最终判定。新的证据表示模型有效地简化了作战为证据的特征信息的表示和合成,降低了计算量。给出的具体应用示例也证明所提出的算法结构的可行性和有效性。

关键词：证据模型性能分析合成算法意图识别

来源：评论

学校读者我要写书评

暂无评论

D-S理论在开放识别框架下的推广

引用

北京理工大学学报 2005年第4期25卷 346-351页

作者：曾成赵保军何佩琨北京理工大学信息科学技术学院电子工程系北京100081

针对无法获取完备识别框架的应用背景,把证据模型建立在一个随着证据组合而不断完善的开放识别框架上,提出一种推广的Dempster-Shafer(D-S)证据理论——开放框架D-S理论(OFDST).基于DFDST定义证据的支持函数与反对函数,对证据的信任函... 详细信息

针对无法获取完备识别框架的应用背景,把证据模型建立在一个随着证据组合而不断完善的开放识别框架上,提出一种推广的Dempster-Shafer(D-S)证据理论——开放框架D-S理论(OFDST).基于DFDST定义证据的支持函数与反对函数,对证据的信任函数模型进行全新诠释,揭示Dempster组合规则的线性实质.最后通过一个实例验证了该理论的合理性与有效性.

关键词： D-S理论开放识别框架支持函数反对函数证据模型

来源：评论

学校读者我要写书评

暂无评论

循证医学的核心方法与主要模型

引用

协和医学杂志 2023年第1期14卷 1-8页

作者：陈耀龙孙雅佳罗旭飞玉炫兰州大学公共卫生学院兰州730000 兰州大学基础医学院循证医学中心兰州730000 中国医学科学院循证评价与指南研究创新单元兰州大学基础医学院兰州730000

本文回顾了过去30年间循证医学发展过程中产生的重要方法和模型,主要包括PICO问题模型、系统评价、证据质量与推荐强度分级、报告规范、5S模型以及证据生态系统。以上方法共同构成了循证医学的理论体系,推动着循证医学的进步,为循证医... 详细信息

本文回顾了过去30年间循证医学发展过程中产生的重要方法和模型,主要包括PICO问题模型、系统评价、证据质量与推荐强度分级、报告规范、5S模型以及证据生态系统。以上方法共同构成了循证医学的理论体系,推动着循证医学的进步,为循证医学的发展提供了内在源动力。明确其核心方法与主要模型有助于研究者全面理解循证医学的科学理念,并结合当下发展新趋势不断探索循证医学未来发展方向,实现循证医学的更新迭代,进而促进循证科学的建设及多学科融合发展。

关键词：循证医学系统评价证据质量与推荐强度分级报告规范证据模型证据生态系统

来源：评论

学校读者我要写书评

暂无评论

知识、证据与相关选择——从动态逻辑的角度研究

知识、证据与相关选择——从动态逻辑的角度研究

引用

作者：徐召清北京大学

学位级别：博士

本文以相关选择理论和认知语境主义为背景,以动态认知逻辑、证据逻辑和证成逻辑等为工具,从动态逻辑的角度研究知识如何受证据和相关选择及其变化的影响。\n 第一章介绍了本文的选题意义、相关的哲学背景和逻辑学基础知识,并在综述... 详细信息

本文以相关选择理论和认知语境主义为背景,以动态认知逻辑、证据逻辑和证成逻辑等为工具,从动态逻辑的角度研究知识如何受证据和相关选择及其变化的影响。\n 第一章介绍了本文的选题意义、相关的哲学背景和逻辑学基础知识,并在综述相关研究的基础上给出了本文的研究思路以及论文的结构安排。\n 从相关选择理论出发,第二章首先建立了一个基于证据和相关选择的认知逻辑,简称“ER认知逻辑”(EREL)。从语法上看,该逻辑包含三个全称模态算子Es,P和Ks,其直观上分别对应于基于证据的知识,基于相关选择的知识以及基于证据和相关选择的知识(或简单地,知识)。从语义上看,Es和P分别通过可及关系≈s和尺来定义,而与Ks对应的可及关系则是≈s和R的交。现存文献中有类似的形式化,但将相关选择表达为独立的模态算子则是本文的首创。除了证明EREL的完全性及表达力等技术性结果外,本章还讨论了其在怀疑论悖论和知识可错论分析中的应用。只要未被证据排除的可能性都是不相关的,则我们仍然保有日常的知识;因此,从消解悖论的角度看,怀疑论问题是可解的。而知识是否是可错的,则取决于相应的可错性概念:若Ψ可错是指存在未被s的证据排除的非Ψ可能性,则一般情形下的知识是可错的。\n 第三章研究ER认知逻辑的动态化,统称“动态ER认知逻辑”。除了讨论减少相关选择的公开宣告运算外,本章还特别考察了增加相关选择的公开回撤运算:对Ψ的公开回撤将所有非Ψ的可能性都变为相关选择,记为[-Ψ]。除了证明公开回撤逻辑(PRL)的完全性及表达力等技术性结果外,本章还探讨了从动态语义的角度如何理解怀疑论悖论和知识可错论。如果满足相应的回撤条件,则公开回撤运算会导致相关选择的增多,从而导致原有知识的“逃逸”。这既可以用于解释怀疑论论证的说服力,又可以解释为何一致的知识可错论却可能“听起来是错的”。\n 第四章考察知识的动态化以及在不同的证据模型中如何增加相关选择的维度。在动态认知逻辑的基本思想下,本章将主体s的证据表达为类似于命题的证据项es,根据证据指派函数,其可能出现于某些可能世界中,而不出现于另外的可能世界中。证据的动态化类似于公开宣告。给定主体s及其证据es,s的基于证据的知识可以定义为φ^<es>Uφ,而s的基于证据和相关选择的知识(或简单地,知识)则定义为φ^<es>Pφ。如此定义的动态知识所具有的性质部分地取决于全局模态算子U和相关选择算子P的性质。另外,本章还考察了如何利用证据逻辑和证成逻辑来定义基于证据和相关选择的知识。

关键词：动态逻辑知识体系证据模型相关选择理论认知语境主义

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：