论文部分内容阅读
关系基调代数是类型代数的一个自然推广。文中首先介绍了关系基调代数的定义，给出了关系基调代数的同态、同余关系等概念；然后证明了：（１）关系基调代数Ａ上的同余关系的集合Ｒｃｏｍ（Ａ）是一个完全格，（２）关系基调代数的同态基本定理；最后讨论了关系规范与关系规范代数。
关系基调代数及其性质
【摘 要】
：
关系基调代数是类型代数的一个自然推广。文中首先介绍了关系基调代数的定义，给出了关系基调代数的同态、同余关系等概念；然后证明了：（１）关系基调代数Ａ上的同余关系的集合Ｒｃｏｍ（Ａ）是一个完全
【出 处】
：
西安电子科技大学学报
【发表日期】
：
1993年A12期
其他文献
本文尝试在俄罗斯语篇语法学和欧美系统功能语言学对主位概念理解的基础上,讨论大于句子的语言单位＂超主位＂的概念,并尝试将超主位分为三种类型：超主位为段落的主题句,超主位为
在长期的生产生活和国家治理实践中,中国古人形成了关于粮食生产、粮食储备、粮食赈济、粮价调控的系统性思想,并以这些思想为指导,制定推行了一系列粮食政策和规章制度,体现
在点着色问题中，引入一种新方法，即使用补图和团覆盖的概念解决繁杂的点着色问题，它比普通的加边缩边法和纵深搜索法现为简便，在一定程度上降低了运算复杂度。该算法本身明了，既适
在当前集约化养猪生产中,猪互相啃咬耳朵尾巴的现象比较普遍,尤其是处在生长育肥时期的猪群更易发生。发生咬耳、咬尾症的猪群,其生长速度和饲料效率要大大低于正常猪群,造成
<正> 魏末晋初,在今陕西耀县泥阳(晋时属雍州北地郡泥阳县)有一位著名的政治思想家,也是一个颇受朝野器重的诗人,名叫傅玄,字休奕。他生在汉献帝建安二十二年,卒于晋武帝咸宁
目的系统评价经导管与外科手术治疗继发孔型房间隔缺损的临床研究数据。方法计算机检索Pub Med、EMbase、MEDLINE、Cochrane图书馆、CBM、万方数据库及CNKI,纳入经导管与外科
以鄱阳湖赣江主支镥三角洲湿地1973年-2009年16景遥感影像为基础，利用决策树分类分析近40年来赣江主支珏三角洲不同湿地景观类型的组成结构及其演变趋势；并结合遥感影像对应的
文中在分析人工控制系统的基础上，提出一种以开环、闭环控制相结合为特征的仿人智能控制算法，旨在能有效地改善一些比较复杂的被控过程的调节性能。
伟大的事业需要崇高的境界，伟大的实践需要宽广的眼界。提高境界、开阔眼界，是当前摆在党员干部特别是领导干部面前一项重大而紧迫的任务，它对于提高领导干部的党性修养、综合素