通用自动测试系统模型化设计

针对通用测试系统对系统统一模型的迫切需求以及目前ATE(Automatic Test Equipment)模型化设计的不足,基于信号建立了一套完整、有效的ATE系统模型.此模型将ATE系统的硬件资源以及UUT(Unit Under Test)均进行了模型化处理.提出了基于TFF(Test Foundation Framework)的基本信号模型;提出了完全基于信号的仪器驱动模型;提出了基于测试与诊断相结合思想的UUT模型;提出了基于模型间信息共享的思想和路径以逻辑开关描述思想的路径模型.该模型体系为系统资源配置、仪器可互换、测试程序自动生成以及故障诊断提供了强有力的模型基础,从而大大加快了ATE的设计过程,从很大程度上降低了开发成本.     

ATE开关矩阵动态路径搜索算法

自动测试设备(ATE,Automatic Test Equipment)中的开关矩阵由于使用不均衡,有些开关因频繁使用发生故障而有些开关却很少使用.开关故障会导致开关矩阵的拓扑结构发生改变,使路径的搜索变得复杂化.为了解决开关使用均衡的问题以及复杂开关拓扑结构下的路径搜索问题,定义了路径节点矩阵、开关状态矩阵以及可达矩阵,统一了开关矩阵的数学描述,并提出了基于可达矩阵的路径搜索算法;定义了开关及路径的可靠度,提出了基于可靠性的路径选择标准,解决了开关矩阵使用不均衡的问题;通过实例进行了算法验证.结果表明:该算法能够实现开关故障情况下的路径搜索、路径选择的优化和开关使用的均衡.     

机载设备综合 ATE 通用软件平台

针对机载设备综合ATE测试程序的编制及运行,提出一种既可编制测试程序又可运行测试程序的通用软件平台,测试程序以文本文件形式保存,实现了测试参数与测试源程序的分离。     

基于决策树控制的自动测试平台软件的设计和开发

主要介绍了用于自动测试系统中的测试程序开发及运行的一个软件平台,该软件平台可以快速、方便、准确的开发出测试程序。测试程序的控制流程基于决策树模型,该模型使测试程序可以准确、高效的按照开发出的测试分支控制测试流进行测试。     

一种基于信号模型的ATE仪器资源配置方法

讨论了一种基于面向对象的信号模型构造方法在自动测试系统(ATE)测试环节中的应用,以解决测试资源有限和配置自动化的问题,并给出了一种由所需信号自动获取其资源信息的实现方法.通过分析测试资源与生成信号之间的关系,提出了由已知信号逐步递推获取资源信息的方法,并从理论上探讨了该方法的实现过程.提出了以生成信号的仪器资源信息和继承优先级为指标,从生成成本和生成层次上考察建立信号通道的思路.      

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

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

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.     

光栅笔划叠加显示信号测试中的汉字显示

给出了在采用任意波形发生器、视频信号发生器等ATE通用仪器资源产生光栅笔划显示信号时 ,根据TTF字形轮廓数据产生字符笔划信号的方法 ,解决了ATE笔划光栅信号测试中汉字显示的问题。     

开放式柔性测试系统测试资源联盟生成

为了解决开放式柔性测试系统(OFTS,Open Flexible Test System)的快速组建和按需生成问题,首先将复杂测试任务分解成可以用基本信号类型表示的子任务集合,然后参考多色集合理论的元素统一颜色、个人颜色等概念,建立了柔性测试最优资源联盟生成问题的数学描述模型.根据测试系统的实际情况,在模型中考虑了各个信号类型之间的资源共用问题,避免了系统组建后规模的过度复杂以及测试资源的浪费.以资源使用代价最小为目标函数,设计了基于蚁群优化算法的测试资源联盟生成算法,最后通过具体的资源联盟生成实例验证了模型的有效性和算法的优越性.      

基于虚拟仪器的无线电设备检测仪

ATE是军用飞机测试技术的发展方向,利用虚拟仪器开发机载无线电台的检测系统是向ATE发展的重要一步。目前成熟的总线技术和虚拟仪器技术提供了技术实现途径,为此基于虚拟仪器技术设计了无线电设备的地面检测仪。     

用广度优先搜索求割点和块的算法研究

本文在作者以前研究的基础上,进一步提出子树径和独立子树径的概念,深刻分析了在广度优先搜索下简单连通无向图的结构特征,并给出判断割点和块的准则,为设计用广度优先搜索寻找割点和块的有效算法提供了理论依据。     

未知环境下移动机器人单目视觉导航算法

