论文部分内容阅读
先将关系的几种性质形式化，再利用语义赋值给出关系性质的判定算法，证明了该算法的可靠性与完备性；分析该算法的复杂性，它们都是多项式复杂的。最后通过实例给出了该算法应用，并用VC程序语言得以实现。
基于语义赋值的有穷集合上二元关系性质的判定算法
【摘 要】
：
先将关系的几种性质形式化，再利用语义赋值给出关系性质的判定算法，证明了该算法的可靠性与完备性；分析该算法的复杂性，它们都是多项式复杂的。最后通过实例给出了该算法应用，并用
【机 构】
：
毕节学院数学系,首都师范大学计算机科学联合研究院
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2010年8期
【基金项目】
：
贵州省教育厅自然科学基金资助项目“布尔格值自动机及其路代数”,项目编号：黔教科20090068
其他文献
本文首先讨论了Clifford代数的几何性质，探讨了3维Clifford代数空间中的几何积和投影运算，介绍了Clifford代数空间中的Fourier变换及其计算公式，进而研究了Clifford代数的存在性
9月20～21日，由中国科协主办，中国电子学会承办的中国科协第63期新观点新学说学术沙龙在北京召开。中国科协学会学术部副部长刘兴平出席本期沙龙，并向与会专家介绍了中国科协新观点新学说的基本情况和组织原则。本期沙龙由软件开发环境国家重点实验室主任、中国科学院院士李未担任领衔科学家，来自中国科学院物理所、中国科学院数学与系统科学研究院、清华大学、北京大学、中国科学技术大学、南京大學、北京航空航天大学、
在遗传算法中引入精英保持策略构造非支配集和生成新群体，并用排除法构造非支配集，本文得到了一种改进的非支配集分类遗传算法，该算法具有全局收敛特性，并简化了计算复杂性．本文将
高中化学作为一门理论与实践结合性强的学科,在新课改大环境下,必须逐步摒弃旧时低效的教育教学方式,采用具有创新色彩的、丰富多元的手段展开教学,在创建高效课堂的同时,进
摘?要 随着游艺机设备正向大型化、高速化、自动化、灵敏度的方向发展，继电器在游艺机设备的电气控制系统不仅具有短路、断相、过载保护的作用，而且对游艺机电气设备的运行控制以及安全性控制具有重要的作用，本文主要探讨游艺机设备中各类继电器的特点及应用情况。 关键词 继电器；游艺机设备；应用；控制系统 中图分类号 TN914 文献标识码 A 文章编号 1673-9671-(
结构相似性理论是一种关于图像质量评价的新思想.与自底向上地模拟人眼视觉系统(HVS)低阶的组成结构不同,结构相似性理论自顶向下地模拟HVS的整体功能.作为结构相似性理论的一个实现,结构相似度(SSIM)指数有着简单高效的优点,但SSIM在交叉失真类型和失真严重时的准确性不够好.本文将结构信息重新解释为图像中能量足够大的中高频成分,从新的角度将SSIM理解为一种更好的局部误差度量方式.提出一种基于结
现代信息技术高速发展,互联网络广泛应用,必定促进教学模式发生革命性变化。我校推出了符合我校特色的教学模式“六步教学法”。新的教学模式实施以来,无论老师还是学生都发
为了在状态空间超分辨理论的框架下获得雷达目标散射点数目的估计,本文提出了一种基于状态空间理论的雷达高频区目标散射点数判定准则,该方法利用信号与噪声子空间的正交性质