| 单词 | formalization |
| 释义 |
n. solemnization,validation,ratification,reinforcement,sanctification 例句释义: 形式化,成为正式,化程度,正式化,正式化程度 1. The article then discussed techniques for the capture of rule-based requirements and degrees of formalization of these requirements. 然后讨论了捕捉基于规则的需求的技巧，以及这些需求的规范化程度。 www.ibm.com 2. Strictly speaking, REST is a formalization of the basic rules of the HTTP protocol which can be applied to web services. 严格来说，REST是可应用到Web服务的HTTP协议的基本规则的规范化技术。 www.ibm.com 3. Mathematical formalization consists of what is written, but it only subsists if I employ, in presenting it, the language I make use of. 数学的公式化由书写过的内容组成，但是只有当我运用我使用的语言来呈现它，它才会生存。 springhero.wordpress.com 4. You can use the Microsoft Operations Framework (MOF) to help you model your organization's formalization efforts. 可以使用MicrosoftOperationsFramework（MOF）帮助您对组织的正式化进行建模。 technet.microsoft.com 5. What is at stake for us, as you have realized, is to obtain a model of mathematical formalization. 如你们已经体会到，我们岌岌可危的是，如何得到一个数学的公式化。 springhero.wordpress.com 6. The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis. 前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。 www.sinoss.net 7. Developing such system includes domain knowledge modeling, formalization and storage of knowledge ontology, inference of diagnosing. 系统开发工作包括领域知识本体建模、知识本体的形式化与存储、诊断推理等。 www.chemyq.com 8. Modern logic is to achieve a'logical truth'by pure formalization and consistent completeness of the deduction rules. 现代逻辑通过“纯形式化”和“一致性、完备性”的推演规则，实现了“逻辑真”。 www.zidir.com 9. However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure. 但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。 www.ibm.com 10. There is a significant difference in the degree of detail, formalization, and, of course, structure. 这两者在详细程度、规范化程度和结构方面有显著差异。 www.ibm.com 1. Unscrambling it, design is achieving objectives, being to solve out problems, moreover, we ask for imagination, formalization, creativity! 解读之，设计是有目的的，要解决人们的问题，并且，你要有想象，有形式，有创造！ blog.sina.com.cn 2. itis in the nature of any formalization of number theory that itsmetalanguage is embedded within it. 它的性质，任何形式的若干理论，它的元语言是嵌入它。 blog.sina.com.cn 3. This paper formulates the conception of formalization of software engineering, and specifies the requirements of software. 本文阐述了形式化软件工程的基本概念，并采用规格说明语言实现了一个应用软件的形式化描述。 tr.bab.la 4. it is simply a reorientation and formalization of many of the things good software architects have been doing all along. 它不过是重定位和规范化大多数优秀软件架构师已经一直在做的事情。 www.infoq.com 5. The process involves decisions about the amount of complexity, formalization, and centralization to be used. 这个过程包括关于组织的复杂性，正规化及集权化程序的决定。 www.tingclass.net 6. As the research about formalization of ontology is just began, there is a lack of technology for evaluating ontologies. 由于本体的形式化研究仍处于初级阶段，尚缺乏对本体的严格的评价技术。 www.ceps.com.tw 7. The chief task of consistent automatic checking UML model is to solve the formalization problem. UML模型一致性自动检测的主要任务是解决形式化问题。 kns50.chkd.cnki.net 8. Nowadays, Accelerate the process of national formalization of marxism have important and far-reaching significance. 时下，加快推进马克思主义民族形式化的过程具有重大而深远的意义。 www.fabiao.net 9. the paper adopts bnf to express the logic expressions , providing a good formalization method. 论文采用了巴科斯范式来表示逻辑表达式，为其提供了一个很好的形式化的表达方式。 www.ichacha.net 10. Based on the formalization method, the software reliability test data can be generated automatically. 根据这些形式化描述信息，计算机可以自动抽取出适用于软件可靠性测试的测试数据。 epub.cnki.net 1. In many ways, the new approach represents a formalization of existing informal practices. 最新的改革在很多方面都表明了现存非正规做法在走向正规化。 c.wsj.com 2. Test specification is generalized with the test template framework (TTF) based on formalization specification. 采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。 www.dictall.com 3. Formalization Cultural Technique of Schizophyllum ocmmuner Fr. 裂褶菌的规模化栽培技术。 www.ilib.cn 4. General logic courses in practical education fail to arouse students " interest because it overemphasizes formalization. " 在实际逻辑教学中，普通逻辑课程过分强调形式化，难以引起学生的兴趣。 www.magsci.org 5. Classification and Formalization Representation of Interdependencies between Tasks 任务间依赖关系的分类及形式化表达 www.ilib.cn 6. formalization, including centralization of authority, and emphasis on written communication and going through channels; 形式化，包括权力集中，并在书面沟通和去强调通过渠道； zhidao.baidu.com 7. The live pig formalization cultivation level was still low, the degree of improved variety is not high; 生猪规模化养殖水平仍较低，良种化程度不高； www.boshuo.net 8. A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication 事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心 www.ibm.com 9. Formalization Research on Software Connectors Compounding Process 软件连接件复合过程的形式化研究 www.ilib.cn 10. Research of Formalization Processing for Collective Structures in Mathematics Domain 数学领域集体词结构形式化处理研究 www.ilib.cn 1. Formalization and Knowledge Representation for Vehicle Routing Problems 车辆路径问题的形式化及其知识表示方法研究 service.ilib.cn 2. Intellectual Capital Management and Formalization of Core Competence of Enterprises 知识资本管理与企业核心能力的形成 ilib.cn 3. Summarization on Security Protocols Formalization 安全协议的形式化方法概述 www.ilib.cn 4. Communication Systems Formalization from Object Oriented Models 基于面向对象模型的通信系统形式化规范 service.ilib.cn 5. on the studies of formalization of de - feasible deontic logic in the west and its existing problem 论西方可废止性道义逻辑的形式化研究及其存在的问题 www.ichacha.net 6. Formalization Research on Collectivity Mode of Swarm Intelligence Algorithm 群体智能算法总体模式的形式化研究 ilib.cn 7. Formalization method for virtual enterprise integration models 虚拟企业集成模型的形式化方法 www.ilib.cn 8. Research on formalization processing for quantifier structure in plane geometry domain 平面几何领域数量词结构形式化处理研究 www.ilib.cn 9. The Primary Discussion about the Embodiment of Logic, Formalization and Intuition Methods in Mathematics Teaching 浅谈数学教学过程中逻辑、形式与直觉方法的表现 service.ilib.cn 10. Polychromatic Sets with Application in the Formalization of Conceptual Design Product Model 多色集合及其在概念设计产品模型形式化描述中的应用 service.ilib.cn 1. Formalization of Natural Language Understanding 自然语言理解的机器认知形式系统 www.ilib.cn 2. Reflection on Formalization during Classroom Teaching of Basic Music Education 基础音乐教育课堂教学过程中形式化的思考 www.ilib.cn 3. Research on the Design and the Model Formalization Representation for Mechanical Kinematic Scheme 机械运动方案设计及其模型形式化表达方法的研究 www.wanfangdata.com.cn 4. Research on Formalization Requirement Analysis Method in MIS Development 管理信息系统开发中的形式化需求分析方法研究 service.ilib.cn 5. Influential Factors on Formalization of Human Resource Management in Small and Medium-sized Business 影响中小企业人力资源管理形式化的因素 www.ilib.cn 6. Formalization and automated synthesis of microprogram 微程序的形式化和自动综合 www.7kang.com 7. Preliminary Exploration of Formalization of Kinship Terms in Mandarin Chinese 普通话亲属称谓形式化初探 www.ilib.cn 8. A Comparison on the Semantic Interpretation and Formalization of Generic Sentences 概称句的语义解释及形式化比较研究 www.ilib.cn 9. Out of the Dilemma of Formalization 走出形式化的困境 scholar.ilib.cn 10. Formalization of Process Model in Mechanical Product Conceptual Design 机械产品概念设计过程模型的形式化表达 www.ilib.cn 1. Application of strand space theory to formalization analyses of network protocol 串空间理论在网络安全协议形式化分析中应用 ilib.cn 2. Research on the Formalization and Innovation of Enterprise Management 试论企业管理的规范与创新 www.ilib.cn 3. Study on the Formalization of Information Processing-oriented Context 面向信息处理的语境形式化研究 www.ilib.cn 4. Construction of the relativity and the formalization method 相对论的产生与形式化方法 www.ilib.cn 5. Fundamentals of process for material formalization 材料成型工艺基础 abcdvbbs.net 6. Two primary problems of verification to program formalization 程序形式化验证中的两个基本问题 service.ilib.cn 7. A Criticism on the Mechanical Formalization in Scientific Research 对科研中机械地形式化的批判 ilib.cn 8. A Study on Multivariate Dialectical Logic Formalization 多元化的辩证逻辑形式化研究 www.ilib.cn 9. Formalization and algorithms for automatic OSPF testing 自动OSPF协议测试的形式化及算法 www.ilib.cn 10. Research on the Formalization of Software Architecture Model 软件体系结构模型的形式化研究 service.ilib.cn 1. Application of Formalization to Middle School Maths Teaching 形式化在中学数学教学中的应用 www.ilib.cn 2. Formalization and Axiomatization Can't Rid of Mistakes of Scientific Theory 形式化、公理化无法摆脱科学理论错误 www.ilib.com.cn 3. On Translation of Loanwords and Internal Formalization 试论外来词的翻译与内部形式化 www.ilib.cn 4. Formalization Model and Verification of Audit Buffers 审计缓冲区的形式化模型及其验证 service.ilib.cn 5. Deep Analysis on Formalization of Subject Librarian System 学科馆员制度走向形式化的深层原因分析 ilib.cn 6. signifying of language; Sun Ganlu's work; formalization; operating point literalism; 孙甘露小说；语言能指化；小说研究；形式化；操作点； www.zidir.com 7. The Formalization of Narration Patterns of Vanguard Novel 论先锋小说叙事模式的形式化 www.ilib.cn 8. Study on the Modelization and Formalization of Data Fusion Systems 据融合系统的模型化和形式化研究 service.ilib.cn 9. Having a better understanding of few basic problems in natural language formalization research 自然语言形式化研究中几个基本问题的再认识 www.ilib.cn 10. Logical layered-and-delayed PSO algorithm and application based on formalization description 基于形式化描述的逻辑分层延迟PSO算法及应用 service.ilib.cn 1. Negative Reflection on the Formalization of Legal Logic 对法律逻辑学形式化定位的否定性思考 www.ilib.cn 2. The Sidc-Effect Problem with Formalization of Intention 意图形式化中的副作用问题 service.ilib.cn 3. Surveying Reform in the Formalization Development of University 高校规模化发展中的测量学改革 www.ilib.cn 4. Simplifying Coal Quality Analysis Process by Use of Datum Screening Formalization Method 应用筛数定形法简化煤质化验 www.ilib.cn 5. On Formalization Methods of Describing Fuzzy Region in GIS GIS中模糊区域的形式化描述方法探讨 168.160.184.78 6. Formalization of mining association rules based on relational database 基于关系数据库的关联规则的形式化开采 www.ilib.cn 7. A Brief Talk on the Formalization of Artistic Sentiment 浅论艺术情感及其形式化 www.ilib.cn 8. Study on Test Template Framework Based on Formalization Specification 形式化规范测试模板框架的研究 www.ilib.cn 9. On the Formalization of Legal Discourse 论法学话语的形式化 www.ilib.cn 10. The Logic of Language and Formalization 语言逻辑与形式化 www.ilib.cn 1. The Formalization of Real Estate Market 规范房地产市场研究 service.ilib.cn 2. The Method of Pattern and Formalization 模型方法与形式化 www.ilib.cn 3. The Immanence of Emergence of Non - formal Finance in China and its Formalization 我国非正规金融产生的内在性及其正规化 www.ilib.cn 4. On a Consideration of Formalization of Collective Contracts in China 对集体合同形式化的反思 www.ilib.cn 5. The Study on Formalization of Network Attack 网络攻击的形式化建模探讨 www.wanfangdata.com.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。