精确分布式逻辑时钟

1

作者 鄢勇 李胜利 《计算机工程与应用》 CSCD 北大核心 1993年第4期44-51,共8页

如何精确而有效地捕获过去执行时刻、各分布活动之间的相互作用关系是引入分布式逻辑时钟的主要目的。本文首先依据分布特征,给出了一个较Lamport逻辑时钟更为精确的逻辑时钟定义,然后从更为一般性的进程模型出发给出了一切实有效的分... 如何精确而有效地捕获过去执行时刻、各分布活动之间的相互作用关系是引入分布式逻辑时钟的主要目的。本文首先依据分布特征,给出了一个较Lamport逻辑时钟更为精确的逻辑时钟定义,然后从更为一般性的进程模型出发给出了一切实有效的分布逻辑时钟LT。在LT的定义中不仅考虑了进程之间的直接作用关系,也考虑了通过共享资源的间接作用关系。最后对LT的正确性给予了严格证明,并讨论了LT的一些应用方法及性质。 展开更多

关键词 分布式 逻辑时钟

在线阅读 下载PDF 职称材料

抽象事件的完备逻辑时钟 被引量：1

2

作者 董宏 孙永强 《软件学报》 EI CSCD 北大核心 1999年第11期1169-1173,共5页

调试分布式应用系统要比调试顺序程序困难得多，原因之一是分布式应用系统要比顺序程序复杂得多．为了处理分布式应用系统的复杂性，提出了对分布式应用系统的事件进行抽象的调试方法，这种方法让用户从不同的层次观察分布式应用系统的... 调试分布式应用系统要比调试顺序程序困难得多，原因之一是分布式应用系统要比顺序程序复杂得多．为了处理分布式应用系统的复杂性，提出了对分布式应用系统的事件进行抽象的调试方法，这种方法让用户从不同的层次观察分布式应用系统的行为．在对分布式应用系统进行调试和抽象时，抽象事件（事件集）之间的先于关系起着重要作用，而逻辑时钟用来确定事件间的先于关系．文章给出了一种计算抽象事件的完备逻辑时钟的方法，这种方法比以往的方法所占存储量小，而且计算速度快，另外，文中还给出了算法的正确性证明． 展开更多

关键词 分布式系统 完备逻辑时钟 抽象事件 过程

在线阅读 下载PDF 职称材料

分布式计算系统中逻辑时钟的研究 被引量：1

3

作者 周志强 温平川 《重庆邮电学院学报（自然科学版）》 2000年第2期62-66,共5页

主要论述了逻辑时钟在调试分布式系统领域的应用。首先讨论了逻辑时钟方法及逻辑时钟的修改算法 ,然后介绍了自行研制的分布式 S4系统中逻辑时钟监控器模块的实现方法。

关键词 逻辑时钟分布式计算系统 程序调试

在线阅读 下载PDF 职称材料

用带时钟变量的线性时态逻辑扩充Object-Z 被引量：1

4

作者 文志诚 李长云 满君丰 《计算机应用研究》 CSCD 北大核心 2009年第5期1764-1769,共6页

Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首... Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是Object-Z语法和语义的最小扩充,其最大优点在于它能方便地描述和验证复杂的实时软件规格说明。 展开更多

关键词 OBJECT-Z 用带时钟变量的时态逻辑 实时系统 形式规格说明 形式验证

在线阅读 下载PDF 职称材料

分布式节点群的参量差分时钟同步算法 被引量：2

5

作者 凌云翔 范林军 +1 位作者 王涛 张国华 《兵工学报》 EI CAS CSCD 北大核心 2013年第1期51-59,共9页

结合分布式系统多平台性、通用性、阶段同步性等新特征,提出一种新的分布式节点群参量差分逻辑时钟模型(LCPD)及其同步算法。该模型不修改本地时间,将不确定的网络延迟考虑到差分频率中,通过差分时钟计数值的递归演算和差分频率的收敛校... 结合分布式系统多平台性、通用性、阶段同步性等新特征,提出一种新的分布式节点群参量差分逻辑时钟模型(LCPD)及其同步算法。该模型不修改本地时间,将不确定的网络延迟考虑到差分频率中,通过差分时钟计数值的递归演算和差分频率的收敛校准,获取各节点稳定的计数值,以此作为衡量全网时钟同步的标志。算法采用参考广播、锁相环和协同同步原理,步骤分为零点对时和差分校准。仿真实验表明:该算法一旦同步就不再失步,具有较好的收敛性和稳定性,可满足大规模、异构分布式仿真系统的同步需求。 展开更多

