FAOG:基于过滤技术和AOG的组合电路多故障诊断算法

本文提出了一种用于组合电路中的多故障诊断的新算法FAOG（Filtered AND／OR graphs）。此算法基于过滤技术和AOG图。其中过滤技术用来除去电路中的非可能致错部分，以减少所需处理的电路规模。AOG是与电路对应的AND／OR图，是改错的关键部分。此算法对于树状组合电路是完全自动的。对于普通组合电路是半自动的。它既解决了基于模拟的改错算法只能限定出错区域而不能告知如何诊断故障信息的局限性，也大大减轻了符号诊断法的内存爆炸问题。实验表明，这是一种快速高效的故障诊断方案，适用于多故障的组合电路。     

基于等价性形式验证的逻辑综合引擎设计研究

本文描述了一个基于等价性验证的逻辑综合引擎，它实现了从RTL级到网表级的综合。设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性，所以综合引擎本身的正确性是本文首要关注的问题。为了提高等价性验证引擎的工作效率，本文还提出并实现了一系列保持电路相似性的方法。最后，本文以SYNOPSYS的等价性验证工具FORMALITY作为比较，试验结果表明本系统是有效的。     

多模式匹配算法研究和优化

模式匹配在网络安全领域有着重要的应用,随着网络环境的日益复杂,模式集合也随之增加.如何高效处理千万模式集下的字符串匹配成为网络安全的瓶颈之一.本文针对多模式匹配算法AC算法和WM算法进行了研究,采用了新型基于层次扫描和子节点数目搜索的双数组AC算法;从hash函数的选取和模式串的Tree树存储对WM算法进行了优化.能有效减少系统的内存占用,提高匹配效率.     

网络可靠性仿真

讨论了在链路以及节点均可能失效情况下,把节点的失效等效为与之相连链路的失效,运用蒙特卡洛法对网络可靠性进行仿真。并给出了仿真次数对仿真结果的误差的影响。     

全光混沌序列发生器设计

如何在光域产生混沌序列并将其作为光码分多址OCDMA(optical code division multiple access)系统的地址码,是近年来一个新的研究方向。利用马赫-增德尔干涉仪设计了一种完全在光域产生模拟双极性混沌序列的发生器。通过控制马赫-增德尔干涉仪两臂引起的相移来调制输入光电场的振幅和相位,使得输出光电场矢量等于输入光电场矢量与余弦项的乘积,多个干涉仪及光纤延迟线和相移器可以构成混沌序列发生器,并按logistic映射在光域产生双极性混沌序列。此混沌序列发生器可作为OCDMA系统的编解码器,提高保密性并增加系统可容纳的用户数。     

自适应光学技术在惯性约束聚变领域应用的新进展

在惯性约束聚变(ICF)领域,采用自适应光学(AO)技术进行波前控制是解决ICF激光系统中光束质量问题的重要手段.报道了"神光Ⅲ"原型装置中8套工程化自适应光学系统、未来ICF系统发展所需的大口径可拆卸变形镜(DM)样镜研制以及ICF自适应光学波前控制技术的最新研究进展.8套工程化自适应光学系统在"神光Ⅲ"原型装置上实现了到靶点的全系统静态像差校正,改善了靶点焦斑能量分布,验证了校正对打靶时X射线分布的改善效果.所研制的17单元大口径可拆卸变形镜的口径为284 mm×284 mm,行程大于±6μm,谐振频率大于500 Hz.在ICF自适应光学波前控制技术中,采用了基于哈特曼传感器近场相位测量的控制方法和基于靶室远场的随机并行梯度下降(SPGD)控制方法均能取得良好的校正性能.     

利用改善的静态隐含策略加速等价性验证

随着近年来高效SAT(Satisfiability)求解算法提出，SAT已成为集成电路形式验证方法中重要引擎之一。但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述，丢失了电路的拓扑信息。本文利用改善的静态隐含策略来提取有用子句作为预处理，来加快验证过程。本文算法在原有静态隐含技术的基础上，引入了关联节点隐含及隐含过程加速策略。给出的ISCAS85电路的实验结果表明算法的有效性。     

粉末冶金制品激光熔覆组织与性能研究

本文对常规烧结的铁基粉末冶金制品表面激光熔覆处理进行了研究,采用SEM和TEM对熔覆样品的显微组织进行了观察,测试与分析了其孔隙度和显微硬度,结果表明:熔覆层组织为γ+M7C3共晶,表层硬度显著提高而整体孔隙度降低。粉末冶金工艺特有的优越性(如制取高纯度及各种复杂形状的零件)使得粉末冶金零件在工业中得到了越来越广泛的应用,如汽车、摩托车用活塞,内燃机上的排气阀座和低压怕泵齿轮等[1]。常规烧结方法一般采用添加大量的合金元素及烧结过程中加压等处理来达到要求。激光熔覆合金覆层技术作为新兴的表面改性技术近年来得到了迅速…     

高碳高钒系高速钢耐磨性研究

本文制备了以高碳、高钒和变质处理为特征的新型轧辊用高速钢,并与高铬铸铁相对比,研究了该新型高速钢的耐磨性和磨损机理。试验合金采用5kg中频感应炉,在包内预加复合变质剂进行变质处理。热处理后,试件加工成10mm×10mm×14mm的磨损试样。在MM-200型磨损试验机上进行干磨擦磨损试验,对磨偶件采用硬质合金YG6(45mm×10mm)。试验时间30min,载荷分别为200N和250N,转动速度400r/min。用精度为0.1mg的光学天平测定试样的磨损量。每种成分进行三次耐磨试验,取三次试验结果平均,并以高铬铸铁为基准,衡量相对耐磨性ε(ε=高铬铸铁失重/试验合…     

基于双步相关滤波的目标跟踪算法

针对目标跟踪中因目标遮挡、目标出视野导致的跟踪失败问题,为提高相关滤波目标跟踪算法的鲁棒性,提出了一种基于双步相关滤波的目标跟踪算法。首先根据方向梯度直方图特征不同单元大小目标表征的特点,提出双步相关滤波目标跟踪框架,在提高目标跟踪精度的同时保证了跟踪速度;然后融合多种目标特征,来获得目标更加全面的特征表征,以提高目标跟踪的鲁棒性;最后提出基于目标跟踪置信度指标的目标模板自适应更新策略,来解决目标遮挡时目标模板被污染的问题。实验在OTB100标准目标跟踪数据集上进行验证,通过与其他跟踪算法进行比较结果表明,该算法与其中最优跟踪算法相比,目标跟踪精度提升6.0%,目标跟踪成功率提升5.5%,平均跟踪速度为27.4 fps,保证了目标跟踪的实时性。实际目标跟踪应用中,在目标严重遮挡等情况下,该算法仍然可以对目标进行稳定精确地跟踪。