组合电路穷举输入检测故障

本文对组合电路中的故障检测这一基本问题作了实例分析,指出,穷举输入序列不一定能检测所有可能的Stuck-Open型故障。纠正了“组合电路穷举输入能检测所有可测故障①” 的不准确说法。     

串行反馈内置自测试设计的研究

本文给出一种串行反馈内置自测试设计结构，分析了它的状态转移图的拓扑结构，并对若干电路做了模拟实验。研究表明：添加反馈线沟通测试图形生成和响应压缩部分，既能提高测试图形的随机性，又可以降低错误特征被漏检的可能性，从而提高故障覆盖率。     

BOOLEAN表达式故障的测试方法研究

分析了软件BOOLEAN表达式中常见的故障。给出了VNF测试的一般计算格式 ,并证明了测试VNF的用例UVNF对ENF、VRF、ORF、ASF的检测能力。该方法对BOOLEAN表达式故障的检测是通用的。     

基于最小包含圆的无线传感器网络定位算法

提出一种新的无需测距定位算法--基于最小包含圆的定位(SECL).该算法根据目标周围的锚节点所决定的最小包含圆来估计目标位置.基于最小包含圆的算法考虑的不是坐标系中所有锚节点位置的平均值,而是覆盖所有锚节点区域的几何中心,能够有效地控制锚节点分布不均匀给定位带来的负面影响.仿真结果显示,相对于质心算法平均定位精度能提高10%以上.SECL在锚节点拓扑不均匀情况下,精度提升更高.     

CMOS电路动静态功耗协同分析

文章在分析了现有功耗模型后，给出了一种动态功耗和静态功耗协同分析方法，定义了均方率（VER）和最大偏移率（MSR）两个基本参数，它们和均值与方差一起，用来描述复杂的功耗行为，给低功耗设计提供了更多有用信息。基于ISCAS85、ISCAS89和ITC99电路集的实验表明，该文提出的方法和相关参数对低功耗设计和热量耗散是非常有价值的。     

节能无线传感网络系统设计

Wireless sensor networks have already enabled numerous embedded wireless applications such as military, environmental monitoring, intelligent building, etc. Because micro-sensor nodes are supposed to operate for months or even years with very limited battery power source, it is a challenge for researchers to obtain long operating hour without scarifying original system performances. In this paper, the energy consumption sources of the wireless sensor networks are firstly analyzed, with the digital processing and radio transceiver units being emphasized. Then, we introduce the design scheme of our energy-aware wireless sensor network (GAINS). In GAINS, techniques to conserve the energy are exploited including the energy optimization node, software and energy-efficient communication protocol. The design architecture of our ultra low power wireless sensor network (WO-LPP) is specially presented.     

降低时延测试功耗的有效方法

研究时延测试（应用）中的功耗问题，提出一种降低时延测试功耗的测试向量排序方法，该方法利用时延测试向量对之间的海明距离为测试向量对排序，实验研究表明，在不同降低时延故障覆盖率的前提下，测试功耗平均降低90％。     

基于增量可满足性的等价性检验方法

组合验证是数字集成电路形式化设计验证的重要方面．该文提出了一种基于增量布尔可满足性的组合等价性检验方法，通过合理选择候选等价结点和增量可满足性算法来提高算法性能，并通过对内部等价结点的置换及将等价关系转化为相应的合取范式公式，避免了误判的发生，又能缩小验证程序的搜索空间．针对ISCAS’85电路的实验结果表明，该文提出的方法比以往同类方法更快、更强健．     

虚拟仪器技术分析

本文从支撑技术角度介绍了虚拟仪器的概念，概括了虚拟仪器的特性，分析了虚拟仪器的硬件平台及其依托的软件基础，并以ＬａｂＶＩＥＷ为例介绍了虚拟仪器的开发环境。