構造性 的英文怎麼說

中文拼音 [gòuzàoxìng]
構造性 英文
constructivity構造性分析 constructive analysis; 構造性公理 constructivity axiom
  • 構 : Ⅰ動詞1 （構造; 組合） construct; form; compose 2 （結成） fabricate; make up 3 （建造; 架屋） bui...
  • 造 : Ⅰ動詞1 （做; 製作） make; build; create; produce 2 （假編） cook up; fabricate; concoct 3 [書面語...
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 構造 : structure; construction; constructional detail; tectonic; structural; makeup; anatomy; constituti...
  1. It is usually nonconstructive, inelegant, hard to generalize.

    它通常是非構造性的，不優美的，難於一般化的。
  2. Through studying it is shown that in chagan sag, the geothermal gradients in the center are higher than those around the sag margin and major factors influencing the characteristics of temperature field distribution are the property of geotectogenesis and the differences in tectonic portion, lithology and underground water behaviour ; there are three types of mudstone compaction, i. e. normal compaction, undercompacition and overcomepaction ; there are two pressure systems in sandstone reservoirs, i. e. normal pressure and negative pressure systems and the strata ' s being uplifted and denuded is the key factor leading to the formation of the negative pressure system in reservoir ; and the distinctive temperature - pressure field characteristics in the sag are possessed of important petroleum geological significance in hydrocarbon source maturity, hydrocarbon generation, widening on oil and gas exploration domain and selecting exploration targets, etc

    研究表明，查干凹陷中心的地溫梯度高於凹陷邊緣，大地構造性質及所處構造部位、巖性與地下水活動的差異是影響凹陷地溫場分佈特徵的主要因素；泥巖壓實存在正常壓實、欠壓實和過壓實三種類型，砂巖儲層段壓力類型可分為正常和負壓兩個系統，地層抬升剝蝕是導致儲層負壓系統形成的主導因素；凹陷獨特的溫壓場特徵對烴源巖成熟、油氣生成、油氣勘探領域的擴大及勘探方向的選擇等具有重要的油氣地質意義。
  3. In other words, we depend on the strong ability of classification of nn to recognize the characters of a car plate ; 4 ) under the precondition of inadequate samples, we introduce the technology of additional sample in the progress of characters recognition which uses experiential knowledge to construct some sample artificially and then inserted these samples into the sample set in order to improve the performance of network

    在字元的識別過程中，在使用較為簡單的圖像處理技術的基礎上，仍然使用構造性的覆蓋演算法，依靠神經網路強大的分類能力來對車牌字元進行識別： 4探討了在樣本數量較少的情況下，通過在字元識別過程中引入附加樣本的技術，利用先驗知識對原先的樣本集進行擴充，從而提高網路的性能。
  4. In this thesis, we combine the theory of neural network and traditional image processing technique, analyze and research the topic of the location and recognition of vehicle license plate based on structural alternative covering algorithm, and try to locate the car plate even there exist lots of distributive factors in the image and recognize the characters finally

    本文基於構造性的覆蓋演算法，將神經網路技術和傳統的圖像處理技術相結合，對車輛牌照的定位和識別進行了較為深入的分析和研究，力求在圖像中存在較多干擾因素的情況下仍然能夠較好的定位車牌並給出最終的識別結果；論文主要工作和創新點如下： 1
  5. How to find out the constructivity methed for proving a competition problem

    一個構造性證明的解法是這樣想出來的
  6. Via this neural network, we can eliminate those regions which contain no plate and then use color information to modify the correct region and find the accurate position of car plate finally ; 3 ) in the progress of recognition, we apply the structural alternative covering algorithm and only use some basic techniques to process the image

    將構造性的覆蓋演算法應用於牌照的定位，在對這些區域進行分析后提取出各自的特徵並進行學習，構造出相應的神經網路，用來排除假的干擾區域，同時結合圖像的顏色信息來對前期的定位結果進行修正，最終得到正確的車牌位置： 3
  7. A constructive proof of existence theorem for rational form

    利用羅爾定理進行構造性證明的嘗試
  8. Using the combinatorial method of constructibility and the technique of exchanging colors, we present the best upper bounds of dynamic chromatic number of halin graphs and sp graphs, and determine the dynamic chromatic number of a type of sp graphs, we determine the incidence chromatic number of some descartes product graphs and some join graphs. at last we determine the entire coloring number of 1 - tree and prove a conjecture of edge - face coloring

    利用構造性組合方法和換色技巧給出了halin圖和系列平行圖動態色數的最小上界，並確定了一類特殊系列平行圖的動態色數，確定了某些笛卡兒積圖和某些聯圖的關聯色數，確定了1 -樹圖的完備色數並證明了有關邊面著色的一個猜想。
  9. Does the constructive logic negate the law of cxcluded middle

    構造性邏輯否定排中律嗎
  10. Another proof of the converse lyapunov stability theorem

    有理標準形存在性定理的構造性證明
  11. The equivalent theorem of contraction operator and its constructing proof

    壓縮映射原理的等價命題及其構造性證明
  12. Volcano - tectonic depression

    火山構造性陷落地
  13. 1823, cauchy defined integral the " limit of sum ", he then gave the structural definition of definite integral for continuous functions

    把定積分定義為「和的極限』始於cauchy1823年的工作，他對連續函數給出了定積分的構造性定義。
  14. And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non - constructive problems

    該系統不但可以證明構造性的初等平面幾何命題，而且也實現了對非構造性幾何命題的定理搜索。
  15. For the exact feedback linearization of general nonlinear singular systems, by taking the algebraic variables as virtual inputs, a recursion inverse algorithm is introduced in this paper

    摘要對一般廣義非線性系統的反饋線性化問題，通過將代數變量視為虛擬輸入，給出了構造性遞歸求逆演算法，實現了系統的精確反饋線性化。
  16. Based on the multivariable analog of civcle criterion, an observer is designed to estimate the system states and hence the dynamical equations satisfied by the estimation error are derived first

    基於多變量的圓判據設計觀測器來估計系統的狀態，進而給出了觀測誤差滿足的動態方程，然後利用積分反推方法，構造性地設計出了輸出反饋鎮定控制器。
  17. After the analysis of several important aspects of neural control, two novel neural controllers are then proposed. the first controller fam neural controller ( famnc ), based on pre - defuzzifing fam, is presented for bridging the gap between fam and nn. the equivalence of pre - defuzzifing and general fam is proved constructively

    在分析了神經網路控制的一些關鍵技術基礎上，提出了預去模糊fam原理和fam神經控制器，給出了預去模糊fam和一般fam的等價性的構造性證明。
  18. In chapter two, under non - lipschitz condition, the existence and uniqueness of the solution of the second kind of bsde is researched, based on it, the stability of the solution is proved ; in chapter three, under non - lipschitz condition, the comparison theorem of the solution of the second kind of bsde is proved and using the monotone iterative technique, the existence of minimal and maximal solution is constructively proved ; in chapter four, on the base of above results, we get some results of the second kind of bsde which partly decouple with sde ( fbsde ), which include that the solution of the bsde is continuous in the initial value of sde and the application to optimal control and dynamic programming. at the end of this section, the character of the corresponding utility function has been discussed, e. g monotonicity, concavity and risk aversion ; in chapter 5, for the first land of bsde, using the monotone iterative technique, the existence of minimal and maximal solution is proved and other characters and applications to utility function are studied

    首先，第二章在非lipschitz條件下，研究了第二類方程的解的存在唯一性問題，在此基礎上，又證明了解的穩定性；第三章在非lipschitz條件下，證明了第二類bsde解的比較定理，並在此基礎上，利用單調迭代的方法，構造性證明了最大、最小解的存在性；第四章在以上的一些理論基礎之上，得到了相應的與第二類倒向隨機微分方程耦合的正倒向隨機微分方程系統的一些結果，主要包括倒向隨機微分方程的解關于正向隨機微分方程的初值是具有連續性的，得到了最優控制和動態規劃的一些結果，在這一章的最後還討論了相應的效用函數的性質，如，效用函數的單調性、凹性以及風險規避性等;第五章，針對第一類倒向隨機微分方程，運用單調迭代方法，證明了最大和最小解的存在性，並研究了解的其它性質及在效用函數上的應用。
  19. In this dissertation, with the aid of many types of constructive transformations and symbolic computation, some topics in nonlinear waves and integrable system are studied, including exact solutions, painleve integrability, backlund transformation, darboux transformation, symmetry ( similarity reduction ), conditional symmetry, lax integrable hierarchy, liouville integrable n - hamilton structure, constraint flow, involutive system, lax representation, r - matrix, separation of variables and integrable couplings. chapter 2 and 3 are devoted to investigating exact solutions of nonlinear wave equations : firstly, the basic theories of c - d pair and c - d integrable system are presented

    本文以構造性的變換及符號計算為工具，來研究非線性波和可積系統中的一些問題：精確解（如孤子解、周期解、有理解、 dromion解及compacton解等） 、 panileve可積性、 backlund變換、 darboux變換、對稱（相似約化） 、條件對稱、 lax可積族、 liouville可積的n - hamilton結構、約束流、對合系統、 lax表示、 r -矩陣、變量分離及可積的耦合系統
  20. ( 5 ) the constructively sufficient conditions of the approximating c1 functions and the explicit formula dealing with the approximation precision and the number of fuzzy rules are given for one kind of general fuzzy systems, using the methods different from the former ones which are based on the stone - weierstrass theory, therefore, the constructively sufficient conditions are also generalized from polynomial function to c1 function

    （ 5 ）針對一類一般的模糊系統，採用與通常的基於stone - weierstrass定理證明模糊逼近器不同的方法，首次給出了它們逼近c ~ 1函數的構造性充分條件，並給出了逼近精度與模糊規則條數之間關系的顯式表達式
分享友人
分享到 Line

分享到臉書