智能家庭技术在中国

我国的智能家居网络技术的发展始于上个世纪九十年代末。到2000年开始广泛介绍和宣传智能家庭概念，使我国的居民了解智能家庭的概念，并感觉到我们在跨入新世纪的同时，自己的家居也将进入智能化的新时代。其中广播电台、电视、报纸和杂志等诸多媒体的功不可没，在这一年中是达到了这个目的的。相当一部分居民已经接受了智能家居这个概念，各小区的开发商在住宅的设计阶段也已经或多或少考虑了智能化功能的设施，少数高档的住宅小区已经配套了比较完善的智能家庭网络，并在房地产的销售广告中，已经开始将“智能化”作为一个“亮点”来宣传…     

概率引导的随机采样一致性算法

为了提高随机采样一致性算法的计算效率,提出一种概率引导的随机采样一致性算法.根据采样模型在原始数据上的检验结果调整每个样本点的采样概率,使得正确样本和正确模型被采样的概率得到提高.在首次获得正确模型之后,样本采样与模型更新构成了一个正反馈环节,经过若干次迭代后,正确样本被采样的概率远超过错误样本被采样的概率.理论分析和实验数据表明,该算法收敛需要的迭代次数较少,有效地提高了随机采样一致性算法的效率.     

基于IETM驱动的智能化便携诊断设备

由IETM驱动的便携诊断设备目前已成为舰船电子设备现场级维修所依赖的主要手段和工具;为解决某雷达告警设备的现场级诊断问题,提出了一种采用成熟的AIMSS软件和TEAMS软件,综合测试诊断需求分析、测试性分析评估、诊断策略生成和IETM开发过程,并根据顶层分配的测试需求研制由IETM驱动的现场便携式智能诊断设备的方法;同时,采用COM接口技术解决了两个软件的诊断信息融合;研制的设备已在基层部队得到试用,经济适用,对告警设备现场级维修能力的提高具有明显的促进作用。     

数字家庭遥控器的研究与开发

数字家庭是融合了家庭控制网络和多媒体信息网络于一体的信息化平台,遥控器是数字家庭的控制终端.本文设计的数字家庭遥控器采用了32位ARM处理器内嵌操作系统和网络通讯的解决方案,具有较强的处理能力和可扩展性,实现了家庭网络系统控制、游戏娱乐、视频播放等数字家庭功能.     

一种新的CMOS组合电路最大功耗快速模拟方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击,降低芯片的可靠性及性能,因此有效地对电路最大功耗做出精确的估计非常重要。由于在实际电路中存在的时间延迟,而考虑延时的电路功耗模型计算量较大,因此用模拟方法求取电路最大功耗非常耗时。为了在尽可能短的时间内对VLSI电路的最大功耗做出较为可信的估计,首次提出了二阶段模拟加速方法。对ISCAS85电路集的实验结果表明,这种估计方法具有最大功耗估计值准确和加速明显的优点。     

一种新的CMOS电路最大功耗估计方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击,降低芯片的可靠性及性能,因此有效地对电路最大功耗作出精确的估计非常重要,为了在尽可能短的时间内对VLSI电路的最大功耗下限作出较为可信的估计,给出了一种新的CMOS电路最大功耗估计方法,ISCAS85电路集的实验结果表明这种估计方法不仅对于无时间延迟功耗计算模型,而且对于有时间延迟功耗计算模型,都具有最大功耗估计值较准确和耗时短的优点。     

派克矢量旋转变换在感应电机定子故障诊断中的应用

负序电流是感应电机定子故障的主要故障特征量之一,但是在实际电机中,供电电压不平衡,电机制造和装配误差造成的先天不平衡、负载的大小变化等都会影响负序电流的大小,因此不考虑这些因素的影响而单纯从负序电流的大小来诊断定子故障及故障的严重程度容易出现误判。当定子故障发生时,总的负序电流是由负序电压产生的负序电流分量、电机先天不平衡产生的负序电流分量以及定子绕组故障引起的负序电流分量的相量和构成的。该文通过派克矢量的旋转变换,可以在大量谐波和噪声存在的情况下,求得电流和电压的基波正序和负序相量,并通过负序阻抗和径向基函数神经网络排除负序电流中其他非故障因素的影响,得到负序电流中与定子故障相对应的分量,并以此为依据进行故障诊断。实验结果表明,该方法是一种可行、有效的方法。     

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

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

用于CMOS电路平均功耗快速模拟的输入向量对序列压缩方法：理论与实践

过大的平均功耗使芯片产生较多的热量,降低芯片的可靠性及性能,严重时会损坏芯片,因此有效地对电路平均功耗做出精确的估计非常重要。由于实际电路存在时间延迟,而考虑延时的电路功耗模型计算量较大,用模拟方法求取电路平均功耗非常耗时。为了在较短的时间内对VLSI电路的平均功耗做出较为可信的估计,该文提出了一套电路功耗分析理论,并由此给出了一种用于CMOS电路平均功耗快速模拟的输入向量对序列压缩方法,ISCAS85及ISCAS89电路集的实验结果表明这种估计方法具有平均功耗估计值准确和加速明显的优点。     

独立分量分析在感应电动机转子故障特征提取中的应用

在定子电流信号的频谱分析诊断感应电动机的故障时,转子断条故障特征频率分量常常被电流的基频分量淹没。针对这一情况,本文提出将独立分量分析应用于提取异步电动机转子故障特征。电流信号的信息空间是由电流的自相关矩阵足,的特征向量张成的。将最大主分量（主要由基频分量构成）和噪声对应的特征向量去掉,由其余的特征向量张成降维信号子空间S^＊。将足,投影到S^＊,削去Ri中的基频分量和噪声后,再利用独立分量分析提取故障特征分量。仿真和实验表明,该方法用于提取转子断条故障特征是可行并且是有效的。