基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

边界扫描测试仪软件系统开发

边界扫描是一种正在被人们普遍接受的可测试性设计技术 ,在电子设备测试和故障诊断中发挥着越来越重要的作用。本文介绍了开发的边界扫描测试仪样机的工作原理 ,并着重论述了其软件开发的几个重要问题。     

浅层水中水底爆炸冲击波压力测试及分析

本文介绍了四个球形装药浅层水中水底裸爆时冲击波荷载的测试技术及测试数据的分析。     

软件随机黑盒测试的快速覆盖技术

本文提出了求多个测试序列极大距离的算法,该算法对数字电路的测试和软件测试技术是通用的。理论上看,该方法可以弥补随机测试和伪随机测试的缺陷。     

舵机弯矩电动加载测试系统的设计

针对舵机测试需求,设计了一种弯矩电动加载测试系统.系统以直流电机为执行元件能够实现几百到几万牛力加载,介绍了系统的工作原理和机械结构,分析计算了弯矩加载对其他力矩加载的干扰和系统影响,从测试技术要求上论证了方案的可行性.最后进行了理论分析和研究,建立了加载系统的数学模型,基于PID控制算法,进行了计算机仿真.仿真结果表明,能够满足系统预定的性能指标要求.     

基于HLA的TDMA同步问题研究

联合战术信息分发系统JTIDS(Joint Tactical Information Distribution System)系统是无中心的移动通信系统,采用时分多址(TDMA)的网络接入协议.TDMA网络是一种同步网络,必须有统一的时间基准,各终端的时隙必须与时间基准同步,因此时隙同步技术是确保该网络正常工作的关键技术.基于HLA/RTI仿真平台,对网络延迟进行了测试,针对RTI中联邦成员的时间延迟很不稳定的问题提出并实现了一种简单高精度的软件时钟同步方法.     

基于声检测的爆炸冲击场剖面可视化技术

阐述了声发射的检测原理,研究了冲击波作用下物体的声发射特性,并利用声发射的不可逆效应(Kaiser效应),提出了一种基于测试的冲击场层析技术.给出了实现流程图及其若干关键技术,如主副鉴别、前沿鉴别等.实验结果表明该技术有一定的实用性,为冲击波作用下物体内部的位错形成和滑移机制的研究提供了一种手段.最后对下一步要解决的问题进行了说明.     

某型多管火箭炮火控系统可靠性Nelson模型

软件保障已经成为影响现代武器装备系统发展和发挥战斗力的"瓶颈",软件可靠性也因此受到研究人员的高度重视.在对众多软件可靠性模型综合对比分析的基础之上,建立以Bayes检验为基础的Nelson软件可靠性模型,以某舰载指挥系统软件可靠性测试实验数据为例进行分析,对于某新型远程多管火箭炮火力控制系统的软件可靠性测试与评估高其软件可靠性有积极的作用.     

新型电子装备固有测试性验证研究

分析了新型电子装备的特点和传统测试性验证方法的不足后,提出了新型电子装备固有测试性验证方法.在阐述了固有测试性验证方法原理的基础上,探讨了固有测试性验证方法的主要研究内容,并重点研究了新型电子装备测试点设计完备性的验证方法.     

空空导弹测试性验证方法探讨

本文对空空导弹的测试性验证的主要内容、参数以及测试性的验证方法进行了探讨。根据空空导弹的特点,提出了以数据收集为主,以测试性验证试验为辅的方法,并对验证方法进行了详细阐述。