2) original experiment
原始性实验
3) source document
原始凭证
1.
Through analyzing the genesis of the nonstandard source document and its harmfulness,this paper expounds how to strengthen the audit of the source document and guarantee the reality of the financial information.
通过分析原始凭证不规范的成因及所带来的危害,阐述了如何加强原始凭证的审核,保证财务信息的真实性。
4) original voucher
原始凭证
1.
An original voucher records concrete business contents and is the essential proof and information source for accounting verification.
会计原始凭证是经济业务发生时填制和取得的,它是反映经济业务最基本的证据。
2.
On the basis of describing what is original voucher,the article makes elaborations in the following three aspects:what to be filled in & related requirements,approaches for examination & verification and the existing problems and countermeasures in examining & verifying original voucher.
在说明什么是原始凭证的基础上 ,从原始凭证的填制内容和要求、原始凭证的审核方法、原始凭证审核中存在的问题及对策等 3个方面进行了阐
5) original document
原始凭证
1.
Great attention should be paid to the principle of "Observing, Auditing and Probing" in the auditing of original documents.
加强原始凭证的审核是保证会计资料真实的前提,在原始凭证的审核中要重视"一看二审三探"。
2.
This article discusses in greater detail the original documents and methods of handling accounting business of stock investment in the se condary market.
文章详细论述了二级市场股票投资的原始凭证和会计帐务处理方法，对现行股票投资的会计核算方法进行了补充和完
6) original evidences
原始凭证
1.
This paper expounds the important functions of the original evidences in enterprise\'s economic activities,briefly introduces the classification of the original evidences,emphatically describes the contents and procedures of the auditing of the original evidences and the treatment of the original evidences after auditing.
阐明了原始凭证在企业经济活动中的重要作用,简要介绍了原始凭证的分类方法,重点叙述了原始凭证审核的内容、步骤以及审核后原始凭证的处理办法。
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条