闭路函子和同纬函子保持同伦正则性

证明了闭路函子和同纬函子保持同伦正则性 ,同时构造出了一系列同伦等价的空间     

群与模范畴中的积和余积

积和余积是范畴学中的一对对偶概念,作为范畴学的一对基本概念自然在其具体对象中就会有所体现,以群,模为对象来讨论它们的积和余积。     

分布交互式仿真中的多分辨率模型并发运行问题研究

同一实体的不同分辨率模型的并发运行经常出现在分布交互式作战仿真中。研究了分布式仿真中不同分辨率模型并发运行时的若干关键技术。提出了同态属性和同态交互的概念；研究了多分辨率模型并发运行时的一致性维护问题，给出了多分辨率模型的一致性维护算法；研究了并发交互冲突的解决方法，包括：加锁方法、冲突检测法和面向模型的方法等；分析了同态交互对仿真结果的影响，给出了处理同态交互的基本原则。     

n-拉回范畴的核

在Abel范畴C中,定义,n-拉回态射,在此基础上建立,n-拉回范畴C*,即C*是以范畴C中n-拉回为对象,n-拉回态射为态射.并进一步证明了 n-拉回范畴C*中核是存在的,这推广了文[1]的结论.     

两种预投射分支的差异

刻划了两种预投射分支的本质差异 ,并给出了一个反例 ,说明这两种分支是不同的     

S-系的余直积

在模范畴中一簇左R-模的余直积即是它们直和，而在中心S-范畴中，余直各表现为零直并．考虑到模范畴与S-系范畴之间的联系，本章首先给出了中心S-系范畴中余直积的一个充要条件，进而利用一般S-系范畴和一元S-系的不交并含零元这一性质。将该充要条件推广到了一般S-系范畴中（定理2．5），成功的给出余直积的一个具体刻画．     

具有广义分解的态射幂的广义逆

研究了具有广义分解的态射幂的Moore-Penrose逆的存在条件及其表达式，给出群逆的表达式，并得到了态射幂的Moore-Penrose与群逆之间的关系，推广了具有泛分解的广义逆的相应的结果。     

效应代数的表示及弱表示

目的给出效应代数的表示及弱表示的定义,研究幂集和布尔代数的可表示性。方法用效应代数表示的定义及效应代数中态射的性质得出结论。结果证明了E是可表示的,则E是弱可表示的;若E是弱可表示的,则由E到Hilbert空间效应代数的强态射诱导的效应代数是可表示的;布尔代数格同构和效应代数同构是一致的。结论幂集作为一个效应代数是可表示的,任何有限布尔代数是可表示的效应代数。     

态射的和与积的Moore-Penrose逆

态射的Moore-Penrose逆是矩阵的Moore-Penrose逆在有对合*的范畴中的推广。本文给出加法范畴及Abel范畴中态射的和与积的Moore-Penrose逆存在的充分条件和一些性质。