对流扩散方程的时间间断时空有限体积元法

将时间间断的时空元思想与基于等距节点下三次Lagrange插值的超收敛有限体积元方法相结合,以三次Lagrange插值导数超收敛点为对偶剖分节点,引入插值投影算子,建立对流扩散方程的时间间断时空有限体积元格式.结合有限体积元分析与以Radau积分点为节点的Lagrange插值,证明了近似解的最优L∞(L2)-模误差估计.用单元正交分解法证明了格式在时间节点处的超收敛估计.最后给出数值算例验证了理论分析结果以及该方法的可行性和有效性.     

钱氏定理在有限变形极矩弹性力学广义变分原理的应用

应用Lagrange乘子法和钱伟长证明的两类广义变分原理的等价定理,在本文中导出有限变形极矩弹性力学的广义变分原理.文中采用了在拖带坐标系描述法建立的有限变形应变张量(称为Biot有限变形应变定义的准确形式)和应变速率定义与拖带系应力张量构成完整的数学描述.     

有限幂零半群的构造

有零元的半群S称为幂零的,如果对于任意x∈S有正整数n使x~n=0,设S是有限幂零半群,则存在正整数门使得S~n={0}([1],P.81),适合此条件的最小正整数称为S的0-阶,记为0(S);S的非零元x的0-阶(记为o(x))是指适合下述条件的最小正整数n:S的任意n个包括x在內的元素的积为零;零元的o-阶规定为1. 以下假设S是n阶有限幂零半群.     

有限R—平凡p—半群的分类

半群的代数理论的一个重要课题是研究半群S的同余的特性对于S的结构的影响。作为这个课题的一个方面是研究同余可交换半群的性质。本文借助有限R-平凡半群构造定理[5]来研究有限R-平凡的同余可交换半群的分类。设S是半群。S的同余格记为C(S)。设x∈S,ρ∈C(s),x所在的ρ-类记为xρ。S称为同余可交换半群(简称为P-半群),如果ρ°σ=σ°ρ     

L-连续偏序集的M性质与有限分离性

讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果: (1)若P为L-连续偏序集,则P是有限卜集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.     

广义有限型的注解

本文讨论了满足广义有限型的迭代函数系.首先构造了一个满足广义有限型条件的迭代函数系,证明了当且仅当不变集为(0,1)区间子集时它才是基本集.随后证明了当压缩比的指数是不可公度时,R~d上任何迭代函数系在指标套{A_k}_(k=0)~∞。下均不满足广义有限型条件.最后构造了一类具有广义有限型条件的自相似集,同时给出它们的Hausdorff维数.     

有限群整群环的正规化子性质

Hertweck的反例说明,一个有限群即使它的一个正规子群和它对应的商群具有正规化子性质,该有限群也未必有正规化子性质.本文证明如下主要结果:设G是一个有限群,N是G的一个正规子群且Z(G/N)的中心单位是平凡单位.如果N的Sylow 2-子群是N的一个直因子,则G有正规化子性质.     

SAV/重心插值配点法求解Allen-Cahn方程北大核心CSCD

采用标量辅助变量(scalar auxiliary variable, SAV)方法结合重心插值配点法求解二维Allen-Cahn方程.在时间方向上分别采用Crank-Nicolson格式、二阶向后差分格式离散,空间方向上采用重心Lagrange插值配点法离散,建立了两种无条件能量稳定SAV格式,并给出了重心插值配点格式的逼近性质.数值实验表明:两种SAV配点格式的时间收敛阶为二阶,并满足能量递减规律.与空间采用有限差分法离散对比,重心Lagrange配点格式具有指数收敛的特性.     

解Stokes方程的一种无散稳定二次有限体积法格式

在三角形网格上构造了一种求解Stokes方程的Lagrange二次有限体积法格式.取连续的二次有限元空间与间断的线性有限元空间分别作为Stokes方程的速度项与压力项的试探空间,从而保证了离散方程的速度解在宏元三角形单元上满足局部质量守恒性,且有限元空间对自然满足所谓的inf-sup条件.采用特殊的有限体积法映射与对偶剖分,求解Stokes方程的Lagrange二次有限体积法格式等价于相对应的有限元法格式,因此确保了有限体积法格式的无条件(无需约束三角形网格的几何形状)稳定性和关于速度项的最优阶H1范数的误差估计.最后,数值实验展示了理论结果的正确性以及有限体积法的数值模拟在计算流体力学中的有效性.     

