正定性 的英文怎麼說

中文拼音 [zhēngdìngxìng]
正定性 英文
positive definiteness
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
  • : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
  1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic

    2提出了一個演算法把ctl在有界語義下滿足的檢測規約到一個qbf quantified boolean formulas問題的滿足的判上,同時證明了演算法的
  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. In view of this situation and the characteristic of qualitative variable as well as quantitative variable of the geological factors affecting coal seam affusion, put forward the application of numerical theory on the basis of optimization study of orthogonal design to confirm the optimal combination of the technical parameters of coal seam affusion when geological factors is in precarious state and then proceed optimization study with instances

    針對這種情況及影響煤層注水的地質因素既有變量,又有量變量的特徵,本文在利用交設計優化研究的基礎上,提出利用數量化理論確地質因素為不穩狀態下的煤層注水工藝參數的最優組合,並結合實例進行了優化研究。
  4. According to economist north, the evolvement is ascribable to the existence of uncertainty such as the transition from unofficial pension system to official pension system

    而歷史上從非式的養老金制度到式的養老金制度的變遷是由不確的增加引起的。
  5. It is discovered that existence of small amount of n - butyl alcohol in mesoporous zeolite synthesis system can not only modify ordered degree of formation of mesoporous zeolite, which improves hydrothermal stability of it, but also help to attain much smaller, nearly nanometer, grain of mesoporous zeolite

    研究發現,少量丁醇的存在能改善介孔分子篩形成過程的有序度,並使其水熱穩得到提高,同時合成產物的粒度更小,趨近納米顆粒。
  6. The new method of judgement for matrix positive definite in euclid space

    空間中矩陣正定性判別的新方法
  7. A new method on the decision of positive definite quadratic form using the real square matrices

    利用實方陣判二次型正定性的新方法
  8. A criterion for the positive definiteness of a block - matrix and its application

    分塊矩陣的正定性準則及其應用
  9. There have developed some technique to ensure the positive definiteness of the hessian of the quadratic objective function

    迄今為止,已提出了多種保證子問題的目標函數的hessian陣的正定性的方案。
  10. By analyzing and studying the dynamic characteristic of the minehunting sonar array, the author points out that the minehunting sonar array posture control system is a non - linear and intense coupling dynamic system. according to characteristics of the common inertia matrix, the author testifies that the inertia matrix of the minehunting sonar array has many dynamic characteristics such as the limited boundary quality, the symmetry quality and the positive definite quality

    對獵雷聲納基陣的動力學特進行分析研究,指出了獵雷聲納基陣控制系統為非線、強耦合的動力學系統;從一般的慣量矩陣特入手,證明了獵雷聲納基陣的慣量矩陣具有有界、對稱正定性等動力學特
  11. Point to above problems, under the financial support of the national natural science foundation ( exploration of high tech and new concept and new conceive ), the excellent young teachers program of ministry of education and national excellent doctoral dissertation special foundation, the static and dynamic real - time computation of elasticity - plastic mechanics, solving method of fuzzy finite element and other problems were studied in this paper. and some achievement was gained as following : ( 1 ) based on the positive definiteness of system stiffness matrix of finite element that was modified and the form of potential energy function of elastic body, the linear system of saturation mode ( lssm ) was introduced into the neural computation of finite element, by which the no - error solving of finite element neural net computation was realized in theory

    針對上述問題,在國家自然科學基金(高技術新概念新構思探索) 、教育部優秀青年教師資助計劃、高等學校全國100篇優秀博士學位論文作者專項基金等的資助下,本文對彈塑力學問題的動靜態的實時計算、模糊有限元的求解方法等問題進行了系統和深入的研究,取得了以下成果: ( 1 )根據有限元總剛矩陣經修後具有正定性的特點以及彈體勢能函數的具體形式,將飽和模式的線系統(簡稱為lssm系統)引入到有限元的神經網路計算中,在理論上實現了有限元神經網路計算的無誤差求解。
  12. However, some of them are restrictive. for some of these methods, the convergence is not known in this paper, based on a modified bfgs update formula proposed by li and fukushima, we propose a modified bfgs method for solving equality constrained optimization

    本文在li - fukushima提出的求解無約束問題的修bfgs公式的基礎上,對求解等式約束問題的sqp演算法,提出一個保證qp子問題的目標函數的hessian陣的正定性的修方案。
  13. On the metapositive symmetric and metasymmetric definite matrixes

    關于對稱且次對稱矩陣的次正定性
  14. On the metapositive definite of complex normal matrices

    規矩陣的亞正定性
  15. The relation between two function ' s extremum point and the dollar function

    正定性與二次函數的最值及二元函數的極值
  16. The maximum of quadratic function and the extremism of two variable function based on the positive deficite property

    正定性與二次函數的最值及二元函數的極值
  17. A method of application positive definite matrix to distinguish minimax value of bidifferentiable function

    一種用矩陣的正定性判別二階可微函數極值的方法
  18. The semidefinite positive on the tensor product of matrix

    矩陣張量積的半正定性
  19. In an sqp method, it is important to keep the hessian of the objective function in qp problem to be positive definite

    在sqp演算法中,保證qp子問題的目標函數的hessian陣的正定性是非常重要的。
  20. On metapositive difinite of product of complex matrices

    關于復矩陣乘積的正定性
分享友人