软件内建自测试中测试点的研究

“软件内建自测试”是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(Build-In-Self-Test),即模拟硬件BIST中的附加电路。在软件中也插入这样的一些“附加电路”,即测试点(CheckPoint),这样就大大减少了测试时的复杂度,其中测试点设置是软件内建自测试系统的核心模块之一。具体讨论了测试点设置策略、测试点个数,最后给出了一个具体的实现。     

内建自测试多特征混淆模型

特征分析广泛应用于内建自测试体系的响应分析中,通过建立多输入线性移位寄存器的2状态马尔可夫模型和4状态马尔可夫模型,研究了时间无关空间相关及时空均相关下的响应分析器测试序列长度与混淆概率关系,获得混淆的精确数学模型。通过对某控制系统单多特征内建自测试体系混淆结果比较表明:多特征分析可获得更小的混淆概率和更高的测试效率。     

多模板指纹的特征拼接

许多自动指纹识别系统在注册阶段对于每个用户存储同一手指的多个模板指纹,在认证阶段将输入的指纹和存储在模板库中的相应手指的多个模板指纹进行比对。提出了将多个模板指纹的特征进行拼接的方法,将多个模板指纹拼接成一个模板指纹。这样,在认证阶段可以减少和输入指纹进行比对的模板个数,加快了比对速度。同时,拼接而成的模板指纹比单个模板指纹的特征丰富,有利于提高识别的正确率。实验测试表明,方法能够提高系统的识别性能。     

3D SRAM中TSV开路测试算法研究与实现

基于三维集成电路技术实现的三维静态随机存储器,其电路中使用了大量的过硅通孔。目前过硅通孔制造工艺尚未成熟,使得过硅通孔容易出现开路或短路故障,从而给三维静态随机存储器的测试带来新的挑战。现有的过硅通孔专用测试方式虽然能够探测出过硅通孔的故障,但需要特定的测试电路来实现,这就增加了额外的面积开销,同时加大了电路设计的复杂度。因此,提出一种使用测试算法来探测过硅通孔开路故障的方法。在不增加额外面积开销的情况下,通过内建自测试电路解决三维静态随机存储器中过硅通孔的开路故障检测问题。结果显示,该过硅通孔测试算法功能正确,能够准确探测到过硅通孔的开路故障,并快速定位过硅通孔的开路位置。     

军用软件自测试实践与分析

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行自测试,并将测试结果与专业测评机构三方测试的结果做对比分析,论述了军用软件自测试是保证军用软件质量的重要途径和必备手段。     

基于DSP的导弹发射控制通道检测系统研究

为了提高导弹发射控制系统的故障诊断能力和实时性,满足系统多通道检测的需要,研究了基于DSP的发射控制通道检测系统。该系统具有自测试功能,能够根据发控计算机指令完成多通道信号的采集、保存和上传。经测试,该系统运行稳定可靠,各功能达到发射控制系统要求。     

电子装备随机存储器通用测试算法

随机存储器在电子装备中广泛使用,对其进行有效测试是电子装备自测试与生产功能测试的主要内容。以走一测试算法为基础,设计了数据线、地址线与存储单元测试方法,可以有效检测各种类型的RAM焊接质量与器件质量,对于提高故障定位精度和减少产品的测试时间起重要作用,特别是在电子装备的自测试、生产测试和维护测试中具有很好的应用前景。     

三维造型库的设计与实现

分布式虚拟环境中的三维造型和纹理资源通常都是分散存储的,此种存储方式占用空间大,管理困难.提出了在分布式虚拟环境中建立造型库,集中管理造型资源的方法.设计和开发了造型库管理软件.解决了三维造型的分散式管理体制所引发的存储资源浪费、造型一致性冲突、造型管理困难等诸多弊端.     

子弹状态的遥感监测与存储回收

为记录子弹从预发射到落地过程的状态数据,设计了一种遥测与固态存储相结合的数据采集回收系统.该系统以FPGA芯片为逻辑控制中心,高速采集传感器等设备的输出数据,采集数据经编帧后分别进行固态存储和PCM码无线遥测存储,回收数据由上位机软件处理,还原子弹全程飞行状态.全套系统经地面测试各性能满足设计要求.软硬回收兼备的存储方式既提高了子弹在高过载等恶劣环境下数据回收的概率,也实现了子弹飞行状态的实时监测,提高了地面人员的反应速度.     

一种层次数据表的设计与统计方法分析

根据一种层次数据的特点,采用层次编码标识实体的方式进行数据存取,并在此基础上进行表设计.使用触发器、存储过程、视图、客户端计算等方式逐层统计层次节点上的费用.最后,分析了这几种方式的特点和适用范围.     

反馈式内置自测试设计方案对比研究

对两种基于反馈的自测试（BIST）方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串行反馈BIST方案性能更好。     

基于状态空间模型的线性模拟电路BIST方法

