基于故障树和快照技术的无人机特情训练方法

针对无人机操作手在执行任务时不能有效地识别与处置特情的难题,提出了一种基于故障树遍历分析和快照技术的无人机特情模拟训练方法,并以样例无人机为研究案例进行了关键技术解析、通用化特情训练系统设计实现和试验.利用故障树理论,建立完备的无人机故障树模型,分析了需重点模拟训练的特情.利用快照技术,实现了不同飞行阶段训练的解耦;结合RTW（Real-Time Workshop）技术、数据库技术和视景仿真技术,完成了通用化无人机特情训练系统的开发,并成功应用于某型无人机的特情训练.给出了样例无人机操作手在不同方法下的训练结果,通过统计数据对比,表明该方法与常规的方法相比,训练效率更高,训练的完备度更好.     

无人机虚拟仪器测试系统设计应用研究

根据无人机测试要求,详细介绍了由虚拟仪器技术组建的无人机测试系统。该测试设备以PXI总线型高性能计算机为控制核心,采用开关阵技术、程序模式配置测试流程,对无人机机载传感器、飞控计算机性能实施快速检测,具有通用性、智能化和自动化的特点,可实时精确地采集、处理、存储数据。该系统成功运用于某型无人机的检测。     

基于OWL-S的测试用例生成

提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.      

用面向对象方法设计无人直升机信息处理系统

面向对象的设计方法在系统设计中得到了越来越广泛的应用.地面信息处理系统是无人机的重要组成部分,在无人机执行任务过程中,地面信息处理系统提供的无人机的飞行参数和设备参数是飞行员实施监控的依据.分析了共轴式无人驾驶直升机地面信息处理系统的特点和需求,应用面向对象的设计方法,设计了无人机测控地面站信息处理系统,该系统具有易重复使用、易改进、易测试、易维护和易扩充等特点.经过多次试飞证明,该系统满足飞行要求.     

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

空间交会对接GNC软件的自动化测试

介绍一种面向航天器空间交会对接GNC软件的自动化测试方法,通过对测试用例和测试脚本的管理、测试过程的自动执行、测试数据的判读和测试缺陷管理,实现对航天器空间交会对接软件的自动化测试.实践表明所述的自动化测试方法在GNC软件的测试中发挥了重要作用.     

航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

遥控模式下无人机系统纵向飞行品质评定

建立了无人机系统模型,根据通信数据链存在时延、无人机飞行员不能直接感受到无人机的过载信息等特点,参照有人驾驶飞机飞行品质准则,提出了遥控模式下无人机系统纵向飞行品质的评定方法.对某算例无人机系统的纵向短周期飞行品质及驾驶员诱发振荡(PIO,Pilot-induced Oscillations)趋势进行了评定及分析.结果表明:通信数据链对无人机系统的短周期频率、阻尼等特性的影响较小;但是,无人机飞行员在地面控制站遥控操纵无人机时,通信数据链时延会增加无人机系统的延迟时间,导致闭环操纵的短周期飞行品质发生降级,并具有PIO倾向;为避免发生PIO,应避免无人机在遥控模式下执行快速机动飞行任务.     

无人机仿真测试系统设计应用研究

仿真测试系统可以对无人机控制规律进行有效的检测和评估,在无人机研制中起到重要作用。通过研究无人机仿真测试系统工作原理,建立了无人机动力学和运动学数学模型,采用四阶龙格-库塔法进行解算,得到了无人机位置、高度和姿态等信息,对无人机飞行控制的稳定性进行有效验证和评估,并成功运用于某型无人机的研制中。     

基于全数字仿真的嵌入式软件测试技术

为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用.      

一种可扩展的末制导雷达通用检测系统

介绍了采用ＩＥＥＥ－４８８总线标准实现的末制导雷达通用检测系统,概述了其硬件的组成和系统特点。并针对末制导雷达的测试规程和要求,阐述了软件系统的模块化设计思想,介绍了采用虚拟面板和虚拟仪器技术的ＡＴＥ软件设计方法。     

基于非圆信号的单次快拍二维DOA新算法

