非構造性證明 的英文怎麼說

中文拼音 [fēigòuzàoxìngzhèngmíng]
非構造性證明 英文
nonconstructive proof
  • : Ⅰ名詞1 (錯誤) mistake; wrong; errors 2 (指非洲) short for africa 3 (姓氏) a surname Ⅱ動詞1 ...
  • : Ⅰ動詞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 ...
  • : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
  • : Ⅰ形容詞1 (明亮) bright; brilliant; light 2 (明白;清楚) clear; distinct 3 (公開;顯露在外;不隱...
  • 構造 : structure; construction; constructional detail; tectonic; structural; makeup; anatomy; constituti...
  • 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
  1. It is proven that these modified dual algorithms still have the same convergence results as those of the conceptional dual algorithms in chapter 2 and chapter 3. secondly, a dual algorithm is constructed for general constrained nonlinear programming problems and the local convergence theorem is established accordingly. the condition number of modified lagrange function ' s hessian is estimated, which also depends on the penalty parameter

    這些修正的對偶演算法仍具有同前兩章的概念對偶演算法相同的收斂結果,我們還進一步了一般約束規劃問題的對偶演算法,建立了相應的局部收斂理論,最後估計了修正lagrange函數的hesse陣的條件數,它同樣依賴于罰參數。
  2. Finally, in the third section, by constructing some functional which similar to the conservation law of evolution equation and the technical estimates, we prove that in the inviscid limit the solution of generalized derivative ginzburg - landau equation ( ggl equation ) converges to the solution of derivative nonlinear schrodinger equation correspondently in one - dimension ; the existence of global smooth solution for a class of generalized derivative ginzburg - landau equation are proved in two - dimension, in some special case, we prove that the solution of ggl equation converges to the weak solution of derivative nonlinear schrodinger equation ; in general case, by using some integral identities of solution for generalized ginzburg - landau equations with inhomogeneous boundary condition and the estimates for the l ~ ( 2 ) norm on boundary of normal derivative and h ~ ( 1 ) ' norm of solution, we prove the existence of global weak solution of the inhomogeneous boundary value problem for generalized ginzburg - landau equations

    第三部分:在一維情形,我們考慮了一類帶導數項的ginzburg ? landau方程,通過一些類似於發展方程守恆律的泛函及巧妙的積分估計,了當粘系數趨于零時, ginzburg ? landau方程的解逼近相應的帶導數項的schr ( ? ) dinger方程的解,並給出了最優收斂速度估計;在二維情形,我們了一類帶導數項的廣義ginzburg ? landau方程整體光滑解的存在,以及在某種特殊情形下, gl方程的解趨近於相應的帶導數項的schr ( ? ) dinger方程的弱解;在一般情形下,我們討論了一類ginzburg ? landau方程的齊次邊值問題,通過幾個積分恆等式,同時估計解的h ~ 1模及法向導數在邊界上的模,了整體弱解的存在
  3. Considering the one - sidedness and inaccuracy of knowledge discovery only from single - color database, an approach is proposed to discover knowledge from 1331 groups of mix - color database with partial least - square regression, based on measuring and learning 400 groups of single - color database. by this method, the mean error decreases when converting from rgb to cmyk, the precision of color matching is improved, and the automatic and general problem in color matching is further solved

    本文基於統計學習理論了一種快速自適應隨機搜索演算法,了演算法的收斂.給出了一種簡易實用的寬帶天線匹配設計新方法.應用該自適應演算法進行天線匹配設計,不僅演算法簡單,易於編程實現;而且能夠快速設計出具有較好能的匹配網路,常適用於各種短波、超短波天線的匹配設計問題
  4. And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non - constructive problems

    該系統不但可以的初等平面幾何命題,而且也實現了對幾何命題的定理搜索。
  5. The tax treatment is unfair among different businesses and different tax - payers. the abnormal taxation certainly results in the abnormal development of the bank and securities industry. the difference between the taxation of china bank and securities industry and the foreign taxation that include the taxing scope, the abstraction and materialization of taxation, the taxation operation, the sanction and transparency of tax law, the seriousness of taxing administration and tax policy choice, not only provide the opportunity for the foreign finance institution which can carry out tax planning, moreover tax equity, but also likely lead to that the foreign finance institution lack confidence to china market and policy, finally affect its investment and result in tax unfairness among tax - payers

    長期以來,我國財政與金融的特殊關系使得財政對銀行業實行「特殊」的稅收政策,銀行業整體稅負高於製業以及金融的服務業,中資金融企業稅負高於外資金融機,過重的稅負使得銀行資本充足率難以保,發展失去后勁;二是我國銀行業和券業稅制結不合理、稅制不規范、不科學,銀行和券業內部不同行業、不同納稅人之間稅收待遇不公平,畸形的稅制必將導致銀行與券業的畸形發展;三是我國銀行業和券業稅制與外國稅制的差異,包括征稅范圍大小、稅制的抽象化與具體化、稅制的可操作、稅收法律約束力和透度、稅收執法的嚴肅等差異,不僅給外資金融機進行稅務籌劃甚至偷逃稅提供了可乘之機,而且還可能使得外資金融機對中國市場、對政府政策缺乏信心,而影響其投資,也導致納稅人之間稅負不公。
  6. Secondly, we introduce the recurrence definition of the non - uniform algebraic - hyperbolic b - spline basis using divided differences and the de boor - fix recurrence definition on polynomial functions, and based on the new forms, algebraic - hyperbolic b - spline curves are obtained. they share most of the properties as those of the b - spline curves in the polynomial space. we focus on deducing the calculating and knot inserting formulae for this new kind of curves and then prove that they have the variation diminishing properties

    二、利用廣義差商,基於多項式b樣條的deboor - fix遞推定義,給出了任意階均勻代數雙曲b樣條的遞推定義,由此麯線,它的幾何不變、仿射不變、凸包、 v . d .等,重點給出了均勻代數雙曲b樣條曲線的遞歸求值和節點插入演算法,演算法簡單且穩定,便於在計算機上實現
  7. 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解的比較定理,並在此基礎上,利用單調迭代的方法,了最大、最小解的存在;第四章在以上的一些理論基礎之上,得到了相應的與第二類倒向隨機微分方程耦合的正倒向隨機微分方程系統的一些結果,主要包括倒向隨機微分方程的解關于正向隨機微分方程的初值是具有連續的,得到了最優控制和動態規劃的一些結果,在這一章的最後還討論了相應的效用函數的質,如,效用函數的單調、凹以及風險規避等;第五章,針對第一類倒向隨機微分方程,運用單調迭代方法,了最大和最小解的存在,並研究了解的其它質及在效用函數上的應用。
  8. Spline curves defined in the space constructed by polynomial and hyperbolic functions are studied in this paper. the main research contents and achievements are as follow : firstly, we generate the cardinal extended complete chebychevian ( ect ) - systems on the space constructed by polynomial and hyperbolic functions, then introduce the algebraic - hyperbolic b - spline space and identify the dimension law and zero properties. the existence of a basis of splines with minimal compact supports is demonstrated, and functions named non - uniform algebraic - hyperbolic b - splines are obtained by solving certain linear equations with a block matrix

    本文主要研究定義在多項式和雙曲函數成的空間上的樣條曲線,其內容和完成結果如下:一、生成由多項式和雙曲函數成的空間上的一組典範式ect ( extendedcompletechebychevian )組及其對偶, ,均勻代數雙曲b樣條空間的維數定理和零點定理,直接通過解塊矩陣線方程組得到具有最小緊支撐的均勻代數雙曲b樣條函數,進而均勻代數雙曲b樣條曲線,還具體給出低階的表示
  9. The details of the construction and characteristics of the new finite - difference scheme are presented in this thesis, by using both the integration theorem and the taylor expansion theory. it is proved that the new approach has the second - order accuracy on the grids with axis - symmetric voronoi cells and at least has the first - order accuracy in general. according to this character of the scheme and the computational requirements of the finite - difference approach, a striping procedure is involved to decompose the velocity model into variable spatial size grids with a nearly constant tune step preserved

    本文從積分定理和taylor展開兩個角度,詳細分析了基於voronoicell的規則網格有限差分演算法的過程及質,並且在理論上了本文的差分方法的精度與網格形狀的關系:當voronoicell為關于節點的軸對稱圖形時,本文差分方法具有二階精度;在一般的網格上,則至少具有一階精度。
  10. Through constituting appropriate homotopy equation, we convert ncp ( f ) to solving the homotopy equation. without assumption of regular or non - singularity for vf ( r ) ( which is the jacobian of f ( x ) ), we prove that the homotopy equation has a bounded solution curve starting from ( w ( 0 ), 1 ), and its end point is the solution of ncp ( f )

    在不需要映照f (二)的jacobian矩陣甲f (二)正則或奇異的限制下,我們了所的同倫方程有一條從(二( 0 ) , l )出發的有界的解曲線,而其終點就是我們要求的ncp ( f )的解。
  11. Abstract : this paper discusses high order numerical model of non - linear boundary equation. by using integral technique, the boundary condition problem is turned into a form initial condition problem. we construct 4 order numerical formula. the convergence theory is given and proved. the examples show that our method has fast convergence speed and less numerical time

    文摘:討論邊值問題的一種高精度計算模型.利用積分值將邊值問題轉化為形式初值問題,了一類四階精度的計算格式,了收斂.通過算例表該方法收斂速度高,計算量小
  12. As an example, the parallel machine scheduling problem is mapped on a non - constrained matrix construction graph, and a aco algorithm is proposed to solve the parallel machine scheduling problem. comparison with other best - performing algorithm, the algorithm we proposed is very effective. the finite deterministic markov decision process corresponding to the solution construction procedure of aco algorithm is illustrated in the terminology of reinforcement learning ( rl ) theory

    本章最後提出了解決并行機調度問題的蟻群演算法,該演算法把并行機調度問題映射為無約束矩陣解圖,並在演算法的信息素更新過程中應用了無約束矩陣解圖的局部歸一化螞蟻種子信息素更新規則,與其他幾個高能演算法的模擬對比試驗這種方法是常有效的。
  13. In the new method the uncertainty of the system to be controlled is normalized firstly, and then the partition of unity that is subordinated to a open covering of state variables compact set is constructed, and the approximation is realized by using its property that can approximate nonlinear continuous function with arbitrary precision, then the decentralized adaptive robust controller of complex systems and adaptive laws of approximate parameter estimation are designed

    該方法首先對被控系統中的不確定進行歸一化處理,進而出從屬于狀態變量的緊致域的一組開覆蓋的單位分解,利用其具有以任意精度逼近連續函數的質,實現了對被控系統不確定的近似逼近,然後設計了復雜系統的分散魯棒控制器和參數估計的自適應律,並了這種控制器使被控系統的狀態及參數估計誤差一致終極有界。
  14. A material nonlinear finite element analysis for the cast - in - place reinforced concrete hollow slab that occurs from initial loading, cracking, yielding to failing is carried on. the cracking load, ultimate load, the displacement rules and the principal stress distribution rules of the hollow slab under the vertical loads are obtained. a material nonlinear finite element analysis for the single span hollow flat - plate floor is also carried on

    其次對空心板進行了從加荷、開裂、屈服直至破壞的全過程材料有限元計算,得到了空心板在豎向荷載作用下的開裂荷載、極限荷載及位移和應力分佈規律;還對單跨無梁樓蓋進行了材料有限元計算,通過分析主應力場確了柱上暗扁梁的作用;有限元計算的結果驗了以上的理論分析並得到了一些重要的結論,對改進現澆空心板無梁樓蓋的措施有重要的參考價值。
  15. In this paper we construct a new interior - point homotopy method for solving fixed - point problem in nonconvex set, and prove the convergence under the weak normal cone condition ( see definition 2. 1 ( 2 ) ) and some proper conditions

    摘要本文了一個新的求解凸區域上不動點問題的內點同倫演算法,並在弱法錐(見定義2 . 1 ( 2 ) )和適當的條件下,了演算法的全局收斂
  16. Especially, when the isocline of x is monotone decreasing in 0 < x < 1, the svstem has no limit cycle and is globally stable ; next, we construct a saddle bifurcation at the boundary equilibrium and a degenerated bogdanov - takens bifurcation at the interior equilibrium by choosing appropriate parameter values in the following two sections, where our work are based on the theory of central manifolds and normal torms. we prove that is a codimention 3 focus - type equilibrium. system ( 6. 1 ) will have two limit cycles at some appropriate bifurcation parameter values, and have homoclinic or double - homoclinic orbits at some other appropriate bifurcation parameter values ; at last, we study the qualitative properties of the system at infinite in the poincare sphere

    因為系統在( 0 , 0 )點處沒有定義,這給研究其在( 0 , 0 )附近的動力學質帶來了困難,我們應用文獻[ 17 ]中關于研究方程奇點的系列理論和方法,圓滿解決了這一問題,給出了第一象限內當t +或t -時,在全參數狀態下系統的軌線趨于( 0 , 0 )點的所有可能情況,其相圖也得以描繪;並且,系統不存在極限環的幾個充分條件我們也予以列出,當x的等傾線在0 x 1范圍內遞減時,系統不存在極限環,全局漸近穩定;然後,我們以中心流形定理和正規型方法為主要工具,巧妙選擇參數,分別了一個余維2的鞍點分岔和一個余維3退化bogdanov - takens分岔,了平衡點是余維3的焦點型平衡點,存在參數, m ,的值使得系統( 6 . 1 )有兩個極限環,還存在參數, m ,的另外值使得系統( 6 . 1 )有同宿軌或雙同宿軌。
  17. We construct a iterative system with known nonlinear and time - delay stimulation basing on the original system model, and prove that the solution sequence of the iterative system uniformly converge to the optimal solution of the original system

    首先根據狀態變量含有時滯的系統的模型一個含已知和時滯激勵的線迭代系統,並該迭代系統的解序列一致收斂于原時滯系統的解。
  18. Then nonmonotone trust region algorithm is given and global convergence is proved. thirdly, based on complementary conditions and ncp theory, the minimax problem is transformed into nonsmooth equation. we introduce an numerical algorithm relating with splitting function method

    基於互補條件和ncp函數理論,將minimax問題轉化為一光滑方程組,利用分裂函數的思想,了一種新的演算法,並給出數值試驗和收斂
  19. The technical and economic evaluation of thin - type spunbond nonwoven project has mainly finished the following research work : ( 1 ) utilize the theory and method of < marketing > for market investigation, research and forecast, analyze the developing trend and market requirement of the nonwocen abroad and at home, conduct quantitative forecast for raw materials and product price, and explain that during the essential period when liaoyang petrochemical company regulates the structure of industries and product and remodels the main business items, selecting to build up the production device for thin - type spunbond nonwoven is suitable. ( 2 ) introduce techniques of different companies to form different schemes. after analyzing the features of various schemes in the thesis, through building up the target system of four levels and utilize technical comprehensive evaluating way to conduct technical evaluation of four schemes for the thin - type spunbond nonwoven project and get the prior sequence from schemes d, b, a to c. ( 3 ) different technical schemes have various cash circulation amounts, economic evaluation is first based on evaluating and confirming feasibility of each scheme by the single scheme finance, select and use the method of multiple schemes comparison selecting - inutual repelling type multiple schemes optimization, select introducing the scheme of d company technique as the optimum, then conduct undetermined analysis to further test and verify feasibility of schemes

    了遼化公司在調整產業結和產品結、重塑主營業務的關鍵時期選擇建設8000噸年薄型紡粘布生產裝置是適宜的; ( 2 )引進不同公司的技術形成了不同的方案,論文在分析了各方案的特點后,通過建立四個層次的指標體系,運用技術綜合評價的方法,對薄型紡粘布項目的四個方案進行技術評價,確定了丁方案、乙方案、甲方案到丙方案的優先順序; ( 3 )不同的技術方案有不同的現金流量,經濟評價首先在單方案財務評價確認各方案可行的基礎上,選用多方案比選? ?互斥型多方案選優的方法,選擇引進丁公司技術的方案最優,而後,又進行了不確定分析,進一步驗方案的可行
  20. Such structure can be described with strict feedback system. motivated by vehicle cruise control, this paper investigates nonlinear robust control of strict feedback system and presents a lyapunov - based design method : dynamic surface control and proves the exponent stability and arbitrary small bounded tracking error of the closed loop system

    本文在汽車巡航控制應用背景下,討論了嚴格反饋系統的魯棒控制問題,給出控制器設計方法: dsc ( dynamicalsurfacecontrol )魯棒控制器,並對閉環系統穩定進行了分析,了調節問題的指數穩定和任意有界誤差跟蹤能。
分享友人