轮式工程机械轮边减速器优化模型与方法

论述了重构轮式工程机械轮边减速器优化设计数学模型的必要性,给出了精确化的目标函数,全面化和准确化的设计变量、基于并行设计的约束条件;介绍了对优化解适用性评价的方法和手段。巧妙地解决了优化解中离散变量的圆整问题,提供了基于MATLAB的求解反渐开线函数的M文件。     

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

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

凸轮逆序测量方法

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

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

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

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

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

采用奇异值分解设计广义系统的最优滤波器

本文讨论广义离散随机线性系统的状态估计问题，通过矩阵奇值分解，本文给出了一种设计降阶最优滤波器的实用方法，该方法同时还得到了动态系统和量测系统的干扰噪声的估计。     

形态学边缘检测的新算法及其应用

提出了一种基于数学形态学的边缘检测的所算法，该算法具有简便和灵活可编程控制等优点，比原来主算法更国完善，在实际应用中有着很好的前景，并给出了实验结果。