构造性证明的英文

• constructive proof

• "构造性"英文翻译    constructivity
• "证明"英文翻译    prove; testify; bear out
• "非构造性证明" 英文翻译 :    nonconstructive proof
• "构造性" 英文翻译 :    constructivity◇构造性分析 constructive analysis; 构造性公理 constructivity axiom
• "存在性证明" 英文翻译 :    existence proof
• "回溯性证明" 英文翻译 :    retrojustify
• "矛盾性证明" 英文翻译 :    contradictory evidence
• "欺骗性证明" 英文翻译 :    fraudulent proof
• "欺诈性证明" 英文翻译 :    fraudulent proof
• "相容性证明" 英文翻译 :    consistency proof
• "诈骗性证明" 英文翻译 :    fraudulent proof
• "正确性证明" 英文翻译 :    correctne proof; correctness proof; justification; proof of correctness
• "终止性证明" 英文翻译 :    termination proof
• "不可能性证明" 英文翻译 :    impossibility proof
• "构造性布局" 英文翻译 :    constructive placement
• "构造性分离" 英文翻译 :    tectonic unmixing
• "构造性分析" 英文翻译 :    constructive analysis
• "构造性公理" 英文翻译 :    constructivity axiom
• "构造性逻辑" 英文翻译 :    constructive logic; intuitionistic logic
• "构造性能" 英文翻译 :    structural behavior
• "构造性数学" 英文翻译 :    constructive mathematics
• "可构造性" 英文翻译 :    constructibility constructivity
• "部分正确性证明" 英文翻译 :    partial correctness proof
• "程序正确性证明" 英文翻译 :    mathematical proofs of program correctness; programming correctness proof; proof of correctness; proof of program correctness
• "耐飞行性证明书" 英文翻译 :    airworthiness certificate

• Another proof of the converse lyapunov stability theorem
  有理标准形存在性定理的构造性证明
• A constructive proof of existence theorem for rational form
  利用罗尔定理进行构造性证明的尝试
• The equivalent theorem of contraction operator and its constructing proof
  压缩映射原理的等价命题及其构造性证明
• How to find out the constructivity methed for proving a competition problem
  一个构造性证明的解法是这样想出来的
• 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的等价性的构造性证明。
• 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解的比较定理，并在此基础上，利用单调迭代的方法，构造性证明了最大、最小解的存在性；第四章在以上的一些理论基础之上，得到了相应的与第二类倒向随机微分方程耦合的正倒向随机微分方程系统的一些结果，主要包括倒向随机微分方程的解关于正向随机微分方程的初值是具有连续性的，得到了最优控制和动态规划的一些结果，在这一章的最后还讨论了相应的效用函数的性质，如，效用函数的单调性、凹性以及风险规避性等;第五章，针对第一类倒向随机微分方程，运用单调迭代方法，证明了最大和最小解的存在性，并研究了解的其它性质及在效用函数上的应用。

• 构造性证明的法语：Démonstration constructive
• 构造性证明的韩语：구성적 증명
• 构造性证明的俄语：Конструктивное доказательство