关键词 计算机应用 分布式仿真系统 时钟同步 参量差分 分布式节点群 逻辑时钟

在线阅读 下载PDF 职称材料

FPGA时钟设计 被引量：2

6

作者 葛澎 《现代电子技术》 2011年第11期170-171,176,共3页

在FPGA设计中,为了成功地操作,可靠的时钟是非常关键的。设计不良的时钟在极限的温度、电压下将导致错误的行为。在设计PLD/FPGA时通常采用如下四种类型时钟:全局时钟、门控时钟、多级逻辑时钟和波动式时钟。多时钟系统包括上述四种时... 在FPGA设计中,为了成功地操作,可靠的时钟是非常关键的。设计不良的时钟在极限的温度、电压下将导致错误的行为。在设计PLD/FPGA时通常采用如下四种类型时钟:全局时钟、门控时钟、多级逻辑时钟和波动式时钟。多时钟系统包括上述四种时钟类型的任意组合。 展开更多

关键词 FPGA 时钟 逻辑时钟 险象

在线阅读 下载PDF 职称材料

EDA设计中时钟的可靠性探讨

7

作者 黄世瑜 唐林 《哈尔滨职业技术学院学报》 2009年第3期127-128,共2页

在CPLD/FPGA芯片编程设计时,通常需要用时钟来控制系统中各模块协调工作,如果时钟设计不当,在极限温度、电压或制造工艺偏差的情况下将导致错误的行为,并且调试困难。本文就此对全局时钟、门控时钟、多级逻辑时钟和波动式时钟进行分析探... 在CPLD/FPGA芯片编程设计时,通常需要用时钟来控制系统中各模块协调工作,如果时钟设计不当,在极限温度、电压或制造工艺偏差的情况下将导致错误的行为,并且调试困难。本文就此对全局时钟、门控时钟、多级逻辑时钟和波动式时钟进行分析探讨,以求在设计电路中消除毛刺,提高电路系统的稳定性。 展开更多

关键词 全局时钟 门控时钟 多级逻辑时钟 行波动式时钟

在线阅读 下载PDF 职称材料

并行与并发程序监测中的时钟系统设计

8

作者 秦怀阳 赵立勇 +1 位作者 吴百锋 彭澄廉 《计算机工程》 CAS CSCD 北大核心 1997年第S1期8-10,32,共4页

该文讨论了几种逻辑时钟系统和并行及分布式监测系统MS-1中的物理时钟,并比较了它们的优缺点。

关键词 逻辑时钟 逻辑时间标记 物理时钟 事件 事件驱动监测

在线阅读 下载PDF 职称材料

无线传感器网络高精度硬件时钟同步方法 被引量：4

9

作者 黄战华 廖可 蔡怀宇 《计算机工程》 CAS CSCD 2013年第12期97-101,共5页

为实现无线传感器网络高精度的时间同步功能,提出一种基于Zigbee技术的硬件时钟同步方法。采用跨层思想提取接收信号强度指示值信号作为同步触发信号,设计复杂可编程逻辑器件的硬件电路时钟模块实现计时,并配合软件算法完成整个网络的... 为实现无线传感器网络高精度的时间同步功能,提出一种基于Zigbee技术的硬件时钟同步方法。采用跨层思想提取接收信号强度指示值信号作为同步触发信号,设计复杂可编程逻辑器件的硬件电路时钟模块实现计时,并配合软件算法完成整个网络的时间同步,在保证低能耗和复杂度的基础上,提高时间同步精度。对同步精度进行理论研究和测试分析,结果表明,该方法可使系统节点间达到10μs级的时钟同步精度,满足多数无线传感器网络要求。 展开更多

关键词 无线传感器网络 时间同步 跨层设计 接收信号强度指示值触发信号 复杂可编程逻辑器件时钟模块 XBee无线通信 模块

在线阅读 下载PDF 职称材料

基于分布式仿真系统的时钟同步技术研究 被引量：6

10

