构建性验证,compositional verification,在线英语词典,英文翻译,专业英语

1) compositional verification

构建性验证

2) construction

构建

Primary Study on Construction of Early Warning System of Regional Water Environment Ecological Safe;

区域水环境生态安全的预警系统构建初探

On the Construction of Innovation System of China's Garment Industry;

论中国服装产业创新体系的构建

Study on the Construction of Multiple Microorganisms and the Factors Influencing the Flocculating Activity of Microbial Flocculants;

复合菌群的构建及其所产MBF絮凝活性的影响因素研究

3) establish

构建

Exerting Strength on Establishing Harmonious and Peaceful Mining Area;

杨桥矿着力构建和谐平安矿区

Advocating lifelong study to establish study society;

终身学习与学习化社会的构建

Systematical and Dialectical Thinking of Establishing A Harmonious Society——the research of the foundation and source of strength concerning a harmonizing society;

对构建和谐社会的系统辩证思考——关于和谐社会的基础及其力量之源探究

4) construct

构建

Thinking of Constructing Network Management System in Environmental Monitoring Business;

构建环境监测业务网络化管理系统的思考

Basic principle and system on the cultural construction of textile clothing enterprises;

纺织服装企业文化构建的基本原理与基本体系

Construction of an eukaryotic expression vector inserted human IκBα mutant gene;

人突变型IκBα真核表达质粒的构建和鉴定

5) establishment

构建

Establishment of Conservation System of Eco-tourism Environment in Forest Parks;

森林公园生态旅游环境保护体系的构建

Establishment of Wetland Ecological Monitor System of Jiangxi Province;

江西省湿地生态监测体系的构建

The Establishment of Distance Teaching Platform Based on Business Rules Technology;

基于业务规则技术的远程教学平台构建

6) Building

构建

Building Scientific Assessment System to Improve Equipment Management Level;

构建科学的评价体系提高设备管理水平

Scientific establishment of sustainable water environment for Green Building;

绿色建筑可持续水环境的科学构建

Building a Scientific and Effective Interest Coordination Mechanism;

构建科学有效的利益协调机制

参考词条

体系构建载体构建本体构建构建单元构建样式构建技术模型构建制度构建平台构建曲模构建构建关系构建湿地博克

补充资料：软件正确性验证

　　
　　软件正确性验证
　　verification of software correctness

　　ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引构建“ 波前构建曲线构建教学构建工艺构建菌群构建

1) compositional verification 构建性验证 2) construction 构建 1. Primary Study on Construction of Early Warning System of Regional Water Environment Ecological Safe; 区域水环境生态安全的预警系统构建初探 2. On the Construction of Innovation System of China's Garment Industry; 论中国服装产业创新体系的构建 3. Study on the Construction of Multiple Microorganisms and the Factors Influencing the Flocculating Activity of Microbial Flocculants; 复合菌群的构建及其所产MBF絮凝活性的影响因素研究 3) establish 构建 1. Exerting Strength on Establishing Harmonious and Peaceful Mining Area; 杨桥矿着力构建和谐平安矿区 2. Advocating lifelong study to establish study society; 终身学习与学习化社会的构建 3. Systematical and Dialectical Thinking of Establishing A Harmonious Society——the research of the foundation and source of strength concerning a harmonizing society; 对构建和谐社会的系统辩证思考——关于和谐社会的基础及其力量之源探究 4) construct 构建 1. Thinking of Constructing Network Management System in Environmental Monitoring Business; 构建环境监测业务网络化管理系统的思考 2. Basic principle and system on the cultural construction of textile clothing enterprises; 纺织服装企业文化构建的基本原理与基本体系 3. Construction of an eukaryotic expression vector inserted human IκBα mutant gene; 人突变型IκBα真核表达质粒的构建和鉴定 5) establishment 构建 1. Establishment of Conservation System of Eco-tourism Environment in Forest Parks; 森林公园生态旅游环境保护体系的构建 2. Establishment of Wetland Ecological Monitor System of Jiangxi Province; 江西省湿地生态监测体系的构建 3. The Establishment of Distance Teaching Platform Based on Business Rules Technology; 基于业务规则技术的远程教学平台构建 6) Building 构建 1. Building Scientific Assessment System to Improve Equipment Management Level; 构建科学的评价体系提高设备管理水平 2. Scientific establishment of sustainable water environment for Green Building; 绿色建筑可持续水环境的科学构建 3. Building a Scientific and Effective Interest Coordination Mechanism; 构建科学有效的利益协调机制参考词条体系构建载体构建本体构建构建单元构建样式构建技术模型构建制度构建平台构建曲模构建构建关系构建湿地博克补充资料：软件正确性验证　　　　软件正确性验证　　verification of software correctness 　　ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱\| 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com