查询词典 composition formula

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Firstly, a computational formula of RS which used widely in pipelines design is introduced. Secondly, a correction formula is deduced based on Spangler model. Thirdly, a model of buried pipelines is analyzed with finite element program. After compared with different results, it is found that the result from the correction formula matches with the result of FE better than that of the design code.

以现行的管道结构设计规范为例介绍了目前管道工程设计中常用的管土相对刚度计算公式，在Spangler管道土压力模型基础上推导了计算埋地管道管土相对刚度的修正公式，并采用有限元模型分析了上埋式管道的管土相互作用机理。

In this paper the conformal transformation method is used to get the inferential reasoning formulas: seepage pressure formula, seepage discharge formula and seepage gradient formula.

本文采用保角变换的方法，通过建立数学模型推导出在均质且理想边界条件下，土石坝基垂直防渗的渗透压力、渗流量和出逸坡降计算公式。

Then the finite element software ANSYS is used to simulate the orthotropic flattened Brazilian disc specimen subjected to diametrical compression, the accuracy of the approximate formula of compression displacement is checked. The formula is further modified with a semi-empirical and semi-analytical approach, and it is shown to have better accuracy than the original formula covering the whole range of orthotropic anisotropic index of rock, the error is less than 6%.

用有限元分析软件ANSYS模拟正交异性岩石的巴西圆盘试样的对径压缩实验；利用有限元分析结果对正交异性平台位移压缩公式进行精度检验，并用半经验半解析的方法，对该公式进行局部的修改，修改后的公式在岩石材料的正交异性指数的整个范围的总体评价上，误差小于6%，具有更好的计算精度。

The emphases of the article are the formula region search, the sign of formula division, the positional information of sign record, the sign of formula recognition and so on.

本文重点研究了汉字文章中公式区域的查找、公式中字符的分割以及其位置信息的记录、公式中字符的识别等。

In this research, we try to find a more practical formula for calculating the impact force of boulders. We infer an academic formula from the elastic collision theory. Then, in the experiments, we simulate the impact by debris flow with mixed diameters in order to correct the result formula. We hope we can provide a reference for future slit dam design and debris flow prevention.

本研究目的为利用弹性体碰撞理论，推求出巨砾冲击力之理论式为基础，藉由实验方式，以混合粒径模拟土石流撞击梳子坝，来修正推算出之冲击力理论式，求得一个更符合实际撞击情形之巨砾冲击力计算式，期能对尔后梳子坝设计及土石流灾害防治问题，提供一设计之参考。

When using relative number or average number to get averaging, you may use denominator or numerator of this relative number or average number as weight number to weigh the relative number or average number,and use frequency formula or weighted harmonic mean formula of weighted arithmetic mean formula to get its mean value.

在由相对数或平均数求平均数时，可以以这一相对数或平均数的分母或分子为权数，对这一相对数或平均数进行加权，利用加权算数平均数的频数公式或加权调和平均数公式求其平均值。

On the basis of the analysis of several typical accidents in the operation of well cementing, different factors of cement slurry affecting the operating safety of well cementing are presented, which include the uniformity of formula materials in laboratory and on the spot, the homogeneity of mixed formula, the quality of oil well cement and additional agents, and the formula design of cement slurry.

沈伟，影响固井作业安全的水泥浆因素及其标准化工作对策从分析几个典型的固井作业事故事例出发，指出了影响固井作业安全的各种水泥浆因素，具体包括实验室与现场配方材料的一致性问题、混配均匀性问题、油井水泥及外加剂材质问题及水泥浆配方设计问题。

In this paper, full-space late-time and all-time apparent resistivity formula was derived based on homogeneous full-space response equation of central loop. By comparing with half-space formula and analyzing measured data, the application efficiency of this formula was studied.

从全空间中心回线源响应公式出发，推导了全空间晚期和全区视电阻率公式；通过与半空间公式比较和对实测资料的分析，研究了全空间视电阻率公式的应用效果。

The main content of this thesis is to find and prove some summation and transformation formulae of basic hypergeometric series by the modified Cauchy method,operator method and inversion techniques,which include many well-known results as special cases,for example,q-Saalschiitz summation formula,Baileys _6ψ_6 summation formula,non-terminating Watson transformation formula and Rogers-Ramanujan identities etc.

本文的主要内容是利用修正的Cauchy方法、算子方法和组合反演技巧来发现和证明一些基本超几何级数求和公式和变换公式，其中包含一些著名的公式，如q-Saalschüz求和公式、Bailey的_6ψ_6求和公式和非终止的Watson变换公式等作为其特殊情况。

These rules reflect some inherent feature of self and nonself, and they are the basic detection criterion of GECISM.

这些规则反映了"自我"和"非我"的内在特征，是GECISM进行"非我"检测的判据。

Until today, the media from China and the outside world still uses the term "Post 89". Regardless to whether it is for commercial gimmick or convenience, everybody still remember "Post 89", a term which carries a strong Cantonese accent.

时至今日，国内外艺术媒体还是在沿用&后八九&这个称谓，不管当初是为了商业噱头还是容易上口好记，反正大家现在是记住了&后八九&这个广东口音很重的词。