否定非对合剩余格的模糊LI理想

对否定非对合剩余格的模糊LI理想问题作进一步深入研究.首先,给出了模糊LI理想的一些新性质和新刻画.然后,引入正规模糊LI理想的概念并研究其性质,获得了模糊LI理想成为正规模糊LI理想的若干充要条件.     

否定非对合剩余格上的BF-同余关系

为了进一步深入研究否定非对合剩余格的结构特征,引入否定非对合剩余格上的BF-同余关系概念并考察其性质.讨论了否定非对合剩余格L上的BF-同余关系与BF-理想间的关系,基于L的BF-理想A诱导出了一个BF-同余关系Φ_A,证明了L在Φ_A下的商代数构成一个剩余格.     

关注特殊图形 解决格点问题——有效教学背景下的解题策略研究

近年来,全国各地的中考试题中频繁出现以"网格"为背景的数学问题,简称"格点问题".这类问题将数学信息隐藏在网格中,它不仅培养学生直观看图的能力,更注重于让学生在看图中分析画图的依据,掌握作图的原理.进而强化学生的规律意识与归纳能力.本文从三个方面来分析特殊图形在"格点问题"中的应用.     

密度矩阵重正化群的异构并行优化

密度矩阵重正化群方法（DMRG）在求解一维强关联格点模型的基态时可以获得较高的精度,在应用于二维或准二维问题时,要达到类似的精度通常需要较大的计算量与存储空间.本文提出一种新的DMRG异构并行策略,可以同时发挥计算机中央处理器（CPU）和图形处理器（GPU）的计算性能.针对最耗时的哈密顿量对角化部分,实现了数据的分布式存储,并且给出了CPU和GPU之间的负载平衡策略.以费米Hubbard模型为例,测试了异构并行程序在不同DMRG保留状态数下的运行表现,并给出了相应的性能基准.应用于4腿梯子时,观测到了高温超导中常见的电荷密度条纹,此时保留状态数达到10⁴,使用的GPU显存小于12 GB.     

密度矩阵重正化群的异构并行优化

密度矩阵重正化群方法（DMRG）在求解一维强关联格点模型的基态时可以获得较高的精度，在应用于二维或准二维问题时，要达到类似的精度通常需要较大的计算量与存储空间.本文提出一种新的DMRG异构并行策略，可以同时发挥计算机中央处理器（CPU）和图形处理器（GPU）的计算性能.针对最耗时的哈密顿量对角化部分，实现了数据的分布式存储，并且给出了CPU和GPU之间的负载平衡策略.以费米Hubbard模型为例，测试了异构并行程序在不同DMRG保留状态数下的运行表现，并给出了相应的性能基准.应用于4腿梯子时，观测到了高温超导中常见的电荷密度条纹，此时保留状态数达到10⁴，使用的GPU显存小于12 GB.     

自由正交模格FMOk(n)的自同构群

文章先利用自同构映射保有限并的性质研究了一般正交模格的次直积的自同构群与自同构群的次直积的关系,再用块置换的方法研究了MOk的自同构群的生成元集,由此得到自由正交模格FMOk(n)的自同构群的直积分解式,从而完全解决了FMOk(n)的自同构群的结构问题.     

E-理想拟正则半群

本文定义了一类拟正则半群,所谓E-理想拟正则半群;给出了它以及它的两类特殊情形(E-左正则性拟正则半群,E-半格性拟正则半群)的特征;建立了它们的结构定理,并作为推论获得了左正则带的结构以及带的已知结构(文献[1],Petrich,1967)。     

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed.     

有限温度格点U(1)规范理论计算

用有限温度的变分-累积展开方法,计算了N_{τ=1的U(1)格点规范模型的序参量,结果与蒙特卡洛模拟符合,讨论了Nτ=1时出现的特殊简化,明确了变分条件定累积展开中所引入的参数和聚点法定参数的关系.}     

The Level Structures of the Kernel and Hull on Lattice—Valued Funcetions and Induced Spaces

It is studied systematically for the level strcture of the kernel and hull on continuous-lattice-calued function.In terms of these results,the level characterixations of induced space are odtained.