软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

线性有源网络拓扑分析的k-连接组法

本文提出了Coates图k-连接组的概念,建立了求解线性有源网络不定导纳矩阵一般k阶余因式的k-连接组拓扑公式,得到了线性有源网络拓扑分析的一种新方法——k-连接组法。与正(负)根有向树法相比,这种方法需找的子图和结果中的冗余项都比较少。     

纹影干涉图的图像处理方法研究

本文利用计算机存贮量大、运算能力强的特点研究了一种分析纹影干涉图,计算密度场的图像算法。这套算法包括使用低通滤波技术消除干涉图背景中的高频噪声,使用 Hilditch 算法细化宽度多于一个像素的干涉条纹,使用模式识别方法提取干涉条纹的位移量,最后应用数值积分技术求解密度场的空间分布。这里研究的图像处理方法提高了纹影干涉图定量分析的精度、加快了实验结果的处理速度,给出了直观可靠的数值结果,是一种实用有效的图像算法。     

基于网络编码的空间DTN中CGR改进算法

随着空间通信技术的发展,卫星节点的增多,以及容延迟容中断通信需求的不断提高,空间DTN (DelayTolerant Network,容延迟网络)环境中各通信节点间的路由技术日益重要,相继出现了多种适用于DTN的路由技术.基于空间DTN的结构与特点,对CGR(Contact Graph Routing,接触图路由)算法以及基于编码的路由算法进行了分析比较,然后针对空间DTN中CGR算法的缺点和不足,研究提出了基于NC(Network Coding,网络编码)的空间DTN中的CGR改进算法(NC-CGR),并通过仿真实验平台对算法性能进行了分析评估.仿真结果表明,相比于CGR算法,NC-CGR算法在链路传输时延、传输包裹数目、中继缓存大小、链路丢包率等不同条件下的适应性方面均表现出较大优势,更适用于具有复杂拓扑、带宽受限、高动态特性的空间DTN环境.     

基于ABEL-HDL硬件语言的GAL反汇编测试技术

为了更好地理解通用阵列逻辑GAL编程以后的功能,在没有熔丝图的状态下,以GAL22V10为例,介绍了一种基于ABEL－HDL层次化的硬件描述语言软件对GAL进行反汇编的测试技术。     

驾驶舱仿真仪表显示系统设计

以某型民用飞机为背景,阐述了飞控系统功能验证的重要性以及驾驶员在环试验对飞控系统功能的验证作用。在此基础上,介绍并设计了作为驾驶员在环试验重要评定依据的驾驶舱仿真仪表显示系统。此系统利用VC＋＋6.0和OpenGL编程工具的核心优势,同时采用VMIC实时网通讯保证了仿真仪表显示的实时性。并通过驾驶员在环试验,验证了驾驶舱仿真仪表显示系统的实时性和可靠性,能够满足飞机地面模拟试验的需求。     

基于立体视觉的板料成形极限应变测量关键技术及其系统

 设计并实现了一种基于双目立体视觉和数字图像相关方法的板料成形极限应变测量系统—BOSAS(双目视觉应变测量分析系统),对其中的关键技术作了深入讨论。该系统可以克服传统坐标网格方法很难进行变形过程的动态监控、自动化程度不高等局限,并可计算试件各变形阶段全场应变分布,以及重建不同变形时刻下试件的几何外形。将分段位移传递法和有限应变理论相结合,可计算大变形下的极限应变。对深冲铝板6016以及航空铝板2A12-T4、2A12-O、7B04-O等材料的应变测量结果显示本文方法适用于板料成形三维变形及极限应变的测量,并将测得数据与由坐标网格方法测得的数据进行比较,结果表明本文方法测量准确、可靠。     

ZWC—Ⅰ型智能温度测试仪研制

本介绍了ZWC-Ⅰ型智能温度测试仪，该测试仪以MCS-51系列单片微机为核心，具有多通道温度巡回检测，热电偶冷端自动补偿，超温、断偶声光报警等功能，测温范围宽，集成化程度高，抗干扰能力强，测试精度高，操作简单，方便，实现了温度测量的一机多用化和智能化，本对智能温度测试仪研制中采用的一些关键技术进行了较详细的论述，最后介绍了该测试仪的全面检定方法。该测试仪通过了应用考核试验，取得了预期的效果。具有一定的推广、应用价值。