同余关系

摘要： 双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算。对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论。其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系。借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的。所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持。

摘要： 双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算.对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论.其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系.借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的.所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持.

摘要： 素理想是研究序代数同余关系的一个重要工具。在半伪补de Morgan代数上引入两类素理想,以半伪补de Morgan代数本身的运算属性为基础获得了半伪补de Morgan代数上素理想的运算特征。利用素理想构造出了半伪补de Morgan代数上的一类同余关系等式,从而借助素理想集刻画半伪补de Morgan代数的每一个同余关系,获得了半伪补de Morgan代数上的同余关系判别定理。得到次直不可约的半伪补de Morgan代数的结构特征,其元素个数小于或等于8。所得结论为其它序代数类理想性质的研究提供了方法,丰富了序代数的发展,为进一步研究序代数类的代数结构提供理论支持。

摘要： 理想是刻画代数结构的工具,借助理想有助于了解代数的内部结构.在分配格代数中,将运算融入格理想,衍生出核理想.核理想是认识序代数及其同余关系的载体.O理想是一类特殊的核理想,首先在双重Stone代数的基础上,引入O理想的概念,结合双重Stone代数的运算属性,构造出一类具体的O理想;其次,利用双重Stone代数核理想和余核滤子同余关系表达式,给出了由核理想寻找余核滤子的方法,获得了双重Stone代数的核理想成为O理想的充要条件.所得结论为其他分配格代数类O理想性质的研究提供了方法,丰富了分配格理论,为进一步研究分配格类的代数结构提供理论支持.

摘要： 本文研究了扩展的有界分配格(即带有一个自同态运算的有界分配格)的次直不可约问题.利用不动点集和同余的方法,刻画了ep,qD代数类中次直不可约代数,获得了此类代数中有限次直不可约性和次直不可约性两者等价的结果,推广了Balbes以及Dwinger关于半格、分配格和布尔代数的相关结果.%In this paper,we initiate an investigation into the class eD of extended bounded distributive lattices,namely,bounded distributive lattices endowed with an unary operation,which is an endomorphism. By using the set of fixed points and congruences,we characterise the(finitely) subdirectly irreducible algebras in ep,qD. In particular, we show that for every algebra in ep,qD, the properties of being finitely subdirectly irreducible and subdirectly irreducible are equivalent. Some results obtained by Balbes and Dwinger on semilattices, distributive lattices and Boolean algebras are generalized.

摘要： 在双重半伪补MS代数上引入余核滤子的概念,构造了余核滤子同余关系表达式,获得了余核滤子判别定理.根据双重半伪补MS代数的运算特征及主同余表示理论,获得了余核滤子同余关系的若干等价表达式并证明了双重半伪补MS代数余核滤子与其同余关系是同构的.所得结论为Ockham代数类余核滤子性质的研究提供了方法,丰富了序代数结构理论.

摘要： 素理想是研究Ockham代数类结构的一个重要工具.伪补MS-代数是同时具有伪补代数和MS-代数特征的一类代数.首先在伪补MS-代数上引入两类素理想,以伪补MS-代数本身的运算属性为基础获得了伪补MS-代数素理想的运算特征.其次,利用素理想构造出了伪补MS-代数上的一类同余关系等式,借助素理想集刻画伪补MS-代数的每一个同余关系,获得了伪补MS-代数上的同余关系判别定理.最后,得到次直不可约的伪补MS-代数的结构特征,其元素个数小于或等于6.所得结论为其他Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持.

摘要： 本文在对格蕴涵代数上的同余关系分析研究中,对同余关系所具有的商格蕴涵代数进行详细分析研究,了解不同类别同余关系之间的关联,希望能够对格蕴含代数内的同余关系有着全面分析研究.

摘要： 理想是研究Ockham代数类结构的一个重要工具,在双重Stone代数上引入核理想的概念,构造了核理想同余关系表达式,获得了双重Stone代数核理想判别定理.根据双重Stone代数的运算特征及主同余表示理论,获得了核理想同余关系的若干等价表达式并证明了双重Stone代数核理想与其同余关系是同构的.所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持.

摘要： Ｆｕｚｚｙ格是具有逆合对应的分配格，它概括了Ｆｕｚｚｙ集合论的运算特性。该文利用Ｆｕｚｚｙ格是同余关系，得到了每个中理想都是某个Ｆｕｚｚｙ同态的中心核的重要结论；其次，还构造出了与中理想相关的最大同余关系。

