边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

基于通视性约束的实体运动匹配仿真算法研究

研究了坦克实体在TIN地形上进行运动匹配的新求解方法,引入了感兴趣区AOI概念,采用估计与检测算法计算实体的参考点,并结合SO改进算法提出了基于通视性约束的实体运动匹配仿真算法。经与四点匹配算法进行定性和定量的比较得出,该算法可以使坦克在运动时与地形保持合理的位置关系,克服了运动实体与地形相互嵌入等现象,有效地提高了虚拟场景的真实感和可信度。     

关于图的一个边重构性定理之证明

若图Ｇ存在一个次为δｐ＋ｋ的顶点至少和ｋ＋１个小次顶点相邻,则Ｇ是边可重构的（δｐ为某小次,ｋ≥０为整数）。文（１）并没有证明,本文给出其证明方法,且得到一个推论。     

战场通信网络战时抗毁性初探

以战时应用为背景研究了战场通信网络的战时抗毁性定义,分析了影响抗毁性的可能因素,提出了基于干线节点密度变化、网络可通性度量及网络流量变化等的战场通信网络战时抗毁性评价指标,并提出了提高军用通信网络战时抗毁性的可能措施和方法。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

3-喹咛酮的新合成方法研究

以二乙醇胺和乙酰乙酸乙酯作为原料,经过6步反应合成了3-喹咛酮。反应步骤为：二乙醇胺磺酰化后,磺酸酯与乙酰乙酸乙酯反应形成六氢吡啶环;接着六氢吡啶衍生物脱苯磺酰基、溴化和脱羧;最后经分子内成环反应获得3-喹咛酮。     

聚指成拳生合力——山西某预备役团加强“合成式”党委建设纪实

近年来,山西某预备役团着眼预备役部队双重领导的特点,积极探索强化"合成式"党委领导的有效途径,围绕中心聚合力,强化功能促抓建,"合成式"党委作用和优势充分彰显,为团队科学发展提供了坚强组织保证。该团先后被上级表彰为军事训练先进单位、先进预备役团,2012年度该团被省军区评为一类预备役团。着眼组织构成的合成性,在统一意志中聚合抓建力量"合成式"党委既有现役委员、又有预任委员,既有第一书记、又有正副书记,内部层次多、关系复杂。为确保党委在思想上、组织上、行动上真正合成,该团     

可测试性技术中的图论问题及其求解

近 2 0年来 ,为了解决结构日益复杂的电路测试问题 ,可测试性技术得到了迅速发展。在可测试性技术中 ,针对不同的测试对象 ,如何对可测试性设计方案以及测试策略进行优化 ,降低总体代价 ,是亟待解决的问题。为了解决这两类典型的优化问题 ,首先应用图论方法建立问题的拓扑描述模型 ,然后通过构造相应的逻辑求解函数 ,给出问题最优解的求解算法 ,并通过简单实例演     

一种慢跳DS/FH信号的检测方法研究

提出了一种慢跳DS/FH信号方法,根据DS/FH信号的特性,将信号的跳频特性与直扩特性分开进行检测.首先利用成熟的跳频检测方法,在时频域或频域上对信号进行跳频检测,当检测到跳频信号后,再在时域上采用空间互相关方法检测信号是否具有直扩特性,从而判断DS/FH信号的存在性.计算机仿真结果表明该方法具有一定的可行性.     

面向信号的仪器驱动程序建模

面向信号自动测试系统开发模式是今后的发展方向,而面向信号的仪器驱动程序是实现测试软件仪器无关性的重要途径,分析了自动测试系统的架构,建立了信号驱动程序的信息模型,研究了驱动程序的结构,并结合实例对驱动程序的调用进行了说明。