排序方式: 共有117条查询结果,搜索用时 93 毫秒
71.
在诸如文件共享等无中心的Peer to peer环境中,资源共享是用户自愿的行为.在这类系统中,由于用户不为自身的行为担负责任,因而节点间的信任关系往往很难通过传统的信任机制建立.现有模型在计算信任度时往往采用迭代方法,计算复杂,同时缺乏对时间因素的考虑.针对上述问题,提出了一种新的基于P2P的信任模型,它结合自己的交易历史、熟悉节点的推荐及陌生节点的推荐三部分来综合评价目标节点的信任度,同时考虑了时间因素对信任度的影响.分析及实验结果表明,该模型能准确地评估节点的信任度,提高系统的可用性. 相似文献
72.
钢塔架结构的静动态分析 总被引:1,自引:0,他引:1
通过对某钢塔架的静、动态分析,探讨如何在ANSYS中利用梁、壳单元建立塔架有限元模型的问题及计算方法,并利用ANSYS分析软件对该塔架进行静、动态分析计算,计算结果为塔架结构的优化设计提供依据,并且与试验数据吻合。 相似文献
73.
影响高校构建和谐校园的主要因素和对策 总被引:7,自引:0,他引:7
庄雷 《昆明冶金高等专科学校学报》2005,21(6):46-49
高校是社会重要的组成部分。寻找对策,构建和谐校园,确保校园稳定,为构建社会主义和谐社会提供重要的动力源。 相似文献
74.
随着网络的大规模应用,越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机对FR协议建模,并用自动验证工具UPPAAL验证了多轮协议在可靠环境下的性质。重点验证了不可靠环境中多轮协议的执行情况,最后对协议进行了修改。 相似文献
75.
一种改进的区域自动机构造方法 总被引:2,自引:0,他引:2
用时间自动机验证一个有穷状态实时系统的正确性,可归结为判定两个时间正则语言的包含问题,亦可归结为判定两个时间正则语言的交是否为空的问题。在判定一个时间正则语言是否为空时,先要将时间自动机转化为无时间的区域自动机。Alur和Dill给出的构造区域自动机的算法,存在许多不可达或虽可达但无用的状态。通过对时钟约束进行分析,在求时钟区域和时间后继的过程中,不断地将一些不可达或无用状态筛掉,使构造出的区域自动机更为优化,改进了Alur等人给出的算法。 相似文献
76.
77.
大规模对等网络中可达性分析及短路效应解决方案 总被引:4,自引:2,他引:2
大规模对等网络的拓扑结构具有小世界特性、稀疏性和自组织性,其网络节点分布符合幂定律。消息的洪泛式广播造成网络信息的大量冗余,为此引进两种控制机制:消息生存时间(TTL)和消息唯一表示符(UID),可有效地减少冗余。然而,两种机制的组合以及大型网络的异构延迟,使得网络中的部分节点不可到达,即所谓的短路效应。本文采用两种解决方案:一种是修改控制机制,存储先到达的TTL值,与后到达的TTL值比较,使得以TTL为半径的节点都是可达的;另一种是利用小世界和幂特性,以超级节点为中心划分区域。两种方案有效地解决了短路效应。 相似文献
78.
高校社会治安综合治理工作新思路初探 总被引:2,自引:0,他引:2
庄雷 《昆明冶金高等专科学校学报》2001,17(1):36-38
以社会治安综合治理工作的重要性来定位学校的治安综合治理工作,充分发挥治安工作依靠力量的主动性、积极性,精心构建学校社会治安综合治理工作的网络体系,形成合力,齐抓共管,使学校的社会治安综合治理工作上一个新台阶。 相似文献
79.
针对多模态网络中时间敏感网络模态转发调度不确定、求解时间长等问题,提出了一种基于CSQF的时间敏感网络模态的联合路由与调度机制。综合考虑有界时延需求、网络状态和不同的路由机制,建立联合缓存队列和路由的混合资源调度模型,旨在优化整个网络的资源使用。基于深度强化学习方法,利用流量特征与缓存队列利用率来预测下一循环的缓存利用率。此外,基于多队列CSQF转发调度机制和基于缓存利用率的显式路由算法,提出了一种迭代调度算法,实现了确定性转发和资源分配。仿真结果表明,所提机制可以根据网络的资源使用情况有效地调整确定性应用的传输调度,与其他离线调度机制相比,具有更好的调度性能。 相似文献