左Clifford双半环的性质与结构

定义了双半环的分配格和带双半环。利用这两个定义以及左Clifford半群的性质,给出了左双环和左Clifford双半环的定义,并得到了双半环是左双环的充分必要条件和双半环是左Clifford双半环的充分必要条件。     

时间非均匀介质中两种群竞争格点系统的广义行波

考虑一般时间非均匀介质中两种群竞争格点系统广义行波的存在性和不存在性问题, 通过建立相关合作系统上下解的比较原理, 并构造其合适的上下解, 证明了当下平均速度大于一个确定的阈值时, 该系统广义行波存在, 并且不存在下平均速度小于此阈值的广义行波.     

完全正则子半群格是半模格的完全正则半群

得到了完全正则半群S的子系统格是半模格的充分必要条件,即S的子系统格是半模格当且仅当S是一些UM-群或者极大子群为UM-群的左群或右群的序和.     

Lattice Solid/Boltzmann Microscopic Model to Simulate Solid/Fluid Systems-A Tool to Study Creation of Fluid Flow Networks for Viable Deep Geothermal Energy

SUMMARY:Realizing the potential of geothermal energy as a cheap, green, sustainable resource to provide for the planet’s future energy demands that a key geophysical problem be solved first:how to deve...     

T_3晶格中无质量Dirac粒子的磁电约束和波导

从理论上研究了T3晶格中的载流子在非均匀磁场和电场构成的磁电势阱中的约束.利用磁电组合势阱中电势可调的特点,靠增加电势阱深度从而增加粒子的束缚态数,或者增加势阱区域的宽度来改变束缚态数.利用磁电势阱构成电子波导或者量子线,计算了波导的本征模和概率流密度,指出了T3晶格的磁电波导可成为有希望的纳米电子器件.     

横向合成背景的面向对象概念格的生成

针对多形式背景合成的概念格生成,提出了一种多背景横向合成的面向对象概念格的生成方法。首先利用各个子形式背景中的每个概念的外延通过相关运算得到合成背景的面向对象概念格的外延集,然后将得到的外延集通过近似算子运算得到合成背景的内涵,并进一步得到合成背景的概念格。用理论证明该方法的有效性和完备性,并通过实验表明该方法时间效率较好。     

MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

积分方程法结合Ewald变换和栅格对称性分析周期性结构的散射特性

本文提出空域积分方程法分析周期性结构。空域周期格林函数的计算通过改进的Ewald变换进行加速。利用周期性结构栅格的对称性简化了几何模型的尺寸，未知量大大减少，以致填充矩阵和求解MoM线性系统的时间大为减少。我们的方法跟目前已发表的文章和商业软件相比，更高效和精确。     

某大型格构式跨越架性能分析

主要针对一种900mm截面大型格构式的跨越架,分别在有无拉线情况下,用Midas软件进行整体稳定性及承载力性能分析.对比有拉线跨越架、无拉线跨越架的计算结果,可知加拉线能显著减小承载力极限状态下的最大水平位移、竖向支座反力,而对其它方面的影响较小.加拉线能提高跨越架结构抵抗水平荷载的能力,如提高在局部的阵风荷载、振动等作用下的安全储备.所得结果为施工提供一定参考价值.     

基于MATLAB矩阵运算的大整数乘法设计与实现

大整数运算在信息安全、数学验证、基因工程等领域有着广泛的应用,设计有效的方案提高运算效率成为学者关注的热点。大整数乘法是大整数运算中的核心运算,对如何提高大整数乘法运算效率进行了分析总结,并利用MATLAB矩阵运算结合格子乘法等算法进行了设计与实现。实验表明通过MATLAB矩阵运算进行大整数乘法运算能有效的提高运算效率。