针对双平行线阵相干信号二维波达方向(DOA,Direction of Arrival)快速估计问题,利用信号的非圆特性,提出了一种基于非圆信号的单次快拍数据的二维DOA算法.建立新的阵列坐标系,对阵列接收单次快拍数据进行共轭运算,通过数据重新链接得到伪快拍数据,阵列孔径扩展1倍.仅需要对3个伪单快拍矩阵的扩展矩阵进行一次奇异值分解即可实现二维DOA估计和解相干.该算法计算复杂度低,估计精度高,适用于对二维DOA估计实时性要求高的应用背景.计算机仿真结果验证了方法的有效性.     

基于虚拟仪器的压力开关测试系统设计

设计了压力开关参数测试系统,能同时实现5个产品的触点接触电阻、绝缘电阻测试,动作压力和恢复压力测试。系统采用虚拟仪器技术,构建了以工控计算机及其板卡为硬件平台,以LabVIEW为软件平台的虚拟仪器测试系统。采用四端钮接法,实现了微电阻的测量,利用继电器逻辑实现了5个产品多参量的自动测试,并能根据测试结果自动判别产品是否合格。结果表明,该系统运行可靠,测试准确度高,测试效率高。     

电子设备综合自动检测系统的设计

简介了VXI总线技术 ,详细论述了基于该技术的电子设备综合自动测试系统的硬件平台和测控软件设计     

一种水下航行体运动参数测量系统的设计

针对航行体水下试验的要求,设计了一种水下航行体运动参数测量系统。从该系统的原理算法、硬件设计和软件设计等方面进行了详细的阐述。该系统以采用硅微传感器的姿态测量系统（以下简称MTi）作为惯性测量组合,导航计算机采集MTi中的加速度计、陀螺和磁力计的原始传感器数据,结合捷联惯导四元数算法更新姿态矩阵,对航行体的姿态、速度、位置进行实时解算并存储解算结果,试验结束后通过上位机对试验数据进行读取。该测量系统多次应用于航行体的水下试验,获得了航行体水下运动参数。经试验验证,该测量系统性能可靠,可以满足水下航行体的运动参数测量的需求。     

基于LabVIEW实现的隔离放大器非线性误差自动测试

隔离放大器是一种输入电路和输出电路之间电气隔离的器件,一般采用变压器或光耦合传递信号,非线性误差是其一项重要的技术指标。本文介绍了一种基于LabVIEW实现的隔离放大器的自动测试技术,系统以标准信号源、数字多用表为标准装置,通过GPIB和TCPIP通信来实现计算机对隔离放大器的自动测试,完成非线性误差的计算,并自动生成测试报告。文中介绍了系统的测量原理、组成、非线性误差的算法以及软件编制。系统在实际的工作中取得了良好效果,显著提高了工作效率,为实验室检测工作的自动化作了有意尝试。     

基于VB.NET的砝码自动校准系统软件设计与实现

介绍了一种基于VB.NET的砝码自动校准系统软件，能够实现密闭环境中微干扰、高精度、高效率的砝码自动校准工作，并应用于砝码检定校准工作。软件设计采用VB.NET串口通讯、PLC可编程控制器、Access数据库、OLE Office自动化技术，主要实现了砝码自动校准过程设置、砝码信息数据库管理、自动生成实验报告、天平控制、自动校准过程监控等功能。     

卫星软格式化同步器与资源卫星1号02星CCD数据移动窗相关技术研究

处理速度一直是软件帧同步的瓶颈所在，通过引入KMP和Rabin-Karp算法，寻找到一种高效的帧同步处理算法，提高了处理速度，最终设计完成了通用的卫星软件帧同步器，并进行了相关验证测试和分析，给出了分析比较结果，在分析中巴资源卫星1号02星数据格式的基础上，利用所设计的软件帧同步器和DirectX显示技术，实现了一套针对资源卫星双通道CCD传感器的全软件移动窗显示系统，并对该卫星数据的图像交叠等现象作了相应处理，这套软件帧同步器和移动窗显示系统可以作为开发卫星接收记录系统的重要组成部分。