基于索引的准同步检查点的重新计时策略

基于索引的分布式检查点算法利用了Lamport逻辑时钟的思想来保证形成全局一致性检查点(或者恢复线)。作为一种准同步方法,基于索引的检查点算法具有异步检查点算法的灵活性,且能像同步算法一样避免多米诺效应。本文在著名的BCS算法的基础上提出了一种减少基本检查点数目的优化策略--重新计时法。最后,通过模拟实验证明了这种改进策略的有效性。     

基于半马尔柯夫过程的流量预测方法

提出了一种基于半马尔柯夫过程的流量预测方法。通过半马尔柯夫过程描述网络流量特性，将网络流量划分为四种状态：忙、空闲、上升和下降。通过各状态下的网络流量特性及各状态间的相互转换关系，推导了对忙状态下网络流速率上界的预测方法。对广域网和局域网的实际流量数据的分析和检验表明，95%的数据均服从半马尔柯夫过程相应状态下的随机分布；90%的流量预测以0.8或0.9的概率低于我们所预计的流量上界，且主干网流量预测的流量上界与实际流量之间的相对误差低于15%。     

一个基于实际测试的网络流量模型

网络流量模型是网络性能评价、网络协议设计和网络规划等的基础。本文设计了一种在于实际网络测试的时间相关流量模型的方法,采用该流量模型预测网络流量。文章提出了网络流量预测精度的数学定义。网络测试实验表明,此流量模型具有更高的精度,适用于实际运行的网络环境。     

数字电路并发差错定位的概念与基本结构

在数字电路的并发差错检测理论的基础上,建立了一种并发差错定位数字电路理论,它包括并发差错定位电路有关特性的定义,实现基本功能的电路的模块结构及其内部模块之间互连的条件,数字电路的并发差错定位指的是电路在政党工作条件下,无需任何外加用于定位电路故障的输入矢量就能自动定位其内部的故障,一个基本并发差错定位电路由实现电路基本功能的基本功能模块和实现电路差错定位功能的定位器级联所构成,系统地定义了表征并发     

第22届国际设计自动化会议简况

1985年6月23日—26日在美国内华达州拉斯维加斯举行了第22届国际自动化会议(DAC 85)。这个会是由美国计算机协会(ACM),设计自动化组、电气和电子工程师学会(IEEE)计算机学会设计自动化技术委员会共同举办的,得到许多公司的支持。参加这次会议者超过了3800人。会议期间,该市还专门为这个会议出版了日报。在开幕当天的报纸第一版登了本届会议三篇最优秀论文作者受奖的大幅照片,其中就有我国的访美学者沙露同志。她与R.W.Dutton教授合作的论文,“对任意大小长方形块布局的分析算法”,获得大会最优秀论文奖。     

布尔过程在通路敏化中的应用

对高性能数字电路来说，定时的研究与分析是非常重要的，新近提出的布尔过程是定时分析的有效的理论工具，它将电路的逻辑关系和定时关系统一地表示在一个表达式中。本文首先介绍布尔过程的基本概念，然后利用此方法对任意输入模式下的通路敏化问题并行讨论－－重新定义通路敏化的概念，并通过一个例子说明几种主要的敏化定义之间的不同，给出并证明判定通路敏化的充要条件，文章最后提出计算敏化通路的原始输入波形的算法，并给以证     

一个有效的通路时滞故障测试生成系统DTPG

本文提出了一种两向量测试模式下的通路时滞故障分类，并在此基础上设计并实现了一个有效的通路时滞故障测试生成系统ＤＰＴＧ，该系统可识别强健可测通路、非强度可测通路和功能可敏化 通路。     

一种基于规范和程序域分析的软件测试方法

虽然软件规范规定了输入变量的定义域(功能域)，但程序实现本身也定义了其定义域(运行域)．如果二者不能完全重合，那么某些软件故障就可检测出来．为此，提出了一种基于规范和程序域分析的软件测试方法，介绍了一个运行域自动确定系统ADSOD，并讨论了边界测试数据的选取原则．对特殊表达式，采用程序切片技术，构造基于表达式的可执行模块，通过执行该模块，识别其输入变量的奇异值，进而确定其输入变量的取值范围．通过分析功能域和运行域的边界测试数据集，检测二者的重合性，并根据其分析结果产生测试用例．实验表明：所提方法产生的测试用例，可以有效地提高测试效率．     

一种基于索引的准同步检查点协议

在基于索引的分布式检查点算法中,尽量减少全局一致性检查点和强制检查点的数目对提高计算效率具有重要意义．该文在已有的基于索引的检查点算法的基础上,提出了一种新的检查点协议,既减少检查点的数目,又使各个进程的检查点之间实时同步,以免程序出错后回卷执行的开销太大,丢失过多有效计算．模拟实验表明,按该文所提协议,平均每条消息导致的强制检查点数比传统方法平均减少23．2％．