两指标强鞅的停止定理

给出了两指标强鞅关于停线的停止定理及加强形式的Doob停止定理。     

基于可能性决策的敌对危机行动预测与仿真

可能性决策能较好地应对军事领域常常出现的概率难以获得,或者强调“出奇制胜”而有意规避概率风险的情形,是解决知识不完备情况下敌对行动预测的有力手段。从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决策的最优化定理,给出多步条件下可能性决策的实现算法,结合危机条件下敌对行动预测的范例和仿真分析,与传统概率风险决策进行比较,体现可能性决策的优越性,为该方法的推广应用创造条件。     

Banach空间中拟非扩展映象的不动点的迭代逼近

研究了严格凸Banach空间中非空间凸子集上拟非扩展映象的不动点的迭代逼近问题,主要证明了:设E是严格凸Banach空间,K为E的闭凸子集,T:K→K为连续拟非扩展映象。进一步假设T(K)包含于K的一个紧子集之中,迭代地定义序列{xn}∞n=1如下:(IS)yn=(1-βn)xn+βnTxn,n≥1,xn+1=(1-αn)xn+αnTyn,n≥1,其中{αn}和{βn}满足一定的条件,则{xn}强收敛于T的某个不动点。     

一种针对OpenSSL中RSA的计时攻击改进算法

针对原有BB-Attack（Boneh and Brumley’s Attack）计时攻击算法在样本量小的情况下存在0~1间隔不明显、攻击精确度低等问题,依据Montgomery乘法中额外约简数目与输入消息的关系,结合统计分析中的t检验,给出了一种改进的计时攻击算法。计时攻击实验结果表明：改进算法能够产生更加明显的0~1间隔,并且减少了攻击样本量,提高了攻击效率。     

一种新的形态中值小波图像去噪方法

图像去噪是图像预处理中一项重要环节.针对线性小波分析在图像去噪中会丢失一些细节信息这一缺点,利用数学形态学算子的非线性特征,构建了一种非线性的可用于灰度图像处理的形态中值小波,并应用于图像去噪.对比实验结果表明,该方法比线性小波去噪方法具有更好的去噪性能,图像细节信息损失更小.     

非平稳高斯序列最大值的几乎处处中心极限定理

在较弱的条件下,研究了一类非平稳高斯序列的几乎处处中心极限定理.设{Xa,n≥1}为一非平稳高斯序列,记其协方差为rij=Cov(Xi,Xj).假设该序列满足如下条件:对充分大的n,若存在0<α<1当|i-j|>nα时,rijlog|j-i|(l0glog|j-i|)1+ε一致有界.在这一条件下,通过利用概率极限理论,...     

具有集值H-半-伪单调映射的广义向量变分不等式解的存在性

首先推广向量集值半一单调映射到向量集值H-半-伪单调映射,然后利用Kakutani—Fan—Glicksberg不动点定理,研究了具有集值H-半-伪单调映射的广义向量t变分不等式问题,在自反Banach空间中得到了两个存在性结果。     

军用飞机服役过程的风险管理

墨菲定理指出系统危险源必然引发事故,海恩法则强调事故发生是量的积累,因此欲提高飞机这种高风险系统的服役安全就必须展开风险管理。风险管理是安全管理的重要组成部分,系统安全性理论是安全管理的基础,在对系统安全性进行定义、明确目标和组成的基础上,建立了一种适用于飞机服役过程的风险管理模型,并分析了其风险控制步骤,对于飞机服役过程的风险管理有一定的指导意义。     

明确关系，解决问题，坚定理想信念

在新形势下人们的理想信念正面临着严峻的挑战。一方面 ,国际共产主义运动处于低潮 ,资本主义“垂而不死” ,西方敌对势力千方百计对我实行“西化”、“分化”战略 ,利用各种手段加紧进行思想文化渗透 ;另一方面 ,我国正处于改革攻坚阶段 ,一些深层次的矛盾引发了一些不可忽视的社会问题 ,不正之风和消极腐败现象还没有得到根本的遏制。紧密结合官兵在思想认识中产生的新问题 ,突出加强理想信念教育 ,使官兵具有坚定的理想信念 ,是军队完成保卫祖国、建设祖国的任务 ,尤其是在新形势下完成“打得赢”、“不变质”两个历史课题的前提基础和根…