查询词典 constructive existence proof

The chemist Dalton first gave a proof of the existence of atoms and the engineer Sadi Carnot first gave a proof of the Second Law of Thermodynamics.

化学家道尔顿最先证明了原子的存在，工程师萨迪。卡诺第一个证明了热力学第二定律。

With the intention to carry out a quality project, proper to the needs of an educational program, we intended to realize a building both valuable and simple and also austere, with resistant constructive solutions proof against a hard use and a marked debilitation, able to withstand a long life in perfect condition and with low maintenance to an absolute minimum.

为了打造出一个很高质量的方案来满足教育的需求，我们有意的使这个建筑既有实用价值又很简单朴素，几乎没有什么装饰。这样在这些承受能力很强的构建之下这个建筑可以在使用很多年之后仍然能够保证良好的状况，同时其维护费用也降到了最低。

The chapter 3 investigates the constructive method which means that many combinatorial numbers, such as Stirling number, Bell number, harmonic number, Fibonacci number and the number of derangement, are represented to moments of some random variables. This method is used in the computation of combinatorial sums, discovery and proof of combinatorial identities.

第三章研究了构造性概率方法，即一些常见组合变量(以后统称组合数为组合变量)的概率表示，诸如Stirling数、Bell数、调和数、Fibonacci数、错排数都可以表示为一些随机变量的矩，这些概率表示可以用来研究组合和式的计算与恒等式的证明。

The last part based on to our country medical service damage compensate lawsuit proof responsibility distribution system malpractice understanding, in the model overseas correlation theory and in the practice merit foundation, from the value goal, the basic principle, is specifically regular and the necessary measure four aspects to consummates our country medical service damage compensate lawsuit to prove the responsibility distribution system put forward the constructive proposal.

最后一部分基于对我国医疗损害赔偿诉讼证明责任分配制度弊端的认识，在借鉴国外相关理论及实践的优点的基础上，从价值目标、基本原则、具体规则和配套措施四个方面对完善我国医疗损害赔偿诉讼证明责任分配制度提出了建设性建议。

In this paper, a constructive proof of singular value decomposition of quaternion matrix is given by using the complex representation and companion vector of quaternion matrix and the computational method is described.

四元数矩阵的奇异值分解是四元数矩阵理论的重要内容，奇异值分解在四元数矩阵的理论研究和数值计算中都起到非常重要的作用。

Not that we believe God does exist, but we think that the real problem is not that of His existence; what man needs is to find himself again and to understand that nothing can save him from himself, not even a valid proof of the existence of God.

这就是我们的观点。人所需要的是去重新发现他自己，是去了解没有什么东西能够从他的自身中拯救他，就算有上帝存在的确切证据也不能够的。

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

And then, the existence of blowup solutions in C2BR(0 for non-isentropic flow and for isentropic flow has been obtained by constructive method.

然后通过构造的方法证明了C~2B_R(0中非等熵爆破解和等熵爆破解的存在性。

Some degree of gene flow may be a normal, evolutionarily constructive process, and all constellations of genes and genotypes cannot be preserved however, hybridization with or without introgression may, nevertheless, threaten a rare species' existence.

某种程度的基因流动是正常的、积极的进化过程；不可能所有基因和基因型的排列格局都被保存；但是，有或无基因渗入的杂交会威胁珍稀物种的生存。

By using constructive methods and complicated techniques of matrices, necessary and sufficient conditions for the existence of selfconjugate solution, perselfconjugate solution, centrosymmetric solution, bisymmetric solution, skewselfconjugate solution, skewperselfconjugate solution, skewcentrosymmetric solution, skewbisymmetric solution and various interlaced solutions over a finite central algebra Ω to systems of generalized Sylvester matrix equations overΩ are presented.

利用构造方法和复杂的矩阵技巧，研究了有限维中心代数上的多项式环Ω上的广义Sylvester矩阵方程组在Ω上有自共轭解，斜自共轭解，广自共轭解，斜广自共轭解，中心对称解，斜中心对称解，双对称解，斜双对称解及其各种交错解的充要条件。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。