English translation for "构造性证明"
|
- constructive proof
Related Translations:
程序证明: program proofprogram proving 出口证明: export certificateexport certificationproof of export 委任证明: certification of authorization 修订证明: revised certificates 实践证明: it has been found thatpractice confirmspractice proves 健康证明: bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate 付款证明: payment certificate 正确性证明: correctne proofcorrectness proofjustificationproof of correctness
- Example Sentences:
| 1. | Another proof of the converse lyapunov stability theorem
有理标准形存在性定理的构造性证明 | | 2. | A constructive proof of existence theorem for rational form
利用罗尔定理进行构造性证明的尝试 | | 3. | The equivalent theorem of contraction operator and its constructing proof
压缩映射原理的等价命题及其构造性证明 | | 4. | How to find out the constructivity methed for proving a competition problem
一个构造性证明的解法是这样想出来的 | | 5. | 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的等价性的构造性证明。 | | 6. | 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解的比较定理，并在此基础上，利用单调迭代的方法，构造性证明了最大、最小解的存在性；第四章在以上的一些理论基础之上，得到了相应的与第二类倒向随机微分方程耦合的正倒向随机微分方程系统的一些结果，主要包括倒向随机微分方程的解关于正向随机微分方程的初值是具有连续性的，得到了最优控制和动态规划的一些结果，在这一章的最后还讨论了相应的效用函数的性质，如，效用函数的单调性、凹性以及风险规避性等;第五章，针对第一类倒向随机微分方程，运用单调迭代方法，证明了最大和最小解的存在性，并研究了解的其它性质及在效用函数上的应用。 |
- Similar Words：
- "构造性公理" English translation, "构造性海面升降运动" English translation, "构造性逻辑" English translation, "构造性能" English translation, "构造性数学" English translation, "构造序次" English translation, "构造序列" English translation, "构造旋回" English translation, "构造旋转" English translation, "构造学" English translation
|
|
|
