查询词典 proved

The paper introduces several important notions such as uncountability and halting problem firstly,the fact is proved by contradiction that halting problem is impossible problem,and the same to other relative issues in computer is proved by reduction.

本文先介绍了不可数性和停机问题等重要概念，用反证法证明了停机问题是不可解的，并使用归约法对计算机中的相关问题的不可解性进行了证明。

We have achieved our research purpose according to the research findings which also supported our hypothesis, thus we obtained the conclusion that nursing caring behavior is related to nursing quality, this proved Roy's definition toward nursing quality,"It's a consideration, the core of nursing", and also proved his opinion that the real effective nursing quality has its clinical aspect and caretaking aspect; this is an empirical research.

依据研究结果已达研究目的，也支持了本研究假设，可得出结论为护理关怀行与护理品质相关，也验证了Roy(1973)给护理品质下的定义「它是一项关心、护理的中心」，及Kosa(1989)认为真正有效的护理品质包含一为临床面、一为关怀面，此乃一实证研究。

The UV and IR spectroscopic studies of the monomer films showed that the photoreaction ratio of monomer (about 50%) was higher than the corresponding photosensitive polymer (about 10%, PVCi). The polarized IR spectra proved that obvious anisotropic absorption was displayed in the irradiated photosensitive film. With polarizing microscopy method, we found that these kinds of photoalignment films exhibited good alignment ability, and the stability of the photoalignment film could reach about 100℃. 2 A photosensitive self-assembled monolayer was fabricated that contained photo-cycloadditable groups, such as, coumarin and cinnamate. The reaction process were detected by contact angle method because the IR absorption of monolayer was very weak. The photosensitive self-assembled monolayer promote uniform alignment of nematic liquid crystals by LPUV, and it thermal stability could reach about 130℃. 3 A cationic bolaform amphiphiles was synthesized that had two photosensitive double bonds, and can be polymerized by ultraviolet. A layer-by-layer self-assembled deposition film was prepared in aqueous solution by using this material and poly (sodium 4-styrenesulfonate). The UV-Vis. spectra proved that the multilayers film was uniform and layer-by-layer. When LPUV irradiated the film, the photopolymerizable double bond underwent [2+2] cycloaddition, and the production of the reaction distributed along the polarized direction of incident LPUV. Polarized UV-Vis. spectra indicated that the irradiated self-assembled multiplayer film was anisotropic, and the dichromic ration is about 0.09, it is higher than the spin-coating method of photosensitive polymer or monomer. We used this anisotropic film as alignment layer of nematic liquid crystals, and obtained a uniform and stability alignment result, the static contrast ratio is about 100, which is very close to application of liquid crystal device. This thesis is an instance that the photochemical material was used in the physics region of liquid crystals, the route that was from photosensitive monomer, self-assembled monolayer film to self-assembled multiplayer film was undergone, by this logical research method photoailgnment of liquid crystal was extended and consummated.

围绕上述思路开展了如下工作：1合成了三种可进行光二聚反应的光敏小分子单体，LPUV 辐照制作了光控取向膜；用紫外-可见光谱法和红外光谱法分析了薄膜中的光化学反应，发现小分子的光反应程度可达到50%以上，至少比光敏高分子高出5倍；薄膜的偏振红外光谱证实，经过LPUV 辐照后薄膜出现了明显的各向异性；将小分子光控取向膜制成液晶器件，在偏光显微镜下观察看到均匀一致的液晶取向；并且热稳定性达到100℃左右，接近实用化要求。2制备了含肉桂酸、香豆素基团的自组装单层膜；采用接触角的方法监测自组装反应的动力学过程；紫外-可见光谱证实了自组装单层膜在石英基板表面形成；自组装单层膜经LPUV 辐照后能诱导液晶均匀取向，而且热稳定性可达130℃，热稳定性进一步提高。3合成了含有光敏双键的双季铵盐，在水溶液状态下将它和聚乙烯基苯磺酸钠沉积生成layer-by-layer 自组装多层膜，紫外-可见光谱证实这是一个逐层均匀的沉积；在LPUV 照射下，自组装膜中的光敏双键按照偏振方向发生[2+2]环加成反应，形成取向膜，用二向色性值评价的分子取向度高于高分子及小分子光控取向膜的水平；实验证明用自组装多层膜制成的液晶器件亮暗态均匀，静态对比度约为100，达到实用化器件的水平。

Jianghan Basin is a representative inland salt-lake fault basin with an unique structural evolution history and petroleum geologic conditions. More than forty years of exploration activities have found over a hundred millions of proved reserves in place, and nearly two thirds of hydrocarbon resources to be proved. With the increasingly maturative exploration, the exploration direction research should be done as soon as possible.

江汉盆地是我国东部一个典型的内陆盐湖断陷盆地，具有十分独特的构造演化历史和成藏地质条件，经过四十余年勘探已经发现一亿多吨探明石油地质储量，还有近三分之二的油气资源待探明，随着勘探程度提高，勘探方向亟待深入研究。

