模式定義語言 的英文怎麼說

中文拼音 [shìdìngyá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
  1. 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進程代數描述,對于動作精化,我們同樣採用運算元的觀點,將動作精化為一個操作運算元。
  2. 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的應用需求。
  3. 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克隆個數的最佳值。
  4. 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進行了數據描述;介紹了事件關聯功能結構型;介紹了事件關聯類型及知識表達方,從數據層進行了事件清理和壓縮,使用貝葉斯網路對因果事件進行關聯,建立了空戰威脅估計貝葉斯網型、進行了貝葉斯概率推理及算例分析。
  5. 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的類型系統。
  6. 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服務的特點。對此,本文就詳細討論了一種結構化封裝型工作流的設計,該工作流不同於以往工作流都是通過圖形化的方,而是採用面向對象方法中的解釋器來設計一個封裝和結構化的流程。
  7. 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技術,實現了網路化的專家系統,同時擴大了專家系統的應用范圍,提高了系統的後向兼容性;對專家系統中的知識表示技術作了深入探討,在傳統的基於規則的知識表示方法的基礎上,提出了基於規則擴展的知識表示方法,並較好地將其應用到本系統中;引入了糊集合,分析並推導了廣可能區間集,將其應用於糊知識的表示,將變量和糊集合結合起來;提出對系統採用互動知識獲取途徑、雙向推理控制策略,對不精確推理和不確性推理的傳播演算法作了一的研究,成功地將其應用到馬鈴薯專家系統的構建之中;採用知識庫和推理機相分離的方法,使得系統升級簡單易行。
  8. 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世紀西方世界結構主空前活躍的局面,並徹底否了陳舊的經驗主觀,為現代文體學和文學批評提供了理論
  9. 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

    採用了「事件檢測」引擎技術,並了一套入侵特徵描述及相應的規則法解釋器。
  10. 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 )的表達;它具有純表達(不能更改型中的任何東西) 、建(所有實現問題均超出范圍並無法表達)和形(所有構造都有形的意)的特徵。
  11. Document trees are used as xml data model and path expressions as view definition language

    全文以樹型xml為數據型,路徑表達為視圖
  12. 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 )描述的工作流標準型,又提出了一個新的工作流型? ?擴展的信牌驅動工作流計算型。
  13. 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數據這樣的正標準。
  14. 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圖生成塊,並將該塊和檢測演算法核心連接,實現了整個工具。論文還結合應用實例證明了擴展工作的有效性並分析了工具的性能。
  15. 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

    然後結合應用程序的設計型描述,描述面向業務對象的平臺無關型信息,並設計建工具完成對平臺無關型的建立。
  16. Xsd xml schema definition xml

    模式定義語言
  17. One such suite of standards is document schema definition languages, or dsdl see

    一組標準稱為document schema definition languages (文檔模式定義語言或dsdl ,請參閱
  18. The latter is proving extremely popular with developers despite competition from the w3c - sanctioned schema definition language

    盡管有來自w3c批準的模式定義語言的競爭,但事實證明relax ng非常受開發人員歡迎。
  19. 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 )描述的數據。
  20. 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擬源程序。
分享友人