- 更多网络例句与证明完相关的网络例句 [注：此内容来源于网络，仅供参考]
-
It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.
因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。
-
Mile — until Roger Bannister proved us wrong in 1954 when he ran it in 3 mins.
班尼斯特在1954年以3分59秒4的成绩跑完全程，证明我们是错的。
-
The definitions of intrinsical linear nonholonomic constrain and intrinsical nonlinear nonholonomic constrain are put forward in this paper. The nonholonomic systems are divided into intrinsical linear nonholonomic system and intrinsical nonlinear nonholonomic system.The rational spectrums of all kinds of virtual displacement definitions and commutativity of d,?
本文研究了非完整动力学中使不定性问题确定化的交换关系和将非线性问题线性化的虚位移定义，首次证明并给出了在非完系统中各种虚位移定义与交换关系的合理适用范围，指出完整动力学与本质线性非完整动力学在研究方法上具有相同性。
-
In dual Brunn-Minkowski theory, we study the properties of the dual harmonic quer-massintegrals systematically and establish some inequalities for the dual harmonic quer-massintegrals, such as the Minkowski inequality, the Brunn-Minkowski inequality, the Blaschke-Santalo inequality and the Bieberbach inequality. We establish the dual Brunn-Minkowski inequality for dual affine quermassintegrals. Recently we learned that Gardner have independently proved it by a different method. The polar body of a convex body is an important object in the context of convex geometry. Hence, after we studied the intersection bodies, it is natural to consider the inequalities for their polar bodies.
在对偶Brunn-Minkowski理论中，我们引入了对偶调和均质积分概念，系统的研究了它的性质，并建立对偶调和均质积分的Brunn-Minkowski不等式，Blaschke-Santalo型不等式和Bieberbach不等式；接着我们建立了对偶仿射均质积分的对偶Brunn-Minkowski不等式，最近我们得知这个不等式被Gardner用另外的方式证明；凸体的极体是凸几何中一个重要概(来源：2525ABf8C论文网www.abclunwen.com)念，既然相交体和投影体有对偶关系，因此在研究完投影体的极体之后自然要研究相交体的极体。
-
If not, you can assume some facts without proof, for example you could omit the proof that F_p^* is a cyclic group.
如果讲不完，可以承认一些事实而不用证明，比如你可以删掉Fp*是一个循环群的证明。
-
He studied Max Wertheimer of Gestalt Psychology and Ruth Benedict of Cultural Anthropology and as he identified some of their patterns, he thought that perhaps there was a similar pattern and maybe there were other people who exemplified that pattern.
他学习了完形心理学最大 Wertheimer 并且鲁思 Benedict 文化人类学和当他辨认了一些他们的样式，他认为或许有一个相似的样式并且有可能举例证明那个样式的人民。
-
He proved with "About a Boy"(2002) that he was a director of considerable gifts; working with his brother Chris he adapted a Nick Hornby novel into the perfect setting for Hugh Grant's merger of selfishness and charm.
他拍摄完"About A Boy"证明了他是一位很有才华的导演。他跟他哥哥一起把小说Nick Hornby改编成电影，完美地塑造了一个自私但迷人的Hugh Grant。
-
If i die tomorrow I'd be allright Dream Theater Because i believe That after we're gone The spirit carries on I used to be frightened of dying I used to think death was the end But that was before I'm not scared anymore I know that my soul will transcend I may never find all the answers I may never understand why I may never prove What i know to be true But i know that i still have to try If i die tomorrow I'd be allright Because i believe That after we're gone The spirit carries on Victoria:"move on, be brave Because i am no longer here But please never let Your memory of me disappear" Nicholas: Safe in the light that surrounds me Free of the fear and the pain My questioning mind Has helped me to find The meaning in my life again Victoria's real I finally feel At peace with the girl in my dreams And now that i'm here It's perfectly clear I found out what all of this means If i die tomorrow I'd be allright Because i believe That after we're gone The spirit carries on Hypnotherapist: you are once again surrounded by a brilliant white light.
如果我死在明天我就是所有权梦剧场因为我相信之后，我们正在经历精神继承从前我害怕死亡从前我认为死亡是完不过，那是以前我不害怕了我知道我的灵魂将超越我可能永远找不到所有的答案我可能永远不会明白为什么我可从来没有证明我所知道的是事实但我知道我仍然要尝试如果我死在明天我就是所有权因为我相信之后，我们正在经历精神继承维多利亚："的大举措，要有勇气因为我已不再在这里但请决不辜负你的记忆力对我的消失"尼古拉斯：安全，在轻环绕箱免费的恐惧和痛苦我的质疑态度已帮我找到意思是我人生的又维多利亚的实质最后，我觉得在和平与女孩在我的梦想现在我来这里它的完全清楚我发现什么所有这一切都意味着如果我死在明天我就是所有权因为我相信之后，我们正在经历精神继承
-
B Upon the confirmation by the Project Manager in writing of the achievement of practical completion of the Trade Works, the Project Manager shall subject to the Trade Contractor's compliance with clause 2(8), issue an Interim Certificate for fifty per cent (50%) of the total amounts then so retained and the Trade Contractor shall be entitled to payment of the said retention release within the Period for Honouring Certificates named in Schedule 1 hereto.
b在项目经理书面确认工程取得实质性完工时，项目经理应该根据专业承包商对条款2.8的遵守，发出50%保留款项的临时付款证明，因此专业承包商有权在附表1所示的批准付款证书期间取得该保留款项。
-
In the light of geological characteristics of Dongfang 1-1 Gas Field, mass indoor experiments are conducted and studied. Sand grain level are analyzed, the sand control parameters and screen pipe and blind pipe combination proportion is optimized. On this basis, the most suitable horizontal screen pipe sand control method for this gas field is found. Through the medium of DONGFANG 1—1 gas field field conduct proven, the sand control technology are completely run up to DONGFANG 1-1 gas field completion require.
针对东方1—1气田的具体地质特征，通过大量的室内实验研究，对地层砂粒度进行了分析和分选性研究，对防砂参数和筛管与盲管的组合比例进行了优化，从而找出最适合该气田的水平井筛管防砂完井方法，通过东方1—1气田的现场实施证明，该防砂技术完全达到了东方1-1气田完井的要求。
- 更多网络解释与证明完相关的网络解释 [注：此内容来源于网络，仅供参考]
-
May：梅
贺绍强和罗秦的女儿贺梅的预产期是1999年的2月,如此算来,贺绍强回国与罗秦完婚的当月即有了他们感情的结晶,这也是"梅"(MAY)的来源且证明了贺罗双方的婚姻是真实的.
-
sit-up：仰卧起坐
闭关至今快一个月的棒棒堂,每天努力排练演唱会内容已疲累不堪,但他们仍坚持做完100下仰卧起坐(Sit Up)及伏地挺身才结束. 王子在节目中即场示范单手伏地挺身,证明他们真的有练习.
-
tear：泪
法文"开花"(en fleurs)和第二句的"流泪"(en pleurs)押韵;英文"眼泪" (tear)和我离开"这里"(here)押韵,"树校"(bough)和"现在"(mw)我回来押韵. 译完之后,觉得无论情意音形,都胜过了现代散体译文,并且证明了我的"三美论"提得不错;
-
cloze：完型填空
"完型填空"(Cloze)是初中英语试题考察的一种重要题型. 事实证明,完型填空通常是同学们较难把握的题型之一,且失分率较高. 它是对学生阅读能力,语法知识,逻辑推理以及分析归纳等综合能力的