規范描述語言 的英文怎麼說

中文拼音 [guīfànmiáoshùyǔyán]
規范描述語言 英文
specification description language
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 范 : 名詞1 [書面語] （模子） pattern; mould; matrix 2 （模範; 榜樣） model; example 3 （范圍） boundar...
  • 描 : 動詞1. （照底樣畫） copy; depict; trace 2. （在原來顏色淡或需改正之處重復塗抹） retouch; touch up
  • 述 : Ⅰ動詞（陳說; 敘述） state; relate; narrate Ⅱ名詞（姓氏） a surname
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 描述 : describe; represent
  • 語言 : language
  1. Some related techniques and applications on supply chain are described. through studying the order - decomposing process simulation, this dissertation defines the two agent classes : coordination & resource agent, maps the order - decomposing process into a real - time control process formed by a group of agents, proposes finite state machine as a kind of ideal modeling approach used to analyze the real - time control process, describes the conversation rules of agent conversation classes, identifies agents & conversation rules and develops the conversation models by using the framework provided by jafmas, jdk1. 1 integrated development environment & java. according to the structural characteristics, this dissertation transforms the optimization of series supply chain design into multi - stage decision - making problem and develops an optimization model for it

    在對國內外供需鏈研究與應用進行大量調研分析的基礎上，本文給出了供需鏈的定義；闡述了供需鏈管理范疇的內涵、外延及其管理目標；綜述了供需鏈研究的現狀；在對訂單處理流程分析的基礎上，定義了兩種代理類：協調代理和資源代理，創見性地把訂單分解?匹配過程映射為一個由多個代理組成的實時控制過程；針對實時控制過程瞬時狀態難以描述的特點，本文首次把有限狀態機fsm應用到訂單分解?匹配過程中，用以描述代理會話類的會話規則；在jafmas平臺上，利用jdk1 . 1集成開發環境以及面向對象編程語言java設計了jafmas的面向對象代理模型，實現了代理會話規則的有限狀態機模型。
  2. With turning the scale of asic ( appl ication specified integrated circuits ) to s0c ( system on chip ), which conunon1y is composed of mcu, specified function ip cores, memory, periphery interface etc, the ip reuse techno1ogy is very important in s0c design flow, which can realize the constructions of different levels components. the approach of configurable system, method and design f1ow for udsm ( u1tra deep sub micron ) asic, logic system design using hdl 1anguage, coding style, static and dynamic verification strategy are a1so presented in chapter 2. in chapter 3 we study the vlsi - - dsp architecture design, dense computation and high speed high performance digital signal processing unit structure, which includes high speed mac components and distributed arithmetic unit

    在工程設計方法及結構化設計和高層次綜合的研究中，介紹了在深亞微米工藝條件使用的方法和asic設計流程，討論了高層次綜合的核心如何從描述推出電路構成的設計思路，針對不同目標的設計技巧討論了採用hdl語言進行邏輯系統設計的方法，給出了用vhdl語言進行代碼設計時的規范和風格，在面向soc的驗證策略討論了動態和靜態的驗證技術，提出了進行單獨模塊驗證、晶元的全功能驗證和系統軟硬體協同驗證的整體策略。
  3. It is presented that a formalization for uml statechart diagrams in the raise specification language rsl

    使用raise規范語言rsl給出了uml狀態機視圖的形式描述。
  4. This paper analyses the deficiency of data model of the current ecdis in network environment, and provides its resolvent. the paper integrates the characteristics of xml ( extensible markup language ) such as multi - platform, expandability, legibility and ability of organizing all kinds of information, and references the geography space model of the criterion of gml2. 0 that is established by ogc ( open gis consortium ), and establishes the model of chart data with xml. this data model is suitable for storing and transmission of data in the network

    文中結合xml （ extensiblemarkuplanguage ，可擴展標識語言）具有的跨平臺性、可擴展性、易讀性以及可以描述任何復雜結構的特點，引用由ogc （ opengisconsortium ， opengis協會）組織制定的gml2 . 0規范中的地理空間模型作為海圖物標的地理空間模型，運用xml建立了海圖數據模型，該數據模型適應網路環境下的數據存儲以及傳輸。
  5. In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language. uml lacks in a strict definition of dynamic semantics

    在uml規范中，編制者是用較為形式化的語言ocl （ objectconstraintlanguage ）和自然語言兩種手段描述靜態語義，而動態語義卻基本上完全是用自然語言來描述的， uml缺乏一個嚴格的動態語義定義。
  6. The authors have formalized a specification language and logic - calculus in lf, together with useful lemmas, and a user - oriented syntax has been designed

    在本文中，我們考慮并行系統的驗證領域，並在lf中將特定論域的規范描述語言ccs和相關邏輯m - culculus形式化。
  7. In uml 2. 0, only three levels of compliance are defined, and those correspond to the hierarchical language unit levels already mentioned and depicted in 0 earlier

    在uml 2 . 0中，只定義了三個規范性層次，那些對應于分級語言單元的層已經在0層中就被提及並描述了。
  8. Buried deep in the web service definition language wsdl specification is a very subtle switch that can turn the soap binding of a web service from a remote procedure call to a pass - through document

    在web服務描述語言（ web service definition language ， wdsl ）規范中隱含著一個非常巧妙的轉換開關，它可以將web服務的soap綁定從遠程過程調用轉換成pass - through文檔。
  9. Mainly we have 3 types of configurative component discussed in the thesis and they are ui component, business entity component and business rule component. also, design and implementation of development platform that support configurative component are discussed in detail. at the end of the essay, a summary of research on all aspects is given, along with hope of possible refine of further research

    在配置化構件的研究中，為了達到更好的構件復用並簡化開發過程，提出了使用非編譯型的關系型數據、 xml及解釋執行的腳本語言jscript作為構件的實現載體，使用典型的三層（多層）開發模式，在此基礎上提出了界面構件、業務實體及業務規則等配置化構件的構件規范，並詳細描述了
  10. I regard qsim as a kind of constraint satisfaction problem ( csp ), and improve the qualitative simulation algorithm by constraint logic programming ( clp ). fuzzy qualitative simulation develops conventional qsim on several facets, such as representation of qualitative value, state transition rule and filtering algorithms. it bridges the gap between pure qualitative and quantitative, and improve the efficien

    前者是將定性模擬演算法看作一類約束滿足問題，用約束邏輯程序加以改進，不僅為解決定性模擬問題提供了邏輯框架，而且也是一種規范化的程序描述語言；模糊定性模擬演算法則是對純定性模擬演算法在知識描述、狀態轉移規則、過濾演算法等方面的改進，是一類半定量描述方法，有利於在定性模擬領域綜合定量信息，同時提高演算法的效率。
  11. Asl is a kind of simple strong expressive event driven language. the asl specification is translated into c + + module by compiled it, then to compile the c + + module get the detection engine

    Asl語言是一種簡單的、有較強表達能力的、基於事件驅動的語言，用asl語言描述的規范經過編譯后可以轉換為c + +模塊， c + +模塊編譯連接後作為檢測引擎來檢測入侵。
  12. At implementation phase, based on the design policy, we first choose the language rose as msr language, analyzing the advantage of using the language rose. then we sort the lfb in msr according to the rose language specification, and particular define these five categories of lfb in rose language. in msr, we design forty kinds of lfb in all. finally, we especially list the design and implementation scheme of some important lfb, as the gre logic function block - - checkgreheader, greencap, stripgreheader and the logic function block for distribution operation - - splitfirst

    在實現階段，根據設計方針，首先選擇rose作為msr的語言使用，分析了使用rose的好處。接著我們對msr中的lfb按照rose語言規范進行分類，並在rose語言中詳細定義這五類lfb 。使用rose語言描述邏輯功能模塊。
  13. The large - scale electronic publishing and the exchange of a wide variety of data on the web need a language that has good description ability and dealing with ability

    大規模的電子出版和大范圍web數據交換業務需要良好描述能力和處理能力的語言。
  14. Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially

    需求規格說明是需求分析階段的產品，我們通常採用的是未使用任何限制非形式化的自然語言進行描述，這種自然語言書寫的需求說明，雖然易於理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查，稍微復雜一些軟體的需求規格說明的檢查，實際上已經超出了人工檢查的能力。
  15. Besides the advanced manufacturing technology and theory, a series of correlative technologies are required to the implement of networked manufacturing, especially the technologies of distributed computing, information integration and artificial intelligent etc. aiming at their limitations, the paper reconstructed the key supporting technologies employing the last network technologies and protocols, and established a new architecture of networked manufacturing. finally, the demonstrational researches are conducted with " flexible design and manufacturing system of key parts in large - scale antenna " as prototype. the distributed computing platform available of networked manufacturing is constructed with the distributed object technologies such as corba, dcom, rm1 etc, but those rpc modules bring obstacles to the development of global manufacturing due to their limitations

    網路化製造系統是個分佈、異構、鬆散耦合的智能系統，除了先進製造技術與理念本身，網路化製造的具體實現與實施還需要一系列相關技術的支撐，特別是分散式計算、製造信息集成、人工智慧等，論文正是針對當前網路化製造中上述關鍵支撐技術的不足與局限，運用下一代internet核心規范webservices及其相關技術如xml 、 soap 、 wsdl 、 uddi等，提出了面向全球的網路化製造全新分散式計算解決方案（ global - orienteddistributedcomputing ， godc ） ；構造了基於xml - schema的製造產品數據描述語言（ pdmlbased - xml - schema ） ，給出了express xml及steppart21 xml的映射規則，並對基於xml step pdm網路化製造信息集成方案進行了研究；同時運用webservices 、 xml等先進技術與規范對網路化製造的multi - agent模型、表示、通訊、調度等進行了研究與重構；最後，以「大型天線關鍵零件網路化製造」為原型進行了應用研究。
  16. In the thesis, the algorithm transforming from the query set specification to the tree query language is represented, and to construct condition tree ct by the set of condition fragments and convert instantiated rtg to result tree rt

    本文給出了從查詢組規范qss描述語言到樹查詢語言tql （ treequerylanguage ）的轉換演算法，分析了從活動片斷子集到ct的構造過程，以及從rtg到rt的轉換過程。
  17. Hdl is good forma1 ization " hierarchy and standardization descr ipt ion measure of designing and keeping in the archives in digital system

    硬體描述語言為數字系統的設計和存檔提供了一種具備形式化、層次化和規范化的良好描述手段。
  18. Space data and information transfer systems - data description language - east specification

    航天數據和信息傳送系統.數據描述語言. east規范
  19. Aiming at the shortcomings of manufacturing information description method - step / express while applied to internet, the paper constructed the product data markup language based - xml - schema which has the advantage of the unique expression and well - structure, and gave the mapping rules from express to xml and step part21 to xml. furthermore, the information integration solution of networked manufacturing based on xml / step / pdm is researched. multi - agent of distributed artificial intelligence is an effective approach to depict the characteristics of networked manufacturing system

    Step是製造領域的產品信息描述規范，而xml是面向網際網路的數據交換標準，因而論文利用xml - schema無二義表達及結構性好等優點，使之與step優勢互補，構造了基於xml - schema的製造產品數據描述語言（ pdmlbased - xml - schema ） ，給出了express xml及steppart21 xml的映射規則，並對基於xml step pdm網路化製造信息集成方案進行了研究。
  20. To find the web services description language wsdl 1. 1 specification and all other xml - related official specifications including technical documentation for xsd and namespaces

    以查找web服務描述語言（ wsdl ） 1 . 1規范以及所有其它xml相關的官方規范，包括xsd和名稱空間的技術文檔。
分享友人
分享到 Line

分享到臉書