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

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

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

二维浅水波并行模式的伴随

以二维浅水波为例,详细探讨如何开发并行模式的切线性模式和伴随模式。切线性模式的并行机制和原始模式一致,而伴随模式不同。三个模式采用一致的数据剖分方法可提高并行效率。在集群并行计算机系统上采用一维数据剖分,切线性模式的通信量与原始模式相当,而计算量几乎是原始模式的2倍;伴随模式的通信量大约是原始模式的2倍,而计算量几乎是原始模式的3倍。在三个模式中,切线性模式的加速比最大。     

地形相关算法度量值的统计特性

考虑到地形相关匹配算法度量值统计特性与二维地形自相关系数的关系，本文提出一种改进的约翰逊方法——相关地形下的匹配算法度量值统计特性分析方法。首先，基于约翰逊方法的问题框架，修改其中基准数据的相邻像元值相互独立的假设，导出了地形相关 Ｍ Ｓ Ｄ 算法度量值的统计分布的解析函数。然后，讨论了约翰逊方法与本文方法的适用性，指出了约翰逊方法的不足之处。最后，给出了本文方法在地形可匹配性分析中的一种应用。     

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

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

利用复单脉冲比的群目标存在性检测算法

详细推导单目标和群目标条件下单脉冲比的统计特性,根据其本质差异提出基于单脉冲比的群目标检测算法,在双目标条件下通过仿真分析了群目标检测性能与信噪比、目标角度间隔以及复幅度比之间的关系,得出了有益的结论。当小目标伴随大目标时不容易被检测出来;两个幅度相当的目标,相位差别越大越有利于群目标检测。群目标检测可以有效剔除"野值",为分辨与测量奠定基础。     

星光导航大气折射模型及数据模式研究北大核心

星光大气折射模型及大气数据模式是整个星光折射自主导航方案中的一个重要组成部分。利用光线追迹方法,建立了一种考虑大气空间不均匀性的星光大气折射模型,模型数据基础为自主建立的基于实测廓线数据的全球范围三维空间格点化大气参数廓线模式。同时分析了新建立的星光折射模型与基于单点大气密度指数高度分布的传统星光折射模型之间的差异,相对于传统模型,新模型由于考虑了大气不均匀性,理论精度更高。     

式论消防行政强制

消防行政强制是消防行政执法主体在消防行政执法中享有的一项重要职权,它包括强制预防、强制制止和强制执行;消防行政强制在理论上可以划分为即时性的消防行政强制和执行性的消防行政强制;消防行政强制还应当依照法定的程序来实施。     

基于实测光电跟踪仪误差的分布检验及应用

对光电跟踪仪跟踪误差特性分析是进行精度试验数据分析处理的前提基础。为了研究光电跟踪仪对空中目标角跟踪测量误差的分布规律,综合采用偏峰度联合检验即Jarque-Bera法和Kolmogorov-Smirnov非参数统计方法,对实测误差数据进行分布检验。检测结果表明光电跟踪仪角度测量误差中远端区段符合正态分布,近区测量误差80%航次不符合正态分布。所得结论为光电跟踪仪精度试验设计和数据处理算法的确定提供了科学依据。     

并行系统可扩性分析研究

分析了几种已有的可扩性分析模型 ,并对传统的时间受限与存储受限加速比定律作了新的解释。在此基础上 ,概括出了可扩性分析的本质 ,定义了一类一般意义下同构机器与并行算法组成的并行系统的可扩性模型 ,并由此出发 ,提出了三种新的可扩性模型 :等平均I/O需求模型 ,等平均通信需求模型和等利用率模型。最后探讨了工作站机群与并行算法组成的并行系统的可扩性分析。