語法對稱性 的英文怎麼說

中文拼音 [yǔfǎduìchènxìng]
語法對稱性 英文
syntactic symmetry
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 對 : Ⅰ動詞1 （回答） answer; reply 2 （對待; 對付） treat; cope with; counter 3 （朝; 向; 面對） be tr...
  • 稱 : 稱動詞（適合; 相當） fit; match; suit
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 語法 : grammar; syntax
  1. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  2. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  3. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  4. It is the base on which the judge solve the parties " conflicts. but language is vague, information is asymmetry, and the cost of making contract is high, so judge must interpret the contract before determining the rights and duties between the parties

    合同是當事人間的法律，是處理當事人間糾紛的重要依據，但由於受語言的模糊性、信息的不對稱性和締約成本的限制，合同必須解釋始能用以確定當事人間的權利義務關系。
  5. We found that the ergodic method used to calculate the symmetries of a multidimensional system would give rise to the computing complexity problem, hi order to avoid the computing complexity problem, we present a novel approach using genetic algorithms for calculating the permutation symmetries of a patterns set and the weight matrix of the network. we design the corresponding computer program with visual c + + 6. 0 language. and numerical simulat

    並用wsualc語言分別設計了求解網路連接矩陣和給定樣本集的置換對稱性相應的遍歷法和遺傳演算法的程序，在pc機上進行數值模擬計算，比較遍歷法和遺傳演算法的計算結果。
  6. This paper focuses on the analysis of the morphological forms of personal pronouns in some mon - khmer languages. the main forms are flexion in the grammatical categories of person, number and gender

    本文對現代孟高棉諸語人稱代詞的形式進行分析，指出了其形態變化的語法手段主要是語音屈折，有人稱、數、性等語法范疇。
  7. At the same time, the program corresponding to the proposed method is compiled in fortran90, which is used to analyze the influence of several factors on behaviour of barrettes, including ratio of length to width, ratio of depth to equivalent diameter, ratio of modulus of pile to soil, possion ' s ratio, the finite layer etc. many useful conclusions are obtained from the above analyse

    該方法考慮了壁板樁樁身橫截面的非軸對稱性，並用fortran語言編制了相應的程序，進而分析了多種因素對壁板樁承載特性的影響，包括長寬比、樁徑比、樁土剛度比、泊松比以及有限壓縮層深度等。
  8. Firstly, based on research of the asymmetric involute gear cutter and the gearing theories, the universal tooth flank curve equations of asymmetric gear with two pressure angles and the tooth transmission curve are derived by the gear shape nomal method, then the fea model of asymmetric involute gear with main parameters is automatically generated with ansys parametric design language ( apdl )

    本文首先建立非對稱漸開線刀具的方程，根據齒形法線法建立非對稱漸開線齒輪的齒廓曲線方程，並利用apdl參數化建模語言建立全參數的非對稱漸開線齒輪有限元模型。討論了非對稱漸開線齒輪的嚙合特性，對非對稱漸開線齒輪傳動特點作了詳細的分析。
  9. This dissertation focuses on the theoretical basis of crimes involving tax from a point of view the theory of tax law, which significance lies not only in providing new research space for criminal laws but also in making them more in depth. therefore, the systemic study of crimes involving tax was important significance of both criminal theory and judicial practice. crimes involving tax, as a form of criminal crimes harming the relation of tax and law, come into existence with tax revenue

    本文在以下問題上有所突破:第一，提出涉稅犯罪稱謂的合理性和直觀概括性， 「以稅法為根據，以涉稅刑法為標準」 ，廓清了涉稅犯罪的內涵和外延;第二，對于涉稅犯罪的客體提出了新的見解，指出涉稅犯罪侵害的客體實質上是稅收法律關系，並在稅法學的語境中研討了現代稅收法律關系的性質應以公法上債權債務關系為基本定性，在此基礎上，構建並解讀了「稅收法律關系結構示意圖」 ;第三，探討了涉稅犯罪單位主體認定中的單位人格否認的理論和實踐問題。
  10. The author liked to extend his story in centered and pointed contradiction collision, producing a very dramatic situation, from which he depicted the characters moulded character ' s image ; further more, the characters ' language are also very dramatic, we regard simaqian ' s this unique writing method as " dramatic creation writing style "

    作者很喜歡在集中而尖銳的矛盾沖突中展開他的故事；營造極富戲劇性的情景，從中刻畫人物，塑造人物形象；而且，人物的語言也極富戲劇性，對于司馬遷的這種獨特的創作手法，我們稱之為「戲劇性筆法」 。
  11. In order to get high quality voice in spite of low - bandwidth, our system uses several kinds of voice compression algorithms, and it realizes the functions of voice activation and jitter compensation. on the other hand, we use some methods to make voice communication safe. the methods includes : filling traffic, encrypting voice datagram with conventional encryption algorithms ; encrypting session key with asymmetric encryption, multiple authentication

    為了保證通信鏈路不被分析，系統實現了一個通信量填充器；為了對傳輸中的語音數據包進行加密，系統提供了des 、 idea 、 blowfish和keyfile等各種常規加密方法；為了利用對稱加密的快速性和公開密鑰加密的方便性，系統只對會話密鑰進行公開密鑰加密。
  12. In this thesis, assembler language was applied to program to realize dsp algorithm controller, which can perform such main computing as data collecting, self - adaptable distortion current detecting based on linear nerve cell, capacity voltage controlling in the side of direct current based on fuzzy control, pwm pulse width computing based on unsymmetrical rule sampling, etc. quick control speed ( one work period is 50 s ) and high accurateness feature largely in the controller

    本文採用匯編語言編程實現了dsp演算法控制器，它完成了數據採集、基於線性神經元的自適應畸變電流檢測、基於模糊控制的直流側電容電壓控制、基於非對稱規則采樣的pwm脈寬計算等主要演算法的運算。該控制器具有控制速度快（一個工作周期為50 ） ，精度高等特點。
分享友人
分享到 Line

分享到臉書