基于虚拟失效序列样本的系统实时可靠性研究

针对一类不能获得足够数量的试验和现场使用数据的复杂系统,提出Monte Carlo(MC)实时可靠性估计方法.以系统部件失效时间序列作为样本空间,应用MC法仿真产生更多的虚拟样本,建立了虚拟样本序列下系统实时可靠性估计的一般框架,并研究了MC估计的期望和方差与先验信息之间的关系,得到了具有包含关系的信息条件下,基于较少先验信息的估计的方差不超过拥有更多先验信息的估计的方差.考虑所有部件失效时间序列和导致系统失效的部分部件失效时间序列的先验信息,分别导出了系统实时可靠性模型.最后,通过算例分析,验证了本文不同先验信息下可靠性模型的有效性和方法的合理性.     

一种基于扩散驱动先验技术的图像超分辨率重构方法

当输入图像因污迹、噪声和采样而严重退化时,目前基于Papoulis-Gerchberg(PG)算法的大多数超分辨率方法表现不佳.因此,提出了一种基于扩散驱动先验和PG算法的超分辨率方法,能够在提高图像分辨率的同时,估计缺失的高频分量.首先提出了一种新型扩散驱动平滑的先验,能够在平坦和轮廓区域之间自动平衡作用,确保正则化水平以产生清晰图像.然后,将PG算法引入到迭代过程中,以估计重构场景中缺失的小规模特征.实验结果表明,相比现有的超分辨率方法,提出方法的峰值信噪比和结构相似指数结果更高,重构图像更加清晰且无伪影.     

三维不可压Maxwell-Navier-Stokes方程组局部强解的适定性

利用先验估计与Friedrichs方法,得到了三维不可压Maxwell-Navier-Stokes方程组解的局部适定性.此结果是已有结果中解的存在空间正则性的部分改进.     

考虑数据噪声的鲁棒回归建模方法综述

在开放环境下,数据中包含很多不确定性,如数据噪声等,这给传统的机器学习方法带来了巨大的挑战。该文综述了当前考虑数据噪声的鲁棒回归建模方法,具体可分为两大类:基于数据预处理的鲁棒回归建模方法和基于鲁棒策略的鲁棒回归建模方法。前者根据数据预处理方法的不同又分为基于异常点检测和基于信号处理的鲁棒回归建模方法。后者所采用的鲁棒策略主要有3种:加权函数、鲁棒损失函数以及噪声分布先验。文中详细地描述了鲁棒回归建模各个方向的研究工作,并对比了两类鲁棒回归建模方法的优劣。最后,根据当前鲁棒回归建模存在的一些问题,也提出了构建鲁棒模型的几种可行的策略。     

基于先验信息库的多源混合信号快速识别模型

先验信息库识别是雷达信号分选的前置环节,可以有效提高前端处理效率并指导未知信号分选识别。随着复杂体制雷达大规模应用,信号参数空间严重交叠,传统处理方法面临严峻考验。该文提出一种结合传统脉冲描述字、瞬时频率特征及模糊函数主脊切面特征的先验信息库构建方法,首先,对信号进行多维度表征,然后,使用相像系数度量特征间相似性,最后,利用具备有效性评价的核模糊聚类算法对未知信号进行自动聚类。实验结果表明,所提方法可在传统方法几乎失效的情况下有效稀疏多源混合雷达信号,准确过滤未知信号,并为未知信号分选提供指导。     

五次长短波共振方程初值问题解的存在性

研究了五次长短波共振方程初值问题解的存在性。首先利用压缩映射原理证明了局部解的存在性,然后通过建立局部解具能量守恒性质,并利用先验估计方法,证明了具有高次非线性项的长短波共振方程的局部解可以延拓到整个定义域,最终证明了全局解的存在性。     

截尾试验下指数分布可靠度的Bayes估计

在指数分布场合,定时或定数截尾试验下,本文讨论了相应于几种不同先验分布可靠度的Bayes估计。     

从情境理性看现代逻辑的论证理论及其转型

以先验理性向情境理性的转变为背景,本文阐明了现代逻辑论证理论的普遍主义和先验主义预设及其存在的问题,认为非形式逻辑的若干尝试代表着逻辑学如何从先验性与后验性、普遍性与情境性的统一中去研究建构论证理论的努力.     

Variational discretization for optimal control problems governed by parabolic equations

This paper considers the variational discretization for the constrained optimal control problem governed by linear parabolic equations. The state and co-state are approximated by Raviart- Thomas mixed finite element spaces, and the authors do not discretize the space of admissible control but implicitly utilize the relation between co-state and control for the discretization of the control. A priori error estimates are derived for the state, the co-state, and the control. Some numerical examples are presented to confirm thetheoretical investigations.