A new model for verification

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.     

基于GPRS短信息的GPS汽车定位与防盗系统的研究

随着人民生活水平的普遍提高,汽车逐渐进入家庭.但是每年汽车的偷、盗、抢案越来越多.在此背景之下,运用GPRS短信息技术和GPS全球定位技术,在嵌入式开发平台上将二者完美的结合在一起对汽车定位防盗系统进行了研究,实现了汽车导航和防盗功能的结合及3大通用模块的应用.系统研究的过程中采用了开销较小的IP和UDP协议来实现GPRS通信,采用了定位精度高、可靠性高的Jupiter021 GPS接收机来实现GPS定位.系统应用起来稳定可靠,具有较强的实用性.     

考虑噪声效应的VDSM延时测试生成方法

为了解决超深亚微米芯片的延时测试问题，首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法，用波形多项式描述的同时发生的跳变数来预测噪声大小，并生成能产生最大跳变数目的输入波形；然后同基于波形敏化的长敏化通路选择法相结合，提出了一种基于布尔过程论的能产生最大噪声效应的敏化测试波形生成方法。实验表明，本文提出的方法可以应用在复杂电路的延时故障测试中，有较好的推广价值。     

常一中换热器失效原因分析

通过对失效的常一中换热器进析了全面的检验及分析后，认为常一中换热器的壳体、管束和紧固螺栓的开裂是在含有碳酸盐的高温循环水的介质中，由于应力腐蚀而产生的沿晶脆性断裂，并提出了改进措施。     

完全在线的双目直接法视觉SLAM算法

视觉SLAM在机器人的室外作业如野外探索、定位侦察中扮演了重要角色.为了使得机器人可以更好地进行室外作业,提出一种不受词袋模型的固定词汇限制的完全在线实时双目直接法视觉SLAM算法.作为直接法视觉SLAM,所提到的系统可以利用任何具有足够强度梯度的图像像素,使其在缺少特征点的区域仍具有很强的鲁棒性.在系统算法中引入双目静态残差约束并去除遮挡的滑窗优化来增强系统的跟踪精度,增加闭环检测和位姿图优化模块,并建立在线词袋模型,使得系统在大规模且陌生的环境中依然可以进行工作.将此算法在公开的EuRoC数据集和KITTI数据集上进行性能评估,结果表明,所提出的系统的定位精度优于最先进的直接法视觉SLAM系统,且室内场景和室外场景均具有鲁棒性.     

一种检测电路中关键路径的新算法

伪路径的存在严重影响了对大规模集成电路的定时分析．为了克服该问题,文中给出一种基于SAT和GRASP求解算法的识别伪路径的方法,在此基础上引入动态期望值的手段得到一种检测组合电路中的关键路径的快速方法．实验证明,该方法可以在微机环境下对一些大规模的基准电路实现对关键路径的快速检测．对规模为几千个逻辑门的基准电路,该算法可以在半分钟内得到电路的关键路径,而且可以将关键路径时延减小,为确定精确的电路时延提供了依据。     

基于布尔过程论的层次化延时分析方法

芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求。电路的延时不仅与电路的拓扑结构有关,而且还与电路的逻辑功能及输入都有密切的关系。采用Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式作为理论基础,提出了波形多项式偏导的概念,并用之重新定义了敏化。用偏导定义的敏化改进了解析延时模型,基于最长可敏化通路的延时建立了电路模块或子电路的延时矩阵模型,由延时矩阵模型出发提出了一种精确的电路层次化延时分析方法。最后用实验验证了文中提出的延时分析方法的有效性。     

板坯连铸机终浇时尾坯滞坯的原因分析

对板坯浇注结束时尾坯在扇形段滞坯的故障进行了分析,并介绍了解决故障的方法。     

串扰最小化的网格模式下的双层通道布线

超深亚微米IC设计中互连线的串扰情况与详细布线方案和信号波形密切相关。基于这一事实，在网格模式下的通道布线算法中建立了最小化串扰的目标函数。提出获得最小化串扰布线方案的方法。与以往算法不同的是，本方法将相邻平行线间信号跳变的方式和频度作为目标函数中的影响因子。可以更准确地估计出布线区内串扰总和的大小。并且通过构造布线生成树的方法求得精简的布线方案。有效地减少了求解具有最小串扰的布线方案的计算量。     

多用途下肢康复外骨骼结构设计与实验

为有效解决由于脊柱损伤、脑损伤、脑血管疾病及骨关节手术所导致的人体下肢运动功能障碍,提出了一种多用途可拆卸下肢康复外骨骼设计方案,设计了基于扭矩传感器的力感知高集成助力关节,在腿部泛型尺寸结构设计的基础上,提出了一种基于螺纹传动的双向同步快调机构,实现了单手徒手快速调节外骨骼腿部长度的功能.基于外骨骼运动平衡安全性及广泛适用性等问题的考虑,将下肢康复外骨骼与可升降移动护架有机结合,提出了下肢康复外骨骼整体结构及可升降移动护架结构,既保证了外骨骼运动过程中的平衡安全性,又同时适用于轻度、中度、重度等不同程度的下肢运动功能障碍患者.为合理规划下肢康复外骨骼运动步态,进行了平地、上坡、下坡、上楼梯、下楼梯等步态数据的采集及处理,搭建了控制系统.为了验证理论研究成果,加工了实验样机,并进行了相关实验验证.实验结果表明:扭矩传感器具有较高的实时性及准确性,外骨骼具有广泛适应性,结合移动护架可为患者提供有效的减重环境,外骨骼可实现起立、坐下、平地行走、上下斜坡及上下楼梯等功能.