检索结果-维普期刊中文期刊服务平台

一种电子设备自动测试模型及应用: 1; 作者王格芳吴国庆王利众《仪表技术与传感器》 CSCD 北大核心 2003年第7期45-47,52,共4页; 采用自动测试技术可以大大地缩短电子设备故障查找时间 ,是快速修复电子设备的最佳方法。提出了由自动测试设备 (ATE)模型、被测电子单元 (UUT)模型和测试接口设备 (TID)模型组成的一种电子设备自动测试模型 ,该模型使用信号描述方法定... 展开更多; 关键词电子设备自动测试设备被测单元测试接口设备自动测试模型; 在线阅读下载PDF 职称材料

CCD相机自动测试技术研究被引量：3: 2; 作者常飞谢兴全 +2 位作者张学东虢仲平刘金《计算机工程与应用》 CSCD 2012年第26期171-176,共6页; 建立了一个CCD相机自动测试模型,对CCD相机根据应用需求进行自动测试。根据应用环境分析了CCD相机的6个主要的影响因子,并分类为可用影响因子和可靠性影响因子;针对不同影响因子的特点,提出了具体的测试方法和算法,并建立了影响因子评... 展开更多; 关键词 CCD相机自动测试模型评价函数; 在线阅读下载PDF 职称材料

基于模型的矢量喷管控制系统设计被引量：7: 3; 作者王建锋臧军 +1 位作者姜殿文蒋毅《航空发动机》 2017年第4期23-29,共7页; 为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成... 展开更多; 关键词矢量喷管控制系统飞行/推进综合控制基于模型的设计模型自动测试:自动代码生成实时仿真; 在线阅读下载PDF 职称材料

时序电路等价验证的触发器匹配被引量：1: 4; 作者张超竺红卫《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页; 通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔... 展开更多; 关键词触发器匹配自动测试模式生成模型布尔可满足性时序帧递进展开信息学习; 在线阅读下载PDF 职称材料

题名一种电子设备自动测试模型及应用: 1; 作者王格芳吴国庆王利众; 机构军械技术研究所北京理工大学北京理工大学; 出处《仪表技术与传感器》 CSCD 北大核心 2003年第7期45-47,52,共4页; 文摘采用自动测试技术可以大大地缩短电子设备故障查找时间 ,是快速修复电子设备的最佳方法。提出了由自动测试设备 (ATE)模型、被测电子单元 (UUT)模型和测试接口设备 (TID)模型组成的一种电子设备自动测试模型 ,该模型使用信号描述方法定义了ATE测试能力、UUT信号要求及TID配置方法 ,并从系统集成、软件策略和测试描述 3个方面 ,介绍了该模型在某型电子装备自动测试系统(ATS)中的应用情况。结果表明该模型对组建ATS和设计TID具有一定的指导作用。; 关键词电子设备自动测试设备被测单元测试接口设备自动测试模型; Keywords Electric equipment Automatic Test Equipment (ATE) Unit under Test (UUT) Test Interface Device (TID); 分类号 TN06 [电子电信—物理电子学]; 在线阅读下载PDF 职称材料

题名CCD相机自动测试技术研究被引量：3: 2; 作者常飞谢兴全张学东虢仲平刘金; 机构中国工程物理研究院计算机应用研究所; 出处《计算机工程与应用》 CSCD 2012年第26期171-176,共6页; 文摘建立了一个CCD相机自动测试模型,对CCD相机根据应用需求进行自动测试。根据应用环境分析了CCD相机的6个主要的影响因子,并分类为可用影响因子和可靠性影响因子;针对不同影响因子的特点,提出了具体的测试方法和算法,并建立了影响因子评价函数;根据因子评价函数,通过加权的方式建立了CCD相机的综合评价函数;模型还给出了CCD相机自动测试框架。实验结果表明,CCD相机自动测试技术能够有效减少测试时间,提高测试效率,降低测试复杂度,对CCD相机的测评更加全面和可信。; 关键词 CCD相机自动测试模型评价函数; Keywords CCD camera auto-testing model evaluation function; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于模型的矢量喷管控制系统设计被引量：7: 3; 作者王建锋臧军姜殿文蒋毅; 机构中国航发控制系统研究所; 出处《航空发动机》 2017年第4期23-29,共7页; 基金国家重大基础研究项目资助; 文摘为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成用于矢量喷管控制系统的系统综合设计。使用模型自动测试技术开展数字仿真试验,利用自动代码生成技术和实时仿真技术实现控制软件快速开发和系统半物理试验,试验结果表明了矢量喷管控制系统设计的正确性、高效性。; 关键词矢量喷管控制系统飞行/推进综合控制基于模型的设计模型自动测试:自动代码生成实时仿真; Keywords vector nozzle control system integrated flight propulsion control model based design automatic test for model autocode generation real-time simulation; 分类号 V233.7 [航空宇航科学与技术—航空宇航推进理论与工程]; 在线阅读下载PDF 职称材料

题名时序电路等价验证的触发器匹配被引量：1: 4; 作者张超竺红卫; 机构浙江大学电气工程学院; 出处《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页; 文摘通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配。在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的。; 关键词触发器匹配自动测试模式生成模型布尔可满足性时序帧递进展开信息学习; Keywords Flip-flops matching Automatic Test Pattern Generation （ATPG） module Boolean Satisfiability（SAT） Progressive expansion of sequential frames Information learning; 分类号 TN47 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料