Asymptotic properties of imperfect repair models and estimation of repair efficiency

The aim of this articles is to study the asymptotic behavior of two imperfect repair models, called Arithmetic Reduction of Intensity and Arithmetic Reduction of Age models. These models have been proposed by Doyen and Gaudoin (Reliab Eng Syst Safe 84 (2004) 45–56) and include many usual virtual age models. First, it is proved that the failure intensity of these models is asymptotically almost surely equivalent to a deterministic increasing function with a cumulative error proportional to a logarithm. Second, the almost sure convergence and asymptotic normality of several estimators of repair efficiency are derived, when the wear‐out process without repair is known. Finally, the coverage rate of the asymptotic confidence intervals issued from those estimators is empirically studied. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

超凸度量空间中KKM理论的一些应用

在超凸度量空间利用广义度量KKM映象原理的特性得到一类新的广义极大极小不等式,并进一步借助这类极大极小不等式,在更广泛的条件下,获得鞍点问题的一个新的存在性结果。     

光学阵列器件的慢刀伺服车削加工技术

慢刀伺服技术是相对于快刀伺服提出的方法.采用C轴、X轴、Z轴联动的方法在极坐标或圆柱坐标内进行加工.光学阵列如微透镜阵列、微反射镜阵列在高速数据、声音和视频信号传输中具有重要作用.将光学阵列看作一个自由曲面,使用慢刀伺服车削技术一次加工成形,可以解决传统加工中将光学阵列分块加工后拼装和调整的困难.但是由于光学阵列表面形状复杂,其表面法线的突变可能会使机床运动超出伺服轴执行能力.根据慢刀伺服加工技术的特点,建立了伺服轴执行能力限制曲线,研究了不同刀具半径补偿方式对加工的影响.实验结果表明,根据机床伺服轴执,厅能力合理选择刀具半径补偿方式可实现微光学阵列器件高精度加工.     

一类随机非单调二元算子的随机不动点定理

利用Mann迭代技巧,讨论了不具有紧性条件的随机非单调二元算子方程随机不动点的存在唯一性,并给出了迭代序列收敛于解的误差估计,所得结果是某些已知结果的本质改进和推广。     

自由曲面逆向工程中的区域性再设计方法

针对自由曲面逆向工程的再设计,提出了区域性再设计方法。此方法的思想是通过调整1个控制点,使得一定区域内的多个控制点按照某种规律随之变化,从而可以实现曲面再设计的要求。基于此思想,给出了区域性再设计方法的理论推导,并进行了实例仿真验证。     

对地预标定射击原理

以往的对地射击原理一般只针对固定目标、粗略地修正风引起的误差,瞄准精度不高。有鉴于此,目前出现了一种新的对地射击原理,通过用瞄准标志先后两次与运动目标重合,完成目标预标定和瞄准,引入目标的综合速度修正,从而提高了瞄准精度。建立了数学模型,推导出了原理公式,并给出了仿真实例,最后分析了此原理的特点。     

不同系统组合的精密单点定位性能分析

在分析研究星间单差精密单点定位算法和抗差Kalman滤波解算模型基础上,利用全球定位系统、全球导航卫星系统、北斗卫星导航系统数据,对单、双、三系统精密单点定位精度和收敛时间进行了分析,得出了以下结论:三系统精密单点定位技术无论定位精度还是收敛速度均最优,多系统组合导航定位有利于提高导航定位精度。     

常微分方程的不动点迭代格式

在常微分方程的数值解法中,Euler的隐式格式稳定性较好,但由于它为隐式,因而给计算带来了极大地不方便。为了解决此问题,本文给出了一种数值解法———常微分方程的不动点迭代格式。     

战时弹药供应协同调运模型研究

弹药协同调运是战时弹药保障工作中的重要环节,其协同调运的合理性将直接影响到弹药保障工作的顺利进行.针对弹药的调运问题,从战时技术实施与应用角度研究弹药的调运问题,以到达需求点的运输时间、弹药输送车数量以及弹药损失量为优化目标,建立一种多目标决策模型,为缩短运输时间、减少弹药输送车数量、提高安全到达需求点的弹药量提供一种实用的方法.     

基于快速点特征直方图的特征点云迭代插值配准算法

为提高三维激光扫描点云数据的配准精度,提出了一种基于快速点特征直方图特征的迭代插值配准方法。配准过程中,点云数据获取时受扫描仪分辨率影响,点云局部或整体密度偏小,两次测量点云数据的相同位置不存在完全相同的点,以致对应点之间存在误差。为减小误差对配准精度影响,引入迭代插值方法,增加点云整体密度。通过计算关键点的快速点特征直方图的特征寻找对应关系,使用随机采样一致算法去除错误对应关系,对对应点协方差矩阵进行奇异值分解求得粗配准旋转平移矩阵,再使用迭代最近点算法进行点云的精确配准。实验结果表明,改进的配准方法简单、稳定可靠、计算速度有所增加,有效地提高了配准精度。