Our study not only proved that calcineurin is the target of nephrotoxic effects of CsA, but also proved that mutant calcineurin is resistant to CsA.

突变型CNA+野生型CNB组和野生型CNA+突变型CNB组的各项改变介于上述两组之间。

Based on some results given by K Tan and H K Xu[1] proved, the convergence of three-step iterations of uniformly Lipschitz asymptotically nonexpansive mapping on a compact subset of a uniform convex Banach space had proved.

引入一致李普希兹的概念，然后在一些已有结果的基础上，证明一致凸Banach空间的紧子集上的一致李普希兹渐进非扩张映射的三步迭代序列的收敛问题。

Inspired by these results, in this paper, we first give the definition of a new mapping ? uniformly Lipschitz asymptotically nonexpansive mapping on a compact subset of a uniform convex Banach space, then construct three-step iterative sequences of uniformly Lipschitz asymptotically nonexpansive mapping in this subset . We proved the convergence of this three-step iterative sequences for uniformly Lipschitz asymptoticallynonexpansive mapping, Further more, we proved this three-step iterative sequences with an error member converge to fixed points.

从中得到启发，在本文我们首先定义了一致凸Banach空间某非空紧子集上的一种新的映射——一致李普希兹渐进非扩张映射，在该紧子集上构造关于一致李普希兹渐进非扩张映射的三步迭代序列以及具误差的三步迭代序列，先来讨论三步迭代序列的收敛性，进而讨论具误差的三步迭代序列的收敛性。

The Lynn White debate, which begun when White called for a rethinking of Christianity or its replacement by a nonWestern religion, has proved an obstacle to dealing with the environmental crisis The defense of Christianity that followed inhibited Asian and comparative environmental ethics in the West and did not produce environmentally useful results Whenever the relationship of religion and the environment was raised, the discussion quickly shifted to the issue of Christian responsibility for the environmental crisis The problem with the debate is that in many important ways, the White thesis is correct: Christianity is indeed responsible to a significant degree in that Christianity desacralized nature and it supported policies politically in the Middle Ages that encouraged now harmful human population growth and promoted science and technology, much of which has proved to be environmentally problematic There was nevertheless a second tradition of which Saint Francis of Assisi was a part that was environmentally friendly and that could be useful in rethinking Christianity environmentally It is however unlikely that Christianity will prove useful in the development of an environmental ethic in nonWestern countries or that nonWestern religions will succeed in producing an environmental ethic in the West It is therefore important that religious scholars move beyond assigning blame for the environmental crisis and find ways for the major world religions to help develop environmental ethics as best they can within their own cultural spheres

林恩怀特争论始于怀特关于对基督教进行重新思考或者由非西方宗教取而代之的呼吁。林恩怀特争论已经被证明成为处理环境危机的一个障碍。由此而起的对基督教的辩护制约了亚洲和其他比较环境伦理学在西方的发展，没有产生对环境有益的结果。无论何时，当人们谈及宗教和环境的关系的时候，讨论都会迅速转向有关基督教对环境危机责任的讨论。这一争论的关键在于，怀特的论文在很多方面是对的：基督教的确在相当大的程度上造成了自然的世俗化，并且在中世纪，基督教在政治上对现在看来有害的人口增长的政策提供了支持，促进了科学和技术的发展，很多诸如此类的政策已经被证明对环境是有害的。但是，基督教还存在另一种对环境友好的传统，Assisi城的&圣芳济&运动就是其中一例，这种传统也许对于从环境角度重新认识基督教是有益的。但是，对于非西方国家环境伦理的发展，基督教将很难能够有所作为，非西方宗教也不大可能成功地在西方产生出某种环境伦理。因此，对于研究宗教的学者们而言，重要的是要走出谁应该为环境危机受到指责的争论，找到世界各主要宗教如何在其各自的文化范围内对发展环境伦理提供最佳帮助的方法。

Result:is the pathology is has proved 75 cases of 5600 to be breast cancer and by the test of infrared Light scanning is has proved 67 cases of 5600 are positive rection .

结果：病理证实乳腺癌75例，其中67例被远红外热像图检测为阳性，诊断符合率89.33%。

The N gene protein was expressed in the CHO cells proved by IFA. The N gene was transcripted as proved with RT-PCR. CHO/CDV-N cell strain was constructed, which provided evidence for research of CDV serumal detection and gene vaccine.

然后通过磷酸钙共沉淀法转染CHO-K1细胞，通过潮霉素筛选得到阳性克隆，间接免疫荧光实验鉴定N基因在CHO细胞中的表达，并用RT-PCR方法从转录水平证实N基因在CHO-K1细胞中的表达，最终建立了CHO/ CDV-N细胞株，为犬瘟热病毒的血清学检测和基因疫苗的研制奠定了基础。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