具有非线性范数型源的反应扩散方程组解的爆破性质

本文研究了一类带有非线性范数型源的反应扩散方程组u_t=?u~m+a‖u~(p1)v~(q1)‖_α~(r1),v_t=?v~n+b‖v~(p2)w~(q2)‖_β~(r2),w_t=?w~h+c‖w~(p3)u~(q3)‖_γ~(r3)在齐次Dirichlet边界条件下解的爆破问题.利用上下解方法和构造辅助函数的技巧,得到了方程组解的整体存在与爆破的准则,将当前的一些研究结果推广到更复杂的情形.     

不同权的Bloch型空间之间的加权复合算子再刻画

本文研究了单位圆中从空间β_L到β_α的加权复合算子uC_φ为有界算子和紧算子的条件.利用阶估计等方法,获得了有界性和紧性的简捷充要条件,推广了叶善力的相应结果.     

一类双曲型方程的Hamilton算子半群方法

将一类双曲型方程混合问题转换成一阶抽象Cauchy问题,证明所得Hamilton算子矩阵H在相应空间中生成压缩半群,并借助Fourier变换,采用一致连续半群做逼近的方法,得到H所生成的压缩半群,进而给出了问题的古典解.     

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

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

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

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

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

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

线段被任意折成三段能构成三角形的概率分析

线段被任意折成三段能构成三角形的概率有多种解法,本文分析了不同解法对"任意折"的样本空间及相应均匀分布的理解,证明了三种折法的等价性.     

一类基于波利亚分布的修正的Lupas-Durrmeyer型算子

引入了一类基于波利亚分布的修正Lupas-Durrmeyer型算子,它具有常数保持与线性保持性质.利用连续模,光滑模,K-泛函,Lipschitz函数类,讨论了该算子的某些逼近性质,在区间[1/3,1/2]上该算子具有更好的收敛结果.最后还给出了该算子的Voronvskaya型渐近展开公式.     

考虑损伤的修正梯度弹性理论

梯度弹性理论在描述材料微结构起主导作用的力学行为时具有显著优势,将其与损伤理论相结合,可在材料破坏研究中考虑微结构的影响.基于修正梯度弹性理论,将应变张量、应变梯度张量和损伤变量作为Helmholtz自由能函数的状态变量,并在自然状态附近对自由能函数作Taylor展开,进而由热力学基本定律,推导出修正梯度弹性损伤理论本构方程的一般形式.编制有限元程序,模拟土样损伤局部化带的发展演化过程.结果表明,修正梯度弹性损伤理论消除了网格依赖性;损伤局部化带不是与损伤同时发生,而是在损伤发展到一定程度后再逐渐显现出来.     

基于S-R和分解定理的几何非线性问题的数值计算分析

为了探究几何非线性问题的数值求解方法,采用理论推导、MATLAB编程计算、有限元模拟相结合的方法,基于S-R和分解定理及更新拖带坐标描述法,运用插值型无单元Galerkin方法对几何非线性问题的增量变分方程进行了推导,并通过四点Gauss积分法和不动点迭代法对其进行求解.最后以平面悬臂梁的大变形问题为例进行求解计算,发现与ANSYS的计算结果拟合相似度很高,说明了所采用的几何非线性力学理论及数值计算方法的正确性和合理性,为求解几何非线性问题提供了一种新的依据.