【摘 要】
：
Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立
【机 构】
：
哈尔滨工程大学计算机科学与技术学院
论文部分内容阅读
Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法（GSTC）和多路径信任聚合算法（MPTA）.通过仿真实验对比了GSTC算法和RSTC算法、以及MPTA算法在受限和非受限条件下的性能.网构软件信任逻辑形式化方法的建立,揭示了构件间信任逻辑的建立和推理过
其他文献
随着社会的进步、经济的增长,金属在生产生活中的应用也愈发广泛。但是,金属自身易腐蚀性能使我们面临一项巨大的挑战,金属的腐蚀破坏了金属原有的形貌及功能,导致金属的应用
个性，是一个内部比较稳定的心理结构，每个人的个性存在状差异，这种差异对学生的学业成绩是否有观？如何有影响的话，是个性中的哪些根源特质了促成了这种影响呢？本文试图在回答这些问
资源型老工业城市是我国重要的一种城市类型,其具有与其他城市所不同的产业特征和产业空间布局。本文以抚顺市为例,提出了第三产业"中心化"分级分布,第二产业"边缘化"集聚的
针对采用多目标优化方法设计的超声速燃烧冲压发动机非对称喷管,采用RNGk-ε湍流模型和有限体积方法数值求解有组分的守恒形式Navier-Stokes方程,数值模拟喷管不同入口马赫数
例1,女,6岁。1986年11月28日在路上忽然被犬咬伤脸部,伤口从左眼角一直至鼻子下,流血不止,立即送赣州地区人民医院。门诊医生用生理盐水清洗伤口,缝合15针。当天肌注了上海
对收集的5例鹿结核自然病例进行结核分枝杆菌复合物分子生物学鉴定和基因分型,探索结核分枝杆菌传播过程中人与其他动物间的关系。从而掌握结核病的传播规律,并为动物结核病
针对我国硕士研究生培养目标的发展变化及当前目标与社会需要脱节的现状提出明确的目标定位,即明确硕士研究生培养目标的重新定位:学术研究型、开发应用型和教学型人才的培养
传统的地板式发芽，在相当长时期占据着我国的制麦业。它具有设备简单，投资费用低，操作容易等优点，使之成为众多的小规模制麦者所喜爱。在我国制麦技术的发展史上，地板式发芽有其特
的肝纤维化动物模型大鼠应用雷帕霉素后,检测大鼠肝组织切片中转移生长因子（TGF-β1）表达,探讨雷帕霉素与肝纤维化病理演变的相关性。方法作者将实验大鼠随机分为3组：①正常对照
住宅出售和出租是住宅流通的两种形式。在广州市商品住宅买市渐旺之时,住宅租市却呈淡而又淡、静而又静之势。原因何在? 经笔者测算,得出广州市住宅合理租售比价为1:101,而在