谢新强
- 作品数:3 被引量:6H指数:2
- 供职机构:哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金黑龙江省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域:自动化与计算机技术更多>>
- 网构软件信任机制的形式化研究被引量:2
- 2011年
- Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和多路径信任聚合算法(MPTA).通过仿真实验对比了GSTC算法和RSTC算法、以及MPTA算法在受限和非受限条件下的性能.网构软件信任逻辑形式化方法的建立,揭示了构件间信任逻辑的建立和推理过程,不仅能够满足构件信任方面服务质量的需求,有效的提高整个网络的信任水平;而且有助于解决真实环境下构件实体间存在的安全问题,为构件集群环境下安全控制及信任系统形式化研究提供了有价值的新思路.
- 董宇欣印桂生谢新强马志强
- 关键词:网构软件
- 网构软件信任机制的系统动力学模型研究被引量:1
- 2012年
- 结合人际信任关系建立的基本原理,采用定性分析与定量分析相结合的方法,提出了网构软件信任机制的系统动力学模型,并基于系统动力学思想分析了影响网构软件信任水平的相关因素,建立了知识积累与信任评估的动力学方程。Vensim PLE仿真实验表明,网构软件信任系统动力学模型的建立有利于网络信任环境的分析,为系统仿真提供了有价值的新思路。
- 谢秋菊苏中滨郑萍谢新强
- 关键词:网构软件系统动力学信任模型动力学方程
- 基于复杂网络的网构软件信任评估与搜索算法被引量:4
- 2013年
- 为提高网构软件的信任水平和网络收敛速率,将复杂网络的小世界特征和无标度特性引入到网构软件的信任评估和可信构件搜索过程中,对网构软件进行群落划分,提出基于复杂网络的网构软件信任评估方法及基于最大度搜索的可信构件搜索(TIS)算法。仿真实验结果表明,与随机搜索算法和广度优先搜索算法相比,TIS算法能提高可信构件的搜索效率,减少网络负载量,降低信任路径长度和信任风险。
- 印桂生张建国张万松谢新强
- 关键词:网构软件复杂网络小世界信任评估