合式的

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

The fuzzy reasoning method based on Petri Nets is usually taking the minimal value of each truth-value of fuzzy conjunctive proposition, while the truth-value of fuzzy disjunctive proposition takes the maximal value.

FRPN的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

In chapter 3, on basis of the first order shear deformation theory, a series of composite laminated beam elements are developed, which are plied transversely, longitudinally and/or assembled both, respectively. A geometric nonlinear element stiffness matrix for the transversely plied laminated beam is presented.

第三章首先介绍了目前已有的在小变形下的横向层合梁、纵向层合梁和组合层合梁理论，并推导了其相应的有限元列式，然后又基于Von-Karman大挠度理论的几何关系，推导了大变形下横向层合梁的单元切线刚度阵。

In Weiheshi remains of the mainstream market, investment in real estate Ching Chau Hoi used in the design point of the group with determinant of the pattern, thus avoiding the area due to internal Wai are closed, Air not easy, sight vulnerable to interference, obstruction of the state.

在围合式组团布局仍是市场主流的情况下，招商地产在晴海洲的设计中采用了点式与行列式结合的组团布局方式，从而避免因围合导致的小区内部封闭、空气不流畅、视线易受干扰、遮挡的弊端。

In this catalyst system, the Knoevenagel condensations of a series of aromatic aldehydes with malononitrile or ethyl cyanoacetate were programmed and a mechanism was postulated as well. When aromatic aldehydes reacted with ethyl cyanoacetate, the corresponding alkenes proved to be E-isomers by 1H NMR.

在该反应体系中考察了一系列芳香醛和丙二氰、氰基乙酸乙酯的缩合反应，并推测了Knoevenagel缩合反应的机理，芳香醛与氰基乙酸乙酯缩合产物经1H NMR检测为E式烯烃。

Synchronous parallel-type refers to the oil-gas system formed a relatively independent oil-gas system in the same stratigraphic range. Heterochronous polymeric-type refers to the stratigraphic and regional range overlaid in oil-gas systems which formed in different period. Synchronous cross-type refers to a mode of regional ranges crossed of two oil-gas systems.

同期并列式指含油气系统在同一地层范围形成彼此独立的含油气系统；异期叠合式是指不同时期形成的含油气系统地层范围，地区范围重叠的组合方式；同期交叉式是指两个含油气系统地区范围交叉的组合方式。

After an enumeration of the existing problems specific to a labyrinth seal the necessity of employing contact and running in type seals was expounded along with an exploratory study of the lateral seal for a light type chain grate stoker.

以常用的鳞片式链条炉排为例，阐述了炉排侧密封的重要性，揭示了迷宫式密封存在的问题和采用接触式密封和饱合式密封的必要性。

The types of gate commonly used are: sprue gate, edge gate, overlap gate, fan gate, diaphragm gate, ring gate, film gate, pin gate, subsurface gate and winkle gate.

常用的浇口类型是：主流道型浇口，边缘浇口，叠合式浇口，扇形浇口，薄膜浇口，环形浇口，膜状浇口，点浇口，潜伏式浇口和曲线潜伏式浇口。

In semantic frames, semantic relations of each component are expressed by semantic roles. Semantic rules are the abstract of semantic knowledge and are composed of well-formed semantic links and generated chunk templets.

合式语义链反映了语义约束知识，即什么样的语义单位可以组合在一起；生成块模板表示了由合式语义链组合在一起的语义单位可生成的新成分的语义结构，其中语义角色刻画了结构中各成分之间的语义关系。

Subsequently, production and technology has been improved, iron cross replaced the production of three combined pressure of the two silver boxes will be the same core in the middle way through the forging together.

随后，生产方式和工艺得到了改进，铁十字改为3片压合式生产，即两个相同的银框将铁心夹在中间通过锻压方式合在一起。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。