Real-time accurate Free-Form Deformation in terms of triangular Bezier surfaces

We implemented accurate FFD in terms of triangular Bezier surfaces as matrix multiplications in CUDA and rendered them via OpenGL. Experimental results show that the proposed algorithm is more efficient than the previous GPU acceleration algorithm and tessel- lation shader algorithms.     

光触发自修复聚合物研究进展

近几年,由于光触发自修复聚合物具有可控快速等优势,其在自修复聚合物领域中占据了重要的地位。光触发自修复聚合物实现自修复的方法主要分为3类,分别是基于光交联反应的自修复、基于光触发交换反应的自修复和基于光热效应的自修复。本文主要从光触发自修复聚合物的修复机制以及修复过程中涉及的化学本质两个方面,重点阐述了上述3类光触发自修复方法的最新研究进展,强调3种光触发自修复之间的联系和共同点。同时,对光触发自修复聚合物未来的发展前景进行了展望。     

矩阵代数收敛至球面与非交换度量几何

介绍了Rieffel定义的紧致量子度量空间与量子Gromov-Hausdorff距离和近来Latrémolière定义的量子Gromov-Hausdorff邻距,分别讨论了矩阵代数如何在这两种量子距离下收敛至球面.     

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

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

复线性微分方程解的增长性的几个结果

本文研究了复线性微分方程解的增长性问题.利用两类具有某种渐进增长性质的函数作为线性微分方程的系数,讨论了两类二阶线性微分方程解的增长性,获得了方程解为无穷级.这些结果推广了先前的一些结果.     

基于三次Bézier基函数插值的GM(1,1)模型背景值优化研究

本文研究了传统灰色GM(1,1)模型存在模型精度不高的问题.利用带形状参数的三次Bézier基函数,给出插值函数的表达式,并结合复化梯形公式,给定误差限的方法,获得了比传统灰色GM(1,1)模型更高精度的结果.推广了传统灰色GM(1,1)预测模型的结果.     

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

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

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

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

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

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

西南地区林业产业结构分析

通过马尔科夫预测法建立了林业产业最小偏离模型,基于1998-2013年西南地区林业三次产业产值数据,求得西南地区林业产业结构的马尔科夫状态转移概率矩阵并验证其准确性,预测出2014-2023年西南地区林业三次产业产值比重.以2020年的预测值为参照标准,计算出1998-2013年西南地区林业产业结构的有序度为0.68-0.97,表明近十几年来西南地区林业产业结构调整的方向是正确的,但仍需进一步进行调整,最后提出西南地区林业产业结构优化升级对策.