• Perfect Aspect, Progressive Aspect, and Their Formalization.

    完成,进行体,及其形式化

    youdao

  • The formalization of numerals in Russian has to be flexibly dealt with in translation.

    俄语数词“虚”现象的翻译采取灵活的方法。

    youdao

  • The requirements of formalization for automated software testing can be met by the method.

    这样形式描述方法满足软件测试自动化形式描述要求

    youdao

  • Study of formalization for object storage system will help us to study object management in detail.

    对象存储系统形式化研究有助于我们对象管理进一步研究。

    youdao

  • A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication.

    事实标准XMLHttpRequest对象正式化,它是Ajax通信核心

    youdao

  • The formalization of negotiation protocols is crucial to realize the automation of electronic commerce.

    谈判协议形式化实现电子商务谈判自动化关键

    youdao

  • An automatic programming system always includes two programming activities: formalization and implementation.

    自动程序设计系统包括两种程序设计活动形式化实现

    youdao

  • Efficiency decreases with specialization, formalization, routinization, fragmentation, and division of labor.

    专业化规范化常规化分工降低效率

    youdao

  • Test specification is generalized with the test template framework (TTF) based on formalization specification.

    采用基于形式规范测试模板框架TTF)可使测试规范通用化。

    youdao

  • The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.

    形式化分析例证实验结果表明GKCP正确性可行性

    youdao

  • My opinion is that, the formalization of the group personality is the normal state in history through analysis.

    笔者通过历史分析,认为团体人格形式化历史的常态

    youdao

  • In frame of BGC model, the formalization of role, and an approach of role-based mission assignment are pictured.

    BGC模型框架,文章角色进行形式化描述分析了基于角色任务分派。

    youdao

  • This paper presents the formalization of dynamic summarization according to temporal evolution of Web information.

    该文网络信息时间演化性出发,给出动态文摘形式化定义。

    youdao

  • PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.

    薛教授提出PAR方法一种简单实用的形式化算法设计开发证明的方法。

    youdao

  • The formalization of dialectic logic is the premise of its being true logic, which needs the observation of game rules.

    辩证逻辑要真正成为逻辑,必须形式化形式化必须遵守形式化游戏规则”。

    youdao

  • It is simply a reorientation and formalization of many of the things good software architects have been doing all along.

    不过定位规范化大多数优秀软件架构师已经一直在做事情

    youdao

  • Strictly speaking, REST is a formalization of the basic rules of the HTTP protocol which can be applied to web services.

    严格来说REST应用Web服务HTTP协议基本规则规范化技术

    youdao

  • The degree to which an organization relies on rules and procedures to direct the behavior of employees is formalization.

    组织多大程序上依靠规则程序指导员工行为就是组织的正规化程度

    youdao

  • In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.

    本文试图专家系统使用非单调推理及其形式化问题进行初步探讨

    youdao

  • Mohist logic has the character of non-formalization, while Aristotlian logic is mainly charactered by its formalization.

    非形式化是墨家逻辑主要特点亚里士多德逻辑的主要特点形式化

    youdao

  • The characteristics of mathematics concepts of high school are abstractness, formalization, systematization, conciseness.

    高中数学概念具有抽象化形式化系统化简明特点

    youdao

  • The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.

    前置词机用语义词典描述俄语文本语义分析提供必要的计算资源

    youdao

  • In this article, we shall discuss formalization using graphical and non graphical methods of the above stated design methodology.

    本文中,我们讨论正式使用上述表示图形设计方法图形方法

    youdao

  • The article then discussed techniques for the capture of rule-based requirements and degrees of formalization of these requirements.

    然后讨论了捕捉基于规则需求技巧以及这些需求的规范化程度

    youdao

  • Developing such system includes domain knowledge modeling, formalization and storage of knowledge ontology, inference of diagnosing.

    系统开发工作包括领域知识本体建模、知识本体形式化存储诊断推理

    youdao

  • However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.

    但是,需求-分析-设计周期中的不同参与者是以不同程度规范化结构来表达规则的。

    youdao

  • This paper mainly discusses the formalization description of Event-Condition-Action (ECA) rules and its application in workflow runtime control.

    论文主要研究了事件—条件—动作(eca)规则形式化描述及其工作流运行控制中的应用

    youdao

  • A crucial aspect of the USBD methodology is then the description and formalization of how the identified business processes support the business goals.

    USBD方法至关重要方面确定业务过程如何支持业务目标的描述形式化

    youdao

  • There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.

    是否采用形式化方法是存在于广义语言逻辑狭义语言逻辑之间激烈论争。

    youdao

  • There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.

    是否采用形式化方法是存在于广义语言逻辑狭义语言逻辑之间激烈论争。

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定