富足半群

摘要： 本文首先引入了左容许三元组的概念,得到了左型B半群的刻画.进而,建立了真型B半群的结构,得到了一些结果.

摘要： 本文主要介绍了富足半群上正则性保持元的性质，给出了局部恰当半群中幂等元是正则性保持元当且仅当是局部恰当半群的恰当断面。%In this paper,it mainly characterizes the regularity-preserving elements of abundant semigroups.It sug⁃gests that for a locally adequate semigroup , is regularity-preserving if and only if is an adequate transversal of .

摘要： 超富足半群是完全正则半群的推广,对照完全正则半群,超富足半群有许多问题值得探索。本文给出超富足半群的若干特征。

摘要： RP-framed abundant semigroup was defined.We proved that a semigroup was a RP-framed abun-dant semigroup if and only if it was isomorphic to some Rees matrix semigroupM(T;I,Λ;P),where T de-noted an abundant monoid.The entries of the matrix P lied in the group of units of T.%主要定义了 RP-framed富足半群。给出了富足半群 S是RP-framed等价于S同构于Rees雷斯矩阵半群犕（T；I，Λ；P），其中T是富足幺半群，矩阵P的元都是T的单位群。

摘要： 引入了乘法型B断面的概念.建立了具有乘法型B断面的富足半群的结构,得到了一些结果.

摘要： 一个逆半群如果只有一个D-类,则称为双单逆半群.一个型A半群只有一个D*-类和一个正则D-类,则称为*-双单型A半群.本文采用McAlister的刻画双单逆半群的方法([Proc.London Math.Soc.,1974,28(2):193-221]),用一致半格和可消幺半群建立了*-双单型A半群的结构.

摘要： 完全?*单半-群是一类重要的富足半群,本文给出了这类半群的若干特征,这些结果推广了关于完全单半群的一些重要结果。

摘要： 得到了具有拟理想拟恰当断面的富足半群的若干性质和刻画,并利用两个拟恰当半群给出了该类半群的类织积结构定理.

摘要： 通过织积分别给出了带有SQ-恰当断面和PSQ-恰当断面的富足半群的结构定理.

摘要： The concept of weakly quasi-adequate semigroups was introducted. It is a kind of semi-goup intervening between abundant semigroup and adequate semigroup. The properties and structure of such a semigroup without zero with a multiplicative adequate transversal were investigated. It is concluded that the condition of equivalence is that the abundant semigroup with a multiplicative adequate transversal is the weakly quasi-adequate semigroups.%引进弱拟充足半群的概念,这是介于富足半群类与充足半群类之间的一类半群.讨论无零元且有乘充足断面的弱拟充足半群的性质,得到有乘充足断面的富足半群是弱拟充足半群的等价条件.

摘要： 本发明公开了一种可节省耕地的半地下房屋及半地下房屋群，属于建筑领域，解决了房屋建筑占用耕地的问题。一种可节省耕地的半地下房屋，房屋位于地面以下，在房屋的屋顶上开设有天窗，屋顶的其余位置覆盖有种植土。一种可节省耕地的半地下房屋群，由多个可节省耕地的半地下房屋呈矩阵状排列组成。本发明将房屋建造在地面以下，冬暖夏凉，在屋顶上覆盖种植土可作为耕地，不占用耕地，且保温性能好。本发明可在大面积的耕地下设置多个半地下房屋形成半地下房屋群，在不占用耕地的前提下可提供大量房屋建筑，有效解决了房屋建筑与耕地的矛盾问题，具有很好的推广价值。

摘要： 本公开的实施例涉及利用plactic幺半群用于密钥协商的方法和系统。一种方法，用于通过公共通信信道在第一方与第二方之间的密钥协商，所述方法包括：由所述第一方选择第一值“a”；使用克努特乘法将所述第一值“a”乘以第二值“b”以创建第三值“d”，第三值“d”是半标准矩阵；将向第二方发送第三值“d”；从所述第二方接收第四值“e”，第四值是第二半标准矩阵，该第二半标准矩阵包括所述第二值“b”乘以由所述第二方选择的第五值“c”；以及通过使用克努特乘法将第一值“a”与第四值“e”相乘来创建共享秘密，其中共享秘密匹配使用克努特乘法将第三值“d”乘以所述第五值“c”。

摘要： 一种利用乘法相乘半群进行数字签名的方法和系统。一种用于在计算设备处验证通过公共通信信道从第一方接收的签名消息的方法，该方法包括：从签名消息中提取消息摘要“a”，消息摘要“a”属于半群；获得第一方的公钥[c,e]，公钥的元素包括校验器“c”和端点“e”，校验器“c”和端点“e”属于半群，并且端点包括第一方的私钥“b”和校验器“c”的乘法；将消息摘要“a”和端点“e”相乘，以创建尾标“ae”＝“abc”；从签名消息中提取签名“d”，签名“d”属于半群，并且签名“d”是消息摘要“a”和私钥“b”的乘法；将签名“d”和校验器“c”相乘，以创建签名校验“dc”＝“abc”；以及验证尾标“ae”与签名校验“dc”匹配。