作者 黄学进 崔鑫 余婷 《计算机测量与控制》 2021年第6期212-218,共7页

为了推进时钟同步在分布式仿真系统中的实际应用,识别了时钟同步系统的具体要求,在对比多种时钟同步方案后,选择NTP方案并进行优化;在介绍NTP时钟同步的基本原理基础上,进行了时钟同步精度影响因子分析,创造性的提出了构建高精度逻辑时... 为了推进时钟同步在分布式仿真系统中的实际应用,识别了时钟同步系统的具体要求,在对比多种时钟同步方案后,选择NTP方案并进行优化;在介绍NTP时钟同步的基本原理基础上,进行了时钟同步精度影响因子分析,创造性的提出了构建高精度逻辑时钟、不等式法优化网络回路往返时延的不对称性、时钟晶振频率在线补偿3种优化方法,并建立了时钟同步系统;实验结果表明,设计的时钟同步系统的同步精度优于1 ms,且平均校准周期达到5 h左右;该时钟同步系统能封装为DLL,可灵活集成到具体项目中。 展开更多

关键词 时钟同步 NTP 逻辑时钟 不等式法优化 时钟晶振频率补偿 分布式仿真

在线阅读 下载PDF 职称材料

基于归并策略的一致性时钟同步算法 被引量：1

11

作者 范纯龙 孙强龙 刘海港 《数字通信世界》 2020年第1期10-12,共3页

针对分布式飞行仿真的时钟同步问题,在Luca Schenato等人的ATS(Average Time Synchronization)算法的基础上,提出了基于归并策略的一致性时钟同步算法。该算法会在获得系统时钟后,通过邻近原则或者极大极小原则对时钟进行排序组合,以此... 针对分布式飞行仿真的时钟同步问题,在Luca Schenato等人的ATS(Average Time Synchronization)算法的基础上,提出了基于归并策略的一致性时钟同步算法。该算法会在获得系统时钟后,通过邻近原则或者极大极小原则对时钟进行排序组合,以此加快算法的收敛速度;同时通过重定义ATS算法的调节因子σij,使时钟收敛具有自适应性,进一步加快时钟收敛速度,使得该算法更佳适用于飞行仿真控制试验的数据同步过程。实验表明该算法相比于原算法在同步精度、收敛速度、稳定性都得到提升。 展开更多

关键词 时钟同步 时钟归并 一致性收敛 逻辑时钟 时钟拟合

在线阅读 下载PDF 职称材料

迄今最精确时钟:50亿年误差不到一秒

12

《机械》 2014年第2期I0004-I0004,共1页

美国研制出一种精准异常的原子钟，它在比地球年龄还长的50亿年间既不会慢，也不会快，哪怕一秒钟。这个“锶晶格钟”的精准度比以前的世界纪录保持者一一美国国家标准与技术研究所（NIST）的量子逻辑时钟高50％。它的稳定性也令人难以... 美国研制出一种精准异常的原子钟，它在比地球年龄还长的50亿年间既不会慢，也不会快，哪怕一秒钟。这个“锶晶格钟”的精准度比以前的世界纪录保持者一一美国国家标准与技术研究所（NIST）的量子逻辑时钟高50％。它的稳定性也令人难以置信，每一次嘀嗒计时都与所有其他时间刻度相符。 展开更多

关键词 逻辑时钟 美国国家标准 误差 地球年龄 世界纪录 原子钟 研究所 稳定性

在线阅读 下载PDF 职称材料

自稳定的分布式事务内存模型及算法 被引量：1

13

作者 林菲 孙勇 +1 位作者 丁宏 任一支 《计算机研究与发展》 EI CSCD 北大核心 2014年第9期2046-2057,共12页

针对具有瞬时故障的分布式系统,综合考虑系统鲁棒性和可扩展性,提出了一种自稳定的分布式事务内存模型(self-stabilizing distributed transactional memory,SSDTM).首先,利用分层技术和抵押组合理论建立模型框架,并对生成树算法进行了... 针对具有瞬时故障的分布式系统,综合考虑系统鲁棒性和可扩展性,提出了一种自稳定的分布式事务内存模型(self-stabilizing distributed transactional memory,SSDTM).首先,利用分层技术和抵押组合理论建立模型框架,并对生成树算法进行了自稳定改进,以克服现有算法只能适应稳定环境的缺点;其次,将数据流技术与自稳定相结合,设计了数据对象操作方法,提高了系统的数据访问局部性;然后,在给出事务服务模型的基础上,提出了基于改进逻辑时钟的SSDTM并发控制算法;最后,结合理论推导,使用4个典型测试用例在SimJava环境下对SSDTM进行了多角度、大规模的分析和性能测试.结果表明,所提算法具有较强的参数鲁棒性和适用性,与其他模型相比,SSDTM具有更高的吞吐量和容错性. 展开更多

