关于正整数的k次根的整部

对于给定的自然数m，令口α（m)为m的是的次根的整部。即：α(m)=[m^1/k]。研究了α(m)的渐近性质，并给出了一个有趣的渐近公式。     

基于高速摄像的ESPI全场动态特性测量

采用高速摄像与ESPI技术相结合,将运动中的被测物位移随时间变化的状态以序列图像的形式实时记录,并运用图像处理技术,成功地实现了ESPI动态测量。测量了悬臂梁的自由振动过程,获得了悬臂梁的振动周期、振动频率和阻尼系数等动态特性,实验结果与理论计算值相吻合。     

陆相盆地隐蔽油气藏勘探方法--以金湖凹陷戴南组为例

根据国内外研究现状和实际工作总结，提出陆相盆地隐蔽油气藏勘探必须在层序地层学综合研究的框架下统一运用各种相关的地质与地震技术，认为隐蔽油气藏的目标预测和评价可分为工区选择、目标层段确定、圈闭预测及含油气性评价等步骤，并讨论了各阶段的地质-地震综合研究方法，分析了该方法在金湖凹陷戴南组隐蔽油气藏勘探中的应用。     

NETWORK6000在脱离子水处理过程中的应用

脱离子水处理单元是一种顺序控制单元，对时序控制有严格的要求。文中介绍了一种新型的控制系统NETWORK6000在PTA装置脱离子水单元中的应用状况，为中小规模的装置应用提供了一种较典型的思路和借鉴，最后对系统的应用状况进行了评价。     

泌阳凹陷层序地层样式和油气评价

在建立泌阳凹陷层序序列的基础上，系统研究了核桃园组的旋回结构。考虑箕状盆地结构、构造活动特征以及沉积物供源方式。分别论述了盆地陡坡、深凹和缓坡的层序地层样式，指出不同地形区的层序地层叠置样式主控因素是有差异的。综合层序地层学和石油地质分析结果，提出了岩性油气藏勘探的有利区带。     

凸轮逆序测量方法

目前各杂志所发表的关于凸轮测量的文章，所讨论的均是凸轮的顺序测量方法，有关凸轮的逆序测量(反求工程)方法，尚未见于文字。本文将对凸轮的逆序测量方法进行探讨。     

非常规开采顺序在鸡冠嘴金矿二期采区的应用

针对鸡冠嘴金矿二期采区矿体(群)延深较大、走向较短、在垂向上中部较厚、品位较高呈“菱形”变化的特点，通过技术经济比较和岩石力学研究论证，并结合国内、外类似矿山的生产实践，提出并采用了不同于常规的首先开采矿体(群)中部的开采方法，从而为提高矿山生产初期的经济效益，尽早偿还基建贷款提供了一条新的成功经验。     

陆相断陷湖盆中层序边界的形成机理及其识别特征研究

陆相断陷湖盆中层序边界是由于沉积物表面高出沉积基准面或盆地基准面、沉积物发生剥蚀或无沉积作用所形成的，其产生机理主要有边界断层停止活动、断块翘倾活动、湖盆整体抬升和湖平面下降。层序边界在地震特征上、测井曲线上、钻井剖面中的岩性、岩相特征、古生物组合、微量元素的变化上均有明显的特征。利用这些特征，在济阳坳陷下第三系中识别出9个三级层序。     

Chrestenson函数序列的生成方法及其数学分析

本文提出了适于三种序号的Ｃｈｒｅｓｔｅｎｓｏｎ函数序列的复制方法，对其复制过程进行了数学分析，并指出当Ｃｈｒｅｓｔｅｎｓｏｎ函数退化为Ｗａｌｓｈ函数时，此方法即为复制理论中的平移复制方法。     

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.