例句與用法

更多例句：  下一頁
1. Formal models of uml statechart diagrams based on petri nets
   狀態(tài)圖的形式化模型
2. A nominalized model for object - oriented environment
   一種面向?qū)ο蟓h(huán)境的形式化模型
3. The formal definition of the vmts is presented . the paper also designs the organization schema by means of vmts
   建立了虛擬制造團(tuán)隊(duì)的形式化模型，并基于虛擬制造團(tuán)隊(duì)對系統(tǒng)組織結(jié)構(gòu)進(jìn)行了設(shè)計(jì)。
4. Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
   首先,在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型,然后對建立的形式化模型進(jìn)行邏輯推理分析。
5. With the use of mascl , the concept of cooperation commitment of cooperation process in multi - agent systems is defined , and the formal model of cooperation commitment is proposed
   以mascl為基礎(chǔ)，定義了多智能體的協(xié)作過程的協(xié)作承諾等相關(guān)概念，提出了協(xié)作承諾的形式化模型。