关键词 自稳定 事务内存 瞬时故障 生成树 弹道目标 逻辑时钟

在线阅读 下载PDF 职称材料

梯度下降算法在时间同步中的优化 被引量：2

14

作者 刘云 肖雪 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第5期659-664,共6页

规模化无线传感网各节点时间同步的关键因素是提高节点间的同步精度和收敛速度。该文提出一种基于梯度下降法的多跳时间同步(GDTS)算法,采用梯度下降算法对误差函数的步长进行迭代更新,调整接收节点的逻辑时钟频率和偏移值,得到使误差... 规模化无线传感网各节点时间同步的关键因素是提高节点间的同步精度和收敛速度。该文提出一种基于梯度下降法的多跳时间同步(GDTS)算法,采用梯度下降算法对误差函数的步长进行迭代更新,调整接收节点的逻辑时钟频率和偏移值,得到使误差函数最小化的逻辑时钟频率和偏移比值的最优估计值。数值分析和仿真结果表明,与FBTS和PISync两种算法对比,GDTS算法具有良好的可扩展性,收敛速度及同步精度性能上均有优化。 展开更多

关键词 时间同步 逻辑时钟 迭代 梯度下降算法

在线阅读 下载PDF 职称材料

无线传感器网络时间同步算法误差分析 被引量：6

15

作者 钟海东 邬春学 孔若英 《微计算机信息》 北大核心 2008年第4期151-152,共2页

时间同步是无线传感器网络应用的重要组成部分,传感器数据融合、传感器节点自身定位等都要求节点间的时钟保持同步。本文以时间同步的基本原为出发点分析了基于发送者-接收者交互模型的时间同步过程及其误差。为无线传感器网络间同步机... 时间同步是无线传感器网络应用的重要组成部分,传感器数据融合、传感器节点自身定位等都要求节点间的时钟保持同步。本文以时间同步的基本原为出发点分析了基于发送者-接收者交互模型的时间同步过程及其误差。为无线传感器网络间同步机制设计和分析提供一定的理论依据。 展开更多

关键词 传感器节点 本地时钟 逻辑时钟 误差

在线阅读 下载PDF 职称材料

多台PC实现分布式服务器的应用和分析 被引量：2

16

作者 刘德威 尹军 《计算机工程与科学》 CSCD 2002年第6期18-19,104,共3页

在一些特殊应用中 ,常会出于成本的考虑 ,使用多台PC作为服务器 ,由于PC自身性能有限 ,因此 ,在应用中会遇到一些问题 ,比如PC的稳定性较差 ,不宜扩展 ,主板时钟不够准确等。本文讨论了解决这些问题的方法 。

关键词 PC 分布式服务器 逻辑时钟 PETRI网

在线阅读 下载PDF 职称材料

基于DDR SDRAM控制器时序分析的模型 被引量：7

17

作者 程晓东 郑为民 唐志敏 《计算机工程》 CAS CSCD 北大核心 2005年第17期182-184,共3页

定义了时钟单位阶跃信号C(n),提出了一种利用带相对时钟坐标的逻辑方程表示逻辑信号的方法;通过对所设计的DDR SDRAM控制器的读写时序的分析,建立了控制器主要信号的时序表达式,并利用所建立的时钟逻辑方程对DDR控制器的读过程进行了简... 定义了时钟单位阶跃信号C(n),提出了一种利用带相对时钟坐标的逻辑方程表示逻辑信号的方法;通过对所设计的DDR SDRAM控制器的读写时序的分析,建立了控制器主要信号的时序表达式,并利用所建立的时钟逻辑方程对DDR控制器的读过程进行了简单的分析。这种方法可以应用到内存系统的带宽和延时估计方面,比较直观。 展开更多

