查询词典 formalisation

The formalisation and reasoning of models is then applied to model consistency checking.

我们成功地将此方法和工具应用于模型的一致性检查。

Both interpretation and argumentation contribute to the formalisation of the knowledge of law with the character of practical reason.

二者均致力于型构具有实践理性品格的法学知识。

The ability to tear up future contracts will simply be a formalisation of that power.

赋予金融服务监管局使日后的合同失效的权利只不过是将那种权利正规化罢了。

Firstly, this paper has discussed the theory and application of Agent and Multi-agent system,and gives Formalisation of AA for RTAIS,This Agent Architecture comprises tow levels of agents, the RTAIS Agent,and a set of agentwithin it,and finally,gives an example of simulation system of Intelligent Campaign Decision Based on AA,shows that this model not only meets the time restriction of hard real-time system,,but also bings an higher intelligence to it if being used in real-time intelligent syt...

该文首先对Agent和多Agent系统的理论和应用进行了概述，提出一种用于实时人工智能系统的多Agent结构模型AA的形式化描述，这种Agent结构包含两层Agent，即RTAISAgent和AA内部的一组Agent体，并介绍基于该模型的舰艇协同攻击潜艇的仿真系统的实例，证明AA结构模型应用于实时智能系统，不仅能适应强实时系统的实时性要求，而且提供了更高的智能水平。

The definition, composition, and the formalisation expression of process are depicted, the process characteristics of networked manufacturing system is studied, and a basic process hierarchical structure, which is considered to be important to show the structure of networked manufacturing system, is given.

首先构建了以控制模型为主，功能模型、资源模型、组织模型和数据模型为辅的三维集成化模型框架，通过控制模型建立起其他几个视图模型之间的内部关联，通过资源模型和组织模型来反映网络化制造系统中组织的分散性和过程对动态资源的调度与分配。

The first step was to reopen the banks; the first legislation sought was the re-issue of the Federal Reserve Bank Note, followed by the formalisation of the gold embargo and the anti-hoarding decree.

第一步是让银行重新开门；第一个法律追溯就是让联邦储备银行的纸票重新发行，紧接着是让禁运黄金和反囤积法令形成书面文字形式。

The first step was to reopen the banks; the first legislation sought was the re-issue of the Federal Reserve Bank Note, followed by the formalisation of the gold embargo and the anti-hoarding decree.

第一步是重新开放银行；第一个法规是重新恢复美联储的债券。

Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine.

图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。

Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine.

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准&图灵测试&，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。

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.

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