Clifford半群

摘要： 研究了Clifford半群的正规子半群格的分解,由此进一步得到Clifford半群的正规子半群格是分配格(上半分配格,下半分配格)的充分必要条件.

摘要： 对Clifford半群的平移壳进行了研究.证明了:当Clifford半群S的幂等元集满足一定条件时,S的平移壳Ω(S)上的最小群同余和S上的最小群同余σ满足关系式Ω(S)/(ρ)≌S/σ.

摘要： 讨论了含幺Clifford半群上的Rees矩阵半群和完全正则半群之间的关系,证明了完全正则半群是含幺Clifford半群上的Rees矩阵半群当且仅当它是幺半群上的Rees矩阵半群。

摘要： 讨论了含幺Clifford半群上的Rees矩阵半群和完全正则半群之间的关系,证明了完全正则半群是含幺Clifford半群上的Rees矩阵半群当且仅当它是幺半群上的Rees矩阵半群.

摘要： 对Clifford半群的平移壳进行了研究.证明了:当Clifford半群S的幂等元集满足一定条件时,S的平移壳Ω(S)上的最小群同余■和S上的最小群同余σ满足关系式■.

摘要： 研究了含幺Clifford半群上的Rees矩阵半群S的幂等分离同余,给出了S上的同余是最大幂等分离同余的一个充要条件.

摘要： 研究了含幺Clifford半群上的Rees矩阵半群S的幂等分离同余,给出了S上的同余是最大幂等分离同余的一个充要条件.

摘要： 本文将模糊集与半群代数相结合并从一个全新的角度将最接近群定义的著名半群—Clifford半群模糊化,即从模糊关系的角度研究Clifford半群,引入E-模糊Clifford半群的定义,结合λ截集决定的模糊商集的概念,得到E-模糊Clifford半群的一个充要条件.%The fuzzy set is combined with semigroup algebra and the famous semigroup—Clifford semigroup which is closest to the group definition is fuzzified from a new perspective.In other words,the Clifford semigroup is studied from the perspective of fuzzy relation.The definition of E-fuzzy Clifford semigroups is introduced, and a necessary and sufficient conditions for E-fuzzy Clifford semigroups are proved by combining the concept of fuzzy quotient set determined by λ truncation set.

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

摘要： 本公开的实施例涉及利用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)双向信号相连。本发明的仿真平台，有效实现群智能建筑应用程序的测试、分析与验证。

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

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

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