国家自然科学基金(11071151)
- 作品数：74 被引量：105H指数：6
- 相关作者：李生刚伏文清赵虎杨文华张建中更多>>
- 相关机构：陕西师范大学西安工业大学青海师范大学更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：理学自动化与计算机技术社会学经济管理更多>>
- 具有重叠多非线性项的一般Lurie系统的绝对稳定性
- 2014年
- 本文研究了具有重叠多非线性项的一般Lurie直接系统的绝对稳定问题.利用关于某个变元绝对稳定的概念,获得了绝对稳定的充要条件和一些充分条件,推广了现有的一些研究结果.
- 赵秀元甘作新
- 关键词：LURIE系统绝对稳定性LYAPUNOV函数
- 关于“预拓扑与网族的预收敛类”的注被引量：1
- 2012年
- 本文研究了预拓扑空间中的收敛问题.利用完备格同构的方法,获得了预拓扑与预收敛类可以相互确定的结果,推广了拓扑与收敛类可以相互确定的结果,同时推广了文献[1]的结果.
- 杨小飞伏文清李生刚
- 关键词：完备格同构
- 模糊紧空间在其一个自然的Hilbert方体紧化中的拓扑位置
- 2012年
- 以讨论模糊紧空间在其一个自然的Hilbert方体紧化中的拓扑位置为目的,利用Hilbert方体中伪边界的拓扑刻画,得出模糊紧空间是其Hilbert方体紧化的伪内部。
- 张丽丽
- 关键词：HAUSDORFF度量
- L-子坡代数范畴及其性质被引量：1
- 2013年
- 研究L-子坡代数范畴L-SInc的性质,首先给出了L-子坡代数范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.其次,定义了坡代数L-余塔的概念,以及由所有坡代数L-余塔构成的范畴IncCL,证明了在一定条件下,范畴L-SInc与范畴IncCL同构.
- 伏文清李生刚
- 关键词：等子乘积同构
- 剩余格上的模糊滤子和模糊同余关系被引量：5
- 2013年
- 介绍了剩余格上的模糊同余关系和模糊滤子的定义,给出了剩余格上模糊滤子和模糊同余关系间的一一对应,证明了在剩余格上模糊滤子和模糊同余关系上定义适当的序关系可使它们是完备格同构。
- 陈娟娟李生刚
- 关键词：剩余格模糊滤子模糊同余关系
- 直觉模糊拓扑的确定
- 2013年
- 对于任意集合X,我们证明了,在IFWCL(X)(X上的直觉模糊弱闭包算子的全体),IFWIN(X)(X上的直觉模糊弱内部算子的全体)和IFWOU(X)(X上的直觉模糊弱外部算子的全体)上分别定义适当的序关系,可以使IFWCL(X),IFWIN(X)以及IFWOU(X)成为和(IFT(X),■)同构的完备格,其中IFT(X)是X上的直觉模糊拓扑的全体.
- 董亚莹刘念
- 关键词：完备格同构
- 对偶软集和对偶软子坡代数被引量：3
- 2016年
- 借助软集对偶的概念,补充了软集对偶所保持的两个重要性质,引入了软子坡代数对偶的定义,主要研究了坡代数上软理想、软滤子对偶的若干性质,给出了软坡代数对偶之间的同态、同构的定义,证明了若两个软坡代数同构,且它们的对偶软坡代数均存在,在一定的条件下,它们也是同构的。
- 计艳飞李生刚
- 关键词：对偶同构
- 个体集和强个体集的范畴性质被引量：1
- 2013年
- 研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个体集范畴都是完备的monoidaltopoi.构造了超结构函子V和超幂函子HF并得到:(1)对任意非空强个体集X和Y,g:X→Y是单射(resp.,满射)当且仅当V(g)是单射(resp.,满射);(2)对任意集X和Y,g:X→Y是单射(resp.,满射)当且仅当HF(g)是单射(resp.,满射).
- 李生刚杨文华伏文清
- 关键词：MONOIDAL范畴TOPOS
- L-预拓扑空间中的近似L-开集及相关的连通性和范畴性质被引量：3
- 2012年
- 研究L-预拓扑空间中L-开集的一些近似形式(其中L是有逆合对应的C-格):θ-L-开集,δ-L-开集,α-L-开集以及β-L-开集。证明了(1)当L的最大元1是并既约元时L-预拓扑空间的连通性、θ-连通性、δ-连通性和α-连通性是等价的;(2)θLTop是LTopsθ、LTop以及LTopθ的反射满子范畴,δLTop是LTopsδ和LTopδ的反射满子范畴;(3)当格L为幂集格时αLTop是LTopsα和LTopα的余反射满子范畴;θLPTop是LPTopsθ、LPTop以及LPTopθ的反射满子范畴,δLPTop是LPTopsδ和LPTopδ的反射满子范畴。
- 杨婷李生刚伏文清
- 关键词：L-预拓扑空间连通性反射子范畴
- 基于哈希技术的BoVW图像检索
- 2016年
- 本文提出了一种基于哈希技术的BoVW图像检索方法.选择合适的生成二进制哈希码的哈希算法,将局部特征点保持相似性地映射为二进制哈希码.再在二进制哈希码上进行k-means,生成视觉词为二进制码的视觉词典.最后,用视觉单词的词频向量表示图像内容,并根据词频向量对图像进行检索.实验结果表明,该方法可以缩短视觉词典生成的时间,占用更少的存储空间.
- 代雪梅李生刚
- 关键词：图像检索
