一类最优控制问题混合有限元解的后验误差估计

对一类受非线性椭圆方程约束的二次最优控制问题的混合有限元方法进行了后验误差分析.利用k阶R-T混合元空间和分片常数函数分别对状态变量和控制变量进行估计,得到合适的后验误差指示子.在数值实验中将所得的后验误差指示子作为网格加密的指示子,得到较为精确的数值解.     

双高副四杆机构动力分析与平衡

本文在双高副四杆机构运动分析的基础上,采用杆长逼近法和中心差分计算振动架和连杆质心的运动位移、加速度、惯性力的离散数值,运用解析法计算计及惯性力时各杆件间的作用力和支反力及调速。同时,根据计算所得的离散化支反力数值,采用有限傅里叶逼近,以级数中各项代表各阶动载荷,从而给出作用在支承上载荷频率,以判断机构的抗震性。最后,研究了在曲柄回转中心增设齿轮机构平衡一阶动载荷方法,以及用回转质量近似平衡动载荷。文中介绍的方法比用传统的广义质量代换法研究机构动态性能,概念清晰,计算简捷。     

矩阵方程ATXA=B的对称正交反对称解及其最佳逼近

通过应用广义奇异值分解定理，得到了矩阵方程A^TXA=B的对称正交反对称解存在的一个充要条件，导出了通解表达式，对给定的矩阵，求得了矩阵方程的最佳逼近对称正交反对称解，同时也获得了它的最小范数解。     

广义余弦函数及一类二阶抽象柯西问题研究

首先基于广义二阶单参数分布系统的求解问题提出了广义余弦函数的概念;其次利用Laplace变换等工具,系统地刻画了广义余弦函数的性质;接着在给出广义余弦函数生成定理的基础上,对其逼近、扰动及遍历问题进行了分析;最后利用广义余弦函数工具对一类二阶抽象柯西问题的适定性进行了研究.     

基于线性逼近的车道线弯道识别方法

为提高车道线识别算法在大曲率弯道下的识别性能,提出一种基于线性逼近的弯道识别方法.基于车道线先验知识,利用改进的局部逆透视变换和Hough变换对车道线进行初步提取.根据初步提取结果,对未知区域进行循环线性逼近并提取车道线边界点.通过最小二乘法利用B-样条曲线完成车道线拟合.实验证明,该算法对大曲率弯道的车道线识别具有较高的精确性.      

抛物积分微分问题各向异性有限元的超收敛分析

研究具有各向异性特征的双二次元对抛物积分微分方程进行了逼近.通过采用积分恒等式和插值后处理技术,在各向异性网格下得到了比以往文献高一阶的超逼近和超收敛结果.     

基于四次矩阵样条的矩阵微分方程近似解

矩阵微分方程经常出现在物理模型和工程技术模型中。文章给出了用四次矩阵样条构造形如Y′=A(x)Y B(x),Y(0)=Y0,x∈[a,b],A(x)、B(x)∈C4[a,b]的一阶矩阵线性微分方程初值问题近似解的方法,研究了该方法的逼近误差并编制了实现该方法的一个算法,最后给出一些数值实例;比较结果表明,用四次矩阵样条所构造的近似解的逼近效果要比用三次矩阵样条所构造的近似解的逼近效果好。     

一类矩阵方程的正交对称问题

针对约束矩阵方程问题,提出了一类矩阵方程的正交对称约束问题.通过研究正交对称矩阵与对称矩阵的关系,应用矩阵的标准相关分解(CCD)原理,获得了矩阵方程正交对称约束问题存在解的充要条件,以及该问题的通解表达式,并导出了与已知矩阵最佳逼近的正交对称解,也获得了方程相应的最小范数解.     

Orlicz空间中Müntz有理逼近

在多项式逼近、插值逼近、倒数逼近等形式中,有理逼近是函数逼近论的一个重要逼近形式。在工程、信号处理等领域有重要应用。相比多项式虽然有理函数复杂一些,但用有理函数近似表示函数时,能够反映函数的一些属性,而且要比多项式灵活、有效。利用连续模、K-泛函等研究逼近问题的工具,结合不等式技巧在Orlicz空间内讨论了Müntz有理逼近问题,得到了逼近阶的两种估计。     

交叉积C*-代数Cuntz半群的性质

设A是一个无限维的有单位元并且具有k?局部几乎可除性质的(或者是UCFPn(W(A))=m)的C*?代数.α:G→Aut(A)是有限群G作用在C*?代数A上,并且作用具有迹Rokhlin性质.则交叉积C*?代数C*(G,A,α)具有k?局部几乎可除性质(或者是UCFPn(W(C*(G,A,α)))=m).