摘要： 本发明公开了一种半成岩地区深埋相贯隧道群施工方法，包括以下步骤：先施工扶梯隧道，至横通道交叉口处时对扶梯隧道拱架进行加固处理；从所述扶梯隧道与横通道的交叉口往左右两侧同步开挖施工横通道；横通道施工完成后，采用挑顶转换工法往左、右线左右两侧同步开挖进行正线隧道施工，并对横通道及两侧对应的初支拱架范围内及时进行锁脚锚管的加强，扶梯隧道作为出碴通道；开挖和初期支护完成后进行二衬施工。施工顺序安排合理，有效的加快了施工进度，节约成本，同时控制多节点立体交叉隧道由于结构上受力不均而带来的拱顶沉降和坍塌的高风险性，解决了半成岩地区深埋相贯隧道群施工时结构不稳定的难题。

摘要： 一种用于通过公共通信信道在第一方与第二方之间进行密钥协商的方法，该方法包括：由第一方从半群中选择第一值“a”；将第一值“a”乘以第二值“b”以创建第三值“d”，第二值“b”从半群中被选择；向第二方发送第三值“d”；从第二方接收第四值“e”，第四值包括第二值“b”乘以由第二方从半群中选择的第五值“c”；以及通过将第一值“a”与第四值“e”相乘来创建共享秘密，其中共享秘密与第三值“d”乘以第五值“c”相匹配。

摘要： 本发明公开了一种锤击群桩挤土效应半模模型试验装置及其试验方法。锤击群桩挤土效应半模模型试验装置，包括模型箱、加载装置、群桩加载板、加载柱、加载固定板、加载桩、监测装置，模型箱的前壁为透明钢化玻璃，模型箱内设有原桩基，群桩加载板连接在模型箱的上口，群桩加载板上设有多个加载孔，加载柱的下端与群桩加载板固定连接，其上端与加载固定板固定连接，加载固定板上对应于群桩加载板上的加载孔对应设有多个螺纹孔，加载装置包括可抽拉的加载导杆、滑动套装在加载导杆上的钢锤、连接在加载导杆下端的锤击垫板，加载导杆的上端与加载固定板上的螺纹孔连接，加载桩竖直放置于加载孔内，监测装置包括千分表和多个紧贴原桩基侧面的土压力计。

摘要： 本发明公开一种群智能建筑应用程序半物理实时仿真平台，包括群智能建筑仿真模型库(1)、群智能建筑模型管理引擎(2)、群智能仿真运行管理库(3)、群智能建筑仿真数据监视器(4)、CPN系统接口(5)、CPN系统(6)、群智能仿真线程调度中心(7)和群智能建筑仿真显示模块(8)，CPN系统(6)通过CPN系统接口(5)与群智能建筑仿真数据监视器(4)双向信号相连，群智能仿真运行管理库(3)分别与群智能建筑仿真数据监视器(4)和群智能建筑模型管理引擎(2)双向信号相连，群智能建筑仿真模型库(1)与群智能建筑模型管理引擎(2)双向信号相连。本发明的仿真平台，有效实现群智能建筑应用程序的测试、分析与验证。

摘要： 本实用新型公开了一种可节省耕地的半地下房屋及半地下房屋群，属于建筑领域，解决了房屋建筑占用耕地的问题。一种可节省耕地的半地下房屋，房屋位于地面以下，在房屋的屋顶上开设有天窗，屋顶的其余位置覆盖有种植土。一种可节省耕地的半地下房屋群，由多个可节省耕地的半地下房屋呈矩阵状排列组成。本实用新型将房屋建造在地面以下，冬暖夏凉，在屋顶上覆盖种植土可作为耕地，不占用耕地，且保温性能好。本实用新型可在大面积的耕地下设置多个半地下房屋形成半地下房屋群，在不占用耕地的前提下可提供大量房屋建筑，有效解决了房屋建筑与耕地的矛盾问题，具有很好的推广价值。

摘要： 本实用新型公开了一种适用于山区路基高填方护坡的半框架式抗滑群键，涉及边坡支护领域，本实用新型的技术方案包括若干抗滑键，所述抗滑键包括框架柱和框架梁；所述框架柱竖直设置，所述框架柱的下端向下嵌入基岩内，所述框架柱的上端位于填方边坡内；所述框架梁水平设置，所述框架梁的内端嵌入基岩内，所述框架梁的外端位于填方边坡内，并且所述框架梁的外端与所述框架柱的上端形成刚节点。具有抗剪能力强和抗弯刚度高的优点，特别适用于键身较高的抗滑键结构，有效提高支护效果。

摘要： 本实用新型公开了一种锤击群桩挤土效应半模模型试验装置。锤击群桩挤土效应半模模型试验装置，包括模型箱、加载装置、群桩加载板、加载柱、加载固定板、加载桩、监测装置，模型箱的前壁为透明钢化玻璃，模型箱内设有原桩基，群桩加载板连接在模型箱的上口，群桩加载板上设有多个加载孔，加载柱的下端与群桩加载板固定连接，其上端与加载固定板固定连接，加载固定板上对应于群桩加载板上的加载孔对应设有多个螺纹孔，加载装置包括可抽拉的加载导杆、滑动套装在加载导杆上的钢锤、连接在加载导杆下端的锤击垫板，加载导杆的上端与加载固定板上的螺纹孔连接，加载桩竖直放置于加载孔内，监测装置包括千分表和多个紧贴原桩基侧面的土压力计。