特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

SCPC/DAMA卫星通信系统中的校频

本文在分析和推导了具有不同波段转发器相互瓣链的ＳＣＰＣ／ＤＡＭＡ卫星通信系统的频差数学模型的基础上,提出了一种系统的校频的方案,并详细分析了其操作过程。     

iSIGHT在多目标优化问题中的应用研究

在工程实际中,随着设计要求的日益提高,单一的设计目标已经不能满足设计者的要求。于是多目标设计优化问题在设计领域越来越占据主导地位。目前多目标优化设计方法种类繁多,各有优劣,重点介绍优化设计框架iSIGHT,并就iSIGHT在解决鱼雷壳体结构设计中的多目标优化设计问题中的应用情况进行研究,讨论iSIGHT在解决多目标优化问题中的可行性。     

65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

数字单稳触发器在小数分频中的应用

本文简要说明了数字单稳的设计及其在∑-△调制小数分频中用于扣除脉冲的过程，给出了仿真结果。     

单目标探测下的双红外被动测距方法

基于工程三维应用中红外探测目标信息存在误差的情形,建立了对单目标探测进行双红外被动测距的方法,并且通过单点测试验证了该方法的正确性。利用Monte Callo模拟实验法,分析了红外探测角度误差、两站点基线距离和单目标运动特征对该方法定位精度的影响。     

钢纤维喷射砼单层永久衬砌在某燃峒室中的应用

钢纤维混凝土是一种新型复合材料，与普通混凝土相比具有良好的物理力学性能。钢纤维混凝土正越来越广泛地用于隧道及地下工程中。采用Ansys5．61版有限元分析程序对某大跨度峒室Ⅳ类围岩试验段中应用钢纤维喷射混凝土单层永久衬砌取代传统的网喷混凝土+钢筋混凝土二次衬砌方法进行了理论设计。工程实践表明钢纤维能比钢丝网提供更高的剩余荷栽承受能力，钢纤维喷射混凝土在首次开裂后具有较小的变形，在变形的情况下也具有同等的功能，钢纤维喷射混凝土单层永久衬砌完全可以取代传统的支护设计方法，并可取得显著的技术经济综合效益。     

箔条云干扰下的单目标恒虚警率检测研究

箔条云在扩散过程中随着时间变化会稀释和扩大,其回波特性会发生改变,被检测目标与箔条的相互位置关系也会影响雷达恒虚警检测。针对作战对抗过程中箔条干扰易造成雷达接收机阻塞干扰目标检测,检测概率迅速降低且易丢失目标贻误战机,通过详细分析箔条的扩散过程及信号频谱特性及其箔条云和目标的两种位置关系,利用恒虚警处理算法在噪声基底为10 dB和20 dB情况下对目标进行恒定虚警率检测研究。研究结果对改善飞机检测性能和抗虚警能力以及提高战场生存率具有积极作用。     

基于作战环的单目标毁伤概率分析

针对现代化战争的特点,基于作战环的思想,将整个作战环分成几个不同的环节进行分析,并提出了一种求解武器装备对于单目标毁伤概率的计算方法。该方法考虑了不同环节对于目标毁伤的影响,定量计算了武器装备对敌方目标的毁伤概率,既从宏观层面上考虑了武器装备的涌现性,又从底层分析了影响目标毁伤的参数。最后通过示例分析验证了方法的可行性和有效性。     

基于时频单源点检测和聚类验证技术的欠定混合盲辨识算法

针对欠定混合盲辨识问题,提出了一种基于时频单源点检测及聚类验证的盲辨识算法。检测各个源信号的时频单源点,利用奇异值分解的方法求解不同单源点集合对应的混合矢量,利用基于k均值的聚类验证技术完成源信号数目和混合矩阵的联合估计。算法放宽了已有方法对时频单源区域的假设,不需要假设信号存在时频单源区域,可以完成仅存在离散的时频单源点条件下的欠定混合盲辨识;同时克服了传统算法需要假设源信号个数已知的不足,可以有效地估计源信号数目。仿真结果验证了算法的有效性。