椭圆PDE-约束优化问题的一个预条件子

针对由Galerkin有限元离散椭圆PDE-约束优化问题产生的具有特殊结构的3×3块线性鞍点系统,提出了一个预条件子并给出了预处理矩阵特征值及特征向量的具体表达形式.数值结果表明了该预条件子能够有效地加速Krylov子空间方法的收敛速率,同时也验证了理论结果.     

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

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

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

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

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

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

基于集对分析联系数的区间数型多属性决策投影模型及其在基坑支护方案评价中的应用

多属性决策时因掌握的信息有限,加之问题本身的复杂性、不确定性以及人类思维的模糊性,其属性的精确值往往难以获取,常用区间数形式表示针对多属性决策中各指标区间数不能直接进行大小比较的问题,提出一种基于集对分析联系数的区间数型多属性决策投影模型.模型用备择方案在理想方案上的投影进行集结,根据区间数的误差分布形式,沟通区间数与联系数的关系,根据a+bi型联系数大小比较法则,综合评价方案优劣.以某大厦基坑支护拟用的4种方案优化选择为例,说明方法的应用与模糊优化理论模型和灰色物元分析优化模型进行了对比,得到的结果一致.     

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

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

SWEIA艾滋病毒传染模型及应用

人类免疫缺陷病毒(HIV)是一种严重威胁生命的病毒,感染艾滋病毒患者一般经历四个阶段:i)艾滋病毒阴性的窗口期(W);ii)阳性的无症状潜伏期(E);iii)有症状期(Ⅰ);以及iv)移除阶段(A).为深入研究艾滋病传播过程,建立SWEIA艾滋病毒传染模型,定义基本再生数,分析无病与地方病平衡点的存在性和局部稳定性,根据2004至2015年中国艾滋病患者数据,采用遗传算法对SWEIA模型中参数进行估计.通过对基本再生数敏感性分析以及模型数值随参数不同而产生的变化,揭示艾滋病窗口期的接触率是影响艾滋病流行的主要原因之一.     

关于稳定矩阵分解定理的一个简单证明

一个矩阵称为稳定的,如果这个矩阵的特征值全包含在单位开圆盘内.利用Parker关于复方阵的分解定理给出了稳定矩阵分解定理的一个简单证明,并对奇异值全部严格小于1的矩阵给出了类似的结论.     

一个二元叠加码M_q(t,k,d)生成的二元等重码

研究了二元叠加码Mq(t,k,d)也是一个二元等重码,给出了它成为最佳等重码的条件,研究了它的检错性.     

基于几何过程和位相分布休假的两部件并联可修系统的可靠性分析

主要以两不同型部件组成的并联可修系统为研究对象.在系统对失效相位存在记忆的基础上,考虑了修理工可单重休假且休假时间服从位相(PH)分布.每个工作部件均有可能因受到两种不同类型的故障而失效,且均"修复非新".在假定部件的工作时间,修理时间分别服从PH分布的几何过程和负指数分布的条件下,利用马尔可夫过程和矩阵分析的方法,对可修系统进行了可靠性分析,并给出了相应可靠性指标的数值算例.