进行中的

The main fruits of study are as follows:(1) A complete stratigraphic framework of Middle-Upper Jurassic series is set up through systematic stratigraphic study of Middle-Upper Jurassic by the analysis of lithostratigraphy , biostratigraphy and chronostratigraphy on five groups of Middle-Upper Jurassic series in the studied area.

主要成果表现在以下五个方面：(1)通过对研究区中—上侏罗统五个组进行岩石地层、生物地层和年代地层分析，系统进行中—上侏罗统地层学研究，建立了研究区中—上侏罗统完整的地层格架。

The electronic heating evaporator in the high-side gravity recirculation system in ANSI/ASHRAE 64-2500 standard is replaced by a new type plate evaporator which is more effcient and energy-saving, because the cold water outlet from the evaporator that is used to heat the cryogen can be used once again to cool the air in the air inlet trunk; an air processing unit is designed in the lab design, so to imitate all kinds of weather in each season in every location of China at any time the test is being made; the data selection system can send all the data in the test to the computer at one time, and to reduce the cost of the test some data which is more stable are read manually through traditional meters if this can not sacrifice the precision of the test.

本文的设计中用效率更高的新型板式换热器代替了原ANSFASHRAE 64——2500标准中压缩驱动循环系统中的电加热蒸发器，加热冷剂后得到的低温淡水还可以用于冷却进气通道中的空气，不仅提高了效率，而且更加节能；实验室方案中增加了空气处理系统，可以实现随时对全国各地各季节的空气状态进行模拟，方便实验的进行；采用数据采集系统将数据整体采集到电脑中方便数据处理，而且对于变化频率不高相对较为稳定的数据采取传统仪表进行人工读数，在保证测试结果准确性的前提下降低了成本。

Pressing the UP/DOWN key to select the contents of inner playing format, pressing the LEFT/RIGHT key to select the previous or the next page. And you can select the playing modes such as Normal, Repeat one, Repeat All by pressing the MODE key. When selecting one page, pressing the OK key, then it will start to play. During the playing, pressing MODE key to select 11 different tone such as Jazz, class, dance, heavy, disco, soft , live, hall, flat, rock, pop. Pressing REC key to make A-B recycle playing, pressing OK key to pause.

按上下选择键进行内部播放格式目录选择，按左右选择进行目录下的上一页面和下一页面的选择，在当选择的页面时，可按机体侧面的MODE键选择播放模式(如：顺序播放，单曲循环，全曲循环)三种播放模式，当选择要播放的页面时，按五方向键中的OK键，此时可进入播放状态，在播放过程中，按MODE键可进行11种音效选择(爵士乐，聚会，舞蹈，重低音，狄斯高，柔软声，活泼，大厅，平坦的，摇滚，爆劲jazz class dance heavy disco soft live hall flat rock pop)，操作REC键可进行A~B回放，按方向键中的OK键可暂停播放或播放功能。

Pressing the UP\/DOWN key to select the contents of inner playing , pressing the LEFT\/RIGHT key to select the previous or the next page. And you can select the playing modes such as Normal, Repeat one, Repeat All by pressing the MODE key. When selecting one page, pressing the OK key, then it will start to play. During the playing, pressing MODE key to select 11 different tone such as Jazz, class, dance, he**y, disco, soft , live, hall, flat, rock, pop. Pressing REC key to make A-B recycle playing, pressing OK key to pause.

按上下选择键进行内部播放格式目录选择，按左右选择进行目录下的上一页面和下一页面的选择，在当选择的页面时，可按机体侧面的MODE键选择播放模式(如：顺序播放，单曲循环，全曲循环)三种播放模式，当选择要播放的页面时，按五方向键中的OK键，此时可进入播放状态，在播放过程中，按MODE键可进行11种音效选择(爵士乐，聚会，舞蹈，重低音，狄斯高，柔软声，活泼，大厅，平坦的，摇滚，爆劲jazz class dance he**y disco soft live hall flat rock pop)，操作REC键可进行A~B回放，按方向键中的OK键可暂停播放或播放功能。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The structures of three key active constituents are confirmed, and the structure of one main impurity β-caryophyllene is also confirmed; the wrong assignment of 13C-NMR of β-caryophyllene was firstly rectified.

不仅对榄香烯原料药的3个主要活性成分进行了结构确证，而且对原料药中的1个主要杂质成分β-石竹烯进行了结构确证，并首次对文献中β-石竹烯碳谱数据中有误的归属进行了纠正。

The Chinese people are always hoping that the world is at peace and people of alnations wilcoexist friendlily.

时态在翻译中比不像想象中那么简单，往往是考试中的一个难点。时态有时可以体现一种感情因素，特别是进行时的使用，比如在第一个例子中现在进行时的使用体现出对中华民族的一种褒扬、赞美的口吻，翻译出了这句话的&精、气、神&，最后一个例子中过去进行时时常表示一种&特有的行为&，通常是偏向于negative的口吻，所以我们发现这句话十有八九是美国人自己写的。

The thesis studied the total exocellular proteins, reductant sugar and the pectinase enzyme activity of CXJZ95-198 strain in glucose, mannose, xylan, mannosan and pectin culture media.Compared enzyme activity of pectinase, xylanose and β-mannanose. The secreted proteins in ferment fluid from different culture media were analysed by SDS-PAGE electrophoresis.

本论文对CXJZ95-198菌株在葡萄糖、甘露糖、木聚糖、魔芋粉及果胶五种不同碳源培养基中胞外酶蛋白质总量、还原糖及果胶酶活性的影响进行了研究；对果胶酶、木聚糖酶及β-甘露聚糖酶在甘露糖培养基中的酶活进行了比较；对CXJZ95-198菌株在不同碳源培养基中的发酵液在SDS-PAGE电泳中分泌出的蛋白带作了比较；对CXJZ95-198菌株所产生的胞外酶系中果胶酶进行了分离纯化。

Co-firing characteristics of corn stalk and stone coal in different proportion were investigated by thermal gravimetric analysis. The results showed that corn stalk can improve the ignition and combustion of stone coal. The agglomeration experiments on corn stalk were made in a bench-scale bubbling fluidized bed with quartz sand as bed material and stone coal ash as additive. The results indicate that stone coal ash can inhibit agglomeration of bed material particles at temperature of 900℃. Agglomerate of blends was analyzed by means of scanning electron microscopy, energy-dispersive X-ray, and the bed materials were analyzed by means of X-ray fluorescence. Analysis showed that aluminum element and iron element in stone coal ash can react with alkali compounds and eutectics with low melting point, form a covering layer with high melting point on the surface of biomass and quart sand particles, thus inhibit the forming and transfer of low melting compounds.

以玉米秸秆与石煤按不同比例组成的混合物为研究对象，在TG-DTG热分析仪上进行了燃烧特性分析，结果表明玉米秸秆有利于石煤的着火和稳定燃烧，对石煤有一定的助燃作用；在小型鼓泡流化床实验装置上，以石英砂为床料、石煤灰为添加剂，进行了玉米秸秆成型燃料流化床燃烧的床料黏结实验，结果表明：石煤灰能够在生物质流态化燃烧过程中有效地抑制流化床床料黏结现象的发生；通过对实验中形成的结团进行扫描电子显微镜X射线能谱(scanning electron microscopy/Energy-dispersive X-ray- SEM/EDX)，对床料进行X射线荧光光谱(X-ray fluorescence，XRF)分析，结果表明石煤灰中的Al和Fe能够与生物质灰中的碱金属化合物以及低熔点共熔物发生化学反应生成高熔点物质，并且覆盖在生物质碳颗粒与石英砂颗粒表面形成隔绝层，从而阻止低熔点物质的生成与迁移。

In the second part of the paper, the sport techniques of the flight elements was analysised in-depth theoretically by the movement technical structure:①the giant swing was first analysised in mechanics by applying the Kane's method, the dynamic equation of 5-link multi-body model was established, and the computer simulation software of the giant swing on the high bar was developed.

其次，作为单杠上飞行动作系统性研究的另一主要方面，本论文对飞行动作一般技术结构中的各技术环节进行了深入的理论分析：①着重对飞行动作准备阶段的回环运动技术进行了动力学分析，主要采用了多体力学理论中的Kane方法，建立了5环节人体回环运动的动力学方程，并应用计算机数值仿真技术研制开发了用于回环运动动力学分析的数值仿真软件，进而以动作实例对回环运动进行了数值仿真与误差分析，其所得到的数值仿真结果能够满足对人体回环运动的动力学分析和仿真要求；②对于飞行动作的撒手技术环节，本论文从人体环节相对运动角度，来分析撒手时人体质心的运动以及撒手时角动量参数，并列举了几种飞行动作撒手技术的基本力学指标；③关于飞行动作的空中技术，论文在总结了空翻转体动力学机理的研究成果基础上，对人体空中运动定量化问题进行了一般性描述，并进一步应用刚体动力学理论，着重建立起了描述空翻与转体技术之间定量化的关系，讨论了空翻转体运动的稳定性及其运动模式的转换问题，它对于定量地评定空翻转体技术以及今后对空翻转体动作进行数值仿真都具有理论上和实践上的重要意义；④关于飞行动作再握技术环节，本论文避免了以再握瞬时性的力学参数指标来描述再握技术特征的简单化途径，提出以再握下摆与回环下摆相对比的方法来研究再握技术，并以飞行动作再握技术的具体实例进行了对比分析，表明再握下摆技术相比回环下摆技术有着相当的困难性和复杂性，运动员对再握下摆过程中各环节的相对运动实施有效的控制，是连接高难动作以及顺利流畅地完成成套动作的关键。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。