查询词典 proofs

Our hard-heartedness and obstinacy are enough proofs that we haven't really generated the mind of Renunciation yet.

我们坚硬而顽固的心正代表我们还未真正产生出离的心。

Proofs that when iterating with the BP algorithm, if one of the neural units fall into saturation regions at least, and the other one at least don't, then the condition number of the Hessian matrix of the error function is very larger.

证明了BP算法在迭代过程中，如果至少有一个神经元落入饱和区而同时至少有一个没落入饱和区，则目标函数的Hessian阵的条件数变大，这是导致"网络瘫痪"现象的原因，也是BP算法收敛速度慢的主要原因。

In Chapter 3, by means of Carlitz inversion formulas and a transformation of basic hypergeometric series obtained by Chu, we give new proofs for several Rogers-Ramanujan type identities.

第三章：在第二章内容的基础上，使用Carlitz-反演公式和初文昌获得的一个级数变换公式再次证明了许多Rogers-Ramanujan类型恒等式。

With the inarguable proofs, he had to admitted his guilt.

面对铁证如山，他不得不承认他的罪行。

It was the first time that using 〓 cell line and normal immunity inbreed line BalB/c mice as objects to construct the subcutaneous transplanting ovarian cancer model. Histopathological experiment proved that the transplanting tumor was undifferentiated cancer. The ovarian tumor marker 〓 and the epithelial tumor marker 〓 were positive in the transplanting tumors. According to these proofs we thought we had already succeeded in constructing animal tumor model.

本实验首次采用卵巢癌〓细胞系，以正常免疫力的雌性近交系BalB/c小鼠为对象，建立了卵巢癌皮下移植瘤模型，经病理组织学检查证实移植瘤为低分化癌，经免疫组化检测证实移植瘤组织中卵巢肿瘤标志物〓和上皮性肿瘤标志物〓表达阳性，据此我们认为动物肿瘤模型建立成功。

The proofs of the Zero theorem and indefinite integral ∫(superscript 1)(subscript 0)e(superscript -x^2) are given by research learning method.

本文论述了如何应用研究性学习方法证明零点定理及不定积分∫e(上标-x^2)dx，其方法简便，理论性强，对培养学生的创新能力有一定的作用。

D. Pointcheval, and J. Stern. Security proofs for signature schemes. Advances in Cryptology-Eurocrypt '96, LNCS1070, 387-398, Springer-Verlag, 1996. 4. 4. Y. Watanabe, J. Shikata, and H. Imai. Equivalence between semantic security and indistinguishability against chosen ciphertext attacks. PKC 2003, LNCS 2567, 71–84, Springer-Verlag, 2003. 5. 5. M. Bellare, R. Canetti and H. Krawczyk.

课内教学活动深入理解可证明安全的基本思想和原理，灵活使用可证明安全的方法和工具分析典型的密码方案，培养和锻炼严密的逻辑思维能力和书面表达能力；流利的口头讲解能力和学术辩论能力；强烈的探索创新能力和团队合作能力。

Simple control inequation proposition is presented while in combination with the basic theory of control inequation the proofs of some known inequations are provided and some new inequations are deduced.

bstract 给出一个简单的控制不等式命题，并结合控制不等式的基本理论，用它给出若干己知不等式的证明，并推广得到了一些新不等式。

It is from man's trust on Religion, whatever the reason behind it (e.g. trust, fear, inexplicability, proofs, prophets, fables, and myths), that the concept of Marriage first got a real backing.

它来源于人类对宗教的信任，而不管它背后是什么样的原因（例如，信任、敬畏、费解、灵验、预言、寓言、以及神话等），婚姻观念就是如此第一次获得真正的支持。

Chapter three reviews problems of skepticism and proofs skepticism is one kind of infallibilism.

第三章怀疑主义的诘问与对其的反诘问本章摘要：诸多种类的怀疑主义问题是否具有共同的特征？

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。