遞歸定理 的英文怎麼說

中文拼音 [dìguīdìnglǐ]
遞歸定理 英文
recursion theorem
  • 遞 : Ⅰ動詞（傳送;傳遞） hand over; pass; give Ⅱ副詞（順著次序） in the proper order; successively
  • 歸 : Ⅰ動詞1 （返回） return; go back to 2 （還給; 歸還） return sth to; give back to 3 （趨向或集中於...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  1. There are three stepwise stages of the procedure of the dispute solution, which includes the decision of engineers, the dab and the arbitration. chinese contractors shall take actions to protect their benefits. these actions includes the careful analysis on the claims and the strict managements of contracts, the well understanding of the contracts, especially the terms that exculpatory clause of the employers, then following of the procedure and catching the very chance to bring about claims

    文章指出索賠是國際工程合同中的一種具有補償性的、非常講究時效和書面證據的歸責方式，承包商可分別基於工程變更、僱主違約、風險因素或合同瑕疵等原因對發包商提出索賠請求，工程師決定、 dab爭端裁決和仲裁是解決索賠爭端的三種遞進的基本程序，中國承包商應從採取充分論證索賠權，準確識別索賠機會，熟悉合同文件、嚴格管理合同，充分認知僱主的免責條款、切實遵守索賠程序等多個方面維護自身的利益。
  2. The results of research reveals the variation disciplinarian and the affected factor, defines the factor limiting the urban regional development. all these offer scientific references for reasonable city planning, municipal building project planning, reasonable arrangement of land use, the confirmation of land use intensity and the improving land use benefit. and a series of methods we have explored can apply the practical manipulation of grading and assessing urban land, which contribute to enhance working efficiency, shorten the time of evaluation, enhance the updating of urban land price, establish a system of dynamic superviso ry control and examination, and enhance accuracy and objectivity of urban land - rated evaluation

    再由球形檢驗和主成份分析、信度分析、多元回歸分析的技術路線，逐層遞深地解譯影響城市地價的主要因素及相互數量關系，其研究結果揭示了城市地價的變化規律和影響因素、明確了限制城市區域發展的因素，為合理的城市規劃，市政建設項目規劃，合理安排土地用途，確定土地利用強度，提高土地利用效益等提供了科學依據，同時探索的系列化方法可直接應用於城市定級估價的實際操作中，有利於提高工作效率，縮短估價時間，提高城市地價的現勢性，建立地價動態監控和測算系統，又可提高城市定級估價的準確度和客觀性，在理論上、學術和實踐上均有積極意義。
  3. Present methods generally based on the statistics of earthquake damage, expert experiences, theory analysis and experimental researches have obvious advantages, disadvantages and certain scopes of application ; ( 2 ) different prediction methods should be adopted against different building conditions, sites, intensity and experiences etc to predict earthquake damage of buildings for prospective accuracy, dependability and availability ; ( 3 ) earthquake damage matrix, which is the foundation of earthquake damage prediction, of 7 kinds of building in the urban areas of zhangzhou city under intensity 6 to 9 has been set up. the damage conditions of different buildings under different intensity are as followings : all kinds of structures are basically intact under intensity 6 ; the reinforced concrete structures are basically intact under intensity 7, but other kinds of structures are destroyed slightly ; the reinforced concrete structures are still basically intact while other kinds of structures are destroyed intermediately under intensity 8 ; the reinforced concrete structures are destroyed slightly, single - story factories and open houses are destroyed intermediately and other kinds of structures are destroyed seriously under intensity 9 ; ( 4 ) the results of earthquake damage predicting of buildings embody the damage when earthquake happens in the future. thus, further identifications and reinforcements should be considered to buildings that will be destroyed intermediately or more under the earthquake with 10 % exceeding probability in future 50 years ; ( 5 ) the direct economic losses caused by damage of buildings resting with the area, structural type, intensity and damage of all kinds of buildings are the main part of the losses of the city in an earthquake ; ( 6 ) the direct economic losses increased progressively toward high intensity by 2 or 3 times

    基於上述研究，得出的主要結論有：建築物震害預測是一個模糊的、系統的、復雜的問題，現有的方法很多一般都是以震害統計規律、專家經驗、理論分析和試驗研究為依據，有其自身的優缺點和一定的適用范圍；應針對不同的建築物條件、場地條件、地震強度和已有經驗等，採用不同的預測方法進行建築物震害預測，以使預測結果達到預期的精確性、可靠性和可操作性；建立了漳州市區7類建築物在6度9度地震作用下的震害矩陣，成為指導抗震防災的重要依據，各類結構的震害情況表現為： 6度地震作用下各類建築物基本完好； 7度地震作用下除鋼筋混凝土結構基本完好外其餘以建築輕微破壞為主； 8度地震作用下鋼筋混凝土結構仍以基本完好為主而其餘建築以中等破壞為主； 9度地震作用下鋼筋混凝土結構以輕微破壞為主，單層工業廠房和空曠房屋以中等破壞為主，其餘建築以嚴重破壞為主；建築物的震害預測結果體現了未來地震來臨時的震害程度，在編制漳州市區抗震防災規劃時，對于遭遇50年超越概率10的地震影響發生中等以上破壞的建築物應考慮進行抗震鑒定和加固；由建築物的破壞所造成的直接經濟損失是城市地震經濟損失的主要部分，重慶大學碩士學位論文中文摘要其主要與建築物總面積、結構類型、地震烈度和各類建築物的震害程度有關;不同烈度造成的直接經濟損失按2一3倍向高烈度方向遞增，漳州市區直接經濟損失由6度至9度的比例關系為1 : 2 . 8 : 8 . 6 : 22 . 8 ;遭遇基本地震設防烈度（ 7度）時，漳州市區直接經濟損失約4 . 5億元，無家可歸人員約40000人，且以磚木結構和多層磚混結構的震害損失最大;地震造成的人員傷亡主要與建築物倒塌及嚴重破壞的程度和總面積以及震時的建築物室內人數密切相關，地震時無家可歸人員主要與住宅倒塌、嚴重破壞及中等破壞的程度和總面積以及城市人均居住面積密切相關。
  4. In queueing theory, the research on gi / g / l queue have been continued for decades of years. by the end of last century, the integral representation of its transient distribution of the queue length has been obtained. in this integral representation, the integrated term can be determined recursively by a system of kolmogorov differential equation

    在排隊理論中，關于gi / g / 1排隊系統的研究，延續了幾十年，直至上個世紀末，方得到了它的瞬時隊長分佈的積分表示，在這個積分表示中，其被積項可以由一組柯爾莫洛夫偏微分方程遞歸地確定。
  5. The thesis summarizes the basic theories of price discrimination, expatiated on the multi - class differential pricing method and dynamic differential pricing theory ; concludes the factors that have impacts on tickets - price, analyses and classfies the factors ; brings forward a canonical method of market segmentation, introduces the process of market segmentation based on the model of gray relative level, discusses the idiographic measure of ticket - price control ; improves the academic achievements of former scholars, puts forward a model of multi - class dynamic differential pricing for the air passenger transport, which is based on the maximum revenue for the airline industry, and gives a approximate arithmetic of the model, then showes the application of the model and its feasibility on increasing airline industry ’ s revenue by 25 models

    在對民航定價的國內外研究現狀進行綜述的基礎上，從經濟學角度介紹差別定價的基本理論，闡述民航客運的多等級差別定價理論和動態差別定價理論;對民航票價的影響因素進行分類說明;作為多等級定價的基礎，提出市場細分的標準和方法，用灰色關聯度模型解決航空旅客市場細分問題，並提出票價控制的具體措施;引入一種旅客到達頻率預測的統計方法，以航空公司收益最大化為目標，建立基於多等級定價基礎上的動態差別定價模型，即多等級動態差別定價模型，給出模型的遞歸演算法，通過對動態差別定價模型的運行結果進行分析，建立模型的一種近似模型，並且用25個簡單算例說明模型的用法以及在提高航空公司收益方面的可行性。
  6. The static loading test for three group of testing piles of jiading power plant secend stage project are analyzed and studied in this thesis, and the practical applying of high - accurate data collector, technique of waterproof insulation and testing technique of burying in the body of pile are introduced also. the vertical and horizontal loading features of three group of piles of different kind and constructing technique in different earth layer at the pile point are analyzed and compared and summed up with basic integro - differential equation calculating the pile earth system load transmit, transforming principle of stress - deforming and pile body rating of burying electric measuring element. changing law of stress, and changing law of pile body shifting and bending for different testing piles under vertical and horizontal load are showed so that the loading features of soil layer and pile at testing spot, reliable design data for pile type and base for scientific construction technique are provided

    本文僅就嘉定電廠二期工程中的三根試驗樁的靜載試驗進行了分析和研究，利用樁土體系荷載傳遞分析計算的基本微分方程及應力-應變轉換原理，結合預埋電測元件的樁身率定，對三組不同種類、不同施工工藝、不同持力層中的樁的豎直、水平承載特性進行了分析、比較和歸納，通過大量、全面的實測數據，經過整理、轉換和推演，揭示了不同試驗樁在豎直、水平荷載作用下的應力變化規律和樁身變位、撓曲變化規律，最終提供試驗場地土層和樁的承載特性，為該工程合理設計樁型提供了可靠的設計參數，為確定科學的施工工藝提供了有力的依據。
  7. Using the theories of probability, algebra and number theory comprehensively, we investigate a class of boolean functions with three - valued walsh spectrum in the first part of this dissertation : the properties of the extended semi - bent functions, which are constructed from any two bent functions, are studied, followed by the structure characteristics of the boolean functions satisfying propagation criterion with respect to all but two vectors ; the definition and cryptographic properties of k - order quasi - bent functions are proposed whose walsh spectrum takes on only three values. some sufficient and necessary conditions are offered to decide whether a boolean function is a k - order quasi - bent function ; a special method is presented to construct the k - order quasi - bent functions, whose cryptographic properties are explored by the matrix method, which is different from the method of walsh spectrum and that of autocorrelation of boolean functions ; the application of this kind of boolean functions in the fields of stream cipher, communications and block ciphers is discussed, which shows the great importance of the fc - order quasi - bent functions ; some methodology are proposed to construct the k - order quasi - bent functions, including the complete construction by using the characteristic matrices of boolean functions, and the recursive method by two known k - order quasi - bent functions we further extend our investigation to the ring zp, where p is a prime, and the similar results are presented as far as the p - valued quasi - generalized - bent functions are considered

    本文首先綜合運用概率論、代數學、數論等基礎學科的理論知識，並以頻譜理論作為主要研究工具，對一類譜值分佈相對均勻的函數? ?廣半bent函數、 k階擬bent函數和p值k階擬廣義bent函數進行了系統、深入的研究，給出了廣半bent函數定義，並探討了廣半bent函數的密碼學性質；給出了k階擬bent函數和p值k階擬廣義bent函數的定義及等價判別條件；討論了k階擬bent函數和p值k階擬廣義bent函數與部分bent函數和p值廣義部分bent函數的關系，探討了它們的密碼學性質；給出了k階擬bent函數和p值k階擬廣義bent函數的典型構造方法，並將對k階擬bent函數的密碼性質的研究轉化到對一類特殊的矩陣的研究上；利用布爾函數的特徵矩陣原則上給出了k階擬bent函數的一種完全構造方法，還給出了從已有的p值k階擬廣義bent函數出發，遞歸構造變元個數更多的p值k階擬廣義bent函數的方法；初步探討了k階擬bent函數在序列密碼、分組密碼以及通信中的應用；給出了一類布爾函數walsh譜的分解式，並利用這類布爾函數的walsh譜分解式給出了一類近似穩定的布爾函數的構造，特殊情形下為k階擬bent函數；利用代數數論的知識考察了p值k階擬廣義bent函數的譜特徵，並給出了k階擬廣義bent函數與所有仿射函數的符合率特徵等等。
  8. Firstly, tool - path for rough machining is generated through setting cutting depth, machining allowance and other parameters. interferences are resolved through raising the z - components of the generated cl point according different kind of situations. and then two methods to generate tool - path for finish machining is presented

    首先通過設定切削深度和加工余量等參數生成遞歸分割曲面模型的粗加工刀具軌跡，對刀具軌跡生成過程中多種抬刀情況分別進行處理，避免粗加工中的過切干涉。
  9. Firstly, wall ’ s transfer matrix is deduced by laplace transformation based on 3r2c thermal network model. secondly, frequency response of transfer matrix is calculated. thirdly, we make the frequency response of transfer matrix of stimulation model equate the theoretical frequency response of wall transient heat conduction by applying appropriate identification algorithm, from which we can obtain every polynomial ’ s coefficient of model transfer function, then each parameter of resistance and capacitance is calculated by appropriate optimization algorithm

    首先，根據模擬熱流網路模型用拉普拉斯變換推出墻體的傳遞矩陣;然後，計算傳遞矩陣的頻率響應;最後，採用頻域回歸方法求出模型傳遞函數各次項的系數，進而通過一定的優化演算法確定模型的各個熱阻、熱容參數，使通過模型建立的多項式s -傳遞函數與墻體瞬時傳熱的理論超越s -傳遞函數完全等價。
  10. The main content includes : in assembling analysis, three - line - one - row matrixes are obtained by getting the length, width and height of packing cases. any given packing cases are assembled by using pedigree assembling analysis, thus, we can obtain the number of the sorts and the length, width and height of each sort ; in loading a container, the input is any four kinds of them that are just sorted. the chanced packing cases are loaded by using tier up tier principle, side method and recursive method so that we can obtain higher space occupation ; in diagrammatic representation, the result of loading a container is shown in the screen by using simple one - dimension and tow - dimension diagrams

    本文圍繞這一主題進行了深入的理論和實踐研究，具體內容有：在聚類分析中，利用譜系聚類分析原理，提取包裝箱的長寬高作為三行一列矩陣，對給定的任意尺寸的包裝箱進行聚類分析，聚類后，得到聚類的個數和各類的長寬高；在方案生成中，選取了聚類后其中的任意四種作為方案生成的輸入，利用層疊原理，邊際方法，遞歸原理對選取的包裝箱進行裝箱，以達到佔有率較高的目的；在圖形顯示里，對方案生成結果作了一個簡單的一維和二維的示意圖。
  11. Uses a recursive query common table expression to return the direct and indirect employees of the specified manager

    Dbo . uspgetmanageremployees使用遞歸查詢（公用表表達式）來返回指定經理的直接和間接下屬。
  12. So the paper combined the fuzzy logic control and recurrent neural network, and the recurrent fuzzy neural network ( rfnn ) controller is introduced into the speedsensorless vector control system. moreover, an online parameter training methodology, which is derived from the lyapunov stability theorem and gradient descent method is proposed to increase the learning capability of the rfnn. the rfnn controller has a better performance than the pi controller system ; the effectiveness of the proposed control scheme is verified by simulation results

    因此論文將模糊控制和具有優越動態性能的遞歸神經網路結合起來，取長補短，提出了一種遞歸模糊神經網路控制方法，利用神經網路來實現模糊推理，可動態的調整隸屬函數的形狀、位置以及神經網路遞歸權值，並對其與pi控制器的交流調速控制系統進行了模擬比較，模擬結果表明與普通的pi控制器相比較，遞歸模糊神經網路控制器有較好的動態性能，控制器的收斂速度快、靜差小，系統在遇到參數發生變化和外部不確定性問題時魯棒性、抗擾動性有明顯的提高。
  13. This paper utilizes decision theory, cybernetics and system according to function and the characteristic of the state - owned group financial accountant of holding company to discuss and worth related theories such as theory, is close to combine the reality of the state - owned group financial management and accounting information system of holding company, adopts to determine the nature, is with ration, sum up the method of deducing, enumerate case layer upon layer further, record system and processing for the state - owned systematic essential factor, system hierarchy of control and classfication in the group accounting information system of holding company to handle system, combined accounting form and accounting accounting center, information transmit the related problems such as system have carried out the thorough research of overall system, inference makes the modern systematic structural frame of the state - owned group accounting information of holding company that perfected scientifically, and reach following conclusion : first, accounting information is that the key, accounting information system of the information of business management is the strong support system of enterprise decision

    外部競爭和內在要求的雙重壓力都表明企業集團構建科學完善的會計信息系統十分必要和迫切。本文根據國有控股企業集團財務會計的特點與職能，運用決策論、控制論、系統論和價值論等相關理論，緊密結合國有控股企業集團財務管理和會計信息系統的實際，採用定性與定量相結合、歸納推斷的方法，層層深入，列舉案例，對國有控股企業集團會計信息系統中的系統要素、制度控制體系、分類記載體系、加工處理體系、合併會計報表、會計核算中心、信息傳遞體系等相關問題進行了全面系統深入的研究，推論出科學完善的現代國有控股企業集團會計信息系統的構架，並得出如下結論：第一，會計信息是企業管理信息的核心，會計信息系統是企業決策的強有力的支持系統。
  14. Then, using recursive arithmetic calculated reliability indices for directory tree, the method was realized by vb program ; the other is a method of reliability evaluation by interval arithmetic, which is the use of interval arithmetic to evaluate reliability, and the computation theory is also given. during the calculation, interval number replaced the component " s parameter and it takes into consideration the uncertainty of all of the parameters. in the study of power distribution system configuration, a new configuration model is set up which takes into account simultaneously the losses minimization and system reliability, then improved genetic arithmetic is described detail and of advantage for solving this problem

    在配電網可靠性評估的研究中，提出了兩種實用的配電網可靠性評估方法：其一是利用網路分層和遞歸演算法理論，使用高級語言進行程序設計，提出了一種基於vb編程的配電網可靠性評估方法，該方法通過程序實現了網路拓撲結構的分層等效和可靠性指標的遞歸計算，使整個計算過程得到了簡化，並且界面窗口的可視化，使得評估過程便捷、形象；其二是提出了一種基於區間演算法的配電網可靠性評估方法，該方法是一種利用區間理論計算配電系統可靠性的不確定性評估方法；文章給出了區間運算的原理；討論了配電系統中區間數據的來源途徑，並用區間數代替元件的可靠性參數，對輻射形配電網進行了可靠性評估。
  15. Under the same lipschitz condition as for newton ' s method, we give a result on the existence of a unique solution for the nonlinear equation by using a technique based on a new system of recurrence relations

    在與kantorovich條件相同的lipschitz條件下，我們通過基於新的遞歸關系的技巧給出非線性方程解的存在唯一性定理。下面介紹本文的主要內容。
  16. In chapter 2, we discuss lipschitz condition which is satisfied by the second frechet - derivative of operator through the use of recurrence relations, so as to make it meaningful in general and get the convergence theorem

    第二章，通過運用遞歸技巧，對運算元的二階fr chet導數滿足的lipschitz條件進行討論，以使其在一般情況下有意義，並得到newton法的收斂性定理。
  17. 2. the real - time processing technique of strong ground motion data is studied in this paper. based on the research of kanamori etc., the relation between the design parameters of recursive filter and its corresponding low frequency cut - off frequency is obtained and quantitative phase adjustment is analyzed

    本文在kanamori等人研究工作的基礎上，發展了一套強震觀測數據的實時處理技術，分析了遞歸濾波器設計參數q與所對應的低頻截止頻率f _ c以及相位校正的定量關系。
  18. Firstly, defines special structure as inner storage of discipline theoretic knowledge and analyze knowledge basing on recursive and / or tree

    定義了特殊結構來實現學科理論知識的內部存儲，並基於遞歸與或樹模型對學科理論知識進行分解。
  19. In the third chapter, we derive a new family of deformed halley methods without the evaluation of the second frechet - derivative to approximate the roots of nondifferentiable equations in banach space. we also provided a existence - uniqueness theorem and a new system of recurrence relations

    在第三章中，構造了一族避免二階fre chet導數的修正halley迭代，用其去逼近banach空間中非線性運算元方程的解，同時給出了存在唯一性定理和一種新型的遞歸關系。
  20. In this paper, we present some of new geometric properties of ribs and fans for a bezier curve including composite fans, rib - invariant deformation, and fan - continuity in subdivision

    這種性質給了我們一個理解bezier曲線的延伸框架。從概念上講， bezier曲線是由de casteljau遞歸演算法定義的。
分享友人
分享到 Line

分享到臉書