一类渗流方程组的爆破解研究

研究了一类渗流方程组解的爆破性质,通过构造上下解的方法建立了其解整体存在与有限时刻爆破的条件,推广了现有的一些研究结果.     

基于UAF元模型的战区联合作战精确保障体系构建方法

针对当前战区联合作战精确保障复杂体系的系统化建设需求及研究空白,结合最新发布的统一结构框架(unified architecture framework, UAF)方法特点,在分析精确保障体系构建机理及概念数据模型的基础上,遴选并扩充能够满足体系概念构想层、逻辑运行层和物理实现层需求的视角模型。然后,通过对UAF相关元模型(domain metamodel, DMM)“裁剪+修改+融合”的方法构建各层次DMM。最后,提取并分析关键概念、关系达到对模型的统一认知,为精确保障体系模型设计构建及数据采集提供完整方法依据。     

一类抛物方程组弱解梯度的有界性

本文证明了抛物方程组N的弱解u=(u_1,u_2,…,u_N∈L_2(O,T)_3W_2~1-(Ω))∩L∞(O,T;L_2(Ω))的梯度的有界性。     

GPC算法的统一格式

给出了两类基本的广义预测控制（GPC）算法－－基于CARIMA模型的GPC算法和基于ARMAX模型的GPC算法的统一格式。     

统一展开理论应用于激光系统中的精度问题

通过提高推导过程中精度的办法得到了更完善的统一展开理论（ＵＥＴ），且用更完善的ＵＥＴ具体计算了单模染普激光色损失模型的光强定太几率分布，得到了与实验结果是更好的理论结果。     

解非线性方程组的牛顿－并行矩阵多分裂算法

本文构造和研究了解非线性方程组的牛顿－并行矩阵多分裂算法，建立了收敛性定理，估计了收敛速度。     

一类方程组解的唯一性

研究了方程组正整数解的唯一性。     

一类不等式的提出与证明

本文提出一类对称不等式,并加以证明。