论文部分内容阅读
滤子理论在多值逻辑及相关代数研究中起到了非常重要的作用。在交换剩余格上引入了MTL-滤子的概念，并给出了这类滤子的若干的刻画。从MTL-滤子的角度证明了MTL-代数的特征定理。
剩余格上的MTL-滤子及其刻画
【摘 要】
：
滤子理论在多值逻辑及相关代数研究中起到了非常重要的作用。在交换剩余格上引入了MTL-滤子的概念，并给出了这类滤子的若干的刻画。从MTL-滤子的角度证明了MTL-代数的特征定理
【机 构】
：
临沂大学理学院,武汉大学数学与统计学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2012年20期
【基金项目】
：
山东省自然科学基金（No.ZR2010AL004,No.ZR2011FL017）.
其他文献
替换定理是高等代数中基本的定理之一．本文用四种不同的方法给出了它的证明．
美国一向以拥有"近乎完美",能"创造源源不绝的利润"的制度和拥有"发展最迅速、体系最完备"的管理科学自诩;又长期以世界经济、科学、技术中心,包括管理科学中心自居.
为了提高网络入侵检测正确率，利用特征选择和检测分类器参数间的相互联系，提出一种特征和分类器联合优化的网络入侵检测算法。联合优化方法将网络状态特征和分类器参数作为遗传
目前判断预应力锚索二次张拉中产生的拐点的主要方法是通过人工来估算拐点处的荷载和位移值。针对这个问题,通过分析二次张拉的物理特点,结合施工过程中外部因素对张拉数据的
使用接口自动机描述软件各模块的内、外部行为,依据接口自动机的构件组合方法来描述总体框架的运行机制,可清晰地展示出基于网络嗅探的数据库活动监控工具的多DBMS协议分析支
为了满足日益增长的对高速多媒体通信的需求，同时实现终端的小型化、节能化和低成本的目标，脉冲超宽带技术成为近年来研究的热点，而对发射脉冲波形的选择则是脉冲超宽带系统成败
为了更准确的使用位移比谱方法估计抗震结构的最大侧向非弹性位移,利用大量单自由度体系在地震记录作用下的时程分析结果给出了四种场地条件对应的平均非弹性位移比谱.得到了位移比谱的简化计算公式,并重点研究了恢复力模型对非弹性位移比谱的影响.结果表明恢复力模型的屈服后刚度对非弹性位移比谱影响显著,尤其当结构具有负刚度时,屈服后刚度的影响更趋明显.
和解制度是现代各国破产法制度体系中必不可少的组成部分,然而我国破产法有关和解制度的规定过于简单,阻碍了和解制度功能的发挥.文章从立法例和和解债权的处理方法两方面进
分支调度是一种有效消除分支指令延迟的指令调度技术,对于提升VLIW类处理器的性能非常重要。提出了一个针对分支延迟槽的指令调度优化算法。该算法面向VLIW体系结构,根据程序
提出了一种确定二阶多自由度Vanderpol振子周期轨道及周期的并行算法。通过改变系统的时间尺度，将系统周期转化为系统的变量，进而通过多分裂波形松弛法将边值问题转化为初值问