查询词典 computational formula

In this paper, a method from the basic matrix of MU(1) formula is used to prove that a tree resolution proof for an unsatisfiable formula F can be transformed into a homomorphism proof from a MU(1) formula for F.

利用基础矩阵的方法证明了：一个不可满足公式 F 的树消解证明，可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明。

We first prove a formula to calculate the magnetic field in the internal region of magnetized objects on the viewpoint of magnetization, and then use the formula to define the point-function demagnetizing tensor and also prove some properties of the tensor. Finally we use this formula to construct a new method to predict the induced magnetic field of naval vessels in a nonuniform applied field, and we call it 'the Magnetization Method', in which the point-function demagnetizing tensor is used.

首先证明了一个基于磁化观点的铁磁物体内部磁场强度计算公式，随后通过该公式导出了点函数去磁张量的概并证明了它的一些性质，最后利用此公式构造了一个预测非均匀外场中舰船感应磁场的新方法——磁化强度法，且在该方法中用到了点函数去磁张量。

Results: The ratio of Lactobacillus bulgaricus and Streptococcus thermophillus is 1:1. The optimum formula of the expanded fermentation is: tomato and carrot juice 3:7, glucose 2%, NFM 4%, and vaccination 3%. The optimum formula of the fermented liquid is: tomato and carrot juice 3:7, fermentation temperature 41℃, fermentation time 24h, and the amount of vaccination 3%. The optimum formula of fermented beverage is: sucrose 5%, citric acid 0.02%, CMC 0.2% and xanthic gluc 0.03%.

结果：用保加利亚乳杆菌和嗜热链球菌按1：1比例作为菌种；种子扩大液的最佳配方：番茄、胡萝卜混合汁配比3：7，2%葡萄糖，2%脱脂乳，3%接种量；发酵液最佳配方：番茄、胡萝卜混合汁配比3：7，发酵温度41℃，发酵时间24h，接种量3%；发酵饮料调配最佳配方；发酵原液中添加蔗糖5%，柠檬酸0.02%，耐酸羧甲基纤维素钠0.2%，黄原胶0.03%。

The formula relation trees are reconstructed into MathML document on the basis of the realized relation trees generated from the formula symbols recognition and structure analysis programs.A formula editor is designed to re-edit and reuse formulas.

在已实现的公式符号识别与结构分析程序所生成的公式关系树基础上，将公式关系树重构为MathML文档，并设计公式编辑器，实现了公式的再编辑和重用。

From press press reinforcing steel bar rustily the angle that causes concrete compressive strength to drop, of the concrete component that studied reinforcing steel bar of press press district is rustily suffer a turn to bear the weight of force, put forward the concrete component with rustily reinforcing steel bar of press press district to bear the weight of the computational model of force and computational method.

概要： 从受压钢筋锈蚀引起混凝土抗压强度下降的角度，探究了受压区钢筋锈蚀的混凝土构件的受弯承载力，提出了受压区钢筋锈蚀的混凝土构件承载力的计算模型和计算方法。

The Computational Aerodynamics team has a world class reputation in the field of Computational Fluid Dynamics gained from over 30 years of experience developing and applying bespoke and commercial software to solve highly complex aerodynamic problems.

计算空气动力学的团队有一个世界级的声誉，在该领域的计算流体动力学的股票上涨，从30多年的经验，发展和应用定制软件和商业软件，以解决高度复杂的气动问题。

The second part is the computational methods of the determinant: This part is core part in the full text, and mainly studied 14 kinds computational methods which nearly covered each kind of the characteristic of the determinant computation, including the definition method, the triangle method, Canada method and so on.

第二部分为行列式的计算方法：这一部分是全文的核心部分，主要研究了几乎覆盖各种特征的行列式计算的十四种重要方法，包括定义法、三角形法、加边法等，它们为我们计算行列式提供了方便快捷的途径。

The computational error of mathematics learningdisabled students is due to opposite computational error.

而数学学习障碍学生常犯的错误为：运算符号的替代、分数乘法的错误和计算顺序的错误。

Computational linguistics is the scientific study of language from a computational perspective.

计算语言学是一门以计算机为手段，通过建立语言现象的计算模型对自然语言进行研究和处理的学科。

For the computational stability of linear evolution equation, the condition of CLF for judging the computational stability of initial value problem is introduced.

针对线性发展方程的计算稳定性问题，介绍了判定线性发展方程初值问题的稳定性判别条件：CLF条件。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切