【摘 要】
：
为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引
【基金项目】
：
国家“863”计划资助项目(2007AA01Z132)
论文部分内容阅读
为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型。然后,结合形式概念分析技术,提出了信任格的概念。最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的。
其他文献
“红色经典”既是一种约定俗成的话语类型指称,更是20世纪中国文学发展进程中一种文学经典化的历史路标。对“红色经典”不能因为过去和现在对其“政治意识形态化”的简单化
政策性银行同样要重视风险管理和内控制度建设。要从合理的资金来源构成和科学的资金运用来加强政策性银行的资金风险管理,建立科学的政策性银行内部控制系统。
目的探讨早期骨修补在脑外伤治疗中的临床疗效。方法选择2008-01—2012-01在我院神经外科住院治疗的72例需行脑室腹腔分流的颅骨修补患者为研究对象，按照颅骨修补手术时间分为
社会责任的承担是跨国公司的应有之意,但对于跨国公司来说,单靠自律、东道国以及国际社会某一方的规制,是无法有效保证其社会责任的实施,而必须依靠三者力量的共同规制,才能
<正>20世纪70年代后期以来,西方国家推行第四次警务革命。①第四次警务革命又叫"社区警务改革模式",是以社区警务为主要内容,以全社会的力量打击与预防犯罪为重点,追求"自我
本文从高校无形资产相关概念、内容和特征入手,分析高校无形资产管理存在理念落后、意识淡薄、人才缺乏等问题。基于此,提出增强系统性思维、立足高校各自比较优势协同管理、
文章从中西文化思想发展的历史实际和发展趋势的角度探讨美的最基本内涵。认为古希腊对美的衡量标准重在功用,中世纪基督教美学思想认为美在于超越感性形象,直到文艺复兴后,
采用文献资料研究法,论述了田径运动员赛前最佳竞技状态的调控原则、训练时间的确定,以及运动负荷的安排。
思想政治工作是企业的生命线,在企业的整体发展中有着至关重要的作用.如今,随着市场经济的不断发展,一些企业职工的思想已经发生了深刻变化,产生了一些新的问题,这给企业思想
本文介绍了织物防水防油剂的合成方法、基本组成、防水防油机理及国内外发展史。