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.     

Cole-Cole方程参数对细胞介电频谱的影响

为探讨Cole-Cole方程8个参数(Δε1,Δε2,εh,κl,f1,f2,β1,β2)对细胞介电频谱的影响,采用改变单个参数,固定其他参数的方法,观察介电频谱的变化.结果显示:Δε1影响低频介电频谱和Cole-Cole(ε′)图;Δε2影响高频介电频谱、Cole-Cole(ε′)图和Cole-Cole(κ′)图;εh影响ε′(f)、Cole-Cole(ε′)图和tgδ(f);κl对κ′(f)和Cole-Cole(κ′)图有影响;f1影响低频介电频谱;f2影响高频介电频谱;β1影响Cole-Cole(ε′)和tgδ(f);β2对高频介电频谱有影响.可见Cole-Cole方程作为细胞介电频谱的数学模型,其参数变化有规律可循.     

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

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

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

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

一类非线性椭圆方程的刘维尔型定理

设（Mⁿ,g）是一个n维非紧的完备黎曼流行.本文考虑有正解的非线性椭圆方程△_fu+au log u=0的刘维尔型定理,其中a是一个非零常数.利用Bochner公式和极大值原理,获得了以上方程在Bakry-Emery里奇曲率有下界时正解的Li-Yau型梯度估计和某些有关的刘维尔理论,推广了文献[7]的结果.     

SL(n+1,R)/S(GL(1,R)×GL(n,R))上线丛的一个超几何方程

本文研究了伪黎曼对称空间SL（n+1,R）/S（GL（1,R）×GL（n,R））线丛上的微分方程.利用李代数方法,即Casimir算子得到这个微分算子.这个微分算子是一个超几何方程,这个结论推广了文献[1,3,5]中的微分方程.     

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

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

旋转流动的低模分析及仿真研究

为了探讨Couette-Taylor流从层流到湍流过渡的方式以及流动发展到湍流之后混沌吸引子的某些特征等问题,采用低模分析方法研究了Couette-Taylor流的部分动力学行为及仿真问题,讨论了Couette-Taylor流三模态类Lorenz型方程组的动力学行为,包括定态的失稳、极限环的出现、分岔与混沌的演变和全局稳定性分析等。通过线性稳定性分析和数值模拟等方法给出了此三维模型分岔与混沌等动力学行为及其演化历程,并借此解释了Couette-Taylor流试验中观察到的部分涡流的演化过程.基于系统的分岔图、Lyapunov指数谱、功率谱、Poincaré(庞加莱)截面和返回映射等揭示了系统混沌行为的普适特征.     

关于轴对称Navier-Stokes方程正则性的一个注记

建立了一个关于轴对称不可压Navier-Stokes系统的正则性准则.证明了如果局部的轴对称光滑解u满足‖ωr‖_{Lα1((0,T);Lβ1)}+‖ωθ/r‖_{Lα2((0,T);Lβ2)}<∞,其中2/α₁+3/β₁≤1+3/β₁,2/α₂+3/β₂≤2和β₁≥3, β₂>3/2,那么此强解将保持光滑性直至时刻T.     

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

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