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

中文拼音 [wénfǎmiáoshùyǔyán]
文法描述語言 英文
grammar description language
  • 文 : Ⅰ名詞1 （字） character; script; writing 2 （文字） language 3 （文章） literary composition; wri...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 描 : 動詞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
  • 文法 : grammar文法學 grammar
  • 描述 : 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. 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文件中文字、圖形和圖像等元素的表示方法，重點剖析了描述圖像屬性參數和數據的各個過程。
  3. We characterized the security issues in asp - based networked manufacturing system, especially the issue of the user access control. then the typical methods of access control were introduced, which include discretionary access control ( dac ), mandatory access control ( mac ), role - based access control ( rbac ), task - based access control ( tbac ), coalition - based access control ( cbac ) and relationship - driven access control ( rdac ) and so on. based on that, we provided an integrated user access control model, which was composed of rbac, tbac, rdac and cbac

    本章描述了asp和網路化製造系統的安全性問題，尤其是用戶訪問控制的問題；接著介紹了幾種浙江大學博士學位論文典型的訪問控制方法，包括強制訪問控制、任意訪問控制、基於角色的訪問控制、基於任務的訪問控制，以及基於公司關系的訪問控制、基於企業聯盟的訪問控制等;在前面描述的典型訪問控制模型基礎上，給出了一個網路化製造系統的綜合訪問控制模型，包括網路化製造系統的用戶和資源層次關系圖、訪問控制參考模型和訪問控制過程模型，並定義了各個模型中的相關元素和關系，給出了各級約束驗證和授權的表達;最後我們給出了以xacml為基礎的網路化製造系統的訪問控制描述語言。
  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. 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的應用需求。
  7. 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工具對整個系統進行了模擬驗證與綜合。
  8. 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語言的方法，設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。
  9. 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硬體描述語言和數字脈沖形成邏輯的方法，通過電路數字模擬對所設計的數字觸發單元進行了驗證。
  10. 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的語法、語義分析器的作用原理，對現場數據專家子系統調優模擬結果進行了分析，模擬控制結果表明專家系統在氣分優化指導系統中的應用具有很好的效果。
  11. 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的軟體過程模型，討論了軟體體系結構描述語言和客戶服務器模型以及設計模式應用方法，闡述了設計模式與構架和構件的關系;接著討論了工作流管理系統設計思想以及工作流管理系統的體系結構，提出了工作流技術與采購物流管理軟體結合的應用模型，並闡述了工作流建模方法;然後研究了基於工作流的采購物流管理模型，抽象領域需求框架並建立領域分析模型;進而進行相應的領域設計，建立采購物流管理軟體類模型和動態交互模型，採用設計模式和三層構架進行優化設計;最後給出軟體的構架與構件的模型實現。
  12. 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

    本文介紹了硬體描述語言的功能特點，並通過彩燈控制系統的設計過程（給出了模擬結果） ，介紹應用硬體描述語言及自動綜合系統以自頂向下的方法進行大規模數字系統設計的過程，揭示了硬體描述語言設計數字系統、邏輯綜合和模擬等技術在數字系統設計中的重要地位和作用。
  13. 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建立軟體模型
  14. 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之間的雙向轉換問題的研究，通過研究二者之間的轉換，實現將基於時序邏輯的形式化方法與面向對象的可視化建模語言相結合描述軟體體系結構，來探討如何將形式化方法應用於實際的軟體開發過程中，這樣不但能促進對當前軟體主流技術的研究，而且能促進對形式化開發方法的研究。
  15. 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等關鍵性質的計算方面。
  16. Based on research and development of integrated supply chain management ( iscm ), we adopt the process of component oriented software development, lay emphasis on the integrated modeling method of agent, petri net and acme, and research on the architecture model and component model of jit ( just in time ) software

    在集成供應鏈管理系統開發的背景下，本文以jit軟體的研製為基礎，探討系統開發的過程、方法和工具等軟體工程問題。整個研製工作貫穿基於三層體系結構的構件化軟體開發過程，綜合使用統一建模語言uml 、 agent方法、 petri網方法和體系結構描述語言acme建立軟體模型。
  17. 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的硬體設計；在每個設計層次和每個模塊都進行了模擬驗證，得以保證底層設計的正確性。在確保每個模塊的設計正確后，完成對電路的頂層設計，進行總體的模擬。
  18. Not only the formal description and the scheduling algorithm of ecdf model are depicted but also the e visual language and its development environment are depicted

    文中不僅給出了ecdf模型的文法描述和調度演算法，也給出了e語言及其開發環境的設計與實現方法。
  19. The innovations of this paper are embodied as follows : 1 ) applied domain specific language into the domain of gis application system, designed a simple specification language for gis application system, named gasl, offered formalized means for defining the special requirements of gis application system. 2 ) developed an integration, visual programming environments prototype system, called gbuilder, which is an application generator integrated

    本文的創新之處體現在如下兩點： 1 ）將領域專用語言運用到gis應用系統領域，初步設計出一種簡易的gis軟體規格描述語言gasl ，為定義gis應用系統特殊需求提供了形式化手段； 2 ）開發了一個集成式可視化開發環境gbuilder系統原型，該應用產生器集工具、語言和庫於一體，為gis軟體開發提供了新的方法和工具。
  20. 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的轉換過程。
分享友人
分享到 Line

分享到臉書