论文部分内容阅读
将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。
剩余格的TL-滤子与TL-同余关系
【摘 要】
：
将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系
【机 构】
：
内江师范学院四川省高等学校数值仿真重点实验室,西南交通大学智能控制开发中心,内江师范学院数学与信息科学学院
【出 处】
：
山东大学学报：理学版
【发表日期】
：
2012年2期
【基金项目】
：
国家自然科学基金资助项目（60875034）, 四川省教育厅科研基金资助项目（11ZB023）
其他文献
结合窗时排序与同时加工排序，考虑单机器上批容量有限的情形，为享有公共交货期窗口[e，d]的n个工件分批并排序，以最小化总的赋权提前和延误的工件个数；将最早交货期e和窗口大小K作
中国将坚持节约优先、立足国内、多元发展、科技创新、保护环境、加强国际互利合作的能源发展战略，努力构筑稳定、经济、清洁、安全的能源供应体系，以能源的可持续发展支撑经济
2002年8月至2005年7月，通过样线调查、定点监测、样方调查法对湖南八大公山国家级自然保护区内分布的红腹角雉进行了调查。结果表明，在植被因素方面，红腹角雉偏向于在常绿落叶阔
利用P-集合（Packet sets）,提出逆P-集合（Inverse packet sets）,给出逆P-集合的结构;逆P-集合记作P-1-集合。P-1-集合是P-集合的对偶形式。P-1-集合是由内P-1-集合X珔F（Internal in
证明了两类近似Halin图的双约束边色数均满足χe/vf（G）=FM（G）。
对exchange环进行了推广,研究了单边exchange环。主要讨论了形式幂级数环,斜幂级数环和广义幂级数环的单边exchange性质。证明了在Abelian条件下,exchange环、单边exchange环
P-集合（packet sets）是由内P-集合X（internal packet set X）与外P-集合XF（outer packet set XF）构成的元素集合对;或者,（X,XF）是P-集合;P-集合具有动态特性。利用外P-集合XF的结构与
设彤是维数大于2的复Hilbert空间，B（H）表示H上所有有界线性算子构成的代数。如果对所有的A，B∈．B（H）且A^＊B=AB^＊=0，有Ф（A）^＊B＋A^＊Ф（B）=Ф（A）B^＊＋AФ（B）^＊=0，则称Ф是B（H）上的正交可导线性映射。本文的
由于网页布局设计的复杂性和用户发表帖子的灵活性,从论坛网页中抽取结构化的数据是一项未能很好解决并非常具有挑战性的任务。本文提出了一种从任意的论坛站点中自动抽取结
由于X射线源的发射能量不稳定等原因,导致μCT扫描仪在不同时间对同一水泥水化浆体扫描时,同一物质线性衰减系数不同产生灰度差异。依据水泥水化理论和图像处理相关原理,利用粒子群算法(particle swarm optimization,PSO)优化区间范围参数,将待校准的水泥图像灰度范围重映射到相关区间,再对原始的灰度直方图曲线进行拉伸变换,直到待校准图像直方图两个波峰区域与参考图像直方图两个波峰区