描述型語法 的英文怎麼說
中文拼音 [miáoshùxíngyǔfǎ]
描述型語法
英文
descriptive grammar-
On the basis of the study on the speech coder algorithms, paper describe an advanced method of developing dsp system software, and as the guidlines, we developed the programme of whole decoder unit. paper stress on analysis of the ecu in decoder unit. aiming at amr algorithms disadvantage of angularity of synthetical speech, paper study on the specutral extrapolation which apply to extrapolate reflect coefficient of track model to make error conceal processing of amr. at last paper analyze existing echo cancellation algorithms using on mobile communication system
在此基礎上，描述了一種較為先進的大型dsp系統程序開發策略，並以此為指導思想，以美國ti公司c6000dsp開發平臺開發出了整個amr解碼器單元的系統程序。論文對amr解碼器的誤碼隱藏處理單元進行了重點分析，針對原有演算法合成語音自然度不好的缺點，論文研究了將譜外推法應用到amr演算法中外推出聲道模型反射系數參數進行誤碼消除處理。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作為分佈對象的集成標準。We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。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為基礎的網路化製造系統的訪問控制描述語言。After understanding the whole structure of enterprise model based on rdbms, i define a series of semanteme and expressing - dtd. i adopted the tool ’ s package of jdom and the interface of jsp to generate xml
在充分理解了以關系型數據庫描述的企業模型的完整結構后，基於xml的語義語法dtd ，自定義了一套滿足模型庫結構要求的企業模型數據交換標準。4. denote typical arithmetics with apla and transform them to java programs. 5. implement a transforming model to resolve java generic mechanism
4 、使用apla語言對典型演算法進行描述，並將其轉換成可執行的java程序。Fuzzy control does not need to know accurate mathematic model of some object. it is based on human thinking and producing experience ; and it applies language rule to describe controlling process and bases rule to modify the controlling arithmetic and parameter
模糊控制事先不需要獲知對象的精確數學模型，而是基於人類的思維以及生產經驗，用語言描述控制過程，並根據規則去調整控制演算法或控制參數。The main points of this dissertation are described as follows : adding semantic description on the web services through extending wsdl ; proposing the composability model for semantic web services ; giving a matchmaking algorithm and describing a semantic web service composition architecture
本課題的主要工作成果包括:通過擴展wsdl來增加它對web服務的語義描述，以此作為動態組合的基礎;依據對wsdl的擴展而提出的語義web服務描述模型;根據定義的組合規則，提出了服務匹配演算法;給出語義web服務動態組合平臺的框架結構。The 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。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的應用需求。At last, this thesis figures out an event - based method of air threat assessment through the definitions of the events, the modeling accompanied with xml description of the model, the introduction of the functional architecture model of event correlation, the type of event correlation and the expressions of the theory of this technique, the event deleting and contracting on the data facet, the correlation between the events in causality by bayesian network and the probability reasoning, exemplifying and calculating of bayesian network employed in the construction of threat assessment model of air battle
最後提出了一種基於事件的空戰威脅估計方法。對事件進行了定義、建模並用xml語言進行了數據描述;介紹了事件關聯功能結構模型;介紹了事件關聯類型及知識表達方式，從數據層進行了事件清理和壓縮，使用貝葉斯網路對因果事件進行關聯，建立了空戰威脅估計貝葉斯網模型、進行了貝葉斯概率推理及算例分析。The content of this paper is arranged as foll owing : chapter 1 introduces the concept of credit, credit risk and credit assessment, as well as the history and development of credit assessment ; chapter 2 introduces the history of ai technology, and the background of expert system and neural network. characters and disadvantages of expert system and neural network are presented respectively and the necessity of combining expert system and neural network is lightened ; chapter 3 shows the process of dealing with sample data, including the treatment of exceptional data and factor analysis, and puts forward the concrete framework of the mixed - expert credit assessment system ; chapter 4 introduces concept of object - oriented technology, and constructs object model and functional model after analyzing the whole system. it also illustrates the implementation of concrete classes by an example of rule class and the inference algorithm in the form of pseudocode ; chapter 5 introduces the structure of the whole system, the major functional models and their interfaces, and the characteristic of the system is also generalized ; chapter 6 summarizes the whole work, and points out the remaining deficiencies as well as the prospective of this method
本文具體內容安排如下：第一章介紹了信用、信用風險、信用評價的概念，回顧了信用評價的歷史、發展和現狀，並綜合各種信用評價模型，指出這些模型各自的優缺點：第二章簡單描述了人工智慧技術，著重介紹有關專家系統與神經網路的基礎知識，通過總結它們的優缺點，指出結合專家系統與神經網路構造混合型專家系統的必要性；本章還介紹了神經網路子模塊的概念，提出了混合型專家系統的一般框架與設計步驟：第三章對樣本數據進行處理，包括異常數據的剔除、因子分析等，提出了信用評價混合型專家系統的具體框架結構，介紹了系統知識庫的主要部分、基於優先級的正向推理機制的流程、以及基於事實的自動解釋機制的具體實現方法；第四章介紹了面向對象技術，進而採用面向對象對信用評價系統進行分析，建立了對象模型和功能模型，並在此基礎上，採用c + +語言以規則類為例說明系統中具體類的實現，用偽代碼的形式描述了推理的演算法；第五章描述了整個系統的結構，對系統主要功能模塊和界面進行了介紹，並總結系統的特點；第六章總結了全文，指出本文所構造系統存在的不足以及對將來的展望。Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。Through analyzing several current - prevailing geography information types and gis data formats, this paper proposes a both user - oriented and multi - resource - heterogeneous - information - system - oriented scheme that describes the urban space semantic information entity based on ontology. moreover, ontology - based topology and semantic relationship of the urban space entity are provided. this paper also presents a synthetic query model of ontology - driven space information and a methodology of semantic integration
本文在分析了國內外流行的gis系統的地理信息類型和數據格式的基礎上，提出基於本體論的，面向用戶應用、面向多源異構信息系統的城市空間語義信息實體的描述方法，提出基於本體的城市空間實體拓撲關系及語義關系，確立了本體驅動的空間信息的綜合查詢模型，以及語義信息集成方法。Firstly, related research work on agent, multi - agent system ( mas ), robot, multi - robot system ( mrs ) and auv are described. then, based on the famous bdi theory, extended bdi model ( xbdi model ) is presented. in xbdi model, every robot or agent has own mental states, such as beliefs, desires, goals, intentions and behavioral property, such as roles, capabilities, plans, know - hows
本文在簡要介紹agent及mas 、機器人及多機器人，尤其是水下機器人技術的研究現狀及發展趨勢之後，在目前廣為使用的bdi模型基礎之上，提出了適用於水下機器人的擴展bdi模型（ exendedbdimodel ，以下簡稱為xbdi模型） ，描述了xbdi - agent的結構和功能、定義了xbdi邏輯語言l _ x 、給出了xbdi - agent的心智狀態的表示及處理方法、並給出了xbdi系統的運行演算法。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工具對整個系統進行了模擬驗證與綜合。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語言的方法，設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。The main research works and specific contributions found in this thesis covers the following aspects : 1. an appropriate data model for xml - based semistructured data is required before a dbms can be built
本文反映了作者自1999年以來的主要研究成果，包括以下內容：一、在基於xml的半結構數據模型的研究上，首先提出了一種類lisp語言的半結構數據的句法描述形式。Xml, as the seed technology within the progress of the web, is the universal applicable declarative syntax in the future web, and rdf providing a data model for resource description and a set of primitives at semantic level is the technical foundation of semantic web
Web已經到了向語義化發展的一個轉折點： xml提供了通用的表示語法，是web向語義化方向發展的種子技術； rdf提供了語義上描述知識的數據模型和一組基本的描述原語，是語義化web在語義上的技術基礎。The syntax rules and semantic constrains are described in detail ; the semantic of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of modal logic
文中詳細描述了語法規定和語義約束，該邏輯的語義是以一般的多agent系統模型給出的，並且與模態邏輯的解釋系統密切相關。分享友人