形式化模型造句
例句與造句
- 建立了虛擬制造團(tuán)隊(duì)的形式化模型，并基于虛擬制造團(tuán)隊(duì)對(duì)系統(tǒng)組織結(jié)構(gòu)進(jìn)行了設(shè)計(jì)。
- 首先,在論文中用一階邏輯語(yǔ)言建立可信平臺(tái)模塊api的形式化模型,然后對(duì)建立的形式化模型進(jìn)行邏輯推理分析。
- 以mascl為基礎(chǔ)，定義了多智能體的協(xié)作過(guò)程的協(xié)作承諾等相關(guān)概念，提出了協(xié)作承諾的形式化模型。
- 接著，作者著眼于在客戶訂單分析中， olap如何支持形式化模型以及怎樣通過(guò)形式化模型獲得有用信息。
- 同時(shí)還對(duì)seak協(xié)議做了啟發(fā)式安全分析和性能分析,并給其建立了形式化模型,在eccdh和隨機(jī)預(yù)言模型下,證明了它是安全的。
- 用形式化模型造句挺難的，這是一個(gè)萬(wàn)能造句的方法
- 同時(shí)還對(duì)sakc協(xié)議做了啟發(fā)式安全分析和性能分析,并給其建立了形式化模型,在eccdh和隨機(jī)預(yù)言模型下,證明了它是安全的。
- 在提出了vsk - af邏輯并且建立了它與多agent系統(tǒng)的形式化模型間的關(guān)系后，給出了該邏輯的公理化體系，并對(duì)其合理性進(jìn)行了充分的闡述。
- 摘要提出集束式整數(shù)線性規(guī)劃形式化模型，利用指令間的功能依賴性解決專用指令集處理器中指令集自動(dòng)定制的指數(shù)性空間問(wèn)題。
- 首先,本文討論了當(dāng)前信息安全技術(shù)中存在的幾個(gè)本質(zhì)上的理論難題,在此基礎(chǔ)上提出顯式授權(quán)機(jī)制,并給出了該機(jī)制的準(zhǔn)確定義、形式化模型和安全性質(zhì)的證明,從理論上描述了該機(jī)制以及該機(jī)制的安全性。
- 論文還對(duì)java虛擬機(jī)模型與類文件格式進(jìn)行了分析，建立了一個(gè)對(duì)java字節(jié)碼進(jìn)行代碼混淆的形式化模型，揭示了混淆變換具有的一些特性，并證明對(duì)java字節(jié)碼可以創(chuàng)建單輪的混淆算法。
- ( 2 )分析戰(zhàn)場(chǎng)對(duì)抗體系的組成和特點(diǎn),總結(jié)實(shí)體建模和體系建模應(yīng)該描述的要素和具備的性質(zhì)。在此基礎(chǔ)上,研究支持變結(jié)構(gòu)的實(shí)體體系建模方法,建立嚴(yán)格的形式化模型描述和仿真算法描述,作為seb組合建模方法的基本框架,支持導(dǎo)彈體系對(duì)抗仿真中實(shí)體模型和體系模型的建立。
- 這里，我們利用信息幾何的知識(shí)給出了dna自裝配的一個(gè)形式化模型，以分子兩兩構(gòu)成的組合的個(gè)數(shù)為分量組成的向量表示自裝配過(guò)程中的一個(gè)狀態(tài)，那么，當(dāng)每自裝配系統(tǒng)達(dá)到平衡時(shí)，就有一個(gè)關(guān)于這些狀態(tài)的一個(gè)概率分布，所有可能的概率分布形成了一個(gè)微分流形s 。
- 通過(guò)這一形式化提出了一種對(duì)圖形化的uml狀態(tài)機(jī)視圖模型的形式化和rsl規(guī)范進(jìn)行集成的框架，這一工作是對(duì)uml類圖在rsl中形式化的繼續(xù)，使得人們可以對(duì)uml的非形式化模型給出一種精確無(wú)二義性的語(yǔ)義解釋，同時(shí)也提高了rsl規(guī)范的抽象層次，增強(qiáng)了其可讀性簡(jiǎn)明性。
- 然后重點(diǎn)說(shuō)明了文摘和自動(dòng)文摘系統(tǒng)的基本概念體系,并針對(duì)目前幾種主要的自動(dòng)文摘系統(tǒng)形式化模型和方法:基于統(tǒng)計(jì)的機(jī)械文摘、基于理解的文摘、基于概念依存的文本結(jié)構(gòu)分析方法和信息抽取的文本摘要等模型和方法進(jìn)行了比較和分析,對(duì)它們的優(yōu)點(diǎn)和缺點(diǎn)進(jìn)行了討論,歸納出各自的特點(diǎn)。
- 然后我們介紹了文摘和自動(dòng)文摘系統(tǒng)的基本概念體系，并針對(duì)目前幾種主要的自動(dòng)文摘系統(tǒng)形式化模型和方法：基于統(tǒng)計(jì)的機(jī)械文摘、基于意義的理解文摘、基于概念的文本結(jié)構(gòu)分析方法和基于知識(shí)的文本摘要等模型和方法進(jìn)行了比較和分析，對(duì)它們的優(yōu)點(diǎn)和缺點(diǎn)進(jìn)行了討論，歸納出各自的特點(diǎn)，進(jìn)而在總結(jié)各種不同類型的自動(dòng)文摘系統(tǒng)的特點(diǎn)的基礎(chǔ)上，將基于統(tǒng)計(jì)的機(jī)械文摘、基于意義的理解文摘和基于概念的文本結(jié)構(gòu)分析方法等三種研究方法相結(jié)合，提出了一種綜合型的自動(dòng)文摘系統(tǒng)的設(shè)想。
更多例句： 下一頁(yè)