希尔伯特类多项式模p的Fp根的个数(英文)

设K是一个虚二次域,O为K中的一个order.由定义,O的希尔伯特类多项式H_O(x)是一个整系数的首一不可约多项式,它的复根恰为所有具有O—复乘的椭圆曲线的j—不变量.设p∈N为一个在K中惯性的素数,且p严格大于|disc(O).若Ho(x)(mod p)的F_p根的所组成的集合非空,我们证明群Pic(O[2]在该集合上有一个自由且传递的作用;因此Ho(x)(mod p)的F_p根的个数要么等于0,要么等于|Pic(O)[2]|.我们还给出了一个关于F_p根存在性的具体判别方法.类似的结果首先由Xiao等人在文献[25]中得到,后又经李等人在文献[13]广泛推广.本文结果已在李等人的工作中出现,但方法与之完全不同.     

双调和算子特征值问题的混合三角谱元方法

本文针对双调和算子特征值问题设计了基于混合变分形式的三角谱元逼近格式,其基函数采用指标为(-1,-1,-1)的广义Koornwinder多项式.在H~1-及H_0~1-正交谱元投影的逼近理论基础上,我们建立了双调和算子特征值与特征函数的收敛性估计;它关于网格尺寸h是最优的,关于多项式次数M是次优的.然而,在H_0~2-正交谱元投影的最优估计假设前提下,关于M的次优收敛阶估计则提升为最优.此外,Koornwinder分片多项式逼近的结果还表明,在带权Besov空间范数的度量下,对于存在着区域角点奇性的双调和算子特征值问题,谱元方法的收敛阶能达到h-型有限元方法的2倍.最后,本文的数值实验结果展示了谱元逼近格式的高效性,同时也验证了相关理论的正确性.     

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

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

非李普希兹条件下马尔科夫调制随机延迟微分方程数值解的收敛性（英文）

在全局李普希兹条件下,已经建立了马尔科夫调制的随机微分方程的欧拉方法.然而对于实际系统,全局李普希兹条件通常不成立.在本文中,在弱于全局李普希兹条件的条件下,我们证明马尔科夫调制的随机微分方程的欧拉方法是收敛的,并且其收敛阶和全局李普希兹条件下相同.     

循环子空间的进一步应用

以向量的极小多项式作为出发点,深入分析了循环子空间的具体结构,得到了循环子空间进一步的应用.     

Comonotone approximation with interpolation at the ends on an interval

Let a function f ∈ C[-1, 1], changes its monotonisity at the finite collection Y := {y1,… ,ys} of s points yi ∈ (-1, 1). For each n ≥ N(Y), we construct an algebraic polynomial Pn, of degree ≤ n, which is comonotone with f, that is changes its monotonisity at the same points yi as f, and |f(x)-Pn(x)|≤c(s)ω2(f,(√1-x2)/n), x∈[-1,1],where N(Y) is a constant depending only on Y, c(s) is a constant depending only on s and ω2 (f, t) is the second modulus of smoothness of f.     

任意多椭圆孔多裂纹无限大各向异性板应力强度因子求解的一种新方法

采用各向异性体平面弹性理论中的复势方法,应用保角变换技术,以F aber级数为工具,导出含任意多椭圆孔和裂纹群无限大各向异性板在远场载荷作用下其应力场和位移场的级数解,并在此基础上利用断裂力学方法确定裂纹尖端的应力强度因子,通过算例讨论了材料参数及裂纹、孔的尺寸等对应力强度因子的影响规律,得出了一些有益的结论。数值结果表明本文方法具有计算精度高、收敛速度快、方便快捷等优点,有利于全面系统地研究各参数对结构断裂性能的影响。     

预紧扁挤压筒内孔变形和缝隙度Km的影响分析

应用ANSYS有限元分析软件,对受预紧作用的两层扁挤压筒进行了数值模拟。研究了内腔位移分布情况和内孔变形规律,分段对内孔位移做了多项式曲线拟合,并用物理实验加以对比验证。本文还对三层扁挤压筒缝隙度Km对内孔长短轴变形的影响作了分析,拟合出一定条件下内孔位移与Km的多项式插值函数表达式,得出Km的取值范围。为扁挤压筒修模、装配和结构优化提供了依据。     

平面八节点四边形理性元

推导平面八节点四边形理性有限元列式，采用具有直到四次多项式的平面问题的微分方程的解作为插值函数，算例结果表明平面八节点四边形理性有限元的有效性。