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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于数据库的自动测试系统软件平台的设计与实现

采用基于数据库的模式构建系统软件平台,综合各种技术通过数据库控制测试过程。测试程序集的开发借鉴IVI-MSS和面向信号ATS的软件结构,利用功能接口技术实现仪器可互换性,运用模块化技术解决测试程序集的可移植性问题。实验表明:该软件平台设计合理,适用于多种装备测试与诊断系统的快速开发。     

希腊接收首批6辆Buffel装甲快速抢救车

洛克希德·马丁公司表示,该公司为美海军建造的“自由”号近海战斗舰已经通过了一系列的作战系统和舰载设备的测试。     

野战有线远传接口测试信号源的设计与实现

针对野战有线远传通信接口的测试需求,设计了一种基于xDSL技术的接口测试信号源。以可编程数字器件(FPGA)为核心,配合通用模拟前端,构建可编程和可重配置的硬件接口电路。利用硬件描述语言,完成成帧解帧、加扰解扰、编码解码、滤波等功能,实现HDSL接口电路功能。实验结果表明,设计的HDSL接口功能实现正常,允许用户通过修改程序代码和系统输入来实现对接口的动态配置和维护更新,有效地解决了以集成芯片为基础的传统HDSL接口灵活性差和维护成本高的问题,并为其他信号接口系统的设计实现提供了有益的参考。