抽象語法定義 的英文怎麼說
中文拼音 [chōuxiàngyǔfǎdìngyì]
抽象語法定義
英文
asn. 名詞 abstract syntax notation one- 抽 : 動詞1 (把夾在中間的東西拉出; 提取) take out (from in between) 2 (從全部里取出一部分; 騰出) ...
- 語 : 語動詞[書面語] (告訴) tell; inform
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 定 : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 抽象 : abstract
- 語法 : grammar; syntax
-
By using the par method and transforming system, we implement the abstract data in apla correctly. 3
利用par方法,以自擴展的方式正確地實現apla語言定義的抽象數據類型; 3The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算,以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc , dfo , dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見,本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。It includes 3d semantic space and constraining based problem - solving method. the 3d semantic space is built to represent the relationship between the describing semantic word and product color. then, the product color schemes with related abstract sense words is achieved and saved in database
首先採用定性和定量相結合的方法,比較各抽象語義詞匯對人心理感覺影響的差異,建立了抽象語言和色彩關聯的三維風格語義空間,為色彩信息的表示及推理奠定了基礎。To achieve information integration in manufacture process, this paper, with reference to dnc, researches into manufacture process information integration from 3 aspects : data level, function level, application level, presents the management information integration framework ( miif ) based on distributed control technology, builds meta - agent and application agent by regarding agent as an entity having special behavior ability and specific action objective, establishes agent control model, and then gives the collaborative solution. with field - bus technology and agent technology, the dnc system model based on agent technology is established which shows a efficient way of device integration. a general model of device integration is set up, and an agent model based on soft plug - in technology is built
該模式包括面向製造過程的車間生產管理與控制的上層結構和面向車間設備的加工控制的下層結構;為實現製造過程信息的集成,本文從三個層面:數據層面、功能層面、應用層面上闡述了車間製造過程信息的集成方式,並借鑒dnc思想,建立了基於分散式控制技術的製造過程信息集成框架( miif ) ;採用面向對象方法,對miif中的代理體從定義抽象、結構和功能等進行了深入研究;從知識層面上的三個層次:語言規范、會話機制、問題域對miif的多agent協作進行研究,建立了多agent交互的形式化模型。In many ways they are rather code - oriented : following a route that says that the key part of documentation is source code. the agile java program development method is one of agile methods. in this paper, the agile java program development method begins with the analysis of system requirements, draws use case modelings, abstracts class diagrams, transforms alsd, and generates the java code at last
本文提出的方法從系統需求入手,使用uml ( unifiedmodelinglanguage ,統一建模語言)用例圖捕獲系統的需求,建立用例模型;從用例圖出發抽象出類圖;然後使用alsd ( abstractlogicalstructurediagrams ,抽象邏輯結構圖)對類方法的行為過程進行可視化定義,最後可根據類圖和alsd自動生成java源代碼。Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies
本文在原有的編程題自動評分模型的基礎上,對結構體的語法結構和實現原理進行研究,並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則,主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外,還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。Also, art means that the degree of perfection of shape, structure and skills. cai processes and manages the abstract principles, concepts, definitions and rules by images, texts and languages so that the students can understand and receive the teaching procedures
Cai課件是藉助圖像、文本、語言等直觀手段將抽象的原理、概念、定義、法則等經過加工、處理,使學生易於理解和接受的教學程序。Based on the basic theory of tmn, and with the network management information model as a target, this thesis has given an in - depth study of the theory of tmn information model, gdmo and asn. 1
本文基於tmn的基本理論,以網路管理信息模型為研究方向,深入研究了基於tmn的網路管理信息模型、管理信息模型中用於建模的被管對象定義指南( gdmo )和抽象語法標記一( asn . 1 )的語法。Asn. 1 is a data definition language which allows formal definitions of information structures to be expressed in a manner which is independent of any implementation constraints
抽象語法符號asn . 1是一種資料定義語言,透過將資訊結構的定義正規化,使資料結構在任何發展環境之下都能用相同的表示方法來表示。First, the basic raster graphics algorithms for drawing 2d primitives are introduced, including edge coherence and the scan - line algorithm of triangle, brush algorithm of thick line ( and its improved method ) and midpoint circle and ellipse algorithm ; and the current situation of the advanced algorithms is also involved. second, the mapping of high level programming language to hardware description language is described, some principles of the conversion of algorithm to state machine are proposed also ; then, the implementation of basic graphics in hardware is discussed in detail, the state machines are drawn in the paper, and the interfaces of hardware are defined, block diagrams too, and the advanced algorithm of conic is proved ; finally, some issues about test are described, the results of simulation and synthesis are given in the last, and some detailed data are displayed in the appendix
首先介紹了現有的基本圖形生成演算法,包括三角形邊相關掃描演算法,寬直線的線刷子演算法及其改進和圓形、橢圓的生成演算法,同時介紹了加速演算法的研究現狀;然後,討論了高級語言描述到硬體描述語言的映射,提出了演算法到狀態機抽象的規律;接著具體討論了基本圖形的硬體實現,給出了各演算法的狀態機圖,介面定義和實現框架,並且從理論角度給出了二次曲線加速演算法的證明:最後採用軟體工具進行測試驗證,給出了模擬、綜合實現的結果,並在附錄中有詳細的實驗結果數據。We defined radl for describing algorithm specifications and abstract algorithms, apla for describing abstract programs. the radl algorithms can be translated to apla programs, then to executable language programs such as delphi, mechanically
在該方法的指導下,我們定義了radl ( recurrence - basedalgorithmdesignlanguage )抽象演算法設計語言來描述演算法規約和抽象演算法,定義了apla ( abstractprogramminglanguage )語言來描述抽象程序。分享友人