关键词 时钟逻辑方程 DDR SDRAM控制器 时序模型

在线阅读 下载PDF 职称材料

数据因果一致性研究综述 被引量：7

18

作者 田俊峰 王彦骉 +3 位作者 何欣枫 张俊涛 杨万贺 庞亚南 《通信学报》 EI CSCD 北大核心 2020年第3期154-167,共14页

数据因果一致性是分布式存储中保障数据一致性的重要方案之一,目前的因果一致性方案研究重点包括时钟方法的优化、协议的设计以及操作事务序列的优化等方面。实际上云环境除了时钟漂移、查询放大等情况之外,还存在木马、不可信第三方等... 数据因果一致性是分布式存储中保障数据一致性的重要方案之一,目前的因果一致性方案研究重点包括时钟方法的优化、协议的设计以及操作事务序列的优化等方面。实际上云环境除了时钟漂移、查询放大等情况之外,还存在木马、不可信第三方等不安全因素,以致于破坏因果一致性元数据、用户操作结果的一致性,甚至影响存储环境的可用性。从一致性存储性能提升和安全保障角度出发,结合区块链等共识机制,对比分析了时钟同步方法、数据复制策略、服务端协议的分析设计以及操作事务序列化等研究方向,总结讨论了它们的的原理、优势、局限性以及安全约束方面的不同效用,进而指出未来的发展趋势和后续研究方向,期望对该领域的研究起到参考和帮助作用。 展开更多

关键词 数据一致性 因果一致性 分布式存储 混合逻辑时钟 云存储

在线阅读 下载PDF 职称材料

基于FPGA的数据采集系统设计 被引量：14

19

作者 叶卫东 曹照连 《现代电子技术》 2005年第24期112-114,共3页

设计了以FPGA为核心逻辑控制模块的高速数据采集系统。设计中采用了自顶向下的方法,将FPGA依据功能划分为几个模块,详细论述了各模块的设计方法和控制流程。FPGA模块设计使用VHDL语言,在M ax+P lusⅡ中实现软件设计和完成仿真。本文给... 设计了以FPGA为核心逻辑控制模块的高速数据采集系统。设计中采用了自顶向下的方法,将FPGA依据功能划分为几个模块,详细论述了各模块的设计方法和控制流程。FPGA模块设计使用VHDL语言,在M ax+P lusⅡ中实现软件设计和完成仿真。本文给出了一些模块的仿真图形。整个采集系统可实现24路最大工作频率为100 kH z的现场模拟信号采集和4路频率信号采集,且该系统也采集8路系统内部通道信号以达到自校验功能。 展开更多

关键词 FPGA 数据采集 时钟逻辑运算 VHDL语言

在线阅读 下载PDF 职称材料

一种基于HashGraph的NoSQL型分布式存储因果一致性模型 被引量：4

20

作者 田俊峰 王彦骉 《计算机研究与发展》 EI CSCD 北大核心 2020年第12期2703-2716,共14页

分布式环境中的数据因果一致性指的是对具有因果依赖性的数据进行更新时,须同步更新其他分布式副本中的依赖性元数据,同时满足较高的可用性和性能需求.为解决现有成果中更新可见延迟较高的问题,在数据中心稳定向量的基础上,结合混合逻... 分布式环境中的数据因果一致性指的是对具有因果依赖性的数据进行更新时,须同步更新其他分布式副本中的依赖性元数据,同时满足较高的可用性和性能需求.为解决现有成果中更新可见延迟较高的问题,在数据中心稳定向量的基础上,结合混合逻辑时钟和HashGraph原理,提出了Causal-Pdh模型.使用部分向量和校验值作为消息签名代替了所有向量,并且借鉴HashGraph的原理,改进了各个数据中心同步最新条目的过程,各个父节点随机与其他父节点同步最新状态,从而降低了虚拟投票所使用的时间.最后通过实验验证了Causal-Pdh模型不仅没有影响客户端的吞吐量,而且在时钟偏移较严重时降低了20.85%的用户PUT等待延迟,在系统中存在查询放大的情况时,PUT响应时间降低了23.27%. 展开更多

关键词 数据一致性 因果一致性 分布式存储 Hash图 混合逻辑时钟

在线阅读 下载PDF 职称材料