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

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

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

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

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

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

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

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

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

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

基于TSMD-SVM-HMM的机内测试智能降虚警方法

机内测试虚警问题是影响系统完好性和使用保障费用的重要因素。针对环境因素导致的虚警问题,设计了时间环境应力测量装置,应用支持向量机的小样本学习优点,建立虚警与环境因素的关联关系,应用隐马尔可夫模型的连续动态信号处理能力,描述系统长期工作历程中虚警的发生规律,提出了基于时间环境应力测量装置-支持向量机-隐马尔可夫模型的机内测试智能降虚警方法。最后,在某型直升机航向姿态系统上进行了应用与验证,试验结果表明:该方法有效识别出了机内测试的虚警。     

局部多孔质气浮止推轴承特性研究

在考虑轴承气膜交界面处切向速度滑移的条件下,建立了局部多孔质气浮止推轴承的理论模型,然后使用有限元算法进行了数值仿真,仿真的结果与试验结果取得了一定程度的一致性,说明此新的修改了的雷诺方程可以用来作为局部多孔质气浮止推轴承研究的理论模型。利用该模型,能够成功计算出不同渗透系数、不同厚度及不同直径的局部多孔质气浮轴承的流量、承载及刚度。还从理论上与小孔类型及全多孔质类型的气浮轴承特性进行了对比,结果表明,局部多孔质气浮轴承有着优良的特性及很好的应用前景。     

基于HLA的TDMA同步问题研究

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

坦克交流全电式炮控系统的速度控制

介绍了交流全电式坦克炮控系统的特性,为改善系统稳定工作状态时的低速性能,研究出了两种变结构切换速度控制策略,对这两种切换方案进行了分析比较,并分别进行了试验验证,试验结果表明这两种方案都具有良好的动静态性能,能满足系统的性能指标要求.     

几种机动目标运动模型的跟踪性能对比

机动目标跟踪是目标定位与跟踪领域研究的难点问题之一.在分析Singer模型、"当前"统计模型、速度估计自适应模型的基础上,对这三种模型及算法进行仿真,给出了上述三种模型跟踪机动目标的精度与实时性的比较结果.