论文部分内容阅读
在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系，简化了三作为泛代数的同余关系的表达式，证明了这种同余关系和滤子之间仍然是一一对应的，并且这种对应关系是相应的完备格之间的一个同构。
剩余格中同余关系的简化
【摘 要】
：
在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系，简化了三作为泛代数的同余关系的表达式，证明了这种同余关系和滤子之间仍然是一一对应的，并且这种对应关系是相应的完
【机 构】
：
西安工程大学计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2013年16期
【基金项目】
：
陕西省教育厅项目（No.12JK0931,No.12JK0947）.
其他文献
毕业生就业水平是高职院校教育质量和效益的直接体现,也是高职院校人才培养水平评估工作的重要指标。本文通过对高职学生就业特点的分析,论述了高职院校开设职业指导课的目的
基于词聚类的话题发现方法中，普遍存在聚类结果不稳定（聚类结果较大程度依赖于聚类对象的初始化操作）的问题，为此通过将文档集建模为词共现网络，设计词共现网络的过滤方法，然后提出
进入新世纪以来，叙事学研究凭着自身的理论活力和学科渗透力，呈现出更加旺盛的茭展势头。叙事学在不断更新理论框架和提升阐释能力的过程中，显示出勃勃生机。为促茳叙事学研究的
针对城市固定相序的单点交叉口多相位交通信号进行控制,设计了基于车流量预测的动态调整相位最大绿灯时间的模糊控制系统。综合评估当前相位、后续相位的交通需求度,以此决定
纵观近几年的高考试题,可以发现关于元素的推断题成为每年的必考题,而掌握元素周期律是解题的关键.随着新课标的实施,高考试题越来越注重考查考生的基础知识和技能,基础性试
学习并非是学生对教师所授知识的被动接受，而是一个以其已有的知识和经验为基础的主动建构过程，并且建构活动要在一定的社会环境中进行，具有社会性。知识的自我建构是建构主义理
研究了节点约束的球杆系统的定点平衡控制问题。根据球的位置,球杆系统分为两种类型的结构模式：普通球杆系统和单摆系统。对两种结构的运动特性以及它们之间的切换进行了分析,
针对模糊聚类算法中存在的对初始值敏感、易陷入局部最优等问题，提出了一种融合改进的混合蛙跳算法（SFLA）的模糊c均值算法（FCM）用于Web搜索结果的聚类。新算法中，使用SFLA的优化过
针对系统间协同过滤推荐过程中的隐私泄露问题，以RSA公钥密码系统和安全多方计算SMC理论为基础，提出一个安全计算模型SCM，将安全计算模型SCM应用到系统间协同过滤中，得到一个有效