-
题名基于模型的验证与测试技术
被引量：5
- 1
-
-
作者
王伟
李育挺
马松辉
-
机构
西北工业大学无人机特种技术重点实验室
-
出处
《计算机测量与控制》
北大核心
2013年第4期987-989,共3页
-
文摘
基于模型的设计是应对复杂嵌入式控制系统的一种高效的设计方法,它为工程师提供了一种通用的开发和测试平台;其中验证和测试在设计过程和保证产品质量中起着至关重要的作用;文中针对基于模型的设计方法及其测试与验证在实际系统设计中的应用,详细分析并总结了基于模型的验证与测试的各个环节,静态测试、动态测试、宿主机环境下测试与目标机环境下测试,并以某飞行控制系统软件为例进行验证与测试,验证设计是否满足要求。
-
关键词
基于模型的设计
验证
测试
-
Keywords
Model based Design
verification
test
-
分类号
TP207.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于遗传算法的数字集成电路多故障测试生成方法
被引量：1
- 2
-
-
作者
马长李
马瑞萍
廖剑
-
机构
海军装备研究院
海军航空工程学院控制工程系
-
出处
《仪表技术》
2013年第12期25-28,共4页
-
文摘
在数字集成电路多故障测试生成算法的研究中,寻求具有高故障覆盖率,较短测试生成时间是问题的关键。文中采用遗传算法,通过对已有算法的分析,提出了计算简单、切实有效的适应度函数,减小了算法的时间复杂度,实验结果证明该算法可以有效地得到故障的测试矢量。
-
关键词
数字集成电路
测试生成算法
HOPFIELD神经网络
遗传算法
-
Keywords
digital integrated circuit
test generation algorithm
Hopfield neural network
genetic algorithm
-
分类号
TP207.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名ICP-OES信号漂移的时间函数校正研究
被引量：12
- 3
-
-
作者
李海峰
-
机构
中国计量科学研究院
-
出处
《中国测试》
CAS
2009年第2期11-13,共3页
-
基金
中国计量科学研究院科研项目(AKY0818)
-
文摘
通过建立漂移与时间的线性或非线性函数关系,可对测量数据进行合理校正,提高分析测试的准确度和精密度。结果表明,校正函数与谱线选择有关,通过本方法校正可提高分析测试的精密度约10倍,达到0.07%～0.09%。通过方法验证,表明预测值与实测值基本一致,应用该方法是可行的。该方法可对大批量数据进行快速、方便的漂移校正,有效提高分析测试的准确度和精密度。
-
关键词
标准物质
内标
仪器分析
电感耦合等离子体发射光谱仪
汞
-
Keywords
Certified reference materials
Internal standard
Instrument analysis
ICP-OES
Mercury
-
分类号
TP207.1
[自动化与计算机技术—检测技术与自动化装置]
TH744.1
[机械工程—光学工程]
-
