有限链上逻辑算子的分配性方程求解

主要讨论有限链L上的分配性方程F（ G1（ x，y），z）＝G2（ F（ x，z），F（ y，z））。分别针对以下情况对上述分配性方程的解进行特征刻画：（a） F为光滑三角模，G1＝G2为光滑三角余模（F为光滑三角余模，G1＝G2为光滑三角模）；（b）F为S-蕴涵（或R-蕴涵），G1为光滑三角模且G2为光滑三角余模；（c） F为S-蕴涵（或R-蕴涵），G1为光滑三角余模且G2为光滑三角模；（d） F为S-蕴涵（或R-蕴涵），G1和G2均为光滑三角模；（e） F为S-蕴涵（或R-蕴涵），G1和G2均为光滑三角余模。     

n阶三角矩阵环上的有限嵌入模

设Γ是一个n阶三角矩阵环,其中n≥2是一个整数。给出了一个Γ-模的子模是本质子模的等价刻画与一个Γ-模的基座具体形式。特别地,作为上述结论的运用,给出了一个Γ-模是有限嵌入模的充分必要条件。     

A.G.环上有限生成模的B—子模链

该文进一步探讨了B-子模链的性质,给出了B-子模链的grade number,pure性,以及J-链,pure模,holonomic模与B-链的关系.     

PVMD与自反模

证明了若R是GCD整环,N是有限型的w-模F的w-子模,满足(N:F)=(um),其中u∈R是素元,则存在F的w-子模升链A0= N A1 … Am= F,使得每一Ai是F的( u)-准素子模,且Ai是Ai 1的( u)-素子模.此外,也给出了PVMD上任何有限生成无挠模的二次对偶模的计算办法,即F**=∩{ FP| P∈Ass( K/ R) .     

几类w-模的Krull-Remak-Schmidt定理

研究了具有w-子模链条件的模上同态,推广了Schur引理,证明了在Krull-Remak-Schmidt定理的观点下,几类w-模可以唯一分解为自同态环是局部环的不可分解子模的直和.     

模空间可直分解的判定定理

讨论了几类特殊模空间直分解的判定条件,给出了有限维模的直和项和极大子模的关系以及有限维模的极大子模的生成形式。     

格上三角模及其构造方法

首先引进格上三角模的概念，给出7个格上三角模的具体模型。研究了格上三角模的基本性质，并给出了构造格上三角模的一般方法。     

超有限群上minimax模的f－分解

设Ｇ是群，Ａ是ＺＧ－模。称Ａ为一个ｍｉｎｉｍａｘ模，如果Ａ有一个有限的ＺＧ－子模链：０＝Ａ＿ｏ≤Ａ＿１≤…≤Ａ＿ｘ＝Ａ且对任意的ｉ≤ｎ，Ａ＿ｉ／Ａ＿（ｉ－１）或者满足极小条件或者满足极大条件，证明了：如果Ｇ是超有限群，则任意ｍｉｎｉｍａｘ模有ｆ－分解．     

Cayli所构造二元算子成一致模的一些条件

2019年，Cayli在有界格上给出了两种用子区间[0,e]上三角模T_e和[e,1]上三角余模S_e构造以e为单位元的一致模的方法。该文将从格结构的角度给出Cayli所构造有界格上二元算子成一致模的一些条件。     

余有限扩张模

作为扩张模的真推广,引入余有限扩张模,并讨论该模的基本性质.证明余有限扩张模的任意直和项(完全不变的余有限子模)仍是余有限扩张模.若M是余有限扩张模且N是M的闭子模,则M/N是余有限扩张模.设M=M1M2是duo模.若M1和M2都是余有限扩张模,则M是余有限扩张模.     

C［a,b］上半范数的两个问题

R上无限维交换代数．研究了C［a,b］上面的半范数Np(f(x))=［∫ba|f(x)|pdx］1p(0＜p＜∞)与半模N∞(f(x))=maxaxb［|f(x)|］的关系，通过这种关系证明了Np(f(x))对0＜p＜∞不是C［a,b］上的稳定半范数．给出了C［a,b］上不是连续半模的一个实例．     

有限集合上的1-1部分变换半群中的链

本文讨论了有限集合X上的1-1部分变换半群Jx中的链的性质,得到一些重要结论。     

依赖时间的二阶双曲方程半离散Galerkin解法的误差估计

本文考虑如下形式的二阶双曲方程: 其中A(t)=L_1(t)+L_2(t)依赖于时间t,当L_1(t)正定,L_1~(-1)(t)L_2(t)全连续时,我们就标准的Galèrkin有限元方法,给出半离散解的H~1模和L_2模误差估计。     

连通、P3局部连通［5,3］-图的圈可扩性

如果图G的任意s个顶点的导出子图中至少含有t条边,则称G为［s,t］-图。设H是一个图,如果图G中任意一个同构于H的子图F,有G［N(F)-V(F)］连通,则称G是H-局部连通的。本文证明：阶数≥8的连通、P₃-局部连通的［5,3］-图是1-2可扩的(这里P₃表示3阶路)。     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

关于有限维向量值函数一些注记

首先给出取值于有限维向量空间上的向量值函数的表示形式和有限维向量空间的一种范数.然后利用有限维向量空间上任意两种范数都是等价的性质,讨论了取值于有限维赋范线性空间上的向量值函数的连续、可微、积分及解析的等价关系和表示形式.最后证明了柯西定理、柯西积分公式、高阶导数公式及其表示形式和解析的向量值函数的无穷可微性.     

带马尔可夫切换的Q-过程的耦合

给出了如何构造连续时间带马尔可夫切换的Q-过程（X（t）,Z（t））的耦合算子,其中X（t）的参数结构被一个有限状态的马氏链Z（t）所控制,证明了此耦合在一定条件下是成功的．     

次正规子群对有限群p-幂零性的影响

有限群论中,通常利用子群的性质来刻画有限群的结构.为进一步研究次正规子群对有限群p-幂零群的影响,考虑Sylow子群的极大子群或2-极大子群满足次正规性,给出群G为p-幂零群的若干充分条件,并将其结果推广到群系.     

应变梯度理论有限元:C0-1分片检验及其变分基础

基于细观有限元弹性应变梯度理论,首次提出应变梯度有限元的C^0-1分片检验条件及其变分基础和一种构造应变梯度单元的方法．与常规的C^0分片检验和C^0分片检验不同,C^0-1分片检验要求检验函数为满足平衡方程的二次函数,并同时通过线性平面应力C^0分片检验和应变梯度常曲率的C^1分片检验．进一步提出一个平面18-DOF三角形应变梯度单元(RCT9 RT9),算例表明该单元通过C^0-1分片检验,无伪零能模式,并有较高的精度。     

基于NASTRAN的现浇混凝土空心楼盖非线性数值模拟分析

运用大型通用有限元软件PATRAN—NASTRAN,建立了无梁空心板的三维有限元分析模型,并对其进行了竖向荷载作用下的非线性分析,给出了一些关键部位的荷载挠度曲线以及钢筋的应变曲线,最后将计算结果与试验结果作了对比,验证了有限元数值模拟的有效性及参数选取的合理性．