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

本文针对双调和算子特征值问题设计了基于混合变分形式的三角谱元逼近格式,其基函数采用指标为(-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求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

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

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

循环子空间的进一步应用

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

交错链环研究及其推广

纽结理论属于拓扑学的重要分支.由于问题本身的奥妙,因此受到拓扑、代数、几何、组合、图论等领域众多数学家的共同关注.本文介绍交错链环、准交错链环和长路链环的关于Jones多项式及Khovanov同调方面的结果,并给出一些值得进一步研究的问题.     

基于有理多项式模型的高分四号卫星可见光通道面阵成像载荷在轨几何定标

针对我国首颗静止轨道高分辨率光学遥感卫星高分四号（GF4）的可见光通道面阵成像载荷,基于成像模型中内外方位元素的相关特性,提出一种基于先验有理多项式（RPC）模型的在轨几何定标方法,以地面控制点的真实像点和基于RPC模型计算的虚拟像点为观测值,在初始的定标参数基础下重建精确的几何定标参数,实现卫星成像载荷系统性几何误差的补偿。本方法完全避免了传统在轨几何定标构建严格几何成像模型中复杂的辅助数据处理和多个成像坐标系统的转换,建模和解算均极为简单,且定标结果可直接应用于基于严格几何成像模型的地面处理系统。通过一组GF4卫星面阵载荷的真实影像数据实验验证了本方法的有效性和模型的合理性,结果表明：本方法可有效补偿成像模型中的系统几何误差,且得到定标结果与基于严格几何成像模型的传统定标方法几乎一致。     

声学时域边界元法的时间卷积计算方法研究

核函数中保留Dirac函数的原型,形成关于时间的卷积积分,是声学时域边界元法中一种稳定、有效的时间数值积分计算方法 (CQ-BEM)。然而,传统CQ-BEM中卷积积分系数的获取有计算量大、耗时长,且对不同单元需要重新计算的问题,极大地降低了CQ-BEM法计算时域声场的效率。针对传统CQ-BEM积分系数计算效率低的问题,本文利用多项式展开定理给出了待求函数泰勒系数的解析表达与数值计算方法,建立了不同单元间待求系数的转换理论,可以在一次循环迭代内完成不同单元的积分系数的计算,大幅降低了计算量,提高了CQ-BEM方法的声场计算效率。脉动球源数值算例结果表明,在相同要求下,本文方法计算时间较传统方法减少50%以上,相对误差小5个数量级以上,且计算时间随单元数的增长率仅为传统方法的2.34%。因此,本文提出的系数计算方法能够有效提高CQ-BEM方法的时域声场计算效率,拓展了CQ-BEM在大型机电设备时域声场模拟的计算规模。     

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

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

平面八节点四边形理性元

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

形状记忆合金纤维复合材料的等效力学行为

在Aboudi提出的胞元模型以及Liu等建立的形状记忆合金的本构模型的基础上，由Legendre多项式，假设每个子胞元的位移场、应变场和应力场，再由子胞元间交界面的应力连续条件和外荷载边界条件推导出基体为弹塑性材料的形状记忆合金纤维复合材料的胞元模型；模拟了呈周期对称的形状记忆合金纤维复合材料受轴向单向拉伸、横向拉伸和横向剪切荷载作用下的等效力学行为，与有限元解进行了比较，结果基本一致。与有限元法比较起来，本文推导出的形状记忆合金纤维复合材料的胞元模型更具高效性。