查询词典 proving

For proving the method which is used to identify isochromatic fringe orders, the experimental model is devised when stress wave is reflected at the free boundary of the hole.

过去研究主要依靠动光弹进行，获得的数据是主应力差的资料，目前其判读是以Durelli〔1〕的研究基础发展而来的，随后朱振海〔2

The first section introduces some basic concepts[9].The second section introduces Schmidt"s method of proving isoperimetric inequality [2].The third section introduces Hurwitz"s method [9].The fourth section takes from my tutors lecture notes.The method is due to REILLY [10].Finally,I make use of variational method to prove the circle among the curves of length L encloses the biggest area on the plane.

首先介绍了平面上的一些基本概念[9]，其次介绍了文献[2]中Schmidt证明等周不等式的方法，再次介绍了文献[9]中Hurwitz证明等周不等式的方法，然后介绍了导师吴发恩整理的文献[8]中REILLY的方法证明平面上的等周不等式[10]，最后我利用变分的方法证明了平面上等长的曲线围成的面积最大时为圆。

HH Farmer, Towards Belief in God; R Hazelton, On Proving God; J Hick, The Existence of God; D Hicks, The Philosophical Basis of Theism; AJ Hoover, The Case for Christian Theism; S Jaki, The Road of Science and the Ways to God; CEM Joad, God and Evil; J Maritain, Approaches to God; EL Mascall, The Openness of Being; G Mavrodes, The Rationality of Belief in God; A Plantinga, ed., The Ontological Argument; RC Sproul, If There Is a God, Why Are There Atheists?

个HH农民，对信仰的上帝与r黑兹尔顿，就证明上帝； j hick ，上帝存在； d希克斯，哲学基础的有神论；的AJ胡佛情况基督教有神论； s jaki ，道路的科学和如何向上帝；杰姆joad ，上帝与邪恶； j旦，途径上帝下午马斯科尔，公开性被100 mavrodes ，理性的信仰上帝；普兰丁格，版，本体论的论点；钢筋sproul ，如果有一个上帝，为什麼有无神论者？

Karp introduced the now standard methodology for proving problems to be NP-complete which has led to the identification of many theoretical and practical problems as being computationally difficult.

Karp 的方法使得许多理论和实际问题被确认为从可计算性角度而言是复杂的或困难的。

In any case, you always have to keep proving yourself, even at my age.

任何时候，你都要不停的证明自己，甚至是在我的年龄。

In the end, it is stated that the way of proving the four-color problem according to Kempe is not likely to be successful by analyzing the phenomenon of dynamic balance.

最后，通过剖析动态平衡现象，阐明用肯普的方法证明四色问题不可能成功。

In an interview in The Independent today associate fellow of the Asia programme at Chatham House, Charu Lata Hogg, said:'It cannot be denied that the system of proving identity in India is complicated and confusing.

在今天《独立报》的采访中， Chatham House 在亚洲项目的合作人 Charu Lata Hogg 说：不可否认的是，在印度发放身份证是一件复杂的和令人困扰的事情。

The lemma is ready for proving the sufficientand necessary condition. We find that ?

引理是为证明直觉模糊关系方程相容的充要条件而准备的。

But, he d have a hard time proving that argument in court in light of the evidence from a recent trip to Ontario.

但是，四，他有困难的时候，证明论点，在法庭上呈示的证据来自最近访问安大略。

In this paper, a new quality cost model is designed on the basis of the analysis of the traditional quality cost model and in the light of the learning curve effect, with a view to proving the irrationality of the statement of "the best quality level" in the traditional theory.

本文通过分析传统质量成本模型，结合学习曲线效应，建立一个新的质量成本模型，以此来解释传统理论最佳质量水平的不合理性。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。