关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

使用等效偏移角稀疏测量的面阵相机序贯图像几何校正

天基光学相机实际在轨对地观测成像的畸变需通过几何校正抑制。目前主流面阵相机对地观测获得的小尺寸、高帧频序贯图像很难满足传统几何校正方法逐帧解算对单帧图像控制点数量与空域分布的要求且计算量巨大。针对这一问题,提出一种使用等效偏移角稀疏测量的面阵相机序贯观测图像几何校正方法,将逐帧校正参数解算问题转化为时域稀疏测量条件下等效偏移角信号恢复问题,利用等效偏移角信号时频信息可有效降低对单帧图像控制点数量和空域分布要求。通过高分四号卫星面阵相机在轨实测图像数据验证了所提方法的可行性且其能大大降低序贯图像几何校正处理的计算量。     

数字图像复数不变矩构造及稳定性分析

为系统性地给出数字图像不变矩一般性构造方法及对不变矩稳定性进行分析,通过采用复数矩作为描述数字图像识别特征量的方法,研究了复数不变矩所具有不变性的约束条件及其与几何不变矩间的关系,推导出了复数不变矩构造定理,并以在工程应用中的低阶复数不变矩为例对复数不变矩的稳定性进行了分析。研究结果表明:采用复数不变矩构造数字图像特征量具有很好普适性和稳定性,对于图像目标识别特征的描述有较好的效果。     

Quantifying the performance effects of idle time utilization in multiserver systems

In many practical multiserver queueing systems, servers not only serve randomly arriving customers but also work on the secondary jobs with infinite backlog during their idle time. In this paper, we propose a c‐server model with a two‐threshold policy, denoted by (e d), to evaluate the performance of this class of systems. With such a policy, when the number of idle servers has reached d (<c), then e (<d) idle agents will process secondary jobs. These e servers keep working on the secondary jobs until they find waiting customers exist in the system at a secondary job completion instant. Using the matrix analytic method, we obtain the stationary performance measures for evaluating different (e, d) policies. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

多轴数控机床的通用运动学综合空间误差模型

提出了一种适用任意结构多轴数控机床的新通用运动学综合空间误差模型。该模型包含了由于制造、安装、运动控制不精确和刀具、床身、工件热变形以及其它因素引起的初始位置误差与运动误差 ,反应了机床误差的实际变化规律 ,对机床工作区误差适时全补偿特别有效。为了发展该新型误差模型 ,运用了多体系统运动学理论和齐次变换矩阵。最后 ,利用所述建模理论和方法 ,给出了 3轴立式数控机床的空间误差模型表达式 ,并分析了其 36种误差成分的变化规律     

机构运动弹性动力学普遍方程的研究

本文首次采用等参有限单元,建立了一个为一般机构广泛适用的运动弹性动力学普遍方程。在不附加任何“运动学”假设的情况下,作为自然的结果,方程的质量阵是正定、协调的常数阵;方程中不存在两类时变的非对称系数项,即所谓的“陀螺阻尼”项和“离心动刚度”项。因此,该方程无论在形式上还是在生成及求解方面,都要较其它同类型方程简单。此外,基于一维等参梁单元,本文还具体导出了具有杆状构件的平面连杆机构的弹性动力学模型,并给出了一个铰链四杆机构的算例。     

一种基于Mellin变换的水声宽带相关模糊函数的快速算法

提出了一种基于Mellin 变换的快速算法,其特点是在给定的某一时刻得到不同尺度下的变换结果,算法的运算量与待分析的时延成正比,而在固定时刻下的运算量为两个2M点的FFT和一次2M点复数乘法(M为待分析的尺度的个数).该算法的优点是实时性好,且适合于水声信号领域尺度跨度小、尺度分析较细的特点,并给出了与直接法、CZT法的比较结果.     

样条有限点法分析板的非线性动力响应问题

本文提出了用样条有限点法分析板的几何非线性动力响应问题。采用了三次B样条函数与梁的振型函数的乘积作为试函数,由虚位移原理的动力方程出发,建立起以样条函数结点参数表示的基本方程,推导了非线性刚度矩阵的精确显式,并用wilson-θ法求解动力增量方程,求得挠度响应曲线。本文给出了算例,并与文献结果进行比较。本文提出的方法具有计算量小、精度高等优点。是十分有效的方法。     

用体素贴合法构造机器人的三维几何模型

本文介绍了在计算机上采用体素贴合法构造三维几何模型的若干技术问题,包括描述三维形体的数据结构、基本几何形体的生成、部件模型的拼装等内容。研究表明,贴合法本身具有一定的代表性和通用牲,对于构造其它几何模型也是适用的。     

过椭圆外一定点作其法线的计算机实现

对过椭圆外一定点的法线作图问题给出了一种计算机实现的几何逼近方法。该方法以几何迭代逼近作图原理为基础,建立了新的逼近法线方程,从而避免了手工作图的低精度及实际操作时的繁琐,使过椭圆外一定点的法线作图问题得以在计算机上迅速获得解决,且可达到足够的精度要求。