查询词典 describe

As an application, we also describe the Jordan automorphisms of the algebra of upper triangular matrices over commutative rings, and give a sufficient and necessary condition for a commutative ring being connected.

作为应用，我们还刻划了交换环上的上三角矩阵代数的Jordan自同构，并给出了一个交换环是连通环的充要条件。

It is easy to describe a circle if you have a pair of compasses.

如果你有一副圆规，就很容易画一个圆。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

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

However, we describe the compressed block format

但是，我们设计了下面的压缩块格式，其中

It can describe the interaction between the arc and the gas flow adequately and may avoid the disadvantage of former mathematical models which used cold flow field as initiative computative condition.

它能充分反映气流场和电弧的相互作用，克服了以往的电弧数学模型以冷气流作为初始计算条件的不足。

The last part of this thesis is to describe and standardize the organized information and interface by computer language.

研究的最后是对组织化的信息及接口采用通用的计算机语言进行描述和标准化。

The results showed that the cubic curve, inverted U-shaped EKC and the concave curve could be used to describe the relationship between environmental change and economic development in Henan province.

结果表明：河南省环境状况和经济发展之间呈现三次曲线、倒U形和"凹函数"和3种形式。

Both Jackson and Chalmers, like Levine, rely on conceivability arguments to cast doubt on the hypothesis that there could be analytic definitions, in physical terms, of the expressions we use to describe our phenomenal experience.

和Levine类似，Jackson 和 Chalmers依赖于可设想论证，质疑了假说：我们用来描述现象体验的表达是能够在物理术语中分析定义的。

Secondly, proceed with psychoanalysis, describe such life touching and impact to the thing that literati" s soul produce of common customs with specific time and situation atmosphere of festival, show the literati" s positioning oneself and concern about one s own life value.

其次，从心理分析入手，论述岁时节日这种具有特定时间和情境氛围的世俗生活对文人心灵产生的触动和冲击，展现出文人的自我定位和对自我生命价值的关注。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。