語法描述語言 的英文怎麼說

中文拼音 [miáoshùyán]
語法描述語言 英文
grammar description language
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
  • : 動詞1. (照底樣畫) copy; depict; trace 2. (在原來顏色淡或需改正之處重復塗抹) retouch; touch up
  • : Ⅰ動詞(陳說; 敘述) state; relate; narrate Ⅱ名詞(姓氏) a surname
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • 語法 : grammar; syntax
  • 描述 : describe; represent
  • 語言 : language
  1. The circuits driving the ccd and processing the video signal are implemented by means of cpld ( complex programmable logic device ) and hdl ( hardvvare description language ). the solution to solve the problem of multi - level logical competitive risks that occur in cpld circuits frequently was provided in details in the thesis

    Ccd的驅動電路和視頻信號處理電路採用cpld (可編程邏輯器件)和hdl (硬體)實現,文章對cpld電路中容易出現的多級邏輯冒險競爭情況作了專門的敘和提出相應的解決方
  2. This paper sets up the business mode system which is dominant by bpr in terms of the methodology of object - oriented, and this business mode system is composted by several granularity level model from crassitude to fine, and is described by the unified modeling language ( uml ). bi the aspect of drcmis developing process methodology, both the conception of domain - specific software architecture ( dss a ) and component technology are play important role leave each other from macrocosm to microcosm angle of view

    該模型體系的建立具有以下基本特徵:以適應bpr為主導,以面向對象的分析與設計為基本建模方,以uml為模型,以特定領域軟體體系結構( dssa )概念為整體開發方,以組件為「應用工程」開發過程中應用域的主要劃分單位,以corba作為分佈對象的集成標準。
  3. Our research studies the principles and methods when use postscript language to describe a page, uses monomial comparison to analyze how text, graphics and images are described. specially, the procedures describing image are analyzed in detail

    論文從實用的角度研究了postscript頁面原理和方,使用定項比較解讀postscript文件中文字、圖形和圖像等元素的表示方,重點剖析了圖像屬性參數和數據的各個過程。
  4. 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中。
  5. Thi s dissertation first describes syntax, semanteme and method of modeling hardware of veri1og hdl and vhdl in detai1 so that strong abi1 ity of designing and simu1ating waveform is represented in hardware circuits

    本文首先對兩種硬體veriloghdl和vhdl在義、及硬體建模方進行了詳細的,說明它們在硬體電路波形表示方面有較強的設計與模擬能力。
  6. Apla embodies the thinking of data abstraction, procedure abstraction. there are some core questions in the translator

    Apla是一種抽象演算,具有高度抽象、表達力強等特點。
  7. At last the algorithm of ddmf is achieved by the investigation tool of altera company ? quartus ii and the vhdl language, and its ip core is also achieved which is used not only in the satellite navigation position system, but also in the long pn code dsss system. ddmf investigated in the dissertation gives a good way to design the rapid pn code acquisition in the beidou project, and the technology has the definite theory and practice significance

    此外還應用altera公司的最新的fpga開發工具quartusiiv5 . 1 ,採用了國際標準的硬體? vhdl,對數字差動匹配濾波器和傳統匹配濾波器演算予以實現,開發了該演算的軟ip核,可以對所應用的擴頻碼長度, a / d采樣后的數據量化階數,所用擴頻碼等可進行隨意改寫。
  8. 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的應用需求。
  9. In this paper, using a top - down design scheme, the risc mcu ip core is divided into two parts : data path and control path. all the modules in the two parts are described by verilog hdl, a kind of hardware description language. the simulation and synthesis of the whole work are finished successfully with eda tools

    本文對pic16c6x單片機系統結構、指令系統和系統時序進行了分析,並且在此基礎上對精簡指令集mcuip核進行頂層功能和結構的定義與劃分,建立了一個可行有效的riscmcuip核模型本文將mcuip核劃分為數據通道與控制通道兩部分,採用asic設計中的高層次設計方,使用硬體veriloghdl對這兩部分的各功能模塊進行了設計;利用多種eda工具對整個系統進行了模擬驗證與綜合。
  10. To realize nolinear excitation controller, it must be improved that the disposal speed of nolinear excitation control " s signal. with analyzing and comparing all kinds of microcomputer excitation controller, a new microcomputer excitation control scheme is offered that is based on dsp controller while the cpld chip is utilized for realizing the function of pulse trigger. it is described in detail that the method of realizing controllable silicon digital logic by verilog hardware describe language and the designed digital pulse trigger " s veracity was validated by digital simulation

    論文進一步針對非線性勵磁控制要求信號處理速度高、信息量大的特點,在對目前微機勵磁控制器分析基礎上,提出採用dsp控制器晶元作為核心處理器的微機勵磁控制器的解決方案,運用復雜可編程邏輯器件cpld晶元實現可控硅同步脈沖觸發單元,並簡要說明了verilog硬體和數字脈沖形成邏輯的方,通過電路數字模擬對所設計的數字觸發單元進行了驗證。
  11. When you use the web services description language tool wsdl. exe to create your proxy class, it generates the standard, synchronous versions and asynchronous versions of the methods in the class

    當使用web服務工具( wsdl . exe )創建代理類時,將在該類中生成標準的同步版本和異步版本的方
  12. 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的軟體過程模型,討論了軟體體系結構和客戶服務器模型以及設計模式應用方,闡了設計模式與構架和構件的關系;接著討論了工作流管理系統設計思想以及工作流管理系統的體系結構,提出了工作流技術與采購物流管理軟體結合的應用模型,並闡了工作流建模方;然後研究了基於工作流的采購物流管理模型,抽象領域需求框架並建立領域分析模型;進而進行相應的領域設計,建立采購物流管理軟體類模型和動態交互模型,採用設計模式和三層構架進行優化設計;最後給出軟體的構架與構件的模型實現。
  13. 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

    前者是將定性模擬演算看作一類約束滿足問題,用約束邏輯程序加以改進,不僅為解決定性模擬問題提供了邏輯框架,而且也是一種規范化的程序;模糊定性模擬演算則是對純定性模擬演算在知識、狀態轉移規則、過濾演算等方面的改進,是一類半定量,有利於在定性模擬領域綜合定量信息,同時提高演算的效率。
  14. 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

    採用了「事件檢測」引擎技術,並定義了一套入侵特徵模式及相應的規則解釋器。
  15. In the software design part, the image encoding is realized with huffman encoding on the bubbling up sorting method for 256 gray - color values. the result of the encoding and encoding efficiency are displayed in the list box. in the hardware design part, on the basis of the characteristic and development of the embedded system hardware, the code joint is realized with the fpga and vhdl

    在紅外虛擬鍵盤的軟體實現部分,採用哈夫曼( huffman )編碼的方實現了圖像編碼,利用冒泡對256個灰度值進行排序,最後將編碼結果以及編碼效率等以列表框的形式顯示;在硬體設計部分,基於目前嵌入式系統硬體的特點及發展,採用可在線修改的現場可編程門陣列fpga ( fieldprogrammablegatesarray )技術以及高速集成電路硬體vhdl ( veryhighspeedintegratedcircuitshardwaredescriptionlanguage )等方實現圖像處理中的碼字拼接功能。
  16. Vhdl is considered as a core of digital system design and a key technique of imptement digital systems design

    硬體( vhdl )是數字系統高層設計的核心,是實現數字系統設計新方的關鍵技術之一。
  17. This paper first discusses the feature of vhdl, and introduces the process of very long digital system by vhdl and auto - synthesis system with the method of top - down through designing control system of color lamp, reveals that it is very important to design digital system, logic synthesis and emulation with vhdl

    本文介紹了硬體的功能特點,並通過彩燈控制系統的設計過程(給出了模擬結果) ,介紹應用硬體及自動綜合系統以自頂向下的方進行大規模數字系統設計的過程,揭示了硬體設計數字系統、邏輯綜合和模擬等技術在數字系統設計中的重要地位和作用。
  18. 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之間的雙向轉換問題的研究,通過研究二者之間的轉換,實現將基於時序邏輯的形式化方與面向對象的可視化建模相結合軟體體系結構,來探討如何將形式化方應用於實際的軟體開發過程中,這樣不但能促進對當前軟體主流技術的研究,而且能促進對形式化開發方的研究。
  19. The workshop on tools and algorithms for the construction and analysis of systems tacas 99, lncs, springer - verlag, 1999, 1579 : 193 - 207. 4 burch j r, clarke e m, mcmillan k l. symbolic model checking : 10 20 states and beyond. information and computation, rm 1992, 98 : 142 - 170

    在這本文中,我們通過對kripke結構的合理擴充,提供了直接模型檢測dmc direct model checking的矩陣演算,通過與體系結構adls的結合, dmc可以被直接應用在相容性consistency等關鍵性質的計算方面。
  20. In this article, we study the implemetation of fpga for elliptic curve digital signature algorithm. based on number thesis 、 abstract algebra and complex thesis , integrated information theory 、 cryptography and some specific relevant algorithm , we ascertain the implementation of ecdsa for hardware project : according to the design idea of hiberarchy and modularization, we adopt very high speed ic hardware description language ( vhdl ) as design input and simulate the design in every level and every model for the correct of the fundamental design. after finish the top design, we perform the whole simulation. then , we carry out the timing simulation after the logic synthes and layout

    本文從實際應用出發,研究了橢圓曲線數字簽名演算的fpga的實現:以基本的數論理論、抽象代數和復雜度理論為依據,結合信息論、密碼學的一些知識以及一些具體的相關演算,確定了ecdsa的硬體實現方案:按照層次化、模塊化的設計思想,採用硬體vhdl作為設計輸入進行ecdsa的硬體設計;在每個設計層次和每個模塊都進行了模擬驗證,得以保證底層設計的正確性。在確保每個模塊的設計正確后,完成對電路的頂層設計,進行總體的模擬。
分享友人