查询词典 shorter form

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 papers explore the correlation between the thickness of blade、cuticula、epidermis cells、fence form、sponge form,the ratio of the fence form and sponge form,the layer of the fence form,the length of cell and the yield,suitable system,resistance of the blade anatomical structure by paraffin section method and observing in optical microscope using tea varieties in Guangxi,such as the No.1 of Guilv, and provide a scientific basis for tea scientific research and production.

本文主要对近年来广西选育成的桂绿1号等新品种品系通过石蜡切片法，并采用光学显微镜观察叶片解剖结构特征，探索叶片解剖结构中的叶片、角质层、表皮细胞、栅栏组织、海绵组织等厚度及栅栏组织与海绵组织厚度的比值、栅栏组织层数、细胞长度等与产量、适制性、抗逆性之间的相关性，为茶叶科研、生产利用提供科学依据。

Results All of 4 form including vacuolar form, granular form, ameba form and cyst form were found in each culture medium, separately, and main reproductive mode is binary fission, a few of gemmation was exist.

结果在两种培养基中均可见到人芽囊原虫的四种主要形态：空泡型、颗粒型、阿米巴型和包囊型，其繁殖方式以二分裂为主，可见少量出芽生殖。

In this paper, searching technology of product information based on knowledge was researched. On the aspect of cognition, we researched the relation between user\'s cognition and designer\'s cognition, explored the knowledge flow in the process of product development, set up a matching model between user\'s knowledge and designer\'s knowledge, brought forward a modeling method based on users\' cognition, and set up a measurable model of product feature; coded and decoded product form element, set up a computer aided product form design system and image evaluating system based on the result of measurement. Accordingly, the product style and product image were systematically discussed, the recognition space of product style and image was constructed, the factors that affect product style and image were put forwards and analyzed, and the relation between product image and form elements was tested by experiments. Furthermore, the product automatic recognition technologies were discussed.And then, with the media of concept model and the kernel of parameter technology, a mathematic model that describing product layout design by constraints and rules was presented. Furthermore, a product design integration system based on imagery thinking including product fonii base system based on imagery thinking, product form design system based on imagery thinking and product form intelligent design system based on space layout were set up, which tested the system and provided a new way for product innovative design.

本文以产品特征描述目标对象——产品，研究一种基于知识的产品信息检索技术，在对产品的认知方面，研究了用户认知和设计师认知之间的关系，研究了产品开发过程中的知识流传递过程，建立了用户知识和设计知识之间的匹配模型，提出了一种基于用户知识的产品建模方法，它不但提取了产品的特征，还建立了产品特征量化模型，从而实现了产品知识的量化描述；对产品造型元素进行分解和编码，利用实验量化结果构造计算机辅助产品形状设计系统和心象评价系统；使用量表分析造型元素的心象尺度，构造输入、输出系统，建立了产品设计知识库咨询系统，可以方便用户和设计师来导入或查询产品设计方案；实现了对产品造型心象的分类知识库系统，便于设计师存储或查询，辅助设计师进行产品创新设计；通过实验量化了产品造型参数和产品心象参数之间的关系，并在此基础上建立了基于心象的产品形状设计系统，为产品空间布局方案智能生成系统奠定基础；在基于知识库的基础上建立了产品空间布局方案智能生成系统，通过更改概念产品造型参数，实现了产品设计方案的智能生成，使系列化的设计工作变得十分方便；将产品的心象运用到实际设计过程中，能够引导流行趋势，创造出产品无形的设计价值。

The part of a historical period is single, be born on stem tuber, petiole grows 8 ～ 25cm, constant purple or green have violet spot, in mid and the following give birth to one bead bud; Form of form of egg of shape of blade long circle, egg of long triangle shape or form of heart shape halberd, grow 20cm of 5 ～, wide 3 ～ 8cm; Tip is long gradually pointed or submit end form sometimes, base form of ministry deep heart, often be above sinuosity have 1 bead shoot, above green, often take below lilac, whole reason, side arteries and veins feather shape, combination is in in close brim.

叶单一，生于块茎上，叶柄长8～25cm，常紫色或绿色具紫斑，在中部以下生一珠芽；叶片长圆状卵形。长三角状卵形或心状戟形，长5 ～20cm，宽3～8cm；先端长渐尖或有时呈尾状，基部深心形，常在弯曲处上面有1珠芽，上面绿色，下面常带淡紫色，全缘，侧脉羽状，在近边缘处联合。

The form and transmutation of inhabitation form can be simulated as a code coding/decoding process. In this way, the study on the symbolism and vicissitude of inhabitaticn form constructs microcosmical viewpoint, and the discussion in macrocosmic placing the form and transmutation of inhabitation form into the background of culture vicissitude is also carried out.

居住形态的形成和嬗变可以看作为一个符码的编码/译码过程，这样，对居住形态象征意义及其变迁的研究构成了一个微观维度的视角；同时，本文亦将居住形态的形成与嬗变置入文化变迁的大背景中，从宏观维度加以讨论。