本文针对线性模拟电路,提出了一种基于系统状态变量的ＢＩＳＴ方法。该方法将系统的状态、状态变化率及输入信号进行加权求和,以此加权和作为系统的故障检测输出。将其值的大小作为判别依据,可以区分系统的正常与异常状态。此方法具有简单可靠,故障覆盖率高的特点。     

救生伞背带参数对假人动载的影响研究

针对救生伞假人高速开伞空投试验,建立降落伞-背带-假人系统的动力学模型,分析背带及脱离锁参数对假人质心过载的影响。在合理简化的基础上,采用多体动力学方法建立降落伞、背带脱离锁和假人的十五自由度动力学模型;采用质量-阻尼弹簧模型建立背带模型,连接降落伞、脱离锁和假人;利用实测过载计算降落伞开伞力。利用所建立的动力学模型仿真典型状态下假人和背带的动力学响应,验证所建立模型的合理性。分析脱离锁位置、背带松紧程度、背带材料特性对假人质心最大过载的影响,用于指导背带设计以及确定最佳的背带脱离锁位置。     

高黏油品热边界层减阻输转工艺及装置研究

油库高黏油品黏度大、凝固点高,在常温下管输水力损失大,必须加热升温降黏后才能实施管输、收发及灌桶作业.分析了黏油蒸汽加热的不利因素,研究了黏油热边界层减阻输转理论与工艺技术,开拓了热边界层理论与技术的应用领域.研制了基于热边界层减阻理论的黏液输转装置,建立了黏油热边界层减阻工艺水力和热力数学模型,并编制计算程序,通过热...     

油料装备智能维修决策系统研究

在分析油料装备维修管理特点的基础上,提出油料装备智能维修决策系统体系结构,论述模型库与知识库的构建方法,描述维修推理机工作原理。针对油料装备故障诊断信息具有模糊性的特点,建立油料装备故障智能模糊诊断模型,论述故障诊断模糊规则、模糊推理步骤、模糊算子定义及其推理方式。对维修策略决策的主要影响因素进行分析,以使油料装备稳定性及经济性、维修周期达到最佳为维修策略目标,构建油料装备维修策略模型,论述维修策略原则和模型工作流程。油料装备智能维修决策系统的研究,对提高油料装备维修科学化和智能化水平,加强油料装备保障力度具有重要意义。     

潜艇纯方位解算质量评估方法研究

针对潜艇目标运动要素解算算法特点,依据武器使用效果探索要素解算质量评估方法。根据潜艇指控系统目标定位跟踪的战术技术指标和鱼雷武器的使用效果对目标运动要素的精度要求,采用统计模拟方法计算鱼雷命中(发现)目标概率以及对应的要素精度要求,并提出在线统计解算要素均方差的研究思路。给出了要素解算质量评估标准、评估依据的实现方法和表现形式。使用概率衡量使用效果,评估要素解算质量较为科学,容易为部队指挥员接受。     

Application of Markov renewal theory and semi-Markov decision processes in maintenance modeling and optimization of multi-unit systems

In this paper, a condition-based maintenance model for a multi-unit production system is proposed and analyzed using Markov renewal theory. The units of the system are subject to gradual deterioration, and the gradual deterioration process of each unit is described by a three-state continuous time homogeneous Markov chain with two working states and a failure state. The production rate of the system is influenced by the deterioration process and the demand is constant. The states of the units are observable through regular inspections and the decision to perform maintenance depends on the number of units in each state. The objective is to obtain the steady-state characteristics and the formula for the long-run average cost for the controlled system. The optimal policy is obtained using a dynamic programming algorithm. The result is validated using a semi-Markov decision process formulation and the policy iteration algorithm. Moreover, an analytical expression is obtained for the calculation of the mean time to initiate maintenance using the first passage time theory.     

A three-echelon,multi-item model for recoverable items

The main objective of this paper is to develop a mathematical model for a particular type of three-echelon inventory system. The proposed model is being used by the Air Force to evaluate inventory investment requirements for alternative logistic structures. The system we will model consists of a group of locations, called bases, and a central depot. The items of concern in our analysis are called recoverable items, that is, items that can be repaired when they fail. Furthermore, each item has a modular or hierarchical design. Briefly, the model is used to determine the stock levels at each location for each item so as to achieve optimum inventory-system performance for a given level of investment. An algorithm for the computation of stock levels for each item and location is developed and illustrated. Some of the ways the model can be used are illustrated with Air Force data.     

共享态势认识的效用

态势认识是指挥控制过程在认知域中的重要环节,认识共享是改进态势认识、减少认识偏差的重要手段。文中在分析态势认识的基础上,提出战术相关要素的发现概率、态势认识中的理解程度和理解偏差的概念,建立了用于态势认识的定量评估的数学模型,分析了认识共享对战场态势认识的改进程度,导出了团队合作时战术相关要素发现概率与个体数量的关系式,给出理解偏差与个体数量的联系方程并求出极值条件。