查询词典 generalized Boolean algebra

At least in the beginning of 21 century Logic Study will focus on the following topics: common sense inference which is paraconsistent, nonmonotonic and defeasible; generalized inductive inference and inductive logic; generalized intentional logic, especially epistemic logic; natural language understanding and logic of natural language.

如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。

In chapter one, firstly, we introduce the properties of αdiagonally dominant matrix and some exists determination conditions of generalized strictly diagonally dominant matrix, then we give some new results for the criteria of generalized strictly diagonally dominant matrix, finally, we show the validity of these conclusions.

在第一章中，首先引述了α-对角占优矩阵的性质及已有的一些判定条件，给出了判定广义严格对角占优矩阵的几个新的结论，最后说明了这些结论的有效性。

In chapter three, at first we introduces two kinds locally double αdiagonally dominant matrix from the concept of αdiagonally dominant matrix, by using this conception and the properties of αdiagonally dominant matrix and the techniques of inequalities, we discuss the relation of locally double αdiagonally dominant matrix and generalized strictly diagonally dominant matrix, according to these relations we obtain some effective criteria for generalized strictly diagonally dominant matrix.

在第三章中，首先由α-对角占优矩阵的定义，引进了两类局部双α对角占优矩阵，并利用它们及α-对角占优矩阵的性质，结合放缩不等式的技巧，讨论了局部双α对角占优矩阵与广义严格对角占优矩阵的关系，并由此得到判定广义严格对角占优矩阵的几个实用准则。

Chapter 6, consider a coupled generalized KdV-Burgers equation. In section 6.2, we study the initial-boundary value problem in the semi-unbounded domain, the existence of global solutions and global attractors is proved by means of a uniform priori estimate for time. In section 6.3, the Cauchy problem by using the weighted space, the existence of the global attractors for a coupled generalized KdV-Burgers in an semi-unbounded domain is proved.

第六章，考虑了一类广义耦合的KdV-Burgers方程，在第二节中讨论了半无界区域上的初边值问题，证明了整体光滑解和整体吸引子的存在性；在第三节中讨论了Cauchy问题，利用加权函数和加权空间上的插值8不等式，证明了半无界区域上整体吸引子的存在性。

Lagrange interpolation focus on the application of the formula .The comparison between the method of Transform and that of Lagrange's interpolation formula in square matrix form is made. Also the form of Lagrange's interpolation formula is generalized to include the double root case.The application of the generalized lagrange's interpolation formula in square matrix to solving state equations is found to be effective.

重点介绍了Lagrange插值公式在状态方程求解中的应用，用对角矩阵及相似矩阵的性质证明了，当状态转移矩阵中方阵的特征根相异时，拉格朗日插值公式与Laplace变换法对表达具有一致性，并用极限方法对方阵含二重根时拉格朗日插值公式的应用进行了推导。

This paper analyzes the relation between the generalized moment problem and its dual problem, and gives the solution to some generalized moment problems.

分析了广义矩问题及其对偶问题的关系，获得了求解广义矩问题的方法。

The generalized minimal error method for solving large linear systems minimizes the Euclidean norm of the error in the related generalized Krylov subspace, and is one of Krylov subspace methods for solving large linear system Ax = b.

广义最小误差方法是求解大型线性方程组Ax = b的一个Krylov子空间方法，使误差范数在Krylov子空间上达到最小，。

According to the theory created for the generalized multi-pole technique (in domain of half-analytical method), the center of each circle is determined as a starting point of each variable in a series expansion of the 2D-field solution function, and the arranging blank of the starting points in the generalized multi-pole technique can be filled up owing to the precise variable positioning.

根据为广义多极技术创建的理论体系，这些极点确定了解函数在级数展开式中各变量的起点。正因为这些变量的准确定位，不仅克服了广义多极技术中极，点位置设置的盲目性，而且提高了解的计算效率和计算精度。

The generalized pivotal model is drawn by Fiducial inference, by which the generalized p-value is defined directly. Then the hypotheses test problem is solved and this test is proved to be valid at the boundary.

首先用Fiducial方法得到广义枢轴向量，由此直接定义广义p-值，并证明了由此广义p-值所给出的检验在边界上具有频率性质。

For the first time, in [3] the authors discussed the inequalities of B-B and by using them the authors give a proof of the existence and uniqueness of the generalized solution for magnetostatic field problem with zero boundary value. By using the inequalities of B--H in, in[-5,6] the authors give a proof of the existence and uniqueness of the generalized solutions for 3-D magnetostatic field Neumann problem and 2-D magnetic field first boundary value initial problem.

前人已讨论了B—H间的几个基本不式，并由之证明了三维静磁场带零边值问题广义解的存在与唯一性，作者也曾利用给出的B—H间的不式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性。

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。