迈向计算机开放式系统的时代

一、引言一些工业发达国家从1760年开始经过190年的漫长过程直到1950年,实现了“工业经济”社会;大约从1960年开始到1990年就实现了“信息经济”社会,仅仅用了三十年时间,估计在未来的三十年间(直到2020年前)仍处于信息经济持续发展时期。可以预计,在未来的时代,市场经济中的竞争愈演愈烈,一些企业在这个时期将大量应用计算机及信息技术,为了适应顺息万变的市场需求,应该大力倡导开放系统和开放式结构。

减法系统Ⅱ——BCY代数的各种加强系统

在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。

减法系统Ⅲ——各种BCY代数的等价类

在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。

可计算函数的基本指令研究

Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。本文提供与之等价的另外三条Fortran形的基本指令,并论述了Davis的三条指令是必不可少的,另外还论证了它们与由Shepherdson & Sturgis在1963年提出的URM的等价性。

BZ-代数与群

研完了BZ-代数的性质。通过引入群逆BZ-代数,使BZ-代数与群紧密联系起来,证明了如下重要结果:群逆BZ-代数与群一一对应;而任何BZ-代数到它的一个群逆BZ-代数上有一个满同态。

建立于谓词逻辑上的递归程序及其操作语义

对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了Loeckx和Sieber所宣称的“递归程序的操作语义不能建立于谓词逻辑上”的断言。

组合逻辑中的抽象运算

为了研究组合逻辑(CL)与λ-演算的等价性,在CL中定又抽象运算“λ*x”以及引入规则ξ_C(所得理论记为CLξ_C) P=Q?λ*x·P=λ*x·Q是很自然的。通常研究λ-演算与CLξ_C的等价性时都以特殊的抽象运算为依据。本文得到了抽象运算“λ*x”所要满足的一般的充要条件以使λ-演算与 CLξ_C等价。定理1叙述为使一般λ-演算与CLξ_C等价,运算“λ*x”要满足的充要条件。定理2叙述为使外延的λ-演算与CLξ_C等价,运算λ*x”要满足的充要条件。

关于可换BCK-代数的一点注记

1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。

自由ZYE_3代数

首先引入自由ZYE_3代数的概念,然后证明其存在性与唯一性,最后讨论自由ZYE_3代数的性质。

混沌吸引子分维数的极限分辨率自归算法

根据混沌吸引子的数值特性与数据采集器的分辩率有限的特性,提出的快速算法,实现了在AT系列微型计算机上以实时或近乎实时的计算速度,从实验数据中,计算出混沌吸引子的分维数。

ZY3代数的理想和同构定理

本文讨论了ZY3代数的理想,并证明了同构定理8,9和11。定理8。设X是ZY3代数。若A是X的一个理想,则有同态f,使得X(?)X/A。定理9。设X_1与X_2是ZY3代数,且X_2中的基本二元关系“≤”是一个偏序。若X_1(?)X_2,则X_1/Ker f≌X_2。定理11。设X是ZY3代数。若A,K是X的理想,A(?)K,则X/A≌X/K/A/K。

ZY3代数中有限生成的理想

讨论了在ZY3代数中如何由集生成理想及其有限生成理想的特征。并指出ZY3代数中理想的定义与BCI-代数和BCK-代数中理想的定义相同。

BCYB代数的理想和同构定理

本文使用一种新的方法引入了BCYB代数的理想的概念,并由此引入了BCYB代数的商代数,进而又定义了BCYB代数的同态、同构、同态的核等术语,最终导出了BCYB代数的第一同构定理和双商定理。

BCYB代数的第二和第三同构定理

引入了BCYB代数的生成理想和生成代数的概念,导出了BCYB代数的第二和第三同构定理,从而为BCYB代数的应用作好了准备。

Novell LAN低层通信软件及驱动程序设计

Novell网的硬件独立性使它获得了巨大的成功。本文在分析了Novell低层通信协议和通信软件的基础上,讨论了通信驱动程序的实现。

一个基于扩充的NF^2模型的DBMS

Makinouchi首先研究允许集合值域的NF^2关系,近几年,由于非商用数据处理的要求,不少学者对NF^2关系的范式理论、依赖关系、扩充的关系代数和演算、查询语言等方面进行了研究。为了支持复杂对象的层次结构,捕获对象之间的语义信息。

基于语义的分布式查询优化

本文研究了语义查询变换的逻辑基础,讨论了分布式数据库系统中语义变换的可能性和必要性,概括了应用领域中的一些语义信息,提出了一个基于启发式规则的分布式查询变换机制.

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。

500人大班课的教学实践

我院的第一轮教学改革,于1992年画上了圆满的句号;第二轮改革方案,亦已相继出台。全面实施学分制、教师挂牌上课、师生双向选择。