度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

Loeb 空间上的拟鞅提升及分解定理

本文通过非标准随机分析方法得到了标准拟鞅提升定理,并构造了非标准拟鞅的分解定理,然后再通过下推方法得到了标准拟鞅的一个分解定理。     

第 K 次选择问题

从最优停止理论的经典问题──秘书问题出发,构想了Ｋ个经理从Ｎ个姑娘中各选一秘书的问题,证明了其最优规则,得出了概率最优值是参数为Ｋ的泊松分布的第Ｋ项,即ｅ￣（－ｋ）ｋ￣ｋ／ｋ从！,从侧面印证了第一标准秘书问题。     

多频激励微波非线性电路分析及其同伦连续算法

本文分析了微波非线性电路在多频激励下的频域稳态响应,给出了同伦连续这一简单有效的算法,结合实际计算了实例。     

柴油机检测与诊断系统的研制

本文以作者参加研制的柴油机检测与诊断系统为对象,在分析柴油机故障机理及特点的基础上,详细论述了检测与诊断系统的组织与结构,检测参数的选择与取舍,信号数据的采集与处理和系统故障诊断等方面的问题。文章着重论述了转速的测量及其在柴油机检测与诊断系统中的应用,柴油机高压油路的检测与诊断,ＤＳＰ系统软件的开发及其在柴油机表面振动诊断中的应用。     

任务划分与处理机调度的递归-分治方法

本文介绍并实现了一种如何把一个顺序执行的任务集,根据其子任务之间潜在的并行性,划分成若干个可并发执行的任务子集,并把每个子集分配给一个处理机,使各处理机之间的数据通信量尽可能地少,同时兼顾各处理机之间负载平衡的算法。最后给出了几个典型例题的试算结果,为了满足用户的不同要求,文章还提出了几点改进方法。     

激光导向车 (LGV) 的实时姿态检测及控制

提出了一种通过实时检测激光导向车的姿态来控制其行驶的方法,该方法的基本原理是依据激光接收阵的信息先推导出车的瞬间姿态（以角度偏差α和距离偏差Ｄ表征）,然后对两驱动轮的速度进行控制;在新的模型车上的实验结果表明,这种方法明显提高了车的运行精度,可望用于实际的ＬＧＶ。     

位移精密测量技术的研究

理论上分析了一种利用全息光栅作为传感器的光电检测方法;从应用角度出发给出了检测光路结构,并进行了详细的误差分析,这种方法具有结构简单,精度高等优点。     

用三参数旋转体模型描述的大形变核内核子的单粒子能级

用｛ｃ,ｈ,ａ｝三参数旋转体模型描述可以大幅度变化的原子核形状,通过合理选取与三参数有关的核子单粒子势,用基矢展开法求解单粒子运动Ｓｈｒｏｄｉｎｇｅｒ方程,用矩阵对角化方法求出了与核形状有关的核子单粒子能级。分析表明,本文计算出的单粒子能级是合理可信的,可用于计算大形变核之形变位能的壳修正和对修正。此工作在裂变动力学模拟计算中是不可缺少的。     

No Sequences 互相关函数值的分配

讨论了ＮｏＳｅｑｕｅｎｃｅｓ的互相关特性,证明了ＮｏＳｅｑｕｅｎｃｅｓ的互相关函数一定取集合｛２~ｎ－１,－２~ｍ－１,－１,２~ｍ－１｝中的每一个值,并且给出它们各自的分配。