查询词典 provable formula

Firstly, those useless to classify texts are filtered according the category document frequency distribution difference of each feature; and then in order to overcome the limitations of TF-IDF weighting formula a novel weighting formula called TF-CDF is presented . Calculate the weight of each feature according to TF-CDF and build the Vector Space Model for the entire corpus. To select significant features, a feature selection approach based on Variable Precision Rough Set is also proposed and implement with some SQL sentences combining the definitions of VPRS with the advantages of SQL sentences.

该文首先根据特征词的类别分布差异进行特征过滤；然后，分析传统的权值公式TF-IDF的缺点，采用改进的权值计算公式简记为TF-CDF，依据TF-CDF公式计算每个特征词的权值，生成文档集的向量空间模型VSM；接着，提出了一种基于可变精度粗糙理论的特征选择进一步选择对分类贡献度大的特征，并用SQL实现。

The following is the main works of the paper.1 The weight and the center of weight of the whole hull, analysis by statics the weight of steel, the equipment, oil, water, crew and cargoes etc., conclude a method of calculating the weight and the center of weight of the whole hull,2 Work out the series of formula of distributing the water pressure of wave to the corresponding nodes on the plate, conclude a method of calculating the flotage and the center of the flotage,3 Analysis the method of adjusting the equilibrium of the hull, the finite element module of the hull, and the character of the linetype, by ship statics principle, work out a series of formula of adjusting longitudinal slant, preliminarily confirm the parameter and the range,4 Program in FORTRAN, and link into ANSYS, for auto-loading when analyzing the whole hull by the FEA,5 Make the finite element module of a real hull, calculate the weight and the center of the weight, the flotage and the center of the flotage, compare the result of manual calculation with the computed result, analysis the deviation of the program.

3通过分析船舶常用浮态调整方法、船体结构有限元模型和船体线型特征，运用船舶静力学原理，推导船舶浮态纵倾调整公式，分析了基于船舶结构有限元模型的纵倾浮态调整方法和初步探讨了纵倾浮态调整中的参数确定方法以及初步确定这些参数的取值范围。 4用本文推导的计算方法和公式开发FORTRAN程序，并编译连接到有限元软件ANSYS中，用于进行整船结构有限元分析时自动加载计算。

A combinatorial identity is obtained:=:~z 2r扟32-rn-iJ As main result of this paper, in section two, the convolution梩ype identities emerge from our discussion about Lagrange formula whom in author 憇 view can be taken as the inherent characteristic of Lagrange formula but have been ignored fOi so long time.

第一章对拉格朗日反演在Riordan群理论中的应用进行了介绍，证明了一个组合等式：第二章通过对拉格朗日反演定理本身的分析，得到一个对任意的形式幂级数都适用的三个拟卷积公式，这些公式体现了任意能在零点解析的函数的内在性质。

As for Chinese language, the application of foreign linguistic theories is simply a disaster, for western linguistic theories are a set of complicated and formula system, while Chinese language is a non-formula character system which holds its own distinct rule that the meaning can be shown through the form.

由于语言学理论是建立在表音文字的基础上的一整套复杂的形式主义规则体系，而中文则是一种非形态的、以形表意的文字体系，有着自己独特的以形表意的简洁规则，这种外来语言学理论的应用，对于中文而言，简直就是灾难。

In this paper, a formula based on the proposition DNA algorithms, as well as operating results of the analysis and proved that that the next step of DNA computation formula of Proposition direction.

文中设计了一种基于命题公式的DNA算法，并对运行结果进行了分析与证明，指出了DNA计算中下一步命题公式的研究方向。

This paper is based on the computation formula of infiltration figure coefficient which was put forward by Fok and Bishop. A simplified and empirical formula was brought forward after being reorganized and analyzed some domestic and foreign related references.

以Fok和Bishop提出的下渗水形状系数计算公式为基础，通过整理并分析部分国内外已有的文献资料，提出了计算下渗水形状系数的简化公式和经验公式。

A formula of propositional logic is said to be satisfiable if logical values can be assigned to its variables in a way that makes the formula true.

公式命题逻辑被认为是符合要求，如果逻辑值可分配给它的变量的方式，使真正的公式。

This article also points out that"existence of squares","Out-In Complementary Principle","the principle of limit","Liu-Zu cross -section princeple","the area formula for rectangle and the volume formula for cuboid" determine the nature and lay the foundation of geometry in ancient China.

提出了我国古代论证几何所依据的原始命题，指出"存在正方形"连同"出入相补原理"、"极限原理"、"刘－祖截面原理"以及长方形面积公式和长方体体积公式确定了我国古代几何的性质，奠定了我国古代几何的基础。

In the integral formula of Fourier transforms of option pricing formula,by using residues theorem two integrations were simplified into a single numerical integration which has a faster rate of decay.

在期权定价公式的傅立叶变换积分公式中，运用留数定理将公式中的两个积分式子化简成一个被积函数衰减较快的积分函数式，从理论上提高了计算效率，缩短了计算时间，为投资者快速计算期权价值节约了时间。

It is difficult to compute directly the coefficients from the integral formula, since the integral function in the formula of the ideal digital fractional differentiator is a high-order oscillating function.

从理想数字分数微分器系数计算公式的特点考虑，利用变量代换把积分函数中的振荡因子转换成积分上限，避免高阶振荡函数积分计算，给出了计算分数微分器系数的递推公式。

The small blue capacitor has very high chances to go fully shorted compare to electrolytic capacitor which is very rare.

小蓝电容器具有很高的机会去充分地缩短了比较电解电容器，这是非常罕见的。

In the Italian campaigns of 1513 and 1515, when the Swiss won the victories of Novara and Marignan, he acted as army chaplain.

在意大利的运动， 1513年和1515年，当瑞士赢得了胜利，诺瓦拉和marignan ，他担任军队的牧师。