查询词典 proof theory

Then, inhibition mechanism and the relations between inhibition efficiency and molecular structure of inhibition of carbon steel in chlorhydric acid by benzene nitriles and quaternary ammonium salts are studied from microscope through quantum chemistry calculation, and according to the results, theory predicting and proof testing of a benzene nitrile (2-benzo butyl nitrile) are made.

利用Hansch关系的研究结果表明，苯腈类化合物在盐酸溶液中对碳钢缓蚀的缓蚀效率，可用苯腈类化合物氰基氮原子的净电荷密度和分子最高占据轨道能量或分子最低空轨道能量构成的表达式表达。量子化学计算研究结果表明：1、苯腈类化合物在盐酸溶液中对碳钢缓蚀的缓蚀机理可能是：苯腈类化合物分子以其氰基氮原子上的电子提供给铁的3d空轨道，形成配位键；同时铁的3d轨道上的电子提供给苯腈类化合物分子的能量最低空轨道，形成&反馈键&。

In this paper, we also discuss the theory of the parallel simplex method. Undej the 2-dimensional space case, we present that simplex seriary have some properties, but we adopt some repairing measures. We proof the convergence of the parallel algorithm. At last, We give some numerical examples to indicate that the new idea is sometimes useful and helpful.

本文也对算法做了一些理论分析，主要在二维情形下，讨论了算法形成的单纯形序列本身所具有的性质，并对其做了相应的补救措施，对算法的收敛性给予了证明，最后做了一些数值实验，由于软硬件条件的限制，并行算法未能在并行计算机上实现，鉴于这种情况，我们所做的数值实验均是在串行机上完成的。

They are first proposed as hypotheses, then supporting proof elevates them to the status of a theory.

& &有一个提供理论的过程，他们首先提出了假说，然后提供支持性的证明使其上升到了理论的地位。

This paper, starting to explain the definition and the analysis of Utopia, through Utopian ideas outside of Utopia or the development of the spirit of Utopia, persisting in the scientific theory of Marxism, mainly studies the value of Utopia and the beneficial inspiration of ideal society. Not only positively inquired about the Utopia and the society develop the objective law conjunction spot, also to the Utopia knew on misinterprets even is the misunderstanding proposes the question and the reply. Finally the ultimate objective which develops the Utopia meaning and the society is persons full scale development organic synthesis, and the establishment to the scientific attitude which positively develops the good and discard the bad enriches the Utopia thought connotation, simultaneously unceasingly gives the proof in the society historic course, for the impetus Utopia development future trend, then fundamentally will reject its own existence all sorts unreasonable factor, will enable the Utopia this society ideal perfect design to have the possibility under the situation which the humanity will progress which the reality will transform.

本文拟从乌托邦的原始解读入手，运用例证法、引证法、对比法、定义法、演绎法和归纳法，通过乌托邦思想史的历史溯源，以马克思主义的唯物史观和科学社会主义等理论为依据，全面剖析乌托邦正反两方面的价值性，在着力探讨乌托邦合理成分转化为理想的可能性基础之上，就乌托邦的取舍问题提出个人的见解，最后再将乌托邦置于当前社会发展的背景下，按照构建和谐社会乃至和谐世界的总体要求，对进一步澄清关于乌托邦的模糊认识，并使乌托邦走出历史发展中的误区注入新的血液和营养，从而能够真正发挥乌托邦人性关怀的精神救赎作用，实现乌托邦理性光芒与马克思关于人的全面发展的思想的高度统一，为不断促进人的全面发展提供更加美好和更加广阔的希望空间。

Especially in the explosion-proof mixing equipment using the latest and most advanced pneumatic discharge device design theory.

尤其是在防爆混合设备上采用最新最先进的气动出料装置设计理论。

From between theory high proof industrial structure and economical sustainable development coupling relations, thus obtains through the industrial structure adjustment realizes the region economy sustainable development validity.

从理论的高度论证产业结构与经济可持续发展之间的耦合关系，从而得出通过产业结构调整实现区域经济可持续发展的有效性。

By way of introducing expression of salt solution concentration and Hendeson equation that describes equivalent moisture curve of hygroscopic material, the heat and mass transfer model is simplified and provides a theory proof that the transportation direction of water and vapor in the pore material is opposite but effects of two items can be integrated as an expression, Compared to traditional vapor permeating, the calculated results from the presented model in this paper that salt is not taken into considered is accurate.

根据建筑围护结构自身所处环境特点，开拓性建立了吸湿区范围内含盐多孔材料的热质迁移数学模型，通过引入描述平衡湿度曲线的Hendeson方程和盐溶液浓度的表达式，对含盐多孔介质热质迁移数学模型进行了简化，从理论上论证了多孔材料中液态水分和水蒸汽迁移二者过程的相反性和统一性。

If this still belongs to the older part can hardly be taken as a proof against this theory (although it has been brought forward to prove a very late date of composition), since there is no reason why Greeks should not have been mentioned in an early pre-exilic period.

提到&儿子的grecians &（在四， 6 ，如果这仍属于较旧的部分）也难以被视为一个证明，对这一理论的（尽管它已经提出了要证明一个非常晚的日期组成），由于是没有理由的希腊人不应该已经提到，在一月初前exilic时期。

Secondly the present situation of China commercial bank marketing and problem that exists reaching his origin and kneads dough the environment that faces has been inspected by way of the authentic proof piece of writing, thus theory frame founded is confirmed and tests.

二是考察了中国商业银行营销的现状、存在的问题及其根源和面临的环境，从而印证并检验所创建的理论框架

The key techniques of STM IPC-205B were shown as following: the design of the micro-displacement transmission system with wide scope and high speed; the physical mechanism and vibration-proof measures which greatly influence the theoretical precision of STM; the basic design theory of scanning system and data collection system; the methods of the intelligent control of scanning voltage and the logarithm contraction of tunnel current.

对STM IPC-205B型机关键技术进行了探讨，主要包括：大范围快速扫描的微位移传动系统的设计；对实现STM理论精度有重大影响的振动源的物理机理以及防振的措施；扫描与数据采集系统设计的基本理论；给出了实现扫描电压的智能控制和对隧道电流进行对数压缩的方法。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。