查询词典 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所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。