两种推理方法QIP和FSI的鲁棒性结果及其比较

基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒性结论,并且对这两种推理方法的鲁棒性进行了初步的比较.     

求解分数阶延迟微分方程的卷积Runge-Kutta方法

本文利用强A-稳定Runge-Kutta方法求解一类非线性分数阶延迟微分方程初值问题,并给出了算法的稳定性和误差分析.数值算例验证算法的有效性及其相关理论结果.     

一种考虑收入排序的中等收入群体发展测度方法

本文给出一种测度中等收入群体发展的新方法。在测度中等收入群体平均富裕水平时,通过引入一个收入排序的递减函数对个体进行赋权,构建得到一个可分解、可图形展示的测度指标,并给出基于样本的估计方法。该测度指标可进一步分解为三个部分,分别反映了中等收入群体发展的规模、强度和不平等程度,并且有着清晰的几何解释,可结合图形反映中等收入群体发展的总况。该方法较之常用的人数比重指标更加全面地反映了中等收入群体的发展总况。本文进一步使用该方法对我国中等收入群体的发展现状进行了实证分析。     

基于有限体积虚拟区域方法的两相流动直接模拟

为提高计算效率，提出有限体积法离散下的虚拟区域颗粒两相流动直接模拟方法.在控制方程中加入相应的虚拟区域源项，保证了颗粒内部的刚体运动特性.该源项中含有颗粒信息部分及流体信息部分.在每次迭代后，对源项中的流体信息部分进行更新，从而更好地保证颗粒内速度的刚体分布.计算静止颗粒圆柱绕流及单个颗粒的沉降过程，验证了算法的准确性.     

基于蒙特卡罗法的水下激光光幕探测性能研究

为了提高水下激光光幕的探测性能, 根据水下光束传播规律, 构建了水下激光光幕探测模型, 基于蒙特卡罗模拟方法对水下激光光幕探测性能进行研究。基于水下激光光幕探测模型, 利用MATLAB软件进行仿真, 分析海水衰减系数、初始功率及传输距离对水下激光光幕传输的影响。仿真结果表明:海水的衰减系数越小, 水下激光光幕传输率受到的影响越小。海水参数和传输距离一定时, 随着初始功率的增加, 只会影响到达探测端的最终功率, 但对传输率影响不大。当海水衰减系数一定, 传输距离为1 m时, 其传输率约为15%且变化稳定; 当传输距离增加到30 m时, 传输率在5%以下。     

求解定常不可压Stokes方程的两层罚函数方法

借助于两套有限元网格空间提出了一种求解定常不可压Stokes方程的两层罚函数方法.该方法只需要求解粗网格空间上的Stokes方程和细网格空间上的两个易于求解的罚参数方程（离散后的线性方程组具有相同的对称正定系数矩阵）.收敛性分析表明粗网格空间相对于细网格空间可以选择很小，并且罚参数的选取只与粗网格步长和问题的正则性有关.因此罚参数不必选择很小仍能够得到最优解.最后通过数值算例验证了上述理论结果，并且数值对比可知两层罚函数方法对于求解定常不可压Stokes方程具有很好的效果.