首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   1篇
  国内免费   2篇
综合类   1篇
数学   4篇
  2011年   1篇
  2001年   3篇
  2000年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
态射的柱心-幂零分解   总被引:5,自引:0,他引:5  
李桃生  朱萍  曹永知 《数学学报》2001,44(2):221-226
本文在正合加法范畴中研究了态射的Drazin逆,证明了态射的柱心-幂零分解的存在性和唯一性.  相似文献   
2.
关于同伦正则态射   总被引:11,自引:1,他引:10  
该文在点标拓扑空间的范畴中引进了同伦正则态射的概念,研究了它存在的条件,性质以及它与同伦单(满)态,同伦正则单(满)态和同伦等价之间的密切关系。  相似文献   
3.
关于具有泛分解的态射的广义逆   总被引:12,自引:1,他引:11  
曹永知  朱萍 《数学学报》2001,44(3):559-566
本文给出了预加范畴中具有泛分解的态射的(1,…,i)-逆存在的条件及其表达式.特别地,得到了这类态射的Moore-Penrose边和群逆存在的一些新的充要条件和新的表达式.  相似文献   
4.
态射的加权Moore-Penrose逆   总被引:13,自引:3,他引:10       下载免费PDF全文
该文研究范畴中态射α关于对称态射β和γ的加权Moore Penrose逆αβ,γ+ ,分别给出了一般态射、有满单分解态射与有核(上核)态射的αβ,γ+ 存在的充要条件及其相应的表达式.  相似文献   
5.
MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号