查询词典 formalisms

Constantly expanding, as people invent new formalisms to solve their ownproblems.

数学领域正不断的扩展，当人们发明新的形式去解决自己的问题时。

Petri nets and process algebras are both most widely used formalisms for describing and analyzing discrete-event concurrent systems.

Petri网和进程代数作为研究离散、并发系统的有利工具，是最主要的两种工作流建模和分析方法。

There are several formalisms in FTFT which canbe divided into two classes, i.e.

目前已有几种有限温度场论方法。

This need has motivated research on specification formalisms and the associated verification methods and tools, and has led to highly complex theoretical investigations into the concept of program correctness.

这一需求促使了对规范形式及其相关的验证方法和工具的研究。它也导致了对程序正确性概念中高度复杂的理论研究。

A realistic scenario about human resource management is used to show how the proposed logics can serve as representational formalisms in different stages of the recruitment process and team formation process of a company.

我们以一个现实的例子来说明我们所提出来的机制可用来辅助公司聘雇人员及形成团队过程中不同阶段的知识表徵需求。

In manycases,they are equivalent.They describe the same equations in different math-ematical formalisms.

在许多情形下，它们是等价的，它们是同一问题的不同出发点，它们对同一方程给以不同的数学形式。

Successfully deployed to all new projects;(2) periodically revised based on lessons learned from use;(3) compatible with individual and team practices and flexible enough for teams to adapt the processes to their needs according to their experience; and(4) written using language and formalisms that practitioners understand.

成功地部署到所有新的项目；（ 2 ）在定期修订经验教训的基础上使用；（ 3 ）符合个人和团队的实践和足够灵活的适应团队，以便他们的需要根据自己的经验；使用过程，和（ 4 ）使用书面语言和形式化语言进行描述，以便从业人员理解。

It includes the understanding of mind and intelligence in philosophy, psychology and other areas; the development and use of advanced knowledge representation for formalisms; different search techniques for AI problem solving; the introduction of knowledge inference and reasoning; and some rule-based systems with their practical applications.

主要内容包括对心智及智慧的认识与了解，知识表示法的发展与使用，各种人工智慧的搜寻法知识的推理，以及规则导向系统的建立与应用等。

I know over two dozen general-purpose languages, write compilers and interpreters for fun, and have designed any number of special-purpose languages and markup formalisms myself.

我知道超过二十种通用的语言，出于兴趣写些编译器和解释器，还设计了不少专用语言和标记性的。

Graph grammar turns out to be aformal tOOl much more suitable than other formalisms to specify such kink of concurrency and dynamic characteristics.

面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。