FAR-模形成的格

研究了全体FAR-模形成的格FAR(M)及其子格的结构,证得FAR(M)及其子格为模格.利用同态理论研究同态模间形成的FAR-模格的相互关系,得到一些重要的同态与同构定理.最后指出FAR(M)不是分配格.     

F_R~A-模形成的格(英文)

研究了全体 FAR-模形成的格 FAR( M)及其子格的结构 ,证得 FAR( M)及其子格为模格 .利用同态理论研究同态模间形成的 FAR-模格的相互关系 ,得到一些重要的同态与同构定理 .最后指出 FAR( M)不是分配格     

FR^A—模型成的格

研究了全体ＦＲ＾Ａ－模型成的格ＦＲ＾Ａ（Ｍ）及其子格的结构，证得ＦＲ＾Ａ（Ｍ）及其子格为模格。利用同态理论研究同态模间形成的ＦＲ＾Ａ－模格的相互关系，得到一些重要的同态与同构定理。最后指出ＦＲ＾Ａ（Ｍ）不是配格。     

格上伪度量函数的分解

提出了格上的半伪度量函数的概念，给出了格上伪度量函数的几种分解，即，将伪度量函数表示为２个半伪度量函数之和，讨论了它们在格上的诱导拓扑之间的对应关系，并且研究了格上的半伪度量与非负模函数之间的关系。     

非模的上半模格的一个特征

本文证明了有穷长非模的上半模格的一个特征(定理J),作为其应用,在证明了一个命题之后,求出了8元格中所有解同构的非模的上半模格。     

关于模格的两个有限列生成的子格的注记

我们比[1]§69较简洁地用新法证明了定理1 格L是模格由L的任意两列 a=c_0相似文献   

格环上的Fuzzy同余关系

给出了格环上Fuzzy同余关系的定义,研究了它的若干性质,证明了格环上的全体Fuzzy同余关系关于Fuzzy集合的包含关系构成一个模格,并利用Fuzzy同余类给出了Fuzzy同余商格环的定义及其同态、同构的若干性质。     

正交模格的成分理论

文章着重探讨了正交模格中元素的成分理论，并在此基础上引入了元素的宽度概念，由此得出了正交模格中各元素的成分之集也构成一个正交模格的结论。     

关于优半模

本文引进一类特殊的半模—优半模,证明了其子半模集构成了一个Dedekind格,并讨论了优半模的基本性质及其链条件。     

有1模格的几个等价定义

对具有单位元的模格,给出三种等价定义,并根据模格所满足的幂等律、交换律、结合律、吸收律和模律,证明了有1模格各种定义之间的等价性.     

偏格子中的格子Boltzmann方程

给出偏格子的格子Boltzmann模型. 应用Chapman-Enskog展开和多重尺度技术, 通过 选择平衡态分布函数的高阶矩和偏张量的形式, 得到偏网格上的Euler方程.     

关于弱模格及其同余关系格的一些注记

以非模格Ｌ的ｎ５子格的弱射影关系刻划了弱模性．证明了在主同余关系可分的条件下．弱模格的同余关系格与分配格的同余关系格的特征是一致的，由此证明了对任意格Ｌ，存在分配格Ｋ使Ｃ（Ｌ）Ｃ（Ｋ）的充要条件是Ｌ为弱模格且其主同余关系可分．     

关于模格,分配格充要条件的严格推证

本文在离散数学的范围内,从格、子格、模格、分配格的定义,格的运算性质出发,充分利用两个特殊的五元格,对有关格是模格、格是分配格的充分与必要条件的五个定理作出严格的推证。     

一种泛多项式偏序上的格

引入了泛多项式,给出了泛多项式的一种偏序结构,证明了一截段上〔０,ｐ〕的泛多项式构成一个格,而且当ｐ是线性时是一个分配格。最后给出了非模格,非分配的模格,非线性的的分配格的例子。     

ANSYS环境下基于离散变量的网架结构优化设计

以通用有限元分析软件ANSYS作为运行环境,将网架结构的杆件截面面积作为离散的设计变量,以网架结构的总质量为目标函数,同时考虑网架的强度、刚度、稳定性以及截面尺寸等约束条件,采用一维搜索方法和改进的应力比法等优化方法,对网架结构进行了优化. 工程实例计算表明:该优化算法原理简单,收敛速度快,能在保证安全的基础上降低工程造价,取得较好的优化设计结果.     

BCl-代数的理想格

本文证明了BCI一代数的闭理想格是它的理想格的完备的模子格     

构形和拟阵的同构映射及关于超可解的几个性质

给出了中心超平面构形相交半序集及与其对应的简单拟阵平坦格的同构映射的对应关系,证明了这个映射若限制在模元组成的集合上,也是同构映射,且给出相交半序集和平坦格的模元秩函数之间的关系。另外,还讨论了关于超可解的几个性质。     

半群上的L-模糊同余

本文给出了一个Ｌ模糊关系生成Ｌ－模糊同余及包含在这Ｌ－模糊关系中最大的Ｌ－模糊同余的刻画。进一步证明了一个半群的Ｌ－模糊同余格是一个完备格且给出两个Ｌ－模糊同余并的刻画，特别地，我们得出群的Ｌ－模糊同余格为模格