分布式交互仿真中的异步时钟一致性控制方法

来源 :软件学报 | 被引量 : 0次 | 上传用户:mzybbs
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了在分布式交互仿真中基于回拨时钟的异步时钟一致性控制模型,利用节点间时钟的异步性对系统时间资源进行重新分配,达到了在保证原有系统功能正确性的前提下有效提高系统整体性能的目的.根据上述模型,首先提出了基于全局信息的快速拟合法,并证明了该算法的有效性;之后又根据实际网络情况提出了基于局部延迟信息的逐步逼近法;最后通过实验分析了上述方法的静态和动态性能.实验结果表明,异步时钟方法对系统的交互性能有显著提高.
其他文献
介绍了有机发光器件(OLED)的研究历程、结构、发光机理和研究的热点.展示了最近的产业化成果,并预测OLED的应用前景.
对中央空调系统的节能方案进行了探讨。
汽车离合器作为汽车的一个重要组成部件,其操纵力的大小,直接影响驾驶员的劳动强度。设计了一种新型的汽车离合器助力装置——汽车离合器电动助力操纵系统。该系统是在机械式离
通过对变电站远程诊断系统开发现状的分析,在应用网络和远程控制技术的基础上,提出了一个基于C/S和B/S模式的远程诊断的解决方案,对远程诊断系统进行了总体结构设计、功能结构设计
特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有
介绍了湖北汽车工业学院在物理实验教学内容、教学方式、教学手段等方面进行的探索与实践,总结了开放式物理实验教学所取得的成效和存在的问题.
研究了点焊电极表面电火花振动熔敷金属陶瓷TiC涂层的影响因素和熔敷工艺参数.
基于SAT的限界模型检测在处理实时系统时具有很高的复杂度.SMT求解器在计算可满足性的同时,还能处理算术和其他可判定性理论.在对实时系统进行检测时,用SMT求解器代替SAT求解器,系