三项指数和四次均值的精确计算公式(2)

本文进一步深入研究了三项指数和四次均值的计算问题.运用指数和的相关性质并结合求解同余方程组的方法与技巧,利用两种不同的方法获得了两个精确的均值计算公式,揭示了三项指数和的计算与同余方程组解的个数之间的本质联系,推广了已有的结果.     

二项指数和四次混合均值的计算

本文研究了二项指数和四次均值的计算问题.利用初等数论及代数数论的方法获得了一个精确的计算公式以及一个转换公式,推广了已有的结果,揭示了均值计算与同余方程组的本质联系.     

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

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

混合正态分布下基于斜线截断的稳健似然比累积和控制图北大核心CSCD

累积和控制图主要用于对正态分布过程中均值的中小漂移的检测,但是对厚尾分布过程监测并不稳定.MacEachern等(2007)提出了用于监测厚尾分布过程的稳健似然比累积和(RLCUSUM)控制图.文章主要研究RLCUSUM控制图的性质,包括可控平均运行长度关于控制限的性质和过程失控时不同真实均值对平均运行长度的影响等,并提出了对于对数似然比函数进行斜线截断的方式,同时分析总结了不同污染程度的混合正态分布下各种截断方式得到的RLCUSUM控制图的适用情况.     

代数的张量积的同调满同态的构造

利用已知的代数的同调满同态来构造其张量积代数的同调满同态.设A,B,C,D是域k上的有限维代数,如果环同态f:A→C和g:B→D是环的同调满同态,则fg:AB→CD也是环的同调满同态.     

城镇职工养老保险随机模型研究

构建了包含个人、企业、政府等市场参与者相互制衡的城镇职工养老保险随机模型,该模型涉及了储蓄、工作期消费、个人养老金账户、工资、退休后消费共5个随机变量;利用ITo引理证明了随机微分方程解的存在性,唯一性,利用2010-2014年中国有关宏观数据,对5个变量进行了动态模拟,并对部分参数变动对模型的影响进行分析,得出了储蓄替代率和人口出生率与两期消费正相关,两者的小范围变动不会影响两期消费的趋势等结论.     

一类Neumann边值问题非平凡解的存在性

利用临界点理论中的对称山路引理和分析技巧,研究一类Neumann边值问题在超二次条件下非平凡解的存在性,获得了一些新的可解性条件,进一步统一和改进了相关文献的结果.     

α-混合序列部分和乘积精确渐近性的一般形式

利用前人获得的α-混合序列部分和乘积的渐近分布的结果,对一般的边界函数和拟权函数得到了α-混合序列部分和乘积的精确渐近性的一般形式.     

关于二段直线法的改进与理论推导

为了解决利用甲型水驱特征曲线预测高含水期开发指标时存在较大误差的问题,利用高含水期相对渗透率比与含水饱和度关系曲线近似呈直线的特点,对相渗比曲线的高含水弯折段进行了线性拟合;基于得到的直线方程,结合相关油藏工程理论,验证了甲型水驱特征曲线在高含水开发期会发生偏折,且偏折后的线呈直线,并推导了第二直线段的方程.利用实际相渗曲线以及生产数据,得到了第二直线段的方程,并预测了开发指标,其与实际生产数据的年平均误差控制在了0.11%以内,精度较高,比直接应用甲型水驱特征曲线进行指标预测的结果更好.     

一类非线性方程组的求解

对于一个给定的非线性方程组,通过一系列的变化,可以将其构造成一个函数,从而把非线性方程组的求解问题转换为求函数极小值问题.通过利用正交表的数据分析方法,给出了求函数极小值进而求解非线性方程组的方法,这种方法得到的解比已有的更精确,且大大缩减了复杂方程组的计算量,用时少,不需要初始值.最后,采用Matlab软件,验证了其可行性和有效性.