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

我們成功地將此方法和工具應(yīng)用于模型的一致性檢查18岁禁看www。

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

二者均致力于型構(gòu)具有實(shí)踐理性品格的法學(xué)知識(shí)。

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

賦予金融服務(wù)監(jiān)管局使日后的合同失效的權(quán)利只不過(guò)是將那種權(quán)利正規(guī)化罷了操烂骚屁眼视频。

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

該文首先對(duì)Agent和多Agent系統(tǒng)的理論和應(yīng)用進(jìn)行了概述人人艹人人操人人干，提出一種用于實(shí)時(shí)人工智能系統(tǒng)的多Agent結(jié)構(gòu)模型AA的形式化描述，這種Agent結(jié)構(gòu)包含兩層Agent国内自拍91，即RTAISAgent和AA內(nèi)部的一組Agent體www巨乳人妻，并介紹基于該模型的艦艇協(xié)同攻擊潛艇的仿真系統(tǒng)的實(shí)例，證明AA結(jié)構(gòu)模型應(yīng)用于實(shí)時(shí)智能系統(tǒng)xx在线，不僅能適應(yīng)強(qiáng)實(shí)時(shí)系統(tǒng)的實(shí)時(shí)性要求黄片一级99，而且提供了更高的智能水平。

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.

首先構(gòu)建了以控制模型為主91情侣在线精品国产免费，功能模型、資源模型国产免费看黄色网站、組織模型和數(shù)據(jù)模型為輔的三維集成化模型框架色呦呦在线播放，通過(guò)控制模型建立起其他幾個(gè)視圖模型之間的內(nèi)部關(guān)聯(lián)，通過(guò)資源模型和組織模型來(lái)反映網(wǎng)絡(luò)化制造系統(tǒng)中組織的分散性和過(guò)程對(duì)動(dòng)態(tài)資源的調(diào)度與分配中国美女网站。

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

3-24 connectivity 連通性,連接性 | 3-24 formalisation 正式化,形式體系化,定形 | 3-25 precision 精確性,精密度

formalisation：正規(guī)化

forcing 強(qiáng)制 | formalisation 正規(guī)化 | forming stage 形成階段