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

用传递矩阵法分析16M~3挖掘机1∶5动臂模型的振动特性

在改进传统的传递矩阵法中,Riccati 传递矩阵法具有普遍的意义,国内已开始试用,是一种值得推广的方法.本文应用传统的传递矩阵法和改进后的Riccati 传递矩阵法,对16m~3大型挖掘机的1∶5动臂模型,进行了扭转振动和弯曲振动的分析,得到频率在10~3Hz 以下的11阶振动模态.并与实验结果进行了比较.结果说明,传递矩阵法用得恰当,能以较少的计算工作量得到动臂一类结构振动的主要特性.分柝结果已提交科研任务委托单位.     

关于“动矩心”的几种动量矩定理的一致性

<正> 1.引言取任意“动点”为矩心的几种动量矩定理在理论力学教科书中均有不同程度的介绍,其等价性已在理论上得到解决.然而在实际应用中,却导致了不正确的结果.由此引起了对应用“动矩心”的动量矩定理是否应附加条件的考察和争鸣.五十年代以来,我国有较多的文章研究这一问题,主要集中在平面运动