1) Validation
适用性验证
2) application
适用
1.
Comparison of Property Law and relevant laws and its application;
《物权法》与有关法律的比较及其适用
3) Apply
适用
1.
Preliminary discussion of type DK-1 braker applying in CIS brake system;
DK-1型制动机适用于CIS制动系统的初探
2.
On the apply of the Principle of Adverse Alteration Prohibition in Administrative Reconsideration Procedure;
论行政复议“不利变更禁止”原则的适用
3.
Discussion about effect of the people s procuratorate applying to the policy of the venial penalty;
论检察机关适用轻缓刑事政策之效果
4) applicable
适用
1.
and interprets how to meet the requirement of designing an applicable,economic and beautiful residedence in the overall play,the house type designing and Elevation design.
介绍了吉水苑住宅小区规划设计的特点,阐述了如何在总平面规划,户型设计及立面设计中尽可能地满足于“适用·经济·美观”的要求。
2.
In this situation, we should entrust more intension to the principles "applicable, economical, artistic in due course".
“适用、经济,在可能条件下注意美观”的建筑方针在我国当前城乡建设高速发展的形势下,被赋予了更深刻的内涵。
3.
It will make the uncertainty evaluation very easy and very applicable.
文章的示例有助于ISO/IEC17025体系实验室广泛做好不确定度评定,使不确定度评定由难化易,具有较强的适用意义。
5) suitable
适用
1.
Discussion on Suitable Personality Negative System of Corporation;
公司法人人格制度否认适用探讨
2.
That is, keeping suitable design principle, suiting measures to local conditions, then turning disadvantage into advantage.
通过澳门何东体育馆的创作实践,探讨在地势跌宕的澳门旧城区设计体育馆和小学综合 体中,如何把握项目的特殊性,采取适用的设计原则,从而因地制宜,变不利条件为有利条件。
3.
Theoretically, scholars are sticking to their own opinions about many problems such as whether it is suitable for the minor to undertake the fine punishment and how to use the fine punishment, etc.
司法实践中,我国对未成年人犯罪适用罚金刑,这似乎与其普遍没有经济来源的状况相悖;理论上,对于未成年人犯罪是否适用罚金刑,如何适用罚金刑等问题,学者们也各执一词;我国现行刑法只对未成年人犯罪处罚规定采取从宽责任原则,司法解释中明确了对其罚金刑的适用,但仍矛盾累累。
6) Applicability
适用
1.
Applicability Research on Spatial Modeling Methods for PRD Air Automatic Monitoring Data;
珠江三角洲地区空气自动监控网络数据空间模拟适用方法
2.
Applicability,Economy,Beauty and the Design of Residential Building;
适用、经济、美观与住宅设计
3.
Consideration about our Residence across 50 Years——Rereading the Construction Policy:Applicability,Economy,and Attention to Beauty with the Possible Conditions;
横跨50年看我们的居住——“适用、经济、在可能条件下注意美观”建筑方针的重读
参考词条
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。