形式化模型的英文

發(fā)音:

英文翻譯
造句

formalized model

模型 model; pattern
格式化模型 formatted model
形式化 formalise; formalisierung; formalization; formalize
催化模型 catalytic model
公理化模型 axiomatic model
簡(jiǎn)化模型 reduced model; simplified model,
簡(jiǎn)化模型眼 simplified schematic eye
可視化模型 visual modeling
老化模型 models of aging
理想化模型 idealized model
硫化模型 curing matrix; curing mold; curing mould
慢化模型 slowing down model; slowing-down model
模塊化模型 modularization model
視覺化模型 visual modeling
退化模型 degradation model
線性化模型 linearized model
亞文化模型 subcultural modeling
演化模型 evolutional model; evolutionary model; evolving model; incremental model
一致化模型 united model
優(yōu)化模型 optimization model
最佳化模型 optimizing model
最優(yōu)化模型 optimizing model
使形式化 formalize formalize
形式化測(cè)試 formal testing
形式化的 formalized

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Formal models of uml statechart diagrams based on petri nets
狀態(tài)圖的形式化模型
A nominalized model for object - oriented environment
一種面向?qū)ο蟓h(huán)境的形式化模型
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ì)對(duì)系統(tǒng)組織結(jié)構(gòu)進(jìn)行了設(shè)計(jì)。
Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在論文中用一階邏輯語言建立可信平臺(tái)模塊api的形式化模型,然后對(duì)建立的形式化模型進(jìn)行邏輯推理分析。
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é)作承諾的形式化模型。
Then , the author pays interest on how olap enabled databases can be adapted to support symbolic modeling and used in customer order analysis , and how modeling contributes to acquiring valuable information
接著，作者著眼于在客戶訂單分析中， olap如何支持形式化模型以及怎樣通過形式化模型獲得有用信息。
Also , heuristic analysis of security and performance analysis are made on the seak protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同時(shí)還對(duì)seak協(xié)議做了啟發(fā)式安全分析和性能分析,并給其建立了形式化模型,在eccdh和隨機(jī)預(yù)言模型下,證明了它是安全的。
Also , a heuristic analysis of security and performance analysis is made on the sakc protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同時(shí)還對(duì)sakc協(xié)議做了啟發(fā)式安全分析和性能分析,并給其建立了形式化模型,在eccdh和隨機(jī)預(yù)言模型下,證明了它是安全的。
After introducing the logic and establishing its relationship to the formal model of multi - agent system , we put forward an axiomatisation of vsk - af logic , and systematically discuss its rationality
在提出了vsk - af邏輯并且建立了它與多agent系統(tǒng)的形式化模型間的關(guān)系后，給出了該邏輯的公理化體系，并對(duì)其合理性進(jìn)行了充分的闡述。
To solve the problem of exponential space in the instruction - set automated design for the application specific instruction set processor ( asip ) , a formular clustering integer linear programming model ( cim ) is proposed , which can decrease the exploration space effectively utilizing function dependencies between instructions
摘要提出集束式整數(shù)線性規(guī)劃形式化模型，利用指令間的功能依賴性解決專用指令集處理器中指令集自動(dòng)定制的指數(shù)性空間問題。