加权维纳过程增量大小的探讨

提出了维纳过程有限加权和形式，利用推广的尾概率的估计不等式和Levy连续模定理导出Wiener过程有限加权和形式增量有多大这一重要结果，是对Book和Shore所做结果的进一步推广．     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

由C6覆盖的环状纤维管的Wiener指数

设TC6[p,q]是一个由2p×2q个C6覆盖的环状纤维管,给出了计算TC6[p,q]的Wiener指数的一个闭公式W(G)=-34pq2 8p3q2 34pq4,当p≥q 2时;-34p2q 43p4q 4p3q2 4p2q3,当p≤q 1时.     

具有较小Hyper-Wiener指数的仙人掌图

利用图变换的方法讨论仙人掌图的Hyper Wiener指数.通过比较给出仙人掌图的第二小、 第三小Hyper Wiener指数, 并刻画达到第二小、 第三小Hyper Wiener指数的极图.     

一类两参数 Wiener 过程

本文讨论一类形为 W(x,n)的两参数 Wiener 过程,及其与单参数Wiener 过程相类似的连续模的几种形式.对于[2]中关于增量的与[4]中关于增量的的讨论,分别给出关于增量的与的相应结果。     

考虑随机失效阈值的设备剩余寿命在线预测

退化失效阈值是影响设备剩余寿命预测的重要因素。针对现有剩余寿命预测方法忽略失效阈值随机性影响的问题,提出考虑随机失效阈值的设备剩余寿命在线预测方法。首先,基于带测量误差与随机效应的非线性Wiener过程构建设备退化模型;其次,采用极大似然估计(maximum likelihood estimation, MLE)算法估计退化模型参数与随机失效阈值分布系数;然后,在考虑随机失效阈值的基础上推导出设备剩余寿命的概率密度函数(probability density function, PDF),并基于Bayesian原理实时更新退化模型参数,实现对剩余寿命的在线预测。最后,将该方法应用于陀螺仪剩余寿命在线预测分析,结果表明该方法能够有效提高剩余寿命预测的精度与准确性。     

扇图与轮图的边平均Wiener指标及其算法

文章证明了扇图Fn和轮图Wn的边平均Wiener指标,并给出扇图中任意两边之间的平均距离的算法程序.     

广义离散系统降阶Wiener滤波、平滑和预报

应用现代时间序列分析方法,基于Kalman滤波和白噪声估计理论,对于广义离散随机线性系统的一种典范型,提出降阶Wiener状态估值器,可统一处理滤波、平滑和预报问题,并且能减少计算负担,便于实时应用.一个仿真例子说明其有效性.