具任意次非线性项的Camassa-Holm方程的双孤子新解

给出辅助方程、函数变换与变量分离解相结合的方法,构造了具任意次非线性项的Camassa-Holm方程的双孤子和双周期新解.首先,通过两个辅助方程、函数变换与变量分离解,将具任意次非线性项的Camassa-Holm方程的求解问题转化为非线性代数方程的求解问题.然后,借助符号计算系统Mathematica求出该方程组的解,并用辅助方程的相关结论,构造了双周期解和双孤子新解.     

关于轴对称Navier-Stokes方程正则性的一个注记

建立了一个关于轴对称不可压Navier-Stokes系统的正则性准则.证明了如果局部的轴对称光滑解u满足‖ωr‖_{Lα1((0,T);Lβ1)}+‖ωθ/r‖_{Lα2((0,T);Lβ2)}<∞,其中2/α₁+3/β₁≤1+3/β₁,2/α₂+3/β₂≤2和β₁≥3, β₂>3/2,那么此强解将保持光滑性直至时刻T.     

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

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

经方量化归经研究中的向量矩阵应用

在经方量化归经研究中发现,药物组成的归经量化问题,若以五维向量表示更能体现其药物的归经方向和归经比例.利用向量矩阵分析方法给出了方剂归经量化的一种全新的量化模型体系,并以此研究方剂归经的量化规律及其应用特点.     

Degasperis-Procesi方程的类孤子新解

利用辅助方程与函数变换相结合的方法,构造了Degasperis-Procesi(D-P)方程的无穷序列类孤子新解.首先,通过两种函数变换,把D-P方程化为常微分方程组.然后,利用常微分方程组的首次积分,把D-P方程的求解问题化为几种常微分方程的求解问题.最后,利用几种常微分方程的Bcklund变换等相关结论,构造了D-P方程的无穷序列类孤子新解.这里包括由Riemannθ函数、Jacobi椭圆函数、双曲函数、三角函数和有理函数组成的无穷序列光滑孤立子解、尖峰孤立子解和紧孤立子解.     

基于严格α-双链对角占优矩阵的非奇H-矩阵的判定准则

研究了非奇H-矩阵的判定问题.先给出了几个判定严格α-双链对角占优矩阵的充要条件,进一步利用矩阵对角占优理论得到了判定非奇H-矩阵的一些充分条件,推广和改进了已有的相关结果,并用数值算例说明了这些判定方法的有效性.     

B-矩阵线性互补问题的误差界估计

利用严格对角占优M-矩阵的逆矩阵的无穷大范数的范围,给出了B-矩阵线性互补问题误差界新的估计式.相应数值算例表明了结果的有效性.     

浅析几类双输入排队系统模型

从矩阵几何解的角度出发,分析了七种类型的Geom/Geom/(Geom/Geom)/H 双输入排队系统.对这几个模型进行了描述,使用拟生灭过程探讨了各类模型的矩阵结构,并给出了其状态转移概率矩阵.     

一类偏差分方程的振动性

主要研究了偏差分方程pu_(m+2),n+u_(m,n+2)+qu_(m+1,n)-u_(m,n+1)+ru_(m,n)=0,解的振动性,其中参数p,q,r是实数,m,n为非负整数.     

EFK方程一个新的低阶非协调混合有限元方法的高精度分析

对Extended Fisher-Kolmogorov(EFK)方程,利用EQ_1~(rot)元和零阶RaviartThomas(R-T)元建立了一个新的非协调混合元逼近格式.首先,证明了半离散格式逼近解的一个先验估计并证明了逼近解的存在唯一性.在半离散格式下,利用上述两种元的高精度分析结果以及这个先验估计,在不需要有限元解u_h属于L~∞的条件下,得到了原始变量u和中间变量v=-?u的H~1-模以及流量p=u的(L~2)~2-模意义下O(h~2)阶的超逼近性质.同时,借助插值后处理技术,证明了上述变量的具有O(h~2)阶的整体超收敛结果.其次,建立了一个新的线性化向后Euler全离散格式并证明了其逼近解的存在唯一性.另一方面,通过对相容误差和非线性项采取与传统误差分析不同的新的分裂技巧,分别导出了以往文献中尚未涉及的关于u和v在H~1-模以及p在(L~2)~2-模意义下具有O(h~2+τ)阶的超逼近性质,进一步地,借助插值后处理技术,得到了上述变量的整体超收敛结果.这里h和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.