格构

Through constructing a counterexample it is showed that there is a non distributive complete lattice in which a component of some element with finite width is not finite wide....

通过构造反例证明了在非分配的完备格中，有限宽元素的成分不必是有限宽的；还证明了完备格间的同构映射能保持颗粒表示性质和颗粒性质，通过反例证明了同构映射的条件不能减弱，从而解决了以上两上问题。

From his point of view, the meaning of a word is subject to its own context. To free the word from its context is regarded as a countermovement of the process of the classic 'construction', and he names it 'deconstruction'. The 'deconstruction' provides a broad yet inane space for the individual word to acquire its intended meaning. Just as Hegel said when the void of a word inclines to infinity, its intended meaning approaches nothingness.

德里达认为，任何信息的寓意都从属于其自身的上下文关系，将信息从上下文关系中解放出来被看作是经典"结构"过程的一种反作用，称之为"解构"，"解构"为信息个体的自身寓意权力提供了一个辽阔但却是空泛的空间，正如黑格尔所说的，信息的空泛程度趋向于无限时，实际寓意趋向于零。

The present research draws on the research results both in China and abroad, and takes Pinker"s theory on English dative alternation as its frame work, with the help of Goldberg"s Construction Grammar to investigate the L2 acquisition of English dative alternation by Chinese EFL learners.

本学位论文在借鉴国内外有关与格转换研究成果的基础上，以Pinker有关与格转换的理论为依据，结合Goldberg的构式语法，考察了英语作为外语的中国学习者对英语与格转换的二语习得。

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

In this section, we also give a conjecture: A finite lattice is isomorphic to the lattice of flats of a finite poset matroid if and only if it is a semi-modular lattice.

本节的一个中心问题是提出了一个猜想：一个有限格L同构于一个有限偏序集拟阵的闭集所构成的格当且仅当L是一个半模格。

L-arabinose isomerase can isomerize L-arabinose and D-galactose into L-ribulose and D-tagatose, respectively, which is currently the most effective biological catalyst for D-tagatose production.

L-阿拉伯糖异构酶能分别催化L-阿拉伯糖和D-半乳糖异构为L-核酮糖和D-塔格糖，它是目前生物法生产新型功能性因子D-塔格糖最为有效的酶。

By means of molecular designing, a series of sodium branched-alkyl benzene sulfonates weresynthesized through seven process, involving Frieded-Crafts reaction, Grignard reaction, sulfonationand neutralization. Those isomers have similar structure, carbons of same quantity, but the position ofalkylaryl dissimilarity. Liner fat acid, metaxylene and halogenated hydrocarbon of different carbonnumber were used as the starting materials. Optimum processing condition was confirmed consideringinfluence of a series of reaction factors such as feed proportioning, quantity of catalysts, quantitysolvent, reaction time, temperature and pressure. Eight kinds of isomers of sodium hexadecylxylolsulfonates were finally synthesized, and characterized by FT-IR.

本文通过分子设计，以不同碳数直链脂肪酸、间二甲苯以及不同碳数的卤代烷为原料，经酰基化、格氏反应、加氢还原、磺化及中和等反应，合成了结构相似、烷烃链碳数一定、芳基在烷烃链不同位置的烷基芳基磺酸盐同分异构体；并考察了原料配比、催化剂用量、反应时间、反应温度、溶剂用量、反应压力等一系列因素对各反应的影响，进而确定最佳工艺条件，最终合成出十六烷基二甲苯磺酸钠的八种同分异构体，利用 FT-IR 对产物结构进行了分析。

Moreover, we proved a necessary and sufficient condition showing the relationship between the isomorphisms of semilattices and the isomorphisms of the lattices of the ideals of the semilattices.

此外，我们建立了一个充分必要条件。这一充分必要条件反映了两个半格之间的同构与这两个半格的理想格之间的关系。

Based on the horizontal and vertical combination in formal contexts, this paper defines the independent or consistent contexts and lattices in attribute field; and also defines the horizontal addition operation between contexts or concepts and the horizontal union operation between concept lattices. In addition, we prove that the concept lattice of subcontexts horizontally combined is isomorphic to the horizontal union of sublattices of these subcontexts.

本文首先从形式背景的纵向、横向合并出发，定义了内涵独立和内涵一致的形式背景和概念格；还定义了内涵一致的形式背景、概念的横向加运算和概念格的横向并运算，并证明了横向合并的子形式背景的概念格和子背景所对应的子概念格的横向并是同构的。

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。