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

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

散斑与数字技术

本文总结了过去十年中散斑数字技术在力学、医学、无线电电子学和天文学中的应用和进展,以及在这些领域中所发展的各种新的理论、实验技术和实验方法。     

利用分裂Bregman方法的图像恢复组合模型

ROF模型是图像恢复中的经典模型,具有保留图像边缘的优点,但同时也存在梯子现象.而利用二次范数fΩ｜▽u｜2 dxdy的模型可以避免梯子现象,但容易使图像变得模糊.针对两种方法的优缺点,提出了一种新的通过设置边缘检测开关函数的组合模型,在图像平坦区利用二次范数模型处理,而在强边缘处利用ROF模型处理,而且应用分裂的Br...     

基于特殊路径的局内车辆路径问题混合策略研究

针对运输途中遇到的某一或一系列无法预知的堵塞事件对决策者路径选择策略的影响,考虑堵塞只发生在一条特殊路径上且可恢复的情况,采用局内竞争分析的思想,建立了局内车辆路径问题的数学模型,对车辆到达堵塞点时堵塞恢复时间未知这一情形下的路径选择问题,提出了两种混合策略,给出了相应的竞争比,并对其竞争性能进行了理论分析。     

一种基于角谱理论的改进型相位恢复迭代算法

进行星间激光通信的光学发射天线光束整形器设计时, 首要解决的问题是根据输入光场及理想的输出光场, 确定整形器的相位分布, 其核心就是相位恢复. 基于角谱传播理论, 在传统 Gerchberg-Saxton (G-S)迭代算法的基础上, 提出了一种幅度梯度加成迭代算法, 给出了算法的详细流程与分析. 与G-S相比, 新算法利用迭代过程, 构建光场幅度反馈回路, 利用梯度搜索最佳迭代路径, 两者的联合作用加速其迭代收敛进程. 数值仿真表明, 新算法的单位迭代次数所引起迭代误差下降的速度是G-S算法的1.7倍, 其收敛速度明显优于G-S算法; 对不同的随机初始相位, 新算法都能进行有效迭代, 表现出适应性强, 且收敛一致性好的优点. 幅度梯度加成迭代算法为复杂光场的高效相位恢复提供了一种新思路, 为设计各种衍射光学元件提供了技术支持. 关键词： 相位恢复 迭代算法 角谱理论 光通信     

Hopfield神经网络模型的恢复特性

通过引入不同概率的双峰无规神经激活阈分布,来考虑对神经网络“记忆”恢复特性的影响,结果表明即使储存模式数超过孤立Hopfield模型的临界值α_c时系统仍然能成功地恢复储存信息。 关键词：     

多孔径扫描波面恢复技术的精度评定及影响因素

多孔径扫描波面恢复技术是一项新的高精度大孔径面形检测手段.本文从建立波面恢复精度的评价标准出发,结合实测结果进行讨论,并对影响精度的两个重要因素即拼接模式及拼接区大小进行分析.     

基于统计滤波的单幅散斑条纹图的相位恢复技术

基于统计信号处理技术的贝叶斯（Bayes）估计原理，提出一种新的滤波方法。该方法能有效减少散斑条纹图中的噪声，而且仅用一幅散区斑条纹图就能获得准确的条纹相位分布，通过实例说明了该方法的处理过程。     

重复率气体火花开关绝缘恢复特性的实验研究

 在自行设计的气体火花开关上，利用双脉冲回路，对纳秒脉冲作用下N₂和H₂的绝缘恢复特性进行了实验研究。结果表明，在静态不吹气情况下，H₂的绝缘恢复时间明显比N₂短。在吹气情况下，适当的气流速度即可使绝缘恢复时间明显缩短。     

基于多项式外推的Richardson-Lucy算法加速研究

提出一种新的可加速Richardson-Lucy(R-L)图像迭代恢复算法的方法.该方法基于阻尼R-L算法,通过存储阻尼R-L算法的前若干次(n次)迭代运算结果,利用多项式外推法分析这前n次迭代运算结果,并用一个多项式函数近似描述各结果之间的关系.通过该多项式的外推,预测以后的迭代结果,从而减少迭代运算的次数,取得了较好的加速效果.该方法可以实现几乎没有图像失真的复原,并能应用于其他类型的算法.