2) verification experiment
验证性实验
1.
Displaying inquiry glamour of verification experiment;
展现验证性实验的探究魅力
2.
In the present experimental teaching reform, importance is attached to the design and integrated experimental teaching while the verification experimental teaching is ignored.
针对目前实验教学改革中重视设计性、综合性实验教学、忽视验证性实验教学改革的现状,指出验证性实验教学中所存在的不足,提出从问题导入实验之教学方法、使用示教系统进行演示性实验之教学形式、及采用现代教育技术——计算机多媒体技术之教学手段等三个方面加以改革,以提高验证性实验的教学效果,为今后培养学生的创新思维能力、综合实验能力夯实基础。
3.
In this article, the author described defects of traditional verification experiment, analyzed the characteristics of comprehensive and designing experiments, and pointed out that to make experimental teaching successful, we should improve the experimental condition, make great effort to develop comprehensive and designing experiments.
高等教育体制改革加大了实验教学的比重,本文阐述了传统验证性实验存在的不足,分析了综合性、设计性实验的特点,提出了实验教学应加大基础训练,改善实验条件,大力开发综合性、设计性实验等具体的改革构想。
3) real-time performance verification
实时性验证
4) affirmative experiment
确证性实验
5) confirmatory test
证实性试验
6) experimental verification
实验验证
1.
Computer simulation and experimental verification for optical synthetic aperture imaging technology;
光学合成孔径成像技术计算机仿真与实验验证
2.
Experimental verification of a new threshold detector and neutron measurement in heavy ion target area;
一种新阈探测器的实验验证和重离子靶区中子测量
3.
Simulation and experimental verification of solar-air compound source heat pump system hanging on balcony
阳台壁挂太阳能—空气源复合热泵系统的仿真模拟和实验验证
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条