遮挡条件下的步态图像时空修复网络及其应用

目的 当前,基于视觉的步态识别方法多基于完整的步态序列图像。然而,现实场景拍摄下的行人难免被遮挡,以至于获取的步态图像不完整,对识别结果有很大影响。如何处理大面积遮挡是步态识别中一个具有挑战性且重要的问题。针对此,提出了一种步态时空序列重建网络（gait spatio-temporal reconstruction network,GSTRNet）,用于修复被遮挡的步态序列图像。方法 使用基于3D卷积神经网络和Transformer的GSTRNet来修复步态序列,在修复每一帧步态图像的空间信息的同时保持帧与帧之间的时空连贯性。GSTRNet通过引入YOLOv5(you only look once)网络来检测步态图像的局部遮挡区域,并将其作为先验知识为遮挡修复区域分配更高的修复权值,实现遮挡区域的局部修复,将局部修复步态图与原始遮挡图像进行融合,生成完整的修复步态图。同时,在GSTRNet中引入三元组特征损失和重建损失组成的联合损失函数来优化修复网络,提升修复效果。最终,以修复完整的步态序列图像为特征进行身份识别。结果 本文在大规模步态数据集OU＿MVLP(the OU-ISIR ga...     

一种微处理器芯片的验证测试分析及应用

验证测试技术是验证芯片设计正确与否的重要环节，不仅向设计者及时反馈了有效的信息以尽早发现错误、改进设计，并能为降低测试成本和生产测试提供有效保障。基于实际工程，该文提出了一个较有效的验证分析流程方案，采用多测试项目融合曲测试法对一款微处理器芯片进行了验证分析，并对相关测试项目进行了定量、定性的评估。     

电动汽车自动化测试平台的设计与应用

针对当前自动化测试平台通用性的发展需求,分析了电动汽车测试平台通用性的实现方法,提出了电动汽车通用自动化测试平台的设计方案,详细介绍了平台的系统架构和各功能模块的特点.该平台提供设备指令库和基础指令库,可根据测试对象和测试策略自定义测试程序集,提高了平台资源的利用率和维护与测试效率.目前该方案已成功应用于电动汽车充换电设施测试系统的构建中,运行良好.该文提出的方案也适用于其它测试系统.     

决策树在软件测试用例生成中的应用

在软件测试中,测试用例生成是其关键环节,也对软件测试的自动化有着重要影响。为了提高测斌用例生成的效率,提高其自动化的程度,从不同角度对软件测试用例选择策略进行介绍。决策树是数据挖掘领域中一种重要的数据分类技术．在现有的一些功能测试用例生成方法基础上提出了一种基于决策树算法的测试用例生成方法,并对其中一些关键问题进行了初步的探讨。     

蚁群模拟退火算法在测试用例约简中的应用

参数的成对组合覆盖测试技术是软件测试中有效的测试方法之一。该文将模拟退火思想引入蚁群算法,组成新的混合算法,即蚁群模拟退火混合算法(ASA),应用在组合测试用例的约简过程中。按照测试的特殊需求进行多种建模尝试,通过仿真实验对算法涉及的参数进行研究,实验验证了ASA 算法对测试用例集的约简作用是有效的。     

纸笔测验和计算机自适应测验的比较研究

首先介绍了计算机自适应测验的原理和算法,接着对纸笔测验和计算机自适应测验（Computerized Adaptive Test,简称CAT）进行了比较,并详细阐述了两者的异同。最后,对纸笔测验和计算机自适应测验的发展趋势作了一些论述。     

军用软件可靠性测试管理中模型的应用

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测试管理模型,在此基础上进一步讨论了Musa模型在测试管理中的应用,最后对实例进行了分析。     

PLC在电机出厂检测设备上的应用

针对微机可编程序控制器（PLC）的原理及在某电机厂出厂检测设备上的应用,进行了介绍。     

Test Resource Partitioning Based on Efficient Response Compaction for Test Time and Tester Channels Reduction

This paper presents a test resource partitioning technique based on an efficient response compaction design called quotient compactor(q-Compactor). Because q-Compactor is a single-output compactor, high compaction ratios can be obtained even for chips with a small number of outputs. Some theorems for the design of q-Compactor are presented to achieve full diagnostic ability, minimize error cancellation and handle unknown bits in the outputs of the circuit under test (CUT). The q-Compactor can also be moved to the load-board, so as to compact the output response of the CUT even during functional testing. Therefore, the number of tester channels required to test the chip is significantly reduced. The experimental results on the ISCAS ‘89 benchmark circuits and an MPEG 2 decoder SoC show that the proposed compactionscheme is very efficient.     

基于ATML的可移植TPS开发技术研究

针对当前自动测试系统存在的互操作性差、TPS可移植性难问题,研究了基于ATML标准的可移植TPS开发技术.设计了兼容ATML标准的可移植TPS开发方法,分析了ATML模型结构,形成了AT-ML模型与现有TPS软件平台之间的对接表,并开发了ATML兼容工具,从而实现了基于ATML的可移植TPS开发技术,解决了TPS移植问题,为实现具有通用性、开放性、互操作性的ATS软件及武器装备全寿命周期测试信息共享奠定了基础.     

FADEC硬件在回路测试系统设计

发动机全权限数字电子控制器(FADEC)对航空发动机进行实时在线控制,其控制效果直接影响发动机的安全运行.硬件在回路测试系统是FADEC设计与验证的重要手段之一.设计了一种FADEC硬件在回路测试系统,该系统包括发动机电子控制器(EEC)、接口模拟器、发动机和飞机模型及其显示系统.该系统可以实时模拟发动机和飞机的各种传感器、执行机构信号,对FADEC进行高效、全面的验证,主要包括控制规律、EEC的接口电路、自检测、容错和重构策略等.通过大量的试验测试表明,该系统能够实现实时、稳定、高效的闭环仿真,达到了验证控制算法和控制逻辑的要求.