带波动算子的非线性Schrdinger方程的线性紧格式（英文）

本文对带波动算子的非线性Schrdinger方程提出了一个线性的紧致差分格式,从而解决了该方程的周期初值问题.通过先验估计和能量法,证明了格式的无条件稳定性和无穷模误差,且证得格式的收敛阶为O(h~4+τ~2),最后通过一组数值实验验证了理论结果.     

云计算背景下的新型旅游供应链构建研究

针对传统旅游供应链以及现有在线旅游供应链运作模式上存在的不足,对以旅游信息服务平台为纽带的云计算背景下的新型旅游服务供应链进行构建,并对该供应链的特点、运作机理进行了探讨和研究.该模型可借助云计算技术以最大限度地满足游客的个性化旅游需求.     

主动学习可靠性分析算法:基于Kriging预测方差的视角

针对基于Kriging模型的主动学习可靠性方法 (active learning Kriging-Monte Carlo simulation, AK-MCS)中, Kriging预测方差低估导致评估过程存在选点和停止判断失误的问题,提出一种基于Bootstrap Kriging的主动学习可靠性方法 (Bootstrapped active learning Kriging-Monte Carlo simulation, BAK-MCS).首先拟合真实功能函数初始Kriging模型,然后使用Bootstrap Kriging方差构造BU学习函数,从而进行主动序贯采样更新Kriging模型,最后采用收敛Kriging模型结合蒙特卡罗模拟(Monte Carlo simulation, MCS)估计结构失效概率.数值算例结果表明,与MCS和AK-MCS方法相比, BAK-MCS在保持高预测精度的同时减少了真实功能函数的调用次数,提高了可靠性评估建模效率.     

终端区扇区管制员工作负荷预测研究

为有效、准确、快速预测出管制员的工作负荷,提出一种基于扇区复杂性指标评估的方法.提炼出9个动态与7个静态复杂性指标,随后通过管制模拟实验采集武汉进近扇与南京进近扇各160组数据,其中武汉扇区正常管制情况下120组采用BP神经网络算法进行建模,非正常管制情况下40组数据用于验证.最后使用南京进近扇区数据验证模型的准确性与通用性.验证结果表明,模型具有较好的准确性与通用性.     

基于神经网络动态优化的再入轨迹设计

为解决当飞行器出现破损以及飞行器受干扰时的轨迹优化问题,新一代的再入式飞行器需要有实时在线轨迹优化的能力。神经网络动态优化算法(neural dynamic optimization,NDO)的主要特点是能使神经网络逼近最优解。神经网络动态优化算法可以避免传统的间接法在求解轨迹优化问题时协态变量初值猜测问题。给出了神经网络动态优化的原理,详细介绍了优化流程。仿真结果表明神经网络动态优化算法可以很好的避免协态变量初值猜测问题,具有较强的鲁棒性,能满足实时性要求。     

问题蕴含与情境关涉——杜威探究理论的科学实践哲学意义

探究理论是杜威科学哲学观的基石,其中蕴含了杜威科学哲学的主题——"科学的逻辑"(scientific logic),也蕴含了杜威独特的问题观。杜威认为科学研究起源于不确定性所导致的认知困境,探究是为了解除困惑。但杜威探究理论的本质并不是解决问题,而是明确问题。科学问题是特殊情境的产物,情境和实践判断决定了科学问题的提出方式及解答方向。探究的过程,是通过调整行动者(human agent)和情境之间的关系使问题明确。杜威科学观具有重要的科学实践哲学意蕴。     

基于改进滤波器和图像多尺度变换的背景抑制算法

红外目标的探测背景具有复杂性和非平稳性,为提高后续检测性能,常常通过抑制背景来增强目标能量。针对传统背景抑制方法检测率低、虚警率高的问题,提出一种基于改进滤波器和图像多尺度变换的复杂背景抑制算法。首先,对红外图像进行改进的滤波处理获得预处理图像。其次,通过高斯金字塔多分辨技术,平滑图像背景。然后,采用Cubic插值算法提高图像的分辨率,得到背景估计图像。最后,将预处理图像和背景估计图像差分,获得背景抑制的结果。经验证,该算法实时性相对传统方法提高了19%,对于多种复杂的背景情况具有良好的适应性。同时，算法计算复杂度较低,有利于实现实时性工程应用。     

快速加权核范数最小化的SAR图像去噪算法

提出快速加权核范数最小化(fast weighted nuclear norm minimization,FWNNM)的合成孔径雷达(synthetic aperture radar,SAR)图像去噪算法。首先采用对数变换将SAR图像的乘性噪声变换为加性噪声,然后利用非局部相似性对变换后的图像进行块匹配,随后根据低秩模型框架,用随机奇异值分解替换加权核范数最小化(weighted nuclear norm minimization,WNNM)算法中的奇异值分解进行低秩矩阵逼近,再采用梯度直方图保存的方法对图像进行纹理增强,最终实现了对SAR图像快速去噪。在MSTAR数据库上的实验结果表明,与已有方法相比,所提方法在SAR图像去噪和边缘保持方面是有效的,并且比WNNM去噪速度快3倍。     

终端区空域规划运行评价指标体系

为了合理分配管制资源,保障高效运作终端区,通过对终端区空域规划运行效能进行量化分析,进而掌握其运行情况及发展形势。首先建立了基于8类关键性能领域的终端区空域规划运行评价指标体系。然后采用状态分类评估法构造综合评价函数,利用基于随机森林(random forest, RF)算法的可拓层次分析法(extension analytic hierarchy process, EAHP)分析计算指标权重,达到综合考虑指标影响、加强指标量化程度、减少研究过程主观性的目的。最后,以广州终端区和武汉进近为例,对八大关键性能指标进行实例分析,采用蒙特卡洛(Monte Carlo)模拟验证了指标计算结果的可靠性,提升了指标的认可度,验证了系统评价结果的准确性。     

基于双响应曲面的精密产品子集模拟可靠稳健优化设计

针对不确定性场景下小失效概率的精密产品可靠性问题,提出了基于双响应曲面法(dual response surface methodology,DRSM)与子集模拟的可靠稳健优化方法。首先,建立精密产品多失效模式极限状态的RSM模型和以质量特性均值-方差为优化目标的功能函数DRSM模型。其次,在此基础上运用子集模拟法进行可靠性分析,将精密产品小失效概率描述成一系列较大的条件失效概率之积。最后,将极值事件的优化问题视作稀有事件的可靠性问题的特例,基于该转换思想采用子集模拟法将优化问题在可靠性问题的框架内进行求解。案例分析及验证结果表明所提方法的有效性。