查询词典 hereditarily indecomposable continuum

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

A compromise between the implicit and explicit models, known as discrete-continuum, cluster-continuum, semicontinuum, orsupermolecule-continuum model, is to include several solvent molecules around the solute into the QM part, but the rest bulk solvent is treated with the continuum theory.

结果表明：(1)，离散—连续组合模型既在从头算水平考虑了溶质分子和第一溶剂化层中溶剂分子间的短程作用，又包含了溶剂效应的长程静电作用；既包括了量子力学的精确性，又利用了连续场的高效性。

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上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

The anlysis of UPGMA cluster among the five natural populations showed that: except the population of WY, the other populations have similar hereditarily,and the populations of TM,DH have the most similar hereditarily. 4 It suggested that the protected of natural populations should be combined with in situ and transferred because of a certain extent genetic variation among the natural populations.

通过对5个居群的UPGMA聚类分析显示：除了的亲缘关系较远之外，其他银杏居群显示出较近的亲缘关系，其中以和的亲缘关系最近(4)由于银杏不同居群间出现了相当程度的遗传分化，建议就地保护和迁地保护结合进行。

Tumorous stem yield was only significantly hereditarily positively correlated with vegetative duration, developmental duration, ratio of stem and leaf, horizontal length and whole plant fresh weight, negatively fur percentage and tumorous stem index. There were close relation and harmonies among the quantities characters that were significantly hereditarily correlated with tumorous stem yield. High yield breeding combining with strong ecological adaptability and good quality should be largely based on later maturity, tumorous stem diameter, whole plant weight and higher ratio of stem and leaf.

瘤茎产量与营养生长期、瘤茎膨大期、瘤茎横径、茎/叶、株鲜重呈极显著遗传正相关，与菜形指数、菜皮百分率呈极显著遗传负相关，与其余性状相关均未达显著水平；与瘤茎产量显著相关的性状间关系密切，有很好的协同性，分析提出茎瘤芥育种选择熟性晚、瘤茎横径大、茎/叶高和植株个体较大的品种，可实现品种产量高、生态适应性强和瘤茎品质较佳等三者的协调统一。

The discrete element method and the finite element method have their own advantages and weaknesses. Basically, the DEM was developed for predicting the failure problems accompanying with the transition from continuum to non-continuum media. However, it is not accurate to calculate the problem of continuum media. The FEM may forecast the failure area of the material reasonably, while it is hard to calculate the failure process in brittle media. Therefore it becomes a good choice to combine the two methods to construct a hybrid model.

离散元法和有限元法等数值计算方法各有其优势，同时也都存在不足之处：离散元法适于处理由连续介质向非连续介质转化的破坏问题，但对于连续体计算结果精度不高；有限元法适于预测材料破坏的区域，但难以直接用于计算脆性材料破坏过程，因此将两种方法结合可以形成一种较好的混合模型。

The combined discrete-continuum model overcomes the lack and annihilates the error in continuum methods. In addition, the computation of the short-range solute-solvent interaction also causes errors. Therefore a high-level quantum calculation is necessary.IV(4) This model can also provide insight into many fundamental details where cluster model and continuum model fail to provide unique pictures.

4，离散一连续组合模型的价值还在于其把溶剂效应分解为短程作用和长程作用，对于一些分子簇模型以及传统连续介质模型不能解释的现象给出更清晰的图像。

Numerical methods based on the continuum hypothesis and molecule kinetic theory are performed to investigate the gaseous flow in the microchannels. The validity of different boundary conditions based on continuum model is examined by DSMC method under different Knudsen number. It is found that the impact of rarefied and compressibility effects are different.

针对微槽道中气体流动的特征，分别采用连续介质模型和分子运动模型简要分析了连续介质模型中不同滑移边界条件的适用范围，并总结出稀薄效应对槽道中压力的的影响和可压缩效应的作用趋势是相反的。

Nonstandard analysis ; nlargements of number systems ; transfer principle ; external producing principle ; comparative principle ; potential numbers ; measure ; continuum ; discontinuum ; cardinal number ; continuum hypothesis ; Hilbert's first problem Ner

非标准分析；数系的扩大；转移原则；外的生成原则；比较原则；潜在数；测度；连续统；离散统；基数；连续统假设； Hilbert第一问题；新的数学实体；不可分的连续体； Zeno的总格言； Aristotle的猜想；庄周；无厚不可积；万世不竭；测度论的基础

The management problem of rural-urban continuum eventually was the result of urbanization. Urbanization develops faster, there are more problems in the rural-urban continuum.

城乡结合部管理问题归根结底是城市化的产物，城市化发展越快，其问题也就越多。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。