正則文法 的英文怎麼說

中文拼音 [zhēngwén]
正則文法 英文
canonical grammar
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : Ⅰ名詞1 (規范) standard; norm; criterion 2 (規則) regulation; rule; law 3 (姓氏) a surname Ⅱ...
  • : Ⅰ名詞1 (字) character; script; writing 2 (文字) language 3 (文章) literary composition; wri...
  • : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
  • 正則 : holomorphic
  • 文法 : grammar文法學 grammar
  1. This thesis is to recommend a important class of regularized strategies for solving inverse problems - mollifier method. it anaysises the consistency, numerical stability and error estimates of mollified solution. similar to tikhonov regularization, a discrepancy principle for selecting the mol - lifier parameter is proven and applications to numerical differentiation and numerical inversion of abel transform and also given

    將介紹求解反問題的一類重要的化策略?緩鎮,並基於用gauss核構造的緩鎮運算元,分析了緩鎮解的相容性、數值穩定性和誤差估計,與tikhonov化類似,我們證明了決定緩鎮參數的偏差原理。
  2. These treaty provisions are in large part but formal and specific applications of general principles of the unwritten law

    戰時國際條約之條款乃為不成一般原式與個別適用的部份。
  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. The main studies are as follows : ( 1 ) the hamiltonian mechanics and equations are deduced from the lagrange mechanics. the symplectic quality of the hamiltonian system is discussed. the formulations of the symplectic integrator method are constructed, especially the explicit symplectic schemes for the separable hamiltonian system and the symplectic partitioned runge - kutta ( prk ) method for the generic hamiltonian system

    對該方進行了初步的研究和計算應用,具體展開了以下幾方面的工作: ( 1 )從lagrange力學出發引入hamilton力學和hamilton方程的概念,討論了hamilton系統的辛性質,給出了構造辛演算的基本原理,並重點介紹了線性可分hamilton系統的顯式辛格式和一般hamilton系統的辛prk方
  5. Bertero, m., t. poggio, and v. torre. " ill - posed problems in early vision. " proc. of the ieee ? 76 ( 1988 ) : ? 869 - 889

    雖然局限於初期視覺,但該包含了關于病態問題和化方的易讀的介紹性內容。
  6. On the basis of set operation on integrity bo - dy, taking advanta ge of the excellency provided abundant topolo - gical information by the ra dial edge data structure, applying the divide and conquer method for inha ncing the efficiency of the system, the boolean operation on integrity or unintegrity bodys is furnished

    形體集合運算演算的基礎上,充分應用輻射邊結構提供豐富拓撲信息的優點,運用了分而治之的編程思想,實現了形體間的、非布爾運算。
  7. Among the above said “ four kinds of responsibilities ”, some are specified by official legal agreements, some are committed in the unofficial contracting documents and some are required by social conventions and moral rules

    以上這「四大責任」 ,有些是由式的律性契約規定的,有些是無式契約件的承諾,還有許多是屬于社會通行慣例與道德準要求的。
  8. Abstract : the method about constructure of a new compactly supported orthonormal wavelet and scale function concerned is put forward and the exponent regularity of the kind of wavelet and related scale function is estimated accurately

    摘:提出了一類新的具有緊支集的標準交小波基以及相關的尺度函數的構造方,準確估計了該類小波和相關尺度的性指數。
  9. Based on lotfi a. zadeh ’ s work, mingsheng ying ’ s work and daowen qiu ’ s work, the author proposed two new formal models of computing with words, namely the formal model of computing with words via lattice - valued finite state automata and the formal model of computing with words via lattice - valued regular grammar. the formal model of computing with words is expored and investigated

    在lotfia . zadeh教授、應明生教授、邱道教授等人的工作基礎上,提出了詞計算的兩種新的形式模型? ?基於格值有限狀態自動機的詞計算形式模型和基於格值正則文法的詞計算形式模型,對詞計算的形式模型作了進一步研究和探討。
  10. And experience with lexing and parsing will help you greatly through this article, but it is written for any perl programmer interested in the perl 6 grammars and regular expressions

    ,並且有詞分析( lexing )和句分析( parsing )方面的經驗,那麼這些會對您掌握本有很大幫助,此外,本是為那些對perl 6語表達式感興趣的所有perl編程人員撰寫的。
  11. Regular tree grammar

  12. Just as most of the natural language process technologies, the methods of ner have two classes, statistic - based and rule - based. considering of the limitation of using only one of the methods, we combined both of the methods to recognize named entity in this thesis. we combined the maching learning with ner to make the system get the ability of self - learning. we have done research on decision tree of maching learning mainly and designed a recognize model to recognize named entity. this model first used the probability and statistic way to extract the potential named entities, and then some context linguistic language information are employed in the model to recognize the named entities furtherly. as the wrong entites are denied, the recongnize effect has been improved

    鑒于單獨採用基於統計方或基於規的缺陷,在這篇論中,採用了統計與規相結合的方來識別命名實體。為了使系統具有學習能力,我們把機器學習方應用於中命名實體的識別,這里我們著重研究了機器學習中的決策樹方在中命名實體識別中的應用;設計了一種基於決策樹的識別模式,該模式首先利用概率統計方,在本中盡量完備地識別出潛在的命名實體,然後利用潛在命名實體相關的上下、語和語義特徵作為屬性構建決策樹,否定不確的實體,進一步提高了命名實體識別的準確率。
  13. The water quality respond relation of input - output measurements are established by systematic theory in this paper. according to the peculiarity of hydrology and the necessity of water quality inverse problem the multi - parameter inverse problem model based on ordinary differential equation is developed. the existence and uniqueness of the solution of the ordinary differential equation about two parameters or multi - parameter are to be proved. the unstability depending on errors between monitoring data and interpolation approximate data are analyzed and demonstrated. cubic spline interpolation function, the least two multiply and positive rule method are conjoined for obtained solution of multi - parameter. the results from this algorithm indicats its efficient to the multi - parameter identification in water quality modeling

    應用系統理論,建立了水質多參數輸入輸出之間的響應關系;根據河流水水質變化特點和參數反問題的需求,建立了水質常微分方程多參數反問題模型.根據常微分方程參數反問題的數學理論,作者給出了兩參數和多參數水質常微分方程反問題的解的存在性、唯一性的理論證明過程和結論;還針對水質現有監測資料的測驗誤差和插值近似計算誤差造成參數反問題的不穩定性,將三次樣條插值函數、超定方程最小二乘化演算有機地結合使用,成功地給出了水質參數反問題的穩定化演算.最後給出了應用計算結果
  14. Abstract : this paper briefly introduces the method of the hot correction for large size box beam including the principle and procedure of the correction, the selection of the allocated weight and the drawing method of the burning triangle, etc

    摘:本簡要介紹了大尺寸箱形截面梁熱校的方,包括校及步驟,配重物重量的選擇,烘烤三角形的畫
  15. Firstly, a new joint filterbank precoders and decision feedback equalizers structure is proposed, and the corresponding optimization result based on the maximal mutual information criterion is derived. secondly, the concept of dt canonical model is proposed, which is very suitable for the task of blind signal processing based on the second - order statistical of the observations. thirdly, the methods of blind equalization and identification of the tv dispersive channels are researched systematically based on the proposed dt canonical model, and a subspace blind identification algorithm of the time - invariant channel matrix is developed

    創新性的成果在於:提出了預編碼-判決反饋聯合均衡系統結構,並從理論推導得出了對應的最大互信息量最優化設計結果;首次提出了時變色散通道的離散模型概念,該模型適宜於利用觀察數據的二階統計量進行盲信號處理;基於離散模型對時變色散通道進行了系統的盲均衡和盲辨識方研究,提出了對時不變通道矩陣的子空間盲辨識演算;針對誤差傳播效應問題,提出了可以消除誤差傳播效應的兩級盲辨識演算;提出了基於離散模型的直接盲均衡演算;提出了基於特徵恢復思想的神經網路直接自適應盲均衡演算
  16. A direct iteration method in solving normal equations by means of bidirectional asynchronous integral has been successfully exploited, so that it can efficiently overcome the difficulty in solving two - point boundary value problems resulting from inverse stability between state equation and co - state equation

    中提出雙向異步積分迭代求解方程組的直接迭代,較好解決了狀態方程和協態方程穩定性相逆給求解兩點邊值問題帶來的困難。
  17. With this method, in the present thesis, we will classify all the connected regular covering graphs of the cube satisfying the following two properties : ( 1 ) the covering transformation group is isomorphic to the elementary abelian p - group ; ( 2 ) the group of fibre - preserving automorphisms acts edge - transitively

    中,我們用同一種方分類立方體的連通覆蓋圖,並且滿足兩個條件,覆蓋變換群同構于初等交換p -群且保纖維自同構群是邊傳遞的。
  18. At last, we also obtain a key theorem which charactarize the link between computing with words via lattice - valued regular grammar and computing with values via lattice - valued regular grammar. 3. the equivalence between two kinds of lattice - valued models

    最後,嚴格證明了一個刻畫基於格值正則文法的詞計算和基於格值正則文法的數值計算之間的聯系的一個基本定理。
  19. We propose the concept of lattice - valued ( hyper - ) regular grammar as well as lattice - valued ( hyper - ) regular language. moreover, we give the concept of the equivalence between two lattice - valued grammars. then we proved that every lattice - valued regular language is a lattice - valued hyper - regular language

    2 .格值正則文法的研究:首先,提出了格值(超)正則文法的概念,並給出了格值(超)語言的定義,同時給出了兩個格值等價的刻畫。
  20. The first part of this dissertation is composed of four chapters, concentrating on the study for lagrangian regularization approach

    上篇共含四章,主要進行拉格朗日的研究。
分享友人