提出了一种未知环境下移动机器人单目视觉导航算法,算法包括障碍物检测、单目视觉测距和局部路径规划3部分.为减小光照等环境因素对基于特征的障碍物检测的影响,对彩色图像在HSI颜色空间中用基于像素的直方图比较进行分割,获取障碍物轮廓序列的图像坐标点集.在单目视觉测距中,通过几何关系推导法建立图像坐标系和机器人坐标系间的变换关系,进而实现由障碍物图像位置计算其与机器人间的实际距离.局部路径规划对摄像机梯形视场区域转换后的矩形区域建立模型划分栅格,由障碍物轮廓序列图像坐标和单目视觉测距计算构建障碍物栅格图,并用提出的栅格搜索算法搜索障碍物栅格图,得到机器人安全行驶路径.实际环境中进行的实验结果表明,算法能有效减小反光、阴影等的影响,在未知环境中正确规划出机器人局部可行路径实现导航.      

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

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

基于动态RCS的无人机航迹实时规划

传统的无人机航迹规划主要采用仅考虑无人机与雷达距离的简化雷达威胁模型,未充分考虑无人机雷达散射截面RCS(Radar Cross-Section)随自身姿态角改变而产生的动态变化.据此,提出了无人机周向动态RCS模型,并建立了综合考虑无人机动态RCS与雷达距离的探测概率模型,利用遗传算法进行了基于动态RCS的航迹实时规划,计算结果与传统航迹规划结果进行了对比.仿真结果表明该模型的可行性和有效性,能充分利用无人机自身的优势规避威胁,满足无人机的航迹实时规划的要求.      

室内多移动机器人协同建图与路径规划

多机器人协同定位与路径规划是协同侦察、作战等场景中的首要问题，其难点在于如何在未知环境下完成自主定位。提出了将多机器人同步定位与构图(Simultaneous Localization and Mapping，SLAM)系统应用于室内环境，，以解决此问题。针对机器人定位存在的相关定位误差，采用了增加惯性测量单元的方法，以进行修正。为解决单个机器人在构建地图时速度较慢的问题，将基于坐标变换的方法用于多机器人的地图融合。此外，基于冲突检测和冲突规避思想，对多机器人路径规划方法进行了研究，并将其部署在了多机器人系统中。实验结果表明，采用多机器人协作进行环境探测，在确保全局地图信息完备的同时，可以提高构图效率。基于冲突规避的多机路径规划方法，可以为机器人个体规划出无碰撞路径，机器人可以根据该路径到达目标位置。     

一种基于有限视场的移动机器人避障路径规划算法

 提出一种基于传感器的移动机器人避障路径规划算法。考虑到传感器存在视场范围限制的问题,算法仅利用当前单一视场内的有限环境信息,采用两种搜索模式,以机器人当前的运动方向、障碍物边界端点数据及目标点所在方向为依据,在当前视场中搜索合适的路径。这两种搜索模式保证了路径最终收敛到目标点。最后,通过仿真实例验证了算法的有效性。     

飞机表面绕射射线的寻迹方法

研究一种电子对抗特种飞机表面绕射射线的寻迹新方法.对飞机进行快速三维几何建模和表面网格剖分,并根据需要对几何模型的剖面和结点加密,生成飞机表面网格数据;选定寻迹区域,对飞机表面网格结点进行管理,根据费马原理,采用改进的动态规划方法,在飞机表面网格上快速、准确地实现任意源点和绕射接收点间的短程线计算;在此基础上,采用递归方法实现可视化的几何绕射理论(GTD)、一致性几何绕射理论(UTD)绕射射线离散寻迹.绕射射线离散寻迹为数值方法求解机身表面任意两点间的天线隔离度提供了条件.      

Loop细分曲面精加工刀具轨迹生成

细分曲面既能表示连续的几何设计模型也能表示离散的加工模型,避免了模型转换的复杂中间过程.细分曲面除了对于构造具有任意拓扑结构的复杂零件具有巨大的优势外,对于数字化制造也极具发展潜力.因此,对基于Loop细分曲面的精加工刀具轨迹生成算法进行了研究.首先利用基于弦长误差的自适应插值Loop细分得到精加工模型;然后利用等斜率跟踪法将精加工模型分割为平坦区域和非平坦区域.对各个区域依次进行处理,不同区域实施不同的刀具轨迹规划.据此,既避免了因细分过程数据量过大而导致的曲面精度不足或表面质量降低的问题,又可顺利计算整张曲面相对均匀残留高度的刀具轨迹.最后,为验证该算法的可行性进行铣削加工实验.      

多无人机协同搜索区域分割与覆盖

多无人机覆盖搜索是无人机的一项主要任务,将搜索区域进行分割后,每个子区域内成为单机覆盖搜索问题,大大降低了任务难度.对无人机的平行搜索策略进行了详细的分析,针对平行搜索策略给出了搜索起始点、转弯关键点、搜索终点的判断依据,使得区域覆盖率达到100%.分析了最小转弯半径对搜索路径的影响.根据无人机初始位置和搜索面积对任意凸多边形搜索区域进行分割.针对无人机搜索的特点,以转弯次数作为主要依据对分割结果进行评估.对不同情况下无人机从初始位置到搜索起始点的路径进行了研究.最后通过仿真验证了方法的实用性.