充分研究

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

Current researches show little attention to this structure and thus this paper is devoted to an overall understanding of this structure. The content of this thesis focuses on the following three aspects:First, when restricting the potential semantic range of noun phrases with its own proposition, the modifying clauses in English and Chinese share the same semantic features. That is to say, the modified noun phrase and the predicate of the clause depend on each other for existence. This semantic restrictiveness is obligatory for the clause and the noun phrase it modifies in both languages. Second, though sharing the same potential conceptual meaning, the combination of a clause and its modified noun phrase shows different syntactic position in surface structure as well as the inner structure of the clause. Based on a full description of syntactic characteristics of this kind of clause, the present thesis points out the differences and similarities existing in surface structure between English and Chinese. Finally, under the guidance of Chomskys Minimalist Program(1995), the thesis analyses the derivational processes of this structure in both languages.

现有的对比研究对于该结构的探讨，不论是在描述和解释上都是不完备的，为了深化这一句法结构的认识，本文从如下几个方面对英汉分句作定语修饰名词的现象进行了对比：首先，分句用自身的命题限制中心名词的语义范围时，在两种语言中具有相同的语义特征，即中心名词与分句内部的谓词之间存在依存关系，分句修饰名词必然受到语义的限制，是英汉两种语言必须共同遵守的准则；其次，英汉两种语言中表达相同概念意义的这一句法单位与其修饰的名词结合后，在表层结构中体现出不同的位置关系，且分句内部的句法结构也各有特点，本文在充分对其句法特征描述的基础上，指出二者在表层形式上的差异和共性；最后，尝试在乔姆斯基的最简方案(1995)框架内，演示英汉两种语言。

Basic equations of seawater intrusion, mathematics models and numerical simulation methods are figured out with the two theories fully studied.

在对咸淡水界面理论有充分了解后，对海水入侵数值模拟研究涉及的基本方程、数学模型和数值方法做了总结。

This thesis focus on GPS application in magnetic suspension engineering:① the formulation of oblique cylindrical projection is worked out according to characteristics of long distance precise engineering and map projection theory. The author has developed an application to accomplish coordinate conversion from generally used coordinate systems to oblique Maglev Coordinates System.② considering not only project peculiarities but also position of control points, selection of initial points, connection type, selection of repeat baseline and ground observed quantities, GPS network is designed on electronic map and we may extract GPS network information by program developed using Visual Basic 6.0 while the results are stored in control point file and baseline vector file.③estimate accuracy of various GPS networks designed on electronic map by method of 2D restriction adjustment. GPS network simulation design and accuracy estimate come true.④Predominate the rules how connection type , repeat baseline and precise baseline of range finder influence GPS network precision through comparing accuracy of various GPS network. Thereby, the solution how to establish GPS network in long distance precise engineering is figured out.

本论文主要研究GPS技术在磁悬浮工程中的应用：①根据长距离精密工程的特点，从地图投影原理出发，推导出斜轴圆柱投影的应用公式，并编制计算软件，实现从常用坐标系统向斜轴磁悬浮坐标系统的转换计算；②在AutoCAD电子地图上，根据工程的需要，并充分考虑控制点的点位、起算点的选择、连接方式、重复基线的选择和地面观测量的选择等因素，在电子地图上进行GPS网的设计，根据Visual Basic 6.0语言编程，提取出GPS网资料，保存在控制点文件和基线向量文件中；③对在电子地图生成的各种类型的GPS网进行二维约束平差的精度估算，实现了GPS网的模拟设计与精度估算；④通过对各种控制网的精度比较，掌握连接方式、重复基线、精密测距仪基线对GPS网精度影响的规律，解决了长距离精密工程GPS网的建立方法。

In order to find a method for determing transportation batch and tank capacity of short-small product pipeline,the Anqing-Hefei product pipeline is taken as an example,which has such characteristics as a short route,a small diameter,no offtake stations,no new tank and little contaminated product loss.

为了研究短小成品油管道输送批次和罐容的确定方法，以安庆-合肥成品油管道为例，根据该工程线路短、管径小、不考虑分输、不需要新建储罐、混油量少等特点，经过综合比较确定管道输送的最大批次数，再综合分析首末站的实际情况，以充分利用首末站现有储罐、方便运行管理、减少混油损失为原则，来确定合适的批次和首末站的罐容。

Reducing the quality fluctuation of PVC resin produced by calcium carbide method among each production batch ;2. In order to find a method for determing transportation batch and tank capacity of short-small product pipeline,the Anqing-Hefei product pipeline is taken as an example,which has such characteristics as a short route,a small diameter,no offtake stations,no new tank and little contaminated product loss.

为了研究短小成品油管道输送批次和罐容的确定方法，以安庆-合肥成品油管道为例，根据该工程线路短、管径小、不考虑分输、不需要新建储罐、混油量少等特点，经过综合比较确定管道输送的最大批次数，再综合分析首末站的实际情况，以充分利用首末站现有储罐、方便运行管理、减少混油损失为原则，来确定合适的批次和首末站的罐容。

At present, although the iodine as a catalyst, oleum as the solvent liquid phase partial oxidation of methane research is not adequate, but the reaction has higher yield and the conversion rate of the industrialized good prospects to enlarge production.

目前，虽然以碘为催化剂、发烟硫酸为溶剂的甲烷液相部分氧化反应的研究尚不充分，但是该反应具有较高的转化率和收率，工业化放大生产的前景良好。

Finally, an example is given to illustrate the influence of the impulse on population dynamics by numerical simulation.

第二节利用k-集压缩理论研究脉冲时滞Logistic模型正周期解的存在性，给出正周期解存在的充分条件。

It is worthy recognition of your outstanding work and immense contribution to scientific research in optical fibre.

这是对您杰出的工作以及对光纤科学研究作出巨大贡献的充分肯定。

Some sufficient conditions for oscillation of neutral differential equation with positive and negative coefficients are obtained.

利用数学分析和不动点原理，研究了具有正负系数的中立型时滞微分方程的振动性，得到了方程所有解振动的充分条件。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。