排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
关于具有泛分解的态射的广义逆 总被引:12,自引:1,他引:11
本文给出了预加范畴中具有泛分解的态射的(1,…,i)-逆存在的条件及其表达式.特别地,得到了这类态射的Moore-Penrose边和群逆存在的一些新的充要条件和新的表达式. 相似文献
4.
该文研究范畴中态射α关于对称态射β和γ的加权Moore Penrose逆αβ,γ+ ,分别给出了一般态射、有满单分解态射与有核(上核)态射的αβ,γ+ 存在的充要条件及其相应的表达式. 相似文献
5.
MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础. 相似文献
1