查询词典 indecomposable

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

For any dimension vector , there exist the generic decomposition, and a dense and closed subset V of system space R〓 corresponding to this decomposition such that, for each dynamical system M∈V, every indecomposable summand of M thus M is clear.

对任意的维数向量，存在一般分解，以及系统空间Rm，n，p中稠密的开子集V，并且我们对V中每个系统的不可分解直和项知道得很清楚，进而对V中每个系统也非常清楚。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

This is an indecomposable substance.

这是不能分解的状之。

Then, we determine the simple objects and indecomposable projective objects in Γ~L completely.

我们完全确定了在范畴Γ~￡中的单对象和不可分解投射对象。

This paper studies the group invariant np, the number of G-orbits of Sylow intersections, which plays an important role in the research of block theory and indecomposable modules of finite groups.

在有限群的研究中，Sylow p-子群无疑起到了非常重要的作用；同样，Sylow p-子群交在有限群不可分解模和块论研究当中的作用也是不容忽视的。

Because it helps in the intestinal absorption of moisture, so that high water content to digest food, and, wheat or rice bran indecomposable fibers, can increase stool volume, soft, easily eliminated from the body.

因为它在肠道有助于吸收水分，使经过消化的食物含水量高，并且，麦或米糠中不能分解的纤维，可使大便体积增大、变软，更易排出体外。

We use methods of the representation theory to prove that generalized Taft algebras are selfinjective Nakayama algebras, and provide their Gabriel quivers and relations, and determine all indecomposable representations.

我们利用表示论的方法，证明这类代数是自内射的Nakayama代数，给出其Garbriel箭图以及关系，并确定了它的所有不可分解表示。

Similar to the case of order 3, the Jacobason radical of Γ_n, the simple objects and indecomposable projective objects of Γ_n~L are determined,we also give a estimate of the global dimension of Γ_n.

类似于三级三角矩阵环的情形，我们也确定了Γ_n的Jacobson根，Γ_n~￡的单对象和不可分解投射对象以及Γ_n的整体维数的估计等。

The monads are "substantial forms of being" with the following properties: they are eternal, indecomposable, individual, subject to their own laws, un-interacting, and each reflecting the entire universe in a pre-established harmony (a historically important example of panpsychism).

单子是"存在的实体形式"，它们有如下性质：他们是永恒的、不可分的、分立的、服从自身规律的、不相互作用的，每个单子都反映了先定和谐的整个宇宙。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。