2) Confirmatory research
证实性实验研究
3) normal and trial researches
规范性和验证性研究
4) empirical research
实证性研究
1.
It also points out the need to strengthen empirical research.
本文分析了高教研究的现状和存在的问题 ,指出了加强实证性研究的必要性。
2.
On the other hand,it should be a kind of empirical research capable of tackling key research topics.
其次是具有"攻坚"性质的实证性研究,这方面只有付出较之前人更为扎实而严谨的功夫,才可能有或大或小的收获。
5) empirical study
实证性研究
1.
An empirical study on TJM4 improvement of testing capabilities——Focusing on Writing Ability
提高大学日语专业四级考试能力的实证性研究——以写作能力为中心
2.
Based on the research of china and abroad,this thesis carried on an empirical study on the sophomores using the instrument of questionnaires on belief of translation.
本文在介绍国内外对翻译的研究基础上,使用调查问卷对新疆师范大学英语专业大二学生的翻译使用观念进行了实证性研究,调查和分析了他们在翻译观念上的状况、英语学习水平和翻译的使用观念、相关程度如何等问题。
3.
It uses empirical study to prove the feasibility and effectiveness of constructivism to oral English teaching.
文章采用了实证性研究方法,全文分引言、主体、总结三大部分。
6) algorithm development and validation
算法研究与验证
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条