查询词典 connective

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

This is the web page of Connective Tissue Research.

这是结缔组织研究的网页。

It is also the essential structural component of all connective tissue.

它也是体内关节及皮肤细胞的重要组成部分。

This is caused by the fat and connective tissue that have been diminished.

这是所造成的脂肪和结缔组织已减少。

It is the major component of skeletal and connective tissue and provides structural support.

它的主要组成部分骨骼和结缔组织，并提供结构性的支持。

There are more invasive treatments for the destruction of the fat cells and connective tissue.

有更多的侵入性治疗，为销毁的脂肪细胞和结缔组织。

Objective: To study the clinical features and treatments of mixed connective tissue disease.

目的：探讨混合性结缔组织病的临床特点及治疗方法。

For me, following one soccer team has been the connective tissue of my life.

对我来说，迷上一个足球队始终是我生命的结缔组织。

Objective To explore the effect of connective tissue growth factor in the pathogenesis of pathological scar.

目的 探讨结缔组织生长因子在病理性瘢痕形成中的作用。

Various combinations of these elements make up the different kinds of connective tissue.

不同的成分组合会形成不同的结缔组织。

" I' d like to get some rough idea about music in the baroque ear, please."

请简要介绍一下巴罗克时期的音乐，好吗？

The results showed that the peak latency and pattern of SEPs elicited by electrical needling in LI-l1 and MP were similar. The amplitude of SEPs elicited by electrical needling in LI-l1 was higher than that of MP. There was no obvious SEPs generation when MM was electrical needling.

结果显示，电针刺激曲池穴和其邻近桡侧伸腕长肌运动点诱发性脑电波的波形和波峰时间是类似的，只是穴位的诱发性脑电波波幅较大，而电针刺激非穴位点并没有明显的诱发性脑电位。