查询词典 formulas

On Buffon's problem for the complicated lattice Kinematic formulas in integral geometry are integral formulas that represent integrals of geometric functions on the intersection of fixed and moving domains.

2复杂网格的Buffon概率在积分几何中，运动公式是一些定义在定区域与动区域交集上的几何函数的积分公式。

The expanded formulas of Reed-Muller with fixed polarity and dual form of Reed-Muller are derived by using Kronecker matrix product operation. A simple and highly efficient transformation algorithm named decomposition method is proposed based on the transformational relation of the two expanded formulas with same polarity.

利用Kronecker矩阵积运算推导出了固定极性Reed-Muller和双重形式RM(dual form of Reed-Muller， DFRM)的展开式，并根据在相同极性下两者之间的转换关系，提出一种简洁高效的转换算法－分解法。

Both MAX(1) and MARG(1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

MAX(1)和MARG(1)是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。

Present a kind of paraconsistent modal logics PML by generalizing classical modal logics'truth value set from {0, 1} to [0, 1] , propose new logical consequence relationships by generalizing fuzzy implications in PML, introduce sound and complete Gentzen style inference systems in PML. 9. Global properties of valid formulas are the necessary conditions that must be satisfied by valid formulas.

8将经典模态逻辑公式的值域从{0，1}扩充到[0，1]，结合模糊逻辑推理关系的研究结果，建立了能处理不一致知识的模态逻辑，并给出其可靠而且完备的Gentzen型推理系统。

A new form of Arbitrary-Lagrangian-Eulerian formulas are developed based on the basic law of Newtonian mechanics and hypothesis of Newtonian fluid, in which the conception of domain mapping is introduced so these formulas can be used to describe the fluid flow in an arbitrary deforming domain.

从最基本的牛顿运动定律和流体粘性的牛顿假设出发，基于区域映射的概念推导了ALE(Arbitrary-Lagrangian-Eulerian)公式的一种表达方式，能够在二维任意变形区域内描述牛顿型流体的运动。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

The formulas of bedload transport rate of waves with currents are further derived,and com-pared with other formulas. By paired comparison,the form...

上述公式具有一定理论基础，概念清晰，结构简明，使用方便，可适用于非破碎带输沙计算。

By transforming the residual variable conversion formulas in phase coordinates to symmetrical components formulas, polymorphic symmetrical components method is developed into symmetrical components coordinates.

对电力系统元件的对称特点进行了分析，建立了轮换节点的概念。

The formulas are derived from the classical theory of thin shells, The thermal stresses for three kinds of boundary conditions are calculated separately by the theoretical formulas derived from a cubic polynomial temperature distribution and by the finite element method, SAP5 program.

并以三次多项式温度分布为例，计算了三种边界条件(自由端、固支端、简支端)下，理论的和有限元的热应力曲线，对固支端进行了热应力实验，绘制了实验曲线。

See Appendix E,"Regression Statistic Formulas" for more information on the formulas CB Predictor uses to calculate these statistics.

附录E中"回归统计公式"有关于CB Predictor计算统计的更多内容。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。