模式描述語言 的英文怎麼說

中文拼音 [móshìmiáoshùyǔyán]
模式描述語言 英文
model description language
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 描 : 動詞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
  • 模式 : model; mode; pattern; type; schema
  • 描述 : describe; represent
  • 語言 : 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. Digital image processing consume a large amount of memory and time commonly. basing on the advantage of fpga, the paper design harware module by hdl ( hardware language ), i. e., some function is achieved by les ( logic element ) of the fpga. the real - time of digital image processing is achieved by this. the sample and display of digital image is the important part. so, the paper mainly design the sample and desplay module. the sample card is designed and it ’ s word mode is configured according china ’ s cvbs ( composite video bar signal ). for acquiring the image and storing it correctly to sram, the paper design the sample - control module. the sample module can work correctly using least time. the reliability and real - time achieve the reference. according the vga principle and scheduling of the ths8134, the paper design a vga - control module by hdl. firstly, the control signal is synthesized secondly, the horirontal and vertical synchronization signals is synthesized according to the vga interface standard

    圖像處理的特點是處理的數據量大，處理非常耗時，為實現數字圖像的實時處理，本文研究了在fpga上用硬體描述語言實現功能模塊的方法，通過功能模塊的硬體化，解決了視頻圖像處理的速度問題。圖像數據的正確採集和顯示輸出是其中的兩個重要的模塊，因此，本文主要完成了圖像數據的採集和顯示輸出的設計。本文設計了採集卡，並要對其工作模式進行了配置和編寫了採集控制模塊，在採集控制模塊的控制下，將數字圖像數據正確無誤的存儲到了sram中。
  3. 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的應用需求。
  4. This paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology. according to requirement of the interlocking software " s reliability and safety. considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system

    本論文針對合肥工大微型計算機應用研究所研究開發的hj04a鐵路信號計算機聯鎖系統，根據計算機聯鎖系統聯鎖軟體設計可靠性和安全性要求，從軟體的需求分析著手，綜合uml統一建模語言方法和形式化描述語言z語言的方法，設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。
  5. At the same time by using c program language i finished this expert system efficiently, including knowledge expressing, multi - task completing, problem solving and interpreting on tms. additionally, i make emphasis on describing the bnf, which is a formation of knowledge describing language ( kdl ), and make thorough analysis on principle of syntax and grammar of kdl. i have analyzed the result of simulating field data from the expert system, the conclusion is that the expert system has outstanding effects on application in air separating optimizing system

    文中討論了該優化專家子系統各模塊的功能及開發思想策略，並介紹了多任務專家系統的知識實體表達、多任務協調求解、基於tms的問題求解方式、基於tms的解釋機制等內容，詳細描述了知識描述語言（ kdl ）的巴科斯範式（ bnf ）形式，具體分析了kdl的語法、語義分析器的作用原理，對現場數據專家子系統調優模擬結果進行了分析，模擬控制結果表明專家系統在氣分優化指導系統中的應用具有很好的效果。
  6. First the article introduces component - oriented software development method, presents ec - iscm model for software procedure, discusses the software architecture description language, c / s model and design pattern used methods, and expounds the relationship between design pattern and architecture and component ; then discusses the workflow ' s design philosophy and architecture, raises an applying model that integrates the purchasing management with workflow model, and expounds workflow modeling method ; then researches into a module of purchasing management based workflow, make the demand frame in abstraction region and set up a region model ; moreover expounds the region design, set up the purchasing management software model and dynamic interaction model ; then brings about the software architecture and components model. the purchasing management software development indicates that design pattern and software architecture philosophy have improve the software reusability. because of bringing in the workflow, this system realizes the purchasing process automation and the purchaseing process reorganization, and improves the enterprise purchase efficiency

    文章首先介紹了面向構件的軟體開發方法，並給出了ec - iscm的軟體過程模型，討論了軟體體系結構描述語言和客戶服務器模型以及設計模式應用方法，闡述了設計模式與構架和構件的關系;接著討論了工作流管理系統設計思想以及工作流管理系統的體系結構，提出了工作流技術與采購物流管理軟體結合的應用模型，並闡述了工作流建模方法;然後研究了基於工作流的采購物流管理模型，抽象領域需求框架並建立領域分析模型;進而進行相應的領域設計，建立采購物流管理軟體類模型和動態交互模型，採用設計模式和三層構架進行優化設計;最後給出軟體的構架與構件的模型實現。
  7. 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

    採用了「事件檢測」引擎技術，並定義了一套入侵特徵模式描述語言及相應的規則語法解釋器。
  8. In our paper, we describe design pattern formally at first. secondly, we organized the describe of design pattern and frequently - reused solution effectively, and store all of them in the relation - database

    本論文對disco語言擴充了設計模式靜態結構方面和行為語義方面的描述，提出了一種新的模式形式化描述技術? ?擴展的disco形式化描述語言。
  9. Taking the research and development of integrated electronic commerce software gecis as background, this paper brings forward a framework model of form digital signature based on ssl protocol to provide higher security guarantee for ec. the whole task penetrates the developing process based on 3 - layer architecture. it uses architecture methods and technologies such as design pattern ect. moreover, it integrates uml and acme to establish software models

    本文以集成電子商務軟體gecis開發項目為背景，構造一個基於ssl協議的表單數字簽名軟體構架模型，為電子商務提供更高安全保障.整個研製工作貫穿基於三層體系結構的構件化軟體開發過程，運用設計模式等軟體體系結構方法和技術，綜合使用統一建模語言uml和體系結構描述語言acme建立軟體模型
  10. So, in this paper, it does the research of the bidirectional conversion between uml and xyz / adl. in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture, and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method

    基於此，本文開展了對基於時序邏輯的軟體體系結構描述語言xyz / adl和uml之間的雙向轉換問題的研究，通過研究二者之間的轉換，實現將基於時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟體體系結構，來探討如何將形式化方法應用於實際的軟體開發過程中，這樣不但能促進對當前軟體主流技術的研究，而且能促進對形式化開發方法的研究。
  11. Then, we focus on the business component model, abstract several components according to different granularity from the typical user pattern and use z formal language to describe the specification of components and their assembly mechanism

    接著研究了業務構件模型，根據用戶模式抽象出幾種不同粒度的數據塊構件，並用形式化描述語言z語言對構件及其組裝機制進行規約。
  12. The hardware circuit boards are produced by a laser photoplotter according to the gerber files gererated from the schematic ( sch ) documents and the printed circuit board ( pcb ) documents. the cplds, programmed with the verilog hardware description language ( verilog hdl ), were completed after four steps : design, simulation, synthesis and fit. the software is developed with c language using direct i / o to communicate with the device through the isa bus computer interface

    其硬體電路由專業軟體設計出原理圖sch和印刷電路圖pcb生成，再gerber文件，然後光繪而成， cpld晶元編程（採用硬體描述語言veriloghdl ）經過設計、模擬、裝配、下載完成，高級軟體編程採用c語言i / o方式利用isa總線介面與外設進行通信。
  13. 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模型、表示、通訊、調度等進行了研究與重構；最後，以「大型天線關鍵零件網路化製造」為原型進行了應用研究。
  14. The author studies some important domain analysis methods in the world. because of the virtues of foda method, the paper researches over am / fm / gis domain with the foda method, tries to plot out the boundary of am / fm / gis domain, extracts the domain features of am / fm / gis, and gains am / fm / gis domain model, including domain structure model, context feature model, operational feature model, representation feature model, information model, and activity model. these models are expressed in uml modeling methods, class description language, and tree view diagram

    論文在分析了眾多國內外領域分析方法的基礎上，選擇foda方法對am fm gis領域進行深入研究，界定其領域邊界，抽取出am fm gis領域特徵，得出了am fm gis領域結構圖、場景圖、特徵模型、信息模型和操作模型，並採用多種uml建模方法、類描述語言、樹狀圖等表達方式對相關模型進行描述，並在此am fm gis領域模型的基礎上探討了領域設計與實現。
  15. 4. much more emphasis is put on the skills used during the period of design and implement of the background project, such as < wp = 5 > object - oriented, unified modeling language, personal software process, team software process and distributed components

    4 .論文重點分析了福建煉油廠通用車間信息系統的設計過程和方法，包括：面向對象技術、通用模型描述語言、軟體開發的個人軟體過程和團隊軟體過程、分散式對象技術。
  16. A regular expression is a pattern description using a meta language

    常規表達式是一種使用元語言的模式描述。
  17. For implementing efficiently the whole task schema, initializing setting and managing & controlling the process of experiment, we present a corba - based distributed experiment & test schedule and management system. in this paper, the tool for workflow - based distributed experiment & test model building is designed and developed, in terms of the workflow process definition and xml process definition language which is presented by workflow management coalition

    本文在介紹工作流的過程定義以及工作流管理聯盟提出的xml過程描述語言的基礎上，設計開發了基於工作流技術的分散式試驗與測試建模工具，能夠有效地建立分散式試驗與測試計劃模型，對后續的任務調度管理提供了基礎。
  18. 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

    然後結合應用程序的設計模式定義了模型描述語言，描述面向業務對象的平臺無關模型信息，並設計建模工具完成對平臺無關模型的建立。
  19. Therefore new attacks can be logged in modular description language and added to the attacks logging database. the description languages together with the event inspection function make the system ' s expandability and upgrading possible. 3

    這樣，可以用模式描述語言描述新的攻擊並增加到攻擊特徵模式庫中，同時增加新的事件檢測引擎來識別此攻擊，保證了系統的可擴展性要求，方便升級。
  20. This paper improves on the existent methods of schema integration by analysis and comparing them and combining xml with them. moreover, the global schema and mapping rules according to xml standard are generated

    本文在分析比較已有模式集成方法的基礎上，結合xml作為數據模型描述語言的優勢，將xml技術應用於模式集成，改進了已有模式集成方法，生成符合xml標準的全局模式和模式映射規則，為全局查詢處理奠定了基礎。
分享友人
分享到 Line

分享到臉書