一种提高极值点处收敛精度的三阶WENO-Z格式

为了提高三阶WENO-Z格式在极值点处的计算精度，通过理论推导给出三阶WENO格式满足收敛精度的充分条件。采用泰勒级数展开的方式，推导给出所构造格式非线性权重的计算公式，并综合权衡计算精度和计算稳定性确定所构造格式的参数。通过两个典型的精度测试，验证了改进格式在光滑流场极值点区域逼近三阶精度。进一步选用激波与熵波相互作用和Richtmyer-Meshkov不稳定性等经典算例，证实了本文提出的改进格式WENO-PZ3相较其他格式（WENO-JS3和WENO-Z3）不仅具有较高的精度，而且降低了格式的耗散，提高了对流场结构的分辨率。     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

波士顿矩阵法在河南承接产业转移中的应用

承接产业转移是加速区域经济发展的"助推器",提升产业集聚能力是提高区域产业竞争力的关键,如何科学地选择承接产业,并提升产业集聚能力是河南亟待解决的问题.选取2010年和2014年两个时点,运用产业梯度系数和产业动态集聚指数对工业进行分行业分析,并借鉴波士顿矩阵分析法将其划分为明星、金牛、问题、瘦狗和衰退等产业.根据河南的自然资源、劳动力、区位条件、市场需求等比较优势,并考虑产业集聚发展的能力,来确定河南承接产业转移的重点产业.     

小样本定数截尾场合下威布尔和对数正态分布的拟合检验

本文给出了小样本定数截尾场合下两参数威布尔分布和对数正态分布的拟合检验方法,该方法还适用于一般的位置-刻度参数族分布,论文还通过实际算例说明方法的可行性。     

NA随机变量阵列的完全矩收敛性

利用NA随机变量的矩不等式和截尾方法,研究了NA随机变量阵列的完全矩收敛性,给出了证明NA随机变量阵列完全矩收敛性的一些充分条件.所得结果推广了已有文献关于NA随机变量的相应结果.     

关于一类电-力振动模型的建模与分析

从电学、力学的基本原理出发,通过数学方法建立和分析了一种电-力振动模型。这是一种较复杂的电力混合作用的线性振动系统,由模型的特殊结构(类扬声器结构)作者确立了两种磁场,即感生磁场和外磁场两者正交独立,并规定了电学、力学两种不同物理量的坐标取向关系。该模型需要求得三阶正系数常微分方程的收敛解,再求得包含暂态、稳态项的完整解。另外,文章从能量和做功的角度,通过对电压电流间的相位差分析,对所建模型的正确性作了论证,同时也为这类建模引荐了一种论证手段。     

含噪双稳杜芬振子矩方程的分岔与随机共振

研究了含噪声的双稳杜芬振子矩方程的分岔与随机共振的关系，并根据它们的关系, 从另 一个角度揭示了随机共振发生的机制. 首先在It?方程的基础上，导出了双稳杜芬振子在白噪声和弱周期信号作用下的矩方程，其次以噪声强度 为分岔参数分析了矩方程的分岔特性，再次分析了矩方程的分岔与双稳杜芬振子随机共振 之间的关系，最后根据该对应关系从另一种观点提出了双稳杜芬振子随机共振的机制，该 机制是由于以噪声强度为分岔参数的矩方程发生了分岔，而分岔使得原系统响应均值的能量分布发生了转移，使能 量向频率等于输入信号频率的分量处集中，使得弱信号得到了放大，随机共振发生了.     

埋置框架质量检测的探讨

提出了埋置框架的回传射线矩阵法，研究了方波脉冲轴向作用、水平作用和斜向作用下有缺陷埋置框架和无缺陷埋置框架的速度波．结果表明；横向速度波不能识别埋置框架的基桩缺陷，轴向速度波可以识别，而且基桩缺陷信号很强烈；脉冲水平作用不能识别基桩缺陷，轴向或斜向作用可以识别．     

完整系统的多刚体系统离散时间传递矩阵法研究

基于多刚体系统离散时间传递矩阵法，采用提高计算精度的方法，研究具有大运动、非线性特征的完整系统在平面、空间中的动力学响应。提出了对部分变量重新赋值的违约修正方法，计算机仿真表明了其有效性。多刚体系统离散时间传递矩阵法不须进行违约修正，体现了该方法建模灵活性较强、程式化程度较高的优点。     

低浓度固液两相流的颗粒相动理学模型

用广义Fokker-Planck扩散模型描述液相湍动对颗粒的挟带作用，用修正的BGK模型描述粒间碰撞效应，建立了封闭的颗粒相PDF输运方程．运用Chapman-Enskog迭代法求得方程的二阶近似解，获得颗粒相脉动速度二阶矩和三阶矩闭合关系．模型与颗粒流模型相容，与液相湍流闭合模型是否相容依赖于扩散模型的具体形式，并据此比较了不同的涡一颗粒作用模型．模型与二维明渠流轻质沙和天然沙试验资料符合很好．表明细小粒径颗粒能够充分跟随水流运动；大粒径颗粒的相间平均速度差和壁面滑移速度明显，近壁区内的颗粒沿流向和垂向脉动强度都可能大于水流，并存在一定程度的颗粒碰撞效应．