Umbrella form inflorescence normally 2~4 bunch gives birth to short branch of Yu Xie armpit, short branch grows 1~2 millimeter; Inflorescence total stalk grows 5~10 millimeter, by short fluff; Bud piece 4, wide egg form, have 5~6 arteries and veins, outside a few without wool, inside face by white short fluff; Inflorescence of each umbrella form has beautiful 4~6, the leaf is opened or open at the same time with the leaf first; Peduncular grow about 1.5 millimeter, close by white fluff; Perianth piece 6, elliptic, two sides by short fluff; In male flower can Yo is staminal 9, filament has grey yellow fluff, form of heart of shape of aegis of body of gland of ministry of the 3rd round of stamen radical, do not have a handle nearly, degrade pistil is not had; Stamen degrades in female flower 9, staff state, by grey yellow fluff, ovarian crock form, style is dumpy, post head shape, shallow crack.

伞形花序通常2~4个簇生于叶腋短枝上，短枝长1~2毫米；花序总梗长5~10毫米，被短柔毛；苞片4，宽卵形，有5~6条脉，外面几无毛，内面被白色短柔毛；每一伞形花序有花4~6朵，先叶开放或与叶同时开放；花梗长约1.5毫米，密被白色柔毛；花被片6，椭圆形，两面被短柔毛；雄花中能育雄蕊9，花丝有灰黄色柔毛，第三轮雄蕊基部腺体盾状心形，近无柄，退化雌蕊无；雌花中退化雄蕊9，棍棒状，被灰黄色柔毛，子房壶形，花柱粗短，柱头头状，具浅裂。

The concentrations of soil HAC-soluble form was slightly higher when the soil was combined with raw manure compared to with manure compost. The changing percentage of the Cu forms of the total Cu were, HAC-soluble form, reducible form and oxidisable form were increased, and residual form was decreased, and the two soil expressed the same trend.

堆肥猪粪处理的醋酸提取态铜含量显著高于原始猪粪处理；各形态Cu占总Cu百分比的变化情况为，醋酸提取态、可还原态和可氧化态增加，残渣态减少，菜园土和矿山土表现了相同的趋势。

LED stars light has five cape star polygon, bullet form, snowflake form, strawberry a form, diamond form, pine tree form etc.

LED 星星灯配装功能控制器，可以感觉到无比非凡的魅力，让其体现真星闪烁的生动效果。

You will understand what I mean by COMPLEXITYby noting these three aspects. Firstly, it refers tothe complexity in form. When CAD becameinvolved in the design process Architect's wereenabled with a higher level of control over evermore complex geometry. Consequently it canand will generate infinite possibilities in the futurefor form finding, which has shifted in emphasis asa more logical design process based onsystematic theories away from intuitive designtechniques. Secondly, it illustrates our growingsocial complexity. As technologies allow peopleto send and receive more information than before,in ever shorter time frames, the function ofarchitecture and urban space will increasinglybecoming ambiguous. Emergent, adaptive andtransformable spaces are replacing limitedfunction spaces gradually. Even a single spacewould afford more potential functions. Lastly, Iam referring to the complexity of collective design team organizations working on different projects.The fact is that our social work division is moreintricate and variegated today; Architects mustby necessity negotiate with governmentalauthorities, material suppliers, engineeringconsultants, quantity surveyor, contractors,planning authorities, landscape architects, interiordesigners, acoustical engineers, et cetera besidesjust our clients. Meanwhile, projects and designteams tend now to be a globally dispersednetwork. All of these things are challenging theconventional architectural practice, it'sorganization, and administration significantly.

Complex可以从3个层面上理解：首先是指设计形式上的复杂性，即引入计算机数字化技术后，建筑师可以设计和控制更高级、更复杂的几何形体，而不是简单地发挥计算机复制、粘贴的画图优势，让计算机真正参与到设计过程中，带来更多设计形式上的可能性（需要指出的是，这种形式上的演进已经从开始的直觉行为转成由系统理论指导的理性应用）；第二，是指与社会学相关的复杂性，科技让人们更多更快地接受和传递信息，建筑和城市空间的功能性变得越来越模糊，无法预知，随时间调整自身、不断变化的空间正在不自觉地逐步取代原有功能确定的传统空间，或者说一个空间要承受比以前晰释复杂性ARTICULATING COMPLEXITY多得多的功能要求；最后，是指在一个建筑方案内团队组织的复杂性，社会分工越来越详尽，建筑师要面对的除了甲方和使用者，还有政府权力部门、材料供应商、工程技术部门、合同签约顾问、城市规划部门、景观设计师、室内设计师、音响设计师等等相关的合作单位，同时，在项目和设计职员的地域分布上更趋向全球化，这些都带给建筑事务所内部管理和组织上前所未有的复杂性。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。