王习娟
- 作品数：17 被引量：23H指数：3
- 供职机构：南京大学数学系更多>>
- 发文基金：国家自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：理学更多>>
- Topos中完备偏序对象上的算子理论被引量：1
- 2016年
- 研究了完备偏序对象间的投射算子,给出了闭包算子和核算子的等价刻画,将一些格论中的经典结论推广到了topos中。
- 卢涛王习娟贺伟
- 关键词：核算子闭包算子
- 完备布尔代数商格的注(英文)被引量：3
- 2009年
- 本文研究了完备布尔代数L的商格Q(L),建立L上q-集构成的集合Q′(L)与Q(L)之间的同构,得出了完备布尔代数的商格仍是完备布尔代数,并给出了完备布尔代数范畴的某些性质.
- 王习娟贺伟
- 关键词：核算子
- 一个不等式的六种证法
- 2001年
- 本文利用《数学分析》中基本理论 ,从数列极限、函数导数、微分中值定理、定积分中值定理、函数的泰勒公式、函数的幂级数展开形式六个方面来证明同一个不等式。
- 王习娟
- 关键词：数学分析微分中值定理不等式
- L-连续偏序集的M性质与有限分离性被引量：1
- 2009年
- 讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果:(1)若P为L-连续偏序集,则P是有限上集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.
- 王习娟卢涛贺伟
- Topos中选择公理的一个等价刻画被引量：3
- 2015年
- 基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画:选择公理成立当且仅当连续格对象等价于构造性连续格对象。
- 卢涛王习娟贺伟
- 关键词：TOPOS选择公理
- 子级数的几个结果
- 2002年
- 本文给出了子级数的概念 。
- 葛仁福王习娟
- 关键词：级数子级数收敛性数学分析
- Topos中的构造性连续格与选择公理
- 本文在一般topos中引入了构造性连续格的定义，深入研究了topos中的构造性连续格有关性质，并给出了topos中选择公理的一个等价刻画.主要内容如下：
(1)在一般topos中引入了有限子集的概念，对topos中...
- 王习娟
- 关键词：闭包算子子代数
- 文献传递
- Topos中的有限对象
- 2016年
- 引入了topos中有限子集的概念,研究了K-(J-)有限子集和K-(J-)有限子对象之间的关系,证明了K-(J-)有限子集和K-(J-)有限对象的等价性,将一些格论中的经典结论推广到了topos中。
- 卢涛王习娟
- 关键词：TOPOS
- 连续范畴被引量：4
- 2008年
- 将定向完备偏序集上的way-below关系推广到任意小范畴上,从而在任意小范畴上引入了连续性.并进一步讨论了连续范畴的性质,证明了连续范畴有许多类似于连续偏序集的好的性质.
- 卢涛王习娟贺伟
- 关键词：余积
- M/M/1/C排队论系统非稳态解分析
- 2003年
- 在计算机通信等资源共享系统中 ,常遇到M M 1 C排队问题 ,通常实际问题都是讨论问题的稳态解 .本文分析了M M 1 C排队系统的非稳态解的渐近行为 ,对分析M M 1 C排队系统的渐近行为有重要参考价值 .
- 王习娟
- 关键词：渐近行为特征值稳态解