摘要： 信息系统是一个具有对象和属性关系的数据库,本文基于依赖空间的数学工具对模糊信息系统和集值信息系统进行属性约简的讨论.在模糊信息系统的对象集和属性集上分别通过闭包算子给出对象幂集和属性幂集上的同余关系,分别建立对象依赖空间和属性依赖空间,着重讨论了属性依赖空间的性质、关系等,以及同余关系的一些结论,对属性幂集上的同余近似空间进行性质讨论,并提出了依赖度、依赖关系等概念.属性幂集在同余关系下,形成同余类,在此基础上建立属性约简理论及其算法,举例说明了方法的有效性和一致性.在集值信息系统上,首先定义相容关系,然后提出同余关系,并在此基础上,建立集值依赖空间,并提出属性约简理论,约简算法及对集值决策形式背景进行规则提取,并用数值算例说明文中提到的方法,与其它一些约简方法进行比较分析.

摘要： 该文将软代数Ｆ的同余理想加以推广，给出了软代数同余区间的概念。讨论了同余区间的性质，给出了同余区间的一些判定方法。

摘要： 该文将软代数Ｆ的同余理想加以推广，给出了软代数同余区间的概念。讨论了同余区间的性质，给出了同余区间的一些判定方法。

摘要： 该文将软代数Ｆ的同余理想加以推广，给出了软代数同余区间的概念。讨论了同余区间的性质，给出了同余区间的一些判定方法。

摘要： 该文将软代数Ｆ的同余理想加以推广，给出了软代数同余区间的概念。讨论了同余区间的性质，给出了同余区间的一些判定方法。

摘要： 该文将软代数Ｆ的同余理想加以推广，给出了软代数同余区间的概念。讨论了同余区间的性质，给出了同余区间的一些判定方法。

摘要： 本发明属于厨房家电领域并公开一种可清洗腔体的厨余垃圾处理器，其排料口设置开闭组件，开闭组件包括第一管件、第二管件、沿排料方向的反重力方向翻转使排料口与下水管道接通或者隔离的第一挡板、第一密封圈以及阻止第一挡板翻转的限位块。本发明还公开一种厨余垃圾处理方法，包括排料口设置开闭组件实现排料口的关闭功能，在关闭状态下将物料粉碎，然后第一挡板沿排料方向的反重力方向翻转，将物料排出。本发明还公开一种厨余垃圾处理器的清洗方法，包括排料口设置开闭组件实现排料口的关闭功能，在关闭状态下使水充满腔体，腔体内的水在粉碎组件运转的带动下冲刷腔体。本发明公开的厨余垃圾处理器具备清洗腔体的功能，可避免食物颗粒残留。

摘要： 本发明公开了一种厨余垃圾降解菌株、厨余垃圾处理剂及厨余垃圾降解方法。涉及微生物应用技术领域。一种厨余垃圾降解菌株，命名为贝莱斯芽孢杆菌(Bacillus velezensis)，株号S‑1，保藏号为CGMCC NO.18651。本发明贝莱斯芽孢杆菌(Bacillus velezensis)S‑1具有降解蛋白质、脂肪油脂、淀粉及纤维素的活性，由菌株S‑1和载体制成的厨余垃圾处理剂降解厨余垃圾后，能使厨余垃圾减重率可达85％以上，最高达到87.3％。经过处理的残渣经检测各项指标符合标准，残渣可以作为生物有机肥应用。

摘要： 本发明涉及飞行控制系统领域，特别是涉及一种机械双余度电气四余度的迎角余度管理方法，至少解决目前迎角与飞管系统的余度不匹配问题。机械双余度电气四余度的迎角余度管理方法包括如下步骤：对传感器测量的四个电气信号与三余度飞管计算机进行余度匹配；对所述电气信号进行监控表决，得到迎角表决值。本发明的机械双余度电气四余度的迎角余度管理方法中，能够对传感器测量的四个电气信号与三余度飞管计算机进行余度匹配，再对电气信号进行监控表决，得到迎角表决值，避免误切现象发生。

摘要： 本发明提供了一种机械双余度电气三余度大气数据传感器余度管理算法，当其中来自同一机械设备的大气数据传感器A和传感器B输出结果相同，而与来自另一机械设备的大气数据传感器C的输出结果不同时，对A、B、C三个传感器进行自检测，将A、B两个传感器作为一路输出看待来判断故障安全值，再结合C传感器判断机械设备的数据故障，避免了传统2:1的方式切掉不同数据的余度管理，使得传感器的输出数据结果的判断更加准确。

