條件證明 的英文怎麼說

中文拼音 [tiáojiànzhèngmíng]
條件證明 英文
deduction theorem
  • 條 : Ⅰ名詞1 （細長的樹枝） twig 2 （條子） slip; strip 3 （分項目的） item; article 4 （層次; 秩序; 條...
  • 件 : Ⅰ量詞（用於個體事物） piece; article; item Ⅱ名詞1. （指可以一一計算的事物） 2. （文件） letter; correspondence; paper; document
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 條件 : 1. （客觀的因素） condition; term; factor 2. （提出的要求） requirement; prerequisite; qualification
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Comparing the theory calculation and the experimental testing date. firstly, analyzing the same law to interpret the conditions of the equations accusative describing the air dealt with process and advancing the improving measures. secondly, analyzing errors

    對理論計算及試驗測定結果進行對比分析，一方面分析共有變化規律，以說明組合方程組較能準確描述實際處理過程的條件，從而驗證組合方程組的合理性程度；另一方面分析誤差產生原因，提出改進方法。
  2. In this thesis, we study some open problems and conjectures about the linear complementarity problem. it consists of the next three aspects : firstly, we study murthys " open problem whether the augmented matrix is a q0 - matrix for an arbitary square matrix a, provide an affirmable answer to this problem, obtain the augmented matrix of a sufficient matrix is a sufficient matrix and prove the graves algorithm can be used to solve linear complementarity problem with bisymmetry po - matrices ; secondly, we study murthys " conjecture about positive semidefinite matrices and provide some sufficient conditions such that a matrix is a positive semidefinite matrix, we also study pang ' s conjecture, obtain two conditions when r0 - matrices and q - matrices are equivelent and some properties about e0 q - matrices ; lastly, we give a counterexample to prove danao ' s conjecture that if a is a po - matrix, a e " a p1 * is false, point out some mistakes of murthys in [ 20 ], obtain when n = 2 or 3, a e " a p1 *, i. e. the condition of theorem 3. 2 of [ 25 ] that a p0 can be deleted and obtain a e " a is an almost e - matrix if a is a co - matrix or column sufficient matrix

    本文分為三個部分，主要研究了線性互補問題的幾個相關的公開問題以及猜想： （ 1 ）研究了murthy等在[ 2 ]中提出的公開問題，即對任意的矩陣a ，其擴充矩陣是否為q _ 0 -矩陣，給出了肯定的回答，得到充分矩陣的擴充矩陣是充分矩陣，並討論了graves演算法，證明了若a是雙對稱的p _ 0 -矩陣時， lcp （ q ， a ）可由graves演算法給出； （ 2 ）研究了murthy等在[ 6 ]中提出關於半正定矩陣的猜想，給出了半正定矩陣的一些充分條件，並研究了pang ~ -猜想，得到了只r _ 0 -矩陣與q -矩陣的二個等價條件，以及e _ 0 q -矩陣的一些性質； （ 3 ）研究了danao在[ 25 ]中提出的danao猜想，即，若a為p _ 0 -矩陣，則，我們給出了反例證明了此猜想當n 4時不成立，指出了murthy等在[ 20 ]中的一些錯誤，得到n = 2 ， 3時，即[ 25 ]中定理3 . 2中a p _ 0的條件可以去掉。
  3. One proof for the sufficient conditions of marxian ampliative reproduction

    馬克思擴大再生產充分條件的一個證明
  4. Conscious that the human organism, normally capable of sustaining an atmospheric pressure of 19 tons, when elevated to a considerable altitude in the terrestrial atmosphere suffered with arithmetical progression of intensity, according as the line of demarcation between troposphere and stratosphere was approximated, from nasal hemorrhage, impeded respiration and vertigo, when proposing this problem for solution he had conjectured as a working hypothesis which could not be proved impossible that a more adaptable and differently anatomically constructed race of beings might subsist otherwise under martian, mercurial, veneral, jovian, saturnian, neptunian or uranian sufficient and equivalent conditions, though an apogean humanity of beings created in varying forms with finite differences resulting similar to the whole and to one another would probably there as here remain inalterably and inalienably attached to vanities, to vanities of vanities and all that is vanity

    人體組織通常能夠抗得住十九噸的氣壓169 ，可是一旦在地球的大氣層里上升到相當的高度，越是接近對流層與平流層的境界線，鼻孔出血吸呼困難以及眩暈，隨著算術級數就越發嚴重起來。他曉得這一點，尋求解答時就設想出這樣一個難以證明是不可能的行之有效的假定：倘若換個更富於適應性，解剖學上的構造也有所不同的種族，說不定就能在火星水星金星木星土星海王星或天王星那充足而相同的條件下生存下來。然而那個遠地點170的人類種族，盡管在構造方面與地球上的人類有著一定限度的不同之處，整個來說彼此卻有著相似的種種形態。
  5. 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陣的條件數，它同樣依賴于罰參數。
  6. In this paper, we first study the growth and regular growth of dirichlet series of finite order by type function in the plane and obtain two necessary and sufficient conditions ; and prove that the growth of random entire functions defined by random dirichlet series of finite order in every horizontal straight line is almost surely equal to the growth of entire functions defined by their corresponding dirichlet series. then we define the hyper - order of dirichlet series of infinite order respectively in the plane or in the right - half plane, study the relations between the hyper - order and regular hyper - order of dirichlet series of infinite order and the cofficients ; obtain the hyper - order of random entire functions defined by random dirichlet series of infinite order in every horizontal straight line is almost surely equal to the hyper - order of entire functions defined by their corresponding dirichlet series

    本文首先利用型函數研究了全平面上有限級dirichlet級數的增長性和正規增長性，得到了兩個充要條件；證明了有限級隨機dirichlet級數的增長性幾乎必然與其在每條水平直線上的增長性相同。對于無限級dirichlet級數，分別在右半平面及全平面上定義了其超級的概念，研究了它們的超級和正規超級與其系數間的關系；得到了平面上無限級隨機dirichlet級數的超級幾乎必然與其在每條水平直線上的超級相同。
  7. All requirements specified in the general and special conditions of the small house grant must be complied with before a certificate of compliance can be issued

    小型屋宇批地契約的一般及特別條件列明各項規定，申請人必須遵守一切規定，政府才會簽發完工證。
  8. A model of the minority carrier lifetime damage constant is presented. the model is proved to be reasonable by good match with experimental data

    結合具體的試驗條件，證明了所得出的電子輻照4h - sic少子壽命損傷系數的模型是合理的。
  9. Firstly, in the reproducing kernel space, the spline function is discussed and its equivalent relations are gived ; we prove that the 2 - th differential operator interpolation spline function in the space can be expressed not only by the reproducing kernels but also by polygonal functions. so it is easy to prove its best approximation properties in theory and is convenient for numerical calculation in applications, too

    首先，在再生核空間中討論樣條函數，給出其等價性條件；證明了空間中的一個二階微分運算元插值樣條既可由再生核函數表示又可由折線函數表示，這不僅在理論上便於獲得此種插值樣條函數的最佳逼近性質，而且在應用上也便於數值計算。
  10. For l - 1 application, the following requirement must be met : the employee must have worked abroad on a full - time basis for one continuous year in the preceding three years. the company must be doing business in the u. s. during the whole period of the employees stay in the u. s

    但若在美的公司是新成立的，則申請人第一次只能申請一年的期限，必需符合某些條件證明新公司能有效繼續經營下始能申請延期在某些情況下l - 1b可以申請轉換為l - 1a取得較長的居留期
  11. Neither party may assign this agreement, in whole or in part, without the other party ' s prior written consent, except to any corporation resulting from any merger, consolidation or other reorganization involving the assignment party, and any entity to which the assignment may transfer all or substantially all of its assets ; provided that the assignee agree in writing to be bound by all the terms and conditions of this agreement and provides documentation as evidence that the assignee has the ability and capability of meeting all of the obligation under this agreement

    任何一方未經另一方事先書面同意，不得轉讓本協議的全部或部分，除非轉讓給： 1 ：涉及轉讓方的因兼并、合併或其他重組而產生的任何公司； 2 ：轉讓方可以向其轉讓全部或絕大部分資產的實體；但受讓方須書面同意受本協議所有條款和條件約束，並提供文件證明受讓方有資格、有能力履行本協議項下的全部義務。
  12. Abstract by setting up a network model of data aggregation and using a bit - hop metric to quantify energy costs in wireless sensor networks, we formally analyze the problem of area - based data aggregation and obtain that data aggregation will definitely be energy efficient when the relative difference between the average lengths of the two shortest paths, which are from source sensor nodes to the sink and to the aggregation node respectively, is not less than the ratio of data correlation to the number of source sensor nodes

    摘要通過抽象出無線傳感器網路中區域數據回傳的網路模型，定量研究了區域數據聚合的節能條件，證明了先聚合再回傳比直接進行數據回傳所節省的相對路徑長度，如果大於等於數據相關性與源節點個數的比值時，區域數據聚合一定可以節省能耗，並進一步給出了當數據聚合點在網路的不同位置，或數據的空間相關性不同時，區域數據聚合的節能條件。
  13. In this part, firstly, this paper change the condition of markowitz model, prove short sales exist possibility and certainty ; and discussed the role of the mechanism in stock market, narrate the 3 functions of the mechanism of short sales. they are strengthening mobility function, price discovery function and decreasing the information asymmetrical function for stock market

    在這一章，本論文首先通過在markowitz提出的均值-方差模型的基礎上通過重新設定條件，證明了賣空存在的可能性和必然性，然後詳細論述了賣空機制對股票市場的積極作用，提出了賣空機制具有增強股票市場的流動性、價格發現和減少信息不對稱三大功能。
  14. Finally using the - stable range condition which was introduced by bak and guo ping tang in their paper stability for hermitian k1, the author proves that th e normality of elementary subgroup of hermitian group and the stability of hermitian at, - group

    最後利用bak和唐國平在stabilityforhermitiank _ 1中引入的-穩定秩條件證明了一般厄米特群的基本子群的正規性及厄米特k _ 1 -群的穩定性。
  15. When / is infinite and 6 is a compact element and with an irredundant finite join - decomposition, it is showed that a sufficient and necessary condition that the solution set is nonempty. it is also proved that there exists a minimal solution if the solution set of the equation sup t ( ai, xi ) = b is nonempty

    當論域為無限集， b為緊元且有不可約有限並分解時，給出了解集非空的充要條件，證明了如果方程sup _ （ i i ） （ a _ i ， x _ i ） = b有解，則一定存在極小解。
  16. " the budgeting process is very detailed and meticulous, and assumptions are well supported and documented, " the commission s summary of london s bid says

    「預算的制定過程是非常詳盡和一絲不茍的，其前提條件得到了充分的支持和文件證明， 」該委員會對倫敦的申辦工作這樣概括道。
  17. In consideration of the fact that no labor certificate is required for eb - 1 application, however, eb - 1 application should still be considered first if the alien is qualified. the application for eb - 1 classification is filed with form i - 140. the applicant must file all the documents to prove the above - referenced criteria

    第一優先的申請人必需提出表格及所有文件證明上述的所有條件除了個人的文件之外，更重要的是由同樣領域內的專家所寫的推薦函這些推薦函不論是格式或內容對申請都有很大的影響，如果有這方面經驗的律師協助的話對申請會很有幫助
  18. Lastly, the cv rational interpolating splines above are extended to the case of two variables. their existence and uniqueness are proved for two usually boundary conditions as well. the cv rational interpolating splines of two variables are represented as tensor product from of the case of simple variable

    最後，定義了二元cv有理插值樣條函數，就兩類邊界條件證明了其存在唯一性，並建立了它的表達式，給出了廣義deboor演算法
  19. Existence of optimal policies is established using martingale and duality techniques under general assumptions on the securities " price processes and the investor ' s preferences

    本文利用鞅論和對偶方法，在證券價格和投資者偏好極其一般的條件證明了最優控制策略的存在性。
  20. The author obtains main results as follows : 1. a characterization and two determinant conditioi ~ of perfect secrecy of general cryptosystem are presented. necessary and sufficient conditions for three special cryptosystems to be perfect secrecy are proved

    給出了一般密碼體制是完善保密的一個特徵和兩個判定條件，證明了三個特殊的密碼體制完善保密的充分和必要條件。
分享友人
分享到 Line

分享到臉書