完备格上的伪t-模与剩余蕴涵的直积和直积分解

来源 :淮海工学院学报 | 被引量 : 0次 | 上传用户:wangfang1896
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了完备格上的伪t-模与剩余蕴涵算子以及它们的直积与直积分解,给出了积格上伪t-模或蕴涵的偏单调性的定义以及正则伪t-模和正则蕴涵的定义,最终得到了积格上伪t-模或蕴涵可以直积分解的充分条件以及积格上正则伪t-模或正则蕴涵可以分解的充要条件,完全解决了DeBaets提出的直积分解条件问题.
其他文献
根据江苏省教育厅办公室《转发省人事厅(关于启动“六大人才高峰”第二批项目资助计划的通知>的通知》(苏教办师[2005]l号)文件精神,淮海工学院化学工程系许兴友教授主持申报
分析了防火墙的体系结构和工作原理,以世界著名的网络生产厂商美国Cisco公司的路由器2611为例,详细分析互联网络操作系统(IOS)11.2支持的访问列表命令(access list)的格式,建
对公路工程施工中沥青路面施工技术、施工质量进行分析,对施工过程中沥青混合料搅拌技术、沥青混合料碾压技术、接缝技术等进行研究,加强施工过程中的质量控制,为公路施工建
随着近年来高校招生规模的不断扩大,高校毕业生人数逐年攀升,就业问题成为高校工作中的重点和难点,也是社会各界关注的热点.在计算机相关技术飞速发展的今天,数据挖掘技术在
介绍了一种基于图论的安全审计域规划模型。该模型首先将真实的网络拓扑抽象为图论中的无向图连通图,并求得其关联矩阵。然后计算图中的割点,以割点为边界将整个无向图连通图划分为若干个块,构造出无向图连通图的块图。对于网络拓扑而言模型得到的割点分布即为网络中关键节点的分布,而块图就是安全审计域的规划分布。通过测试表明,该模型对于安全系统中审计节点及防御节点的合理部署起着非常重要的指导作用。
综述了镁合金表面处理方法的研究现状,主要介绍了表面改性、保护膜、渗层、有机涂层等表面防蚀技术的研究进展,并展望了镁合金表面处理技术的发展趋势.
10年来,中国私有企业贡献的产值在国民经济中已占据了半壁江山。然而。金融体系的绝大部分资金仍在源源不断涌向国企。贷款余额中只有27%落到了私企头上。
主要研究酶法提取鲤鱼鱼鳞胶原蛋白过程中各种因素的影响,并在单因素实验的基础上,以SAS对影响因素进行了综合分析,得到了鲤鱼鱼鳞酶溶性胶原蛋白提取的最佳条件,温度为16.59℃,时
在十六烷基三甲基溴化铵(CTMAB)胶束介质中,研究了In(Ⅲ)与4-(5-氯-2-吡啶偶氮)-1,3-二氨基苯的显色反应.试验表明,在pH=5.20的醋酸-醋酸钠缓冲溶液中,In(Ⅲ)与试剂形成物质