基于可能世界的网构软件模型及可信性研究

刘超; 王文杰

首页> 中文期刊> 《计算机应用研究》 >基于可能世界的网构软件模型及可信性研究

基于可能世界的网构软件模型及可信性研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型.然后,结合形式概念分析技术,提出了信任格的概念.最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的.

著录项

来源
《计算机应用研究》 |2010年第12期|4604-46074611|共5页
作者
刘超; 王文杰;
展开▼
作者单位

中国科学院研究生院(本部);

北京;

100049;

中国科学院研究生院(本部);

北京;

100049;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
网构软件; 可能世界; 可信建模; 影子实体; 信任格; 资源分配公平存在性定理;

相似文献

中文文献
外文文献
专利

1. 基于贝叶斯网络的网构软件可信性评估模型 [J] . 司冠南 ,任宇涵 ,许静 . 计算机研究与发展 . 2012,第005期
2. 基于可能世界的网构软件之自动推理研究 [J] . 刘超 ,王文杰 . 计算机工程与设计 . 2011,第004期
3. 基于复杂网络的网构软件信任模型研究 [J] . 谢新强 ,周进刚 ,张德阳 . 计算机科学与探索 . 2016,第001期
4. 基于模型的网构软件可达性检测方法研究 [J] . 赵会群 ,孙晶 ,魏莹 . 计算机学报 . 2011,第006期
5. 基于服务更新的网构软件可靠性模型研究 [J] . 杜育根 ,李永钢 . 计算机科学与探索 . 2008,第004期
6. 基于模糊定权的模糊可信性约束二次规划模型 [C] . WANG Youzhi ,王友芝 ,GUO Ping . 中国农业工程学会农业水土工程专业委员会第十届学术研讨会 . 2018
7. 基于构件的网构软件可信性评价及其演化 [A] . 王玎 . 2013

基于可能世界的网构软件模型及可信性研究

摘要

著录项

相似文献

相关主题

期刊订阅