形式模型造句
例句與造句
- 走向這種多語言形式模型的第一步譬如maribyrnong示例是將基于unicode多語言字符放在同一個web頁面上。
- Dblp模型作為可用于系統(tǒng)設計的形式模型，它在多方面改進了現(xiàn)有文獻中的工作，使模型更實用。
- Adleman發(fā)展了線性自裝配的數(shù)學理論，系統(tǒng)地提出了線性自裝配的形式模型，并且研究了這個模型的動力學特征? ?時間復雜性和自裝配的平衡特性。
- 由于簡化形式模型比結構化模型更能表達出違約的突然性并且更加符合實證研究結果,所以本文研究的信用風險定價模型屬于簡化形式模型。
- 對于dte _ ipm模型，就我們所知，使用dte技術構筑一個完整的完整性保護形式模型，是本文第一次進行了這樣的嘗試，該模型在控制惡意信息流方面有自己特殊的不變量。
- 用形式模型造句挺難的，這是一個萬能造句的方法
- 然后,給出了基于格值有限狀態(tài)自動機的數(shù)值計算的形式模型。同時,建立了輸入是詞的格值有限狀態(tài)自動機的轉(zhuǎn)移函數(shù)以及格值有限狀態(tài)自動機所接收的語言的定義。
- 本文主要研究開發(fā)高安全等級的操作系統(tǒng)所必需的安全策略形式模型，為此我們從形式設計方法的探討入手，確定模型設計的基本原則及組織結構，然后根據(jù)確定的組織結構逐步展開設計，提出支持多策略的形式框架、實現(xiàn)機密性策略的可動態(tài)調(diào)節(jié)安全級范圍的多級安全模型dmlr _ mls (本文把它與dac模型合在一起形成dblp模型) 、基于dte技術實現(xiàn)完整性保護的形式模型dte _ ipm及基于權能、角色及dte的特權控制模型pcm _ rbpc 。
- 本文在lotfia . zadeh教授、應明生教授、邱道文教授等人的工作基礎上,提出了詞計算的兩種新的形式模型? ?基于格值有限狀態(tài)自動機的詞計算形式模型和基于格值正則文法的詞計算形式模型,對詞計算的形式模型作了進一步研究和探討。
- 在已有的形式模型基礎上，提出了多智能體系統(tǒng)的形式模型mascl ，該模型是一種多類的一階分支時序模態(tài)邏輯bdi理論，綜合了單智能體和多智能體的精神狀態(tài)和動作規(guī)劃表示，并體現(xiàn)了社會規(guī)范的約束作用。
- 應用現(xiàn)場總線技術和agent技術，提出一種基于代理體技術的dnc系統(tǒng)模型，為自動化車間實現(xiàn)設備集成開辟了有效途徑；建立了設備集成通用模型；形式化描述了監(jiān)控agent ，并建立基于軟插件技術的agent模型；運用機械制圖中三視圖的表達思想對dnc系統(tǒng)的功能結構進行了分析，建立了dnc系統(tǒng)的形式模型，對dnc系統(tǒng)進行了形式化的描述，建立了dnc系統(tǒng)的類表示模型，并提出了一種資源可重用的dnc系統(tǒng)解決方案，使系統(tǒng)設計和開發(fā)的效率得以大大提高。