摘要： 本发明公开了一种厨余垃圾降解菌株、厨余垃圾处理剂及厨余垃圾降解方法。涉及微生物应用技术领域。一种厨余垃圾降解菌株，命名为贝莱斯芽孢杆菌(Bacillus velezensis)，株号S‑1，保藏号为CGMCC NO.18651。本发明贝莱斯芽孢杆菌(Bacillus velezensis)S‑1具有降解蛋白质、脂肪油脂、淀粉及纤维素的活性，由菌株S‑1和载体制成的厨余垃圾处理剂降解厨余垃圾后，能使厨余垃圾减重率可达85％以上，最高达到87.3％。经过处理的残渣经检测各项指标符合标准，残渣可以作为生物有机肥应用。

摘要： 本发明属于厨房家电领域并公开一种可清洗腔体的厨余垃圾处理器，其排料口设置开闭组件，开闭组件包括第一管件、第二管件、沿排料方向的反重力方向翻转使排料口与下水管道接通或者隔离的第一挡板、第一密封圈以及阻止第一挡板翻转的限位块。本发明还公开一种厨余垃圾处理方法，包括排料口设置开闭组件实现排料口的关闭功能，在关闭状态下将物料粉碎，然后第一挡板沿排料方向的反重力方向翻转，将物料排出。本发明还公开一种厨余垃圾处理器的清洗方法，包括排料口设置开闭组件实现排料口的关闭功能，在关闭状态下使水充满腔体，腔体内的水在粉碎组件运转的带动下冲刷腔体。本发明公开的厨余垃圾处理器具备清洗腔体的功能，可避免食物颗粒残留。

摘要： 本发明涉及飞行控制系统领域，特别是涉及一种机械双余度电气四余度的迎角余度管理方法，至少解决目前迎角与飞管系统的余度不匹配问题。机械双余度电气四余度的迎角余度管理方法包括如下步骤：对传感器测量的四个电气信号与三余度飞管计算机进行余度匹配；对所述电气信号进行监控表决，得到迎角表决值。本发明的机械双余度电气四余度的迎角余度管理方法中，能够对传感器测量的四个电气信号与三余度飞管计算机进行余度匹配，再对电气信号进行监控表决，得到迎角表决值，避免误切现象发生。

摘要： 本发明提供了一种机械双余度电气三余度大气数据传感器余度管理算法，当其中来自同一机械设备的大气数据传感器A和传感器B输出结果相同，而与来自另一机械设备的大气数据传感器C的输出结果不同时，对A、B、C三个传感器进行自检测，将A、B两个传感器作为一路输出看待来判断故障安全值，再结合C传感器判断机械设备的数据故障，避免了传统2:1的方式切掉不同数据的余度管理，使得传感器的输出数据结果的判断更加准确。

摘要： 本发明公开一种厨余垃圾压缩机构及厨余垃圾处理机，所述厨余垃圾压缩机构，包括箱体和分别设置于所述箱体顶部和底部的进料口和出料口，还包括：隔板，往复机构，阻挡机构，驱动机构和引导机构；所述隔板设置于所述箱体内部且位于所述进料口后侧，所述往复机构对应所述进料口设置，所述往复机构两侧均对称设置有所述阻挡机构，所述隔板后侧设置有所述驱动机构，所述往复机构底部还设有所述引导机构，所述往复机构通过所述驱动机构和弹簧弹力往复挤压两侧的所述阻挡机构，所述往复机构挤压一侧所述阻挡机构时，所述引导机构通过该阻挡机构带动另一侧阻挡机构向所述进料口靠近后复位。

摘要： 本发明涉及一种循环萃余油螺旋冲击式辅助排硅胶的萃余油吸附装置及方法，包括吸附罐体、设于吸附罐体下端的成品油输出管道、连接在成品油输出管道上的第一电磁阀以及连接在吸附罐体内壁上靠近下端位置处的丝网，所述吸附罐体上靠近上端的位置处设有硅胶输入机构，且吸附罐体的上端设有萃余油输入机构。该循环萃余油螺旋冲击式辅助排硅胶的萃余油吸附装置及方法，采用全封闭式吸附过程，可以有效的降低外界因素对吸附过程造成的影响，而且通过循环利用萃余油来螺旋式冲击吸附罐体中饱和硅胶，使得饱和硅胶均匀分布在萃余油中形成固液流体，便于直接将吸附饱和的硅胶排出吸附罐体，大大降低了工人的工作强度，也缩减了排胶的能耗。