数字电路自动测试生成实用化软件

介绍了针对ATE应用和TPS开发的需要首次在Windows NT平台上研制的一套数字电路诊断测试数据自动生成的实用化软件系统OCTOPUS100。该软件与已有的ATPG软件相比具有成本低,有利于推广等优点。该软件具有灵活性、实用性和通用性,经实验与试用表明有很高的实用价值。     

可穿戴计算机无线显示系统

分析了目前流行的基于网络的各种远程显示控制技术,总结其实现远程显示控制的方法以及提高带宽利用率的策略,并针对不同技术的特点进行了比较。提出一种适用于可穿戴计算机的无线显示设计方案,采用软硬件结合的方法解决穿戴式计算机无线显示问题,最后提出了需要进一步研究解决的问题。     

SoC测试集成的研究环境构建

构建了一个具有结构和功能信息的研究环境,供与SoC测试集成相关的研究使用.该环境是一个包含典型功能模块和可测性设计（design for test,DFT）方法的SoC电路,其结构化的特点使它能应用于测试接口的设计与优化、测试访问机制的设计与优化、测试调度、基于P1500标准的测试集成方案设计等众多研究领域.     

在形式验证和ATPG中的布尔可满足性问题

介绍布尔可满足性(SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用．着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息，以便提高问题求解效率．最后给出下一步可能的研究方向。     

e—home在中国

从e-home的概念、功能、网络结构出发，论述建设e-home的意义、要解决的主要技术问题、e-home系统的特点、推广应用中存在的主要问题、并对我国在e-home领域作了估计和展望。     

电流源激励下的模拟电路端口电压测试方法

文章研究了电流源激励下，二端口网络的输入端电压和输出端电压随网络中元件参数变化时相互之间的关系，并在此基础上提出了一种模拟电路故障诊断新方法。该方法不仅能够同时诊断元件的硬故障和参数偏移故障，而且能够同时运用于直流测试和交流测试。     

“智能家居”系列讲座之一 掀开智能家居的面纱

如果您足够细心,一定会发现当前出现的许多房地产广告突出的不再只是地理位置优越、环境优美等等,宽带网络和智能家居之类的词汇也越来越多,“智能小区”和“智能家居”正在成为许多房地产公司、网络集成公司推崇的热点词汇。 那么,“智能家居”究竟包括哪些含义?包括哪些技术?它会给哪些行业带来怎样的影响?在这里,我们请到了这方面的专家杨士元教授,请他为我们讲解“智能家居”的来龙去脉。本次系列讲座分三讲,将介绍智能家居的基本概念和组成、智能家居的具体结构和相关技术以及智能家居的市场情况。     

解剖智能家居

“智能家居”系列系列之二 上期我们介绍了智能家居的基本概念。但是,在一个智能家庭网络中,具体包括那些设备和技术? 智能家庭网络中与IT技术的联系主要在哪里? 会对那些行业和企业产生影响? 本期我们请杨教授带领我们走入智能家居的内部去看一看。     

“智能家居”系列讲座之三——透视智能家居市场

前面两期讲座中,我们系统介绍了智能家居的功能、特点、结构和相关技术。如今智能家居已经有了什么样的产品?使用的状况怎么样?这个明天巨大的市场会给哪些行业带来影响?作为本次讲座的最后一讲,我们将就这些内容为您介绍。     

CMOS电路最大功耗宏模型

参照已有的平均功耗宏模型研究成果,将电路最大功耗假设为输入向量对序列长度与跳变率的函数,并采用神经元网络拟合出该函数．ISCAS85电路集的实验结果表明,最大功耗宏模型的计算结果与门级电路最大功耗的实际模拟结果之间的误差可以控制在10％以内．