微生物降解对原油中咔唑类化合物的影响

不同微生物降解级别原油的地球化学分析表明，轻度的微生物降解作用，对原油中含氯化合物没有明显的影响；中等降解的原油，随降解程度的增加，唑、甲基唑和C2-唑的浓度呈规律性的减小；严重降解原油，其含氯化合物浓度则显著降低。唑、甲基唑、C2-唑的相对百分含量在非严重降解原油中，并没有明显的变化；而在严重降解原油中，唑和甲基唑明显降低,C2-唑则升高。二甲基唑类，全屏蔽型、半屏蔽型、全裸露型三类异构体的相对百分含量，在非严重降解原油中无明显变化；在严重降解原油中，全屏蔽型和全裸露型增加，而半屏蔽型降低。

Numerical Simulation of Liquid Sloshing——a Review

Liqui dsloshing is associated with various engineering problems．Many studies have been performed since 1950s．A comprehensive review on the study and advance of numerical simulation of liquid sloshing．with emphasis on free surface tracking techniques，has been presented in this paper．At present．several methods can be used to simulate liquid sloshing numerically．However，each method has its own advantages and disadvantages and it should be applied according tO characteristics of practical engineering problems．In the future．further work should be placed on developing more effective techniques for treating very large amplitude sloshing problems，namely，for simulating overturning，breaking and merging of free surface，for predicting transient impact loads pressure of sloshing．

A Framed Temporal Logic Programming Language

We discuss the projection temporal logic (PTL), based on a primitiveprojection operator, prj. A framing technique is also presented, using which a synchronizationoperator, await, is defined within the underlying logic. A framed temporal logic programminglanguage (FTLL) is presented. To illustrate how to use both the language and framing technique, someexamples are given.

一种框架时序逻辑程序设计语言

本文提出了区间时序逻辑的一个变种——投影时序逻辑，给出了它的语法规则和语义定义，并建立了该逻辑系统的模型理论。在该逻辑系统中，我们引入了一个新的投影操作符(prj)。这使得我们不仅能够在不同的时间层次上控制进程的并行操作，而且可以以该操作符为基础定义顺序操作符(chop)和并行操作符(‖)。因此，该逻辑系统比区间时序逻辑具有更强的表达能力。同时，本文也给出了与投影操作相关的一些性质。