关于有限生成模嵌入自由模

<正> 本文讨论的环都是有1结合环,模都是单式模. 称环R适合性质F,如果 (F)任意一个有限生成的右R-模都同构于一个自由R-模的子模. 环R中的左零化子L的一个有限子集合A={a_1,…,a_n}称为L的一个充分组,如     

带有有限个转移条件的高阶微分算子特征函数系的完备性

研究一类正则的具有混合边界条件并带有有限个转移条件的高阶不连续微分算子特征值问题以及特征函数系的完备性问题.通过结合转移条件定义的新的内积,把问题转换成一个新的Hilbert空间上的对称微分算子的特征值问题.使用分段定义的微分方程的基本解,给出了满足特征方程的特征值是一个整函数的零点,证明了问题的特征值至多可数,得到特征值的充要条件.在此基础上,结合紧算子的谱理论以及逆算子的相关性质,得到了Green函数,证明了特征函数系是完备的.     

有限线性空间的可解线-传递自同构群

设S是一个有限线性空间 ,G是S的自同构群的一个可解线 传递子群 ,则对于给定的线长k ,除了有限对 (S ,G)外 ,S有v =pⁿ 个点 ,且G≤AΓL( 1 ,pⁿ ) .     

解两点边值问题的一类修改的三次有限体积元法

构造了求解两点边值问题的一类修改的Lagrange型三次有限体积元法.试探函数空间取以四次Lobatto多项式的零点作为插值节点的Lagrange型三次有限元空间.将插值多项式的导数超收敛点(应力佳点)作为对偶单元的节点,检验函数空间取相应于对偶剖分的分片常数函数空间.证明了新方法具有最优的H1模和L2模收敛阶,讨论了在应力佳点导数的超收敛性,并通过数值实验验证了理论分析结果.     

对于某些素数共轭类长无平方因子的有限群

本文将考虑满足所谓SN(p)性质的有限群:对于群阶的某一素因子p,G的共轭类长无平方的p-因子.首先,研究了具有.SN(p)性质的有限群的一般结构描述.然后,给出对任意p∈π满足SN(p)性质的有限群G是π-超可解的若干充分条件(其中π是|G|的某些素因子组成的集合)     

带有有限个转移条件的高阶微分算子特征函数系的完备性北大核心CSCD

研究一类正则的具有混合边界条件并带有有限个转移条件的高阶不连续微分算子特征值问题以及特征函数系的完备性问题.通过结合转移条件定义的新的内积,把问题转换成一个新的Hilbert空间上的对称微分算子的特征值问题.使用分段定义的微分方程的基本解,给出了满足特征方程的特征值是一个整函数的零点,证明了问题的特征值至多可数,得到特征值的充要条件.在此基础上,结合紧算子的谱理论以及逆算子的相关性质,得到了Green函数,证明了特征函数系是完备的.     

命题逻辑系统(￡)*n中公式关于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B)在模糊命题逻辑系统(￡)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(￡)*n中建立相对于有限理论的近似推理框架奠定了基础.     

函数芽的有限R_r~*(S;n)-决定性

光滑映射芽的有限决定性是奇点理论中一个重要专题 .对函数芽的有限决定性问题 ,主要是在右等价群及其一些子群作用下来讨论的 .本文在 [1]和 [4 ]的基础上讨论函数芽在右等价群的正规子群 R*n (S;n)作用下的有限决定性 ,并组出函数芽有限 R*r (S;n) -决定的一个充分必要条件 .     

有限合作博弈的Shapley分配

以Myerson关于有限合作的图博弈模型为基础,结合经典合作博弈的相关结论,建立了有限合作博弈的Shapley分配,讨论了分配的相关性质.同时在支付函数满足链递增性的假设下,进一步研究了有限合作关系变化对收益分配的影响,给出了相关的研究结论.     

有限土层轴对称Biot固结的一个新的解析解

提出一个新的解析方法来研究有限土层的轴对称Biot固结.从轴对称Biot固结的控制方程出发,结合Laplace变换的微分性质,建立了Laplace和Hankel变换域内有限土层地基表面(z=0)和任意深度z处基本变量之间的关系.然后结合有限土层的边界条件,推导出Laplace和Hankel变换域内任意一点的解析解.通过进行Laplace逆变换和Hankel逆变换得到了物理域内的解.编制了计算程序,并对有限土层轴对称固结进行了数值分析.     

概率有限自动机的代数性质

研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画.