题名 论布尔代数的公理系统与公理的独立性
1
作者
叶瑞芬
机构
华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1992年第1期105-109,共5页
文摘
朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。
关键词
代数 布尔代数 公理系统 独立性
Keywords
algebra Boolean algebra axioms system of Boolean algebra independence of axioms system
分类号
O153.2
[理学—基础数学]
题名 建立于谓词逻辑上的递归程序及其操作语义
被引量：1
2
作者
邵志清
机构
华东化工学院计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1991年第4期31-35,共5页
文摘
对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了Loeckx和Sieber所宣称的“递归程序的操作语义不能建立于谓词逻辑上”的断言。
关键词
谓词逻辑 递归程序 操作语义 微机
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 关于可换BCK-代数的一点注记
被引量：1
3
作者
沈百英
机构
华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1989年第5期695-598,共1页
文摘
1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。
关键词
代数 可换BCK-代数 等价系统
Keywords
algebra BCK-algebra commutative BCK-algebra equivalent systems abstract algebra rules
分类号
O15
[理学—基础数学]
题名 混沌吸引子分维数的极限分辨率自归算法
4
作者
林家骏 张惠民 杨明福
机构
华东 化工学院 自动控制及电子工程系 华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1993年第2期214-217,共4页
文摘
根据混沌吸引子的数值特性与数据采集器的分辩率有限的特性,提出的快速算法,实现了在AT系列微型计算机上以实时或近乎实时的计算速度,从实验数据中,计算出混沌吸引子的分维数。
关键词
吸引子 分维数 分辨率 算法
Keywords
chaos attractor fractal dimension auto-classification resolution
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
题名 ZY3代数中有限生成的理想
5
作者
孟杰 沈百英
机构
西北大学数学系 华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1992年第5期668-671,共4页
文摘
讨论了在ZY3代数中如何由集生成理想及其有限生成理想的特征。并指出ZY3代数中理想的定义与BCI-代数和BCK-代数中理想的定义相同。
关键词
数学 有限生成 代数
Keywords
ideal finitely generated ideal BCK-algebra BCI-algebra ZY3-algebra
分类号
O153.1
[理学—基础数学]
题名 BCYB代数的理想和同构定理
6
作者
邵志清
机构
华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1991年第2期226-231,共6页
文摘
本文使用一种新的方法引入了BCYB代数的理想的概念,并由此引入了BCYB代数的商代数,进而又定义了BCYB代数的同态、同构、同态的核等术语,最终导出了BCYB代数的第一同构定理和双商定理。
关键词
同态 同构 BCYB代数 同构定理 核 商代数
Keywords
algebra homomorphism isomorphism BCYB algebra ideal isomorphism theorem kernel of a homomorphic mapping
分类号
O151
[理学—基础数学]
题名 BCYB代数的第二和第三同构定理
7
作者
邵志清
机构
华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1992年第1期94-99,共6页
文摘
引入了BCYB代数的生成理想和生成代数的概念,导出了BCYB代数的第二和第三同构定理,从而为BCYB代数的应用作好了准备。
关键词
代数 理想 同态 同构 映射
Keywords
algebra ideal homomorphism isomorphism mapping
分类号
O153.1
[理学—基础数学]
题名 一个基于扩充的NF^2模型的DBMS
被引量：1
8
作者
柳诚飞 龚正良
机构
华东化工学院计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1992年第12期947-949,共3页
基金
国家自然科学基金
文摘
Makinouchi首先研究允许集合值域的NF^2关系,近几年,由于非商用数据处理的要求,不少学者对NF^2关系的范式理论、依赖关系、扩充的关系代数和演算、查询语言等方面进行了研究。为了支持复杂对象的层次结构,捕获对象之间的语义信息。
关键词
扩充 NF^2 模型 计算机 DBMS
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
题名 生成测试数据的结构归纳法
9
作者
宋国新
机构
华东化工学院计算机科学系
出处
《华东化工学院学报》
CSCD
1990年第5期572-574,共3页
文摘
提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。
关键词
程序系统 归纳法 测试数据
Keywords
software validation verification testing test cases induction
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
