液压式上击器解卡的震击力计算

为正确描述液压式上击器解卡过程，分析各种因素地上击器解卡效果的影响，在合理假设的基础上，建立液压式上击器解卡动力学模型，将上击器解卡过程分为储能阶段，释放阶段和碰撞阶段3部分，应用弹性波理论与动力学分析相结合的研究方法，对直井的修井作业过程进行了分析与计算，结果表明，震击过程中钻柱上不同位置质点的运动规律不同，对震击解卡所起的作用也不同，钻柱上离卡点越近的质点所引起的震击力越大，上提拉力，上击器安放位置，钻杆尺寸以及落鱼深度等都影响到震击力大小的确定，据此对工程实际中的一些现象进行了解释。     

苏里格庙地区上古生界层序地层学研究

为查明苏里格庙地区天然气储集层的展布规律，根据地质、地震、测进及地球化学资料，将该区上古生界地层划分为6个层序15个体系域：DS1，DS2，DS3层序具二元体系域结构，即由进体系域和高位体系域组成；DS4，DS5，DS6层序具有三元体系域结构，包括低位体系域、湖进体系域和高位体系域。层序发育特征反映了研究区从晚石炭世－－早二叠世中期的陆表海环境逐渐向早二叠世晚期－－晚二叠世的河流－－三角洲－－湖泊环境的演化过程。其中：DS1，DS2，DS3层序中高位体系域的炭质泥岩、页岩及煤层是良好的烃源岩；DS4，DS5层序中低位体系域的三角洲和河道砂体是物性良好的储层；DS5和DS6层序中高位体系域及湖进体系域的泥岩是有利的盖层，它们在垂向上构成了有利的生储盖组合。     

高校选修课网上选课系统的设计与实现

以盐城工学院“院级选修课网上选课系统”的设计与实现为例，介绍了基于Web的三层C／S（Client/Server)结构应用的工作原理及特点，详细阐述了利用ASP（Active Server Pages)和数据库技术相结合在开发基于Web的数据库应用系统中的具体实现技术。     

一类有限群的自同构群阶的上确界

得到有限群的所有Sylow子群均循环时，其自同构群阶的上确界，推广了相关文献的结果。     

实数连续性等价命题的证明及应用

本文以闭区间套定理为基础,证明实数连续性的其他等价命题,并给出它们的应用及有关的评议.     

与顶点C-划分有关的上可嵌入图类

图的顶点C-划分是指：G的顶点划分{V1，V2…，Vk}，使得每个G[Vi]为多重完全图(1≤i≤k)。结合图的顶点C-划分的条件，确定了一类点的度在modulo4下值为0或3的上可嵌入图类，综合已有结果，较完整地刻画了这类图的上可嵌入情况。     

数学建模在土木工程土方调配中的应用

土木工程大型土方工程施工时,可以借助运筹学中的线性规划知识建立数学模型,经过若干运算步骤后最终确定运距最短的土方调配最优方案用以指导施工,以达到降低成本、取得较好经济效益的目的.     

一类矩阵环的Armendariz性质

设R是reduced环,记Un(R)为R上的n×n上三角矩阵环,则Un(R)的子环Wn是Armendariz环.     

贵州龙脊椎动物群研究新进展

贵州龙动物群是一个分布范围广泛、时代延续较长、内容丰富的三叠纪海生脊椎动物群.对它的研究可以完善人们对海生脊椎动物各门类的起源、分布、系统发育和古生物地理的认识.近期的研究表明,贵州龙动物群中包括目前世界上所发现的所有三叠纪海生爬行类的主要类群--鳍龙类、鱼龙类、海龙类和原龙类.它由早三叠世晚期至晚三叠世早期的6个脊椎动物组合组成.它们是嘉陵江组的湖北鳄-贵州龙-裂齿鱼组合、关岭组一段的清镇龙-三桥龙组合、关岭组二段的原龙类-鱼龙类鱼类组合、杨柳井组的鱼龙类和一位置未定的爬行类组合、法郎组竹杆坡段的贵州龙-幻龙-中华真颚鱼组合和法郎组瓦窑段的安顺龙-黔鱼龙-中国豆齿龙组合.贵州龙动物群的成员分别与同时代西特提斯区及东太平洋区动物群的成员关系密切.     

四值非链格值命题逻辑系统LP4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果，给出了LP4(X)上的归结原理，并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。