搜索筛选:
搜索耗时3.0115秒,为你在为你在102,285,761篇论文里面共找到 14 篇相符的论文内容
发布年度:
[期刊论文] 作者：曹永知,,
来源：广州大学学报(自然科学版) 年份：2019
尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景下,数据间存在着复杂的关联性.为防止攻击者...
[学位论文] 作者：曹永知,
来源：北京师范大学 年份：2003
该文主要关心胞腔代数同调方面的性质,包括胞腔代数的拟遗传性、半单性、标准分层性以及胞腔代数上的投射-内射模等.我们的研究主要采用同调的方法,许多论证用到胞腔代数上投...
[学位论文] 作者：曹永知,
来源：华中师范大学 年份：2000
该文给出了预加范畴中具有泛分解的态射的(1,…,i)-逆存在的条件及其表达式,特别地,得到了这类态射的Moore-Penrose逆和群逆存在的一些新的充要条件和新的表达式, 另外, 该文...
[期刊论文] 作者：朱萍,曹永知,
来源：数学物理学报：A辑 年份：2001
该文研究范畴中态射α关于对称态射β和γ的加权Moore-Penrose逆αβ.+γ，分别给出了一般态射、有满单分解态射与有核(上核)态射的αβ.+γ存在的充要条件及其相应的表达式....
[期刊论文] 作者：曹永知,朱萍,
来源：华中师范大学学报：自然科学版 年份：2000
在预加范畴中研究了具有泛分解的态射幂的Moore－Penrose逆，讨论了它与群逆之间的联系．...
[期刊论文] 作者：曹永知,朱萍,
来源：华中师范大学学报：自然科学版 年份：1999
讨论了预加范畴中的态射方程ａｘβ＋σｙτ＝γ，给出了其有解的充要条件和通解公式，并且，对主理想整环上的矩阵方程ＡＸＢ＋ＣＹＤ＝Ｅ给出了相应的结论。...
[期刊论文] 作者：朱萍,曹永知,
来源：华中师范大学学报：自然科学版 年份：1999
讨论了一种新的拉回形式－集体拉回，研究了它的性质以及它与拉回的关系，特别是在有积的范围中，集体拉回与拉回两者之间的密切关系。...
[期刊论文] 作者：曹永知,朱萍,,
来源：数学学报 年份：2001
本文给出了预加范畴中具有泛分解的态射的(1,...,i)-逆存在的条件及其表达式.特别地，得到了这类态射的Moore-Penrose逆和群逆存在的一些新的充要条件和新的表达式....
[期刊论文] 作者：曹永知,郭驼英,
来源：数学物理学报：A辑 年份：2000
该文在点标拓扑空间的范畴中引进了同伦正则态射的概念，研究了它存在的条件，性质以及它与同伦单（满）态，同伦正则单（满）态和同伦等价之间的密切关系。...
[期刊论文] 作者：曹永知,郭驼英,朱萍,,
来源：数学物理学报 年份：2000
该文在点标拓扑空间的范畴中引进了同伦正则态射的概念,研究了它存在的条件、性质以及它与同伦单(满)态、同伦正则单(满)态和同伦等价之间的密切关系....
[期刊论文] 作者：李桃生,朱萍,曹永知,,
来源：数学学报 年份：2001
本文在正合加法范畴中研究了态射的Drazin逆，证明了态射的柱心-幂零分解的存在性和唯一性....
[会议论文] 作者：金暐,王捍贫,曹永知,
来源：2011年全国理论计算机科学学术年会 年份：2011
MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.......
[会议论文] 作者：洪晓鹏,王捍贫,曹永知,
来源：2011年全国理论计算机科学学术年会 年份：2004
随着计算机的普及应用,计算机程序的正确性证明变得越来越重要.演绎验证是一种重要的程序正确性证明方法.它用逻辑公式描述程序性质,用一组公理和规则进行推导,从而能够证明...
[期刊论文] 作者：金钊,王捍贫,张博闻,张磊,曹永知,
来源：计算机学报 年份：2020
数据的快速增长限制了传统存储技术存储和管理数据的能力,云存储系统应运而生.云存储系统最重要的特征是数据以块的形式存储,且每个块被视为一个独立的存储单元.因此,云存储...
相关搜索：
