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

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

全空间中一类非局部问题非平凡解的存在性

利用变分方法研究了R~N上一类带有临界非线性项的p-Kirchhoff型问题非平凡解的存在性.首先得到了该问题的能量泛函并证明了其具有山路引理的几何结构.其次给出了山路值c的一个上界并且证明了相应的(PS)_c序列是有界的.最终利用集中紧性原理及其它相关知识证明了能量泛函满足(PS)_c条件,从而表明了能量泛函存在非零的临界点,即证明了该问题至少存在一个非平凡解.     

一维六方准晶压电材料中幂函数型曲线裂纹的反平面问题

依据一维六方准晶压电材料反平面问题的基本方程,利用复变函数方法,通过引入适当的保角映射,研究了一维六方准晶压电材料中幂函数型曲线裂纹的反平面问题,并利用Cauchy积分理论,得到电不可通和电可通边界条件下的应力场和位移场的复表示以及裂纹尖端场强度因子的解析表达式.     

全平面上解析的非正规增长的Laplace-Stieltjes变换的λ-型

通过引入λ-型的概念,研究了在全平面收敛的Laplace-Stieltjes变换所确定的非正规对数增长的整函数的增长性问题,并得到λ-型与最大模,最大项及最大项指标的关系,推广了Dirichlet级数的相关结果.     

联营型B2C平台自建物流开放策略研究

联营型B2C平台通过自建物流改善服务质量,却面临建设中巨额成本问题,而平台上的联营企业虽无较大成本压力,但其服务质量却有待改进。基于联营企业与其所在平台的佣金利益关系,从双方销售同种产品直接竞争的角度出发,运用合作竞争理论的思想构建模型并进行分析。结果表明,在满足一定条件的基础上,帕累托改进是存在的,自营与联营企业可以相互合作来实现双赢,且商家能通过控制各因素而实现对价格和销量的不同偏好。     

行负相依随机变量阵列的完全收敛性（英文）

本文研究同分布假设条件和随机控制要求下行负相依随机变量阵列最大值部分和的完全收敛性的问题,得到一些新的结果.这些结果推广和改进了已有关于行独立随机变量阵列和行负相依随机变量阵列的相关定理.作为应用,行负相依随机变量阵列的Chung型强大数定律被取得.     

一个新的非线性Picone恒等式及其应用（英文）

本文建立一个新的非线性Picone恒等式,它包括一些已有的Picone恒等式.利用这个新的Picone恒等式,我们给出了带奇异项p-Laplace方程的Sturm比较原理,p-Laplace方程组的Liouville定理和带权Hardy不等式.由这里一般的带权Hardy型不等式,我们可以得到几个新的有趣的带权型Hardy不等式.     

含信用风险的上限型权证期权定价

本文通过公司价值模型研究一类含信用风险的上限型权证期权的定价.一方面利用鞅的方法推导出公司负债和无风险利率为常数情况下上限型权证期权的定价;另一方面通过概率的方法推导出含信用风险的上限型权证期权定价公式,该公式推广了Black-Scholes的欧式期权定价.     

探究试卷讲评课的新模式

试卷讲评课是高三数学课中比较多的一种课型,有部分老师认为试卷讲评课很好上,不外乎就是对对答案,纠正一下典型错误而已,分析一下学生的错误原因;个别老师花时间从第一题一直讲到最后一题,没有针对性和目的性,学生听着乏味,课堂气氛沉闷,学习效率低下;大多数老师意识到这些问题,做出了改进,他们在试卷讲评时有选择地处理,错误人数多的题目多讲一点,错误少的则少讲一点,而这样也只是就题讲题.     

基于数学核心素养培育,尝试讲评课型“四步教学”

数学核心素养指具有数学基本特征、适应个人终身发展和社会发展需要的必备品格和关键能力,主要形成于数学学习的过程之中.教师针对不同课型采用不同的课堂教学组织形式直接影响学生的思维、能力生长的速度和方向.众多课型中试卷讲评课虽占比不小却常被忽略研究,授课形式往往以教师直接对照试卷就题论题、逐题讲评为主.