formalisation

与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.

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

与formalisation相关的网络解释 [注：此内容来源于网络，仅供参考]

formalisation：正式化,形式体系化,定形

3-24 connectivity 连通性,连接性 | 3-24 formalisation 正式化,形式体系化,定形 | 3-25 precision 精确性,精密度

formalisation：正规化

forcing 强制 | formalisation 正规化 | forming stage 形成阶段