一种基于类层次图的分析面向对象程序的框架

从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,建立了可见方法类层次图 ;并且通过计算方法的继承集、改写集以及对方法改写边界的确定 ,生成程序的虚函数调用图 。

Topos中的模糊对象和模糊范畴

在一个topos中引入模糊子对象的概念 ,给出了一个对象的元素x对一个模糊子对象的隶属度的定义 .在一个布尔topos中讨论了模糊子对象的运算 .最后给出了由toposC的模糊子对象构成的范畴FC ,研究了范畴FC的等化子性质 ,有限积性质 ,并证明了范畴FC有最终元存在 .

L集合范畴的子对象分类子

以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子.

Abel范畴中两个对象的交与并

Abel群范畴是一个Abel范畴,在这个范畴中,两个子对象的交就是两个子群的交,两个子对象的并是由两个子群的并生成的子群.主要讨论了Abel范畴中两个对象的交与并的性质,并将其应用到Abel群范畴,得到一些群的同构关系式.

Abel范畴子对象的交与和

在Abel范畴中定义子对象的和,并利用拉回与推出给出子对象交与和的等价定义,证明子对象的交与和满足结合律,以及Abel范畴上的模律与蝴蝶引理.

拉回正合范畴中小子对象的探讨

拉回正合范畴是Abelian范畴的真正推广,是界在正合范畴与Abelian范畴之间的一类范畴.本文利用拉回-推出,引进拉回正合范畴的小子对象概念,并给出小子对象相关的性质以及等价条件.

外延topos中的模糊物质

在一个外延 top os中引入子物质套的概念 ,并在物质 d的子物质套的类 U( d)中引入弱等价关系和强等价关系 ,进而将子物质套的等价类定义为模糊子物质 .给出了模糊子物质的隶属函数 ,讨论了模糊子物质的运算 .其目的是为了在一个 topos的框架下开展模糊系统理论的研究 .

Abel范畴子对象的交在radical中的两个应用

首先讨论了Abel范畴中子对象的交与商对象之间的关系,而后利用子对象的交与和,给出Abel范畴子对象radical的另一等价刻画以及计算商对象的radical的公式.

多继承中函数调用的冲突检查

面向对象程序设计中多继承的使用给程序员以很大的方便，但是，多继承的使用却带来了许多单继承系统中所没有的问题，其中一个很重要的就是成员函数调用时函数的二义性问题．给出了一种形式化的方法，用来检查一个多继承的系统中函数的二义性．通过这种方法不仅可以检查函数调用的二义性问题，还可以确定将使用函数的那个实现版本．

双诱导映射φ集合范畴的幂对象及子对象分类子探讨

引入双诱导映射φ集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构。