无线网络节点的均匀性度量

考虑到无线传感器网络定位精度除受节点密度和覆盖程度影响外,锚节点分布的不均匀性是一个重要影响因素,对基于近似偏差的网络节点分布均匀性度量方法进行了改进,提出了定量描述锚节点均匀程度的Gabriel图和Voronoi图相结合的均匀性测度(GVGUM)方法,GVGUM方法使用Gabriel边表征节点的疏密,使用Voronoi单元的面积表征节点控制区域的大小,比基于近似偏差的方法能更好地表征节点的均匀程度。     

基于输出违例概率的时延向量测试质量评估

针对冒险引起的测试质量评估误差,本文提出了一种基于输出违例概率的测试质量评估方法.定义了到达时间窗口和输出违例概率的概念,使用输出违例概率来反映测试向量的小时延缺陷检测能力,有效地避免了忽略冒险引起的计算误差,从而准确的评估了向量对小时延缺陷的检测质量.实验结果表明,相对于基于输出偏移的国际同类方法,本文的评估方法不增...     

加速路径时滞故障的强健测试产生

探讨如何利用针对固定型故障测试产生的比较成熟的算法，结合时滞故障的特点，进行路矩时滞故障的强健测试产生，在十值逻辑完备的基础上，提出最大输入组的概念，减少测试过程中不完善和重复的选择；给出多路回退过程中的目标传播规则，以减少传播过程中的目标个数，加快回退速度；改进了路径敏化方法，强调了对局部结果的保存和利用，减少重复计算，探讨了时滞测试中ＸＯＲ／ＮＸＯＲ门的直接处理方法，在ＦＡＮ算法基础上，实现了     

基于BDD的组合电路等价性检验方法

文章分析了目前常用的等价性检验方法的特点，包括功能性和结构性的验证方法，讨论了基于二叉判决图（BDD）的组合电路等价性检验方法，并分析了等价性检验过程中的误判问题及其消除方法，然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法，实验结果表明了该方法的有效性。     

门时滞故障大小的计算

本文提出了一种简化的八波形方法,以描述门时滞故障模拟中的实际波形,并给出了波形的计算方法。八波形方法充分考虑了门输出波形的类型与输入波形的类型和时间因素的关系,比较精确地反映了故障模拟中的实际波形。在八波形描述的基础上,提出了一种δ—事件驱动的故障模拟算法,以确定被测门时滞故障的大小。     

一个无线传感网络时间同步模拟器

Time synchronization is a critical middleware service of wireless sensor networks. Researchers have already proposed some time synchronization algorithms. However, due to the demands for various synchronization precision, existing time synchronization algorithms often need to be adapted. So it is necessary to evaluate these adapted algorithms before use. Software simulation is a valid and quick way to do it. In this paper, we present a time synchronization simulator, Simsync, for wireless sensor networks. We decompose the packet delay into 6 delay components and model them separately. The frequency of crystal oscillator is modeled as Gaussian. To testify its effectiveness, we simulate the reference broadcast synchronization algorithm (RBS) and the timing-sync synchronization algorithm (TPSN) on Simsync. Simulated results are also presented and analyzed.