模式定義語言 的英文怎麼說
中文拼音 [móshìdìngyìyǔyán]
模式定義語言
英文
xsd (xml schema definition) xml- 模 : 模名詞1. (模子) mould; pattern; matrix 2. (姓氏) a surname
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 定 : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 語 : 語動詞[書面語] (告訴) tell; inform
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 模式 : model; mode; pattern; type; schema
- 語言 : language
-
11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model
在系統模型的結構表示上,本文擴充了傳統的事件結構,使用一種帶時間信息的捆綁式事件結構來模擬系統行為,在系統模型的語言刻畫上,本文採用的是帶時間的類lotos進程代數描述語言,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach
保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd ( documenttypedefinition ,文檔類型定義)作為xml的模式描述語言,並且在模式映射過程中丟失語義約束信息,本文分析了xml - schema ( xml - schema採用與dtd完全不同的語法,數據描述能力更強同時也更為復雜,已被w3c確定為替代dtd作為xml模式描述語言的標準)及關系模式的語義約束特徵,通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究,建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法,實現了xml與rdb的雙向數據轉換,較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題,可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。With applying dsst algorithm, mobile agent can solve the problem of selecting router. synthesizing advantages of centralized search engine and distributed search engine, through it that system obtains the best way that agents mobile does. after statistics analysis, the author gets the mathematic pattern that mobil agent clones right times
利用idl語言定義了agent在多種平臺上移動的介面,設計了一個符合maf規范的插件,實現agent在異種平臺之間的移動;利用動態最小生成樹演算法解決移動agent的路由選擇問題,綜合集中式搜索和分散式搜索的特點,動態尋找出一條agent移動的最佳路線;通過統計分析得到移動agent克隆的數學模型,通過計算可以獲得agent克隆個數的最佳值。At last, this thesis figures out an event - based method of air threat assessment through the definitions of the events, the modeling accompanied with xml description of the model, the introduction of the functional architecture model of event correlation, the type of event correlation and the expressions of the theory of this technique, the event deleting and contracting on the data facet, the correlation between the events in causality by bayesian network and the probability reasoning, exemplifying and calculating of bayesian network employed in the construction of threat assessment model of air battle
最後提出了一種基於事件的空戰威脅估計方法。對事件進行了定義、建模並用xml語言進行了數據描述;介紹了事件關聯功能結構模型;介紹了事件關聯類型及知識表達方式,從數據層進行了事件清理和壓縮,使用貝葉斯網路對因果事件進行關聯,建立了空戰威脅估計貝葉斯網模型、進行了貝葉斯概率推理及算例分析。I had hoped that the final specification would support relax ng, which i consider to be a superior xml schema definition language, but i assume that wxs was chosen because a large part of the specification involves mapping lom data elements to the wxs type system ; relax ng does not have a type system of its own, instead borrowing that of wxs
我本來希望最後的規范支持relax ng ,我認為relax ng是一種優秀的xml模式定義語言,但我猜想之所以選擇wxs ,可能是因為規范的大部分涉及到把lom數據元素映射到wxs類型系統; relax ng沒有自己的類型系統,而是借用了wxs的類型系統。Since web service model can not be used directly in the traditional workflow model, the paper detailed describe the design of the encapsulate and structure workflow, this workflow is different from the traditional workflow which is modeled in a graph method, we use the idea of the object oriented to make the workflow more reusable and easy to be deployed in web service environment
由於web服務模型並不能直接用在傳統的工作流模型中,因此就需要對傳統的工作流語言建模做相應的修改來適應web服務的特點。對此,本文就詳細討論了一種結構化封裝型工作流的設計,該工作流不同於以往工作流都是通過圖形化的方式建模,而是採用面向對象方法中的解釋器模式來設計一個封裝和結構化的定義流程。By the browser / web server / database structure and the technology of asp. net and xml, we achieve the expert system running on the network, extend the application and ensure its backward compatibility ; we have the deep research to the representation of knowledge and apply it to the system, extend the traditional method of rule based knowledge representation ; introduce the fuzzy sets, analyze the generalized possibility interval sets, and combine the linguistic variables and fuzzy sets ; the system adopts the forward and backward chaining, researches the reasoning under uncertainty and inexact reasoning ; and we depart knowledge base and inference engine, make the upgrade simple and maintenance convenient. in the last, we construct the potato produce manage system according to the phases of potato ' s growth to give a detailed instruct to its produc e
Net和xml技術,實現了網路化的專家系統,同時擴大了專家系統的應用范圍,提高了系統的後向兼容性;對專家系統中的知識表示技術作了深入探討,在傳統的基於規則的知識表示方法的基礎上,提出了基於規則擴展的知識表示方法,並較好地將其應用到本系統中;引入了模糊集合,分析並推導了廣義可能區間集,將其應用於模糊知識的表示,將語言變量和模糊集合結合起來;提出對系統採用互動式知識獲取途徑、雙向推理控制策略,對不精確推理和不確定性推理的傳播演算法作了一定的研究,成功地將其應用到馬鈴薯專家系統的構建之中;採用知識庫和推理機相分離的方法,使得系統升級簡單易行。Ferdinand de saussure ' s structuralist linguistics stimulates a thriving structuralist movement in the 20th century western world and repudiates the old notion of meaning which empiricism holds so that it creates for modern stylistics and structuralist poetics a framework of practical criticism
索緒爾的結構主義語言學催生了20世紀西方世界結構主義空前活躍的局面,並徹底否定了陳舊的經驗主義語義觀,為現代文體學和文學批評提供了理論模式。Introduce searching engine technology of " event inspection " and define the modular description language in respect of its intrusion patterns, as well develop the corresponding rules parser
採用了「事件檢測」引擎技術,並定義了一套入侵特徵模式描述語言及相應的規則語法解釋器。The expression language for the unified modeling language ; it has the characteristics of a pure expression language cannot change anything in the model, a modeling language all implementation issues are out of scope and cannot be expressed, and a formal language all constructs have a formally defined meaning
統一建模語言( uml )的表達語言;它具有純表達語言(不能更改模型中的任何東西) 、建模語言(所有實現問題均超出范圍並無法表達)和形式語言(所有構造都有形式定義的意義)的特徵。Document trees are used as xml data model and path expressions as view definition language
全文以樹型xml為數據模型,路徑表達式為視圖定義語言。We have brought forward a new workflow model - extended xinpai - drived workflow computing model based on xinpai - drived workflow computing model, integrated with the workflow standard semantic model described by workflow process definition language ( wpdl ) and established by workflow management coalition ( wfmc ). then we developed a j2ee based workflow management system prototype - j2ee - wfms basing on that model
我們在繼承信牌驅動式工作流計算模型的基礎上,結合工作流管理聯盟( wfmc )所制定的用工作流過程定義語言( wpdl )描述的工作流標準語義模型,又提出了一個新的工作流模型? ?擴展的信牌驅動式工作流計算模型。The expressive power of xquery is comparable to the criterion of relational completeness " defined for database query languages, though no such formal standard has been defined for an xml data model
Xquery的表達能力可以與為數據庫查詢語言定義的「關系完整性」標準相比,雖然還沒有為xml數據模型定義這樣的正式標準。Presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language ; incorporating the module with the core verification algorithm ; demonstrating the validation and analyzing the performance of the tool with some real - world examples
?擴充檢測問題的定義語言?腳本語言的格式,使用sml語言實現了腳本語言的編譯和擴展stga圖生成模塊,並將該模塊和檢測演算法核心連接,實現了整個工具。論文還結合應用實例證明了擴展工作的有效性並分析了工具的性能。Then define a model description language according to the design pattern of applications to describe the information of object - oriented platform independent model ( pim ). and then design a modeling tool to build platform independent model
然後結合應用程序的設計模式定義了模型描述語言,描述面向業務對象的平臺無關模型信息,並設計建模工具完成對平臺無關模型的建立。Xsd xml schema definition xml
模式定義語言One such suite of standards is document schema definition languages, or dsdl see
一組標準稱為document schema definition languages (文檔模式定義語言或dsdl ,請參閱The latter is proving extremely popular with developers despite competition from the w3c - sanctioned schema definition language
盡管有來自w3c批準的模式定義語言的競爭,但事實證明relax ng非常受開發人員歡迎。The hwcomponent exposes an interface that is typed by the web service definition language wsdl and passes data described by the xml schema definition language
該hwcomponent公開了一個由web服務描述語言( wsdl )類型化的介面,並傳遞由xml模式定義語言( xsd )描述的數據。In the development process, according to the idea of modular modeling, the author rationally compartmentalized thermal system. this software has very strong graphic module edit and manage capacity, thus device interface topologic definition method is applied to define the topologic structure, and the topologic structure can be analyzed automatically and correctly. since the device module was encapsulated two parts, so, through topologic analysis, the correct source simulation program was created directly
在組態過程中,本文採用設備介面方式定義模擬系統的拓撲結構,實現了對模擬系統拓撲結構的自動識別和設備模塊的自動參數化功能,用戶只需完成模擬模型系統的構建和相應物理參數及運行工況數據的輸入,軟體便會根據拓撲分析的結果和自動參數化的結果直接生成fortran語言的模擬源程序。分享友人