检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

罗罗公司展开支线飞机电动机验证测试

国际航空 2024年第4期 75-75页

作者：马兰馨(编译) 不详

据航空周刊网站2024年4月2日报道,罗罗公司已开始对其首台320kW电动机验证机进行台架测试,预计将用于9~19座电动/混合电动飞机。该款风冷直驱电动机已于2024年3月在罗罗公司位于挪威的特隆赫姆工厂成功通过初始试运行。为验证其设计假... 详细信息

据航空周刊网站2024年4月2日报道,罗罗公司已开始对其首台320kW电动机验证机进行台架测试,预计将用于9~19座电动/混合电动飞机。该款风冷直驱电动机已于2024年3月在罗罗公司位于挪威的特隆赫姆工厂成功通过初始试运行。为验证其设计假设并促进更新迭代,该电动机将在未来一周内接受更严格的测试。

关键词：验证测试特隆赫姆验证机支线飞机电动机电动飞机罗罗公司台架测试

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

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

计算机工程 2006年第9期32卷 219-221页

作者：檀彦卓韩银和李晓维中国科学院计算技术研究所

验证测试技术是验证芯片设计正确与否的重要环节,不仅向设计者及时反馈了有效的信息以尽早发现错误、改进设计,并能为降低测试成本和生产测试提供有效保障。基于实际工程,该文提出了一个较有效的验证分析流程方案,采用多测试项目融合的... 详细信息

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

关键词：验证测试生产测试失效分析可测试性设计故障模型

构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现

在线全文

学校读者我要写书评

暂无评论

计算机学报 1993年第7期16卷 497-508页

作者：张端仪吴翰声镇江船舶学院镇江212003

本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。

关键词：验证测试伪穷举测试恒权矢量测试图生成内在自测试递归方法 GCLISP

在线全文

学校读者我要写书评

暂无评论

机载计算机验证测试研究

计算机工程 1995年第S1期21卷 323-328页

作者：于民中国航空计算技术研究所西安710068

研究了机载计算机系统验证测试理论,设计了一种自动测试设备。

关键词：机载计算机验证测试自动测试设备

在线全文

学校读者我要写书评

暂无评论

基于蜕变测试的热传导程序的验证测试研究

核科学与工程 2017年第3期37卷 380-385页

作者：闫仕宇阳小华李萌谢金森南华大学计算机科学技术学院湖南衡阳4221001 中核集团高可信计算学科重点实验室湖南衡阳421001

核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领... 详细信息

核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。

关键词：燃料元件热传导程序验证测试蜕变测试

在线全文

学校读者我要写书评

暂无评论

离散型软件可靠性验证测试方案研究

计算机应用研究 2010年第4期27卷 1363-1365页

作者：姜梦岑李秋英北京航空航天大学工程系统工程系北京100191

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进... 详细信息

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。

关键词：离散型软件验证测试软件可靠性成功率测试方案

在线全文

学校读者我要写书评

暂无评论

连续执行软件可靠性验证测试方法

计算机科学 2005年第6期32卷 202-205页

作者：覃志东雷航桑楠熊光泽电子科技大学计算机学院实时系统研究室成都610054

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效... 详细信息

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。

关键词：可靠性验证测试方法执行验证测试统计假设检验软件可靠性可靠性增长持续期统计推断先验分布软件失效测试阶段测试过程动态整合贝叶斯可信性

在线全文

学校读者我要写书评

暂无评论

地球站天线现场验证测试综述

无线电通信技术 1994年第4期20卷 43-48页

作者：秦顺友陈奇波电子部第54研究所

本文概述了地球站天线入网验证的自动测试系统,简述了现场验证测试的特点,强调了数据处理在入网验证测试中的重要性。

关键词：地球站天线验证测试卫星通信

在线全文

学校读者我要写书评

暂无评论

一种提高软件可靠性验证测试效率的方法

火力与指挥控制 2018年第8期43卷 168-172页

作者：马振宇刘福胜吴纬陈守华韩坤陆军装甲兵学院北京100072 北京特种车辆研究所北京100072

当前软件可靠性验证测试普遍存在着未能客观反应实际测试过程中的信息变化以及测试工作量较大的问题,难以满足实际测试的需求。因此,提出了一种基于混合加权贝叶斯方法,给出了在混合加权的情况下超参数的具体求解方法。通过案例分析,基... 详细信息

当前软件可靠性验证测试普遍存在着未能客观反应实际测试过程中的信息变化以及测试工作量较大的问题,难以满足实际测试的需求。因此,提出了一种基于混合加权贝叶斯方法,给出了在混合加权的情况下超参数的具体求解方法。通过案例分析,基于混合加权贝叶斯方法改善了传统贝叶斯方法存在的问题,同时在保证软件可靠性验证测试结果的置信度条件下,能够实现有效降低测试所需的测试用例数。

关键词：混合加权贝叶斯方法软件可靠性验证测试