查询词典 provable formula

One kind is using the particular solution of the indefinite equation, which can be obtained by the property of the prime number , and the foundation system of solution of its corresponding homogeneous equation ,obtains its solution formula. Another kind is under the foundation of the matrix primary line transformation, and with the aid of some knowledge of numeral theory, obtains its solution formula.

一种是利用该不定方程的一个特解和其相对应的齐次方程的一个基础解系，得出该不定方程的求解公式，而这个特解可以由素数性质得到；另一种是在矩阵的初等行变换基础上，借助一些数论知识，得出该不定方程的求解公式。

The problem isdiscussed and the error caused by using the approximate formula proves to be superior to that caused by using the homogeneous Taylor's polynomial and an expression is proved to be similatr to the remainder in Taylor's formula.

由讨论这个问题出发，证明了用这种近似式产生的误差，优于用同阶Taylor多项式产生的误差，并给出这个误差的一个类似于Taylor公式余项的表达式。

First, in the horizontal positioning accuracy aspect of total-station instrument, point out the importance of direction, distance to correct calculation and coordinates to convert, give coordinates calculated formula of single intersection point of non-symmetry type of horizontal curve, deduce to square–error's calculated formula of horizontal coordinates and point space by polar coordinates positioning methods, and analyze the main influence factor of square–error.

首先，在全站仪的平面定位精度方面，指出方向、距离归化计算和坐标转换的重要性，给出单交点非对称型平曲线坐标的计算公式，导出极坐标定位法平面坐标和点位中误差的计算公式，并分析中误差的主要影响因素。

By using this method we obtain two gen-eralized transformation formulae of q-integral form,two identities of basic hypergeometric series,as well as formal extensions for q-Pfaff-Saalschütz formula,q-Chu-Vandermonde identity and a three-term transformation formula of _3φ_2-series.

我们推广了两个q-积分形式的变换公式和两个有关基本超几何级数的恒等式，还得到q-Pfaff-Saalschütz公式、q-Chu-Vandermonde恒等式和基本超几何级数中一个有关_3φ_(2~-)级数的三项变换公式等的形式推广。

Mechanism of frosting formation for airside heat exchanger is analyzed, the existing problems in the formula of frost density change being used now are pointed out, and the accurate formula of it is firstly concluded from the ideal gas state equation and Clapeyron-Clausius equation.

分析了空气源热泵冷热水机组空气侧换热器结霜的机理，笔者指出了目前计算用于霜密度变化的结霜量变化率公式中存在的问题，提出了根据理想气体状态方程和Clapeyron-Clausius方程推导出的计算用于霜密度变化的结霜量变化率的公式。

2The matrix elements of the equation is obtained in the form of general formulaby cautions deduction using spinor formula,together with identical transformation andintegral formula related to FG.

运用诸旋量计算公式和含G函数的恒等变换、积分公式，经过细致的推导，以通项公式形式给出该一维积分方程相应于〓态的诸矩阵元。

Then, it is pointed out that grey interval incidence coefficient formula is an improvement of classic grey incidence coefficient formula, while the method for grey interval clustering decision is generalization of method for classical grey clustering decision.

灰色区间关联系数公式是经典灰色关联系数公式的推广，而灰色区间聚类决策是经典灰色聚类决策方法的拓展。

Firstly, introduce a method based on ideal project for grey interval clustering decision together with some relational concepts, which consist of incidence coefficient formula and relative incidence coefficient formula for interval grey numbers.

提出了基于理想方案的灰色区间聚类方法及其相关概念，建立了灰色区间关联系数公式和灰色区间相对关联系数公式。

In the layout analysis, we chose a bottom-up algorithm based on nearest neighbor connect-strength and line confidence to segment the image area, table area and text area; In the printed Chinese character recognition module, we calculate the degree of incorporative difference to match the character, also define a refusal class which could orientate the mathematical expression automatically; Put the expression into the formula processing module, then we chose the character segmentation method based on connectivity and the template match method to recognize the character in the mathematical expression and at last we used the structure analysis based on the character to transform the two dimension formula into one dimension Word EQ expression.

在版面分析中，采用基于最近邻连接强度和行列可信度的自底向上的版面分析算法，分割出图像区域、表格区域和文本区域；在汉字识别模块中，采用回溯切分方法切分出字符段，计算合并差异度与特征字典比较，通过引入汉字的拒识类，从而实现了公式的定位；将定位后的数学公式送入公式识别器，在公式识别器中采用基于连通域搜索的字符分割方法和模板匹配方法对字符识别，对于识别出的字符，再采用基于特征字符的结构分析方法，从而将二维的数学公式转化为一维的Word EO域语句。

Compare results of the formula with test results, they inosculate well. This indicates that the formula proposed in this paper has certain dependability.

将公式计算结果与试验结果比较，吻合良好，表明本文提出的承载力计算公式具有一定的可靠性。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。