基于栈操作的用例规模的一个计算公式

软件测试随着测试用例规模的增加变得十分困难,对测试用例进行研究十分必要．本文首先给出了树同构的概念,然后利用图论就栈操作的用例进行了讨论,并得到一系列有关栈操作用例的重要性质,最后对一个给定任意大小的输入序列,讨论了其各种可能的输出序列,在此基础上得到了各种可能输出序列规模的一个递推计算公式．     

扩张代数AsB的Frobenius态射和固定点代数

考虑AsB的箭图 (Q*, I*) 的自同构由带关系箭图(Q, I)的自同构和带关系箭图 (Q′, I′) 的自同构决定情况, 证明了 AsB的Frobenius态射由 A 的Frobenius态射和 B 的Frobenius态射决定; 代数 AsB 的固定点代数同构于相应的代数 A 的固定点代数与 B 的固定点代数的张量积.     

推出范畴的上核

讨论推出与推出之间的关系,定义了推出态射,在此基础上建立了推出范畴影l^＊．影l是以范畴留中的推出为对象,推出态射为态射构成的范畴．并进一步证明了推出范畴中上核存在的条件．     

s-幂等态射与幂等态射

给出了s-幂等态射的定义,在Abel范畴中讨论了s－幂等态射的定义,在Ａbel范围中讨论了s-幂等态射与幂等态射的关系,这些结果应用到p-除环上的矩阵范畴,得到p-除环上矩阵的相应结论。     

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

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

Prequantale态射及其性质

给出了Prequantale态射的定义,证明了Prequantale中的特殊元在Prequantale态射的右伴随下不变的性质.找到了Prequantale中态射与蕴涵运算的关系,得到了Prequantale上的一个闭映射是态射的充要条件.     

Abel范畴中的态射方程

讨论了以下问题：１）方程αχβ＝γ在其有解时的性质；２）方程组｛αχβ＝γ，σχτ＝ρ有解的充要条件及通解表达式；３）方程αψβ＋σψτ＝γ有解的充要条件及通解表达式。     

Liberal理论态射的一些性质

该文构作了一个ｌｉｂｅｒａｌ理论范Ｔｈ讨论了ｌｉｂｅｒａｌ理论态射的一些性质，得到了Ｐｅｒｓｉｓｔｅｎｔ函子了的一个刻划定理，同时也得到了Ｆ－ｆｒｅｅ，Ｆ－ｇｅｎｅｒａｔｅｄ，Ｆ－ｐｒｉｍｅ模型的一些结果。     

内射 C~*-代数

本文对内射 C~*-代数作了进一步讨论,给出了内射 C~*-代数的子代数是内射的一个充分条件与内射 C~*-代数的某些结果。     

几类由对象确定的态射范畴

设是一个范畴,S是的一个局部类.构造的态射范畴的一个左局部化范畴C[■-1],并给出一定条件下,由不同对象确定的态射范畴及其左局部化之间的关系.