西北师范大学数学与统计学院
- 作品数：1,687 被引量：1,925H指数：16
- 相关作者：陈祥恩陶双平马国顺马巧珍伏升茂更多>>
- 相关机构：兰州交通大学电子与信息工程学院上海工程技术大学数理与统计学院宁夏大学数学计算机学院更多>>
- 发文基金：国家自然科学基金甘肃省自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：理学自动化与计算机技术经济管理文化科学更多>>
- 具有恐惧效应和 Beddington - DeAngelis 功能反应的时空共位群内捕食模型的稳定性和分叉分析
- 2022年
- 竞争和捕食是生态学中经常出现的一种现象,当两物种争夺相同的有限资源时,捕食者和食饵的共存是维持捕食者-食饵系统所必需的。研究共位群内捕食者和食饵在争夺同一资源时是否可能共存时非常有意义的。本文研究了具有恐惧效应的时空共位群内捕食模型的稳定性与Hopf 分支,该模型包含了以Beddington-DeAngelis 功能反应为特征的物种相互干扰,导出了共位群内捕食和食饵共存的条件,这是通过讨论平衡点的存在性,局部和全局渐近稳定性以及一致持久性来实现,其中平衡点的稳定性的条件是通过李雅普诺夫和赫尔维兹判据获得的。最后,我们以恐惧因子为分支参数,得到了各平衡点处Hopf 分支存在的条件。
- 王小宁
- 关键词：稳定性
- (d,n)-余挠模与(d,n)-平坦模的环刻画
- 2018年
- 设R是环,研究了(d,n)-余挠模和(d,n)-平坦模的应用,证明了每一个右R-模是(d,n)-余挠模当且仅当每一个(d,n)-平坦右R-模是(d,n)-余挠模;对偶地,证明了每一个右R-模是(d,n)-平坦模当且仅当每一个循环右R-模是(d,n)-平坦模.最后给出了这两类模在多项式环下的等价刻画.
- 武斌杨晓燕
- 关键词：多项式环平坦维数
- 带衰退记忆的经典反应扩散方程的全局吸引子被引量：5
- 2014年
- 当非线性项满足任意阶多项式增长且外力项仅属于H^(-1)(Ω)时,研究了带衰退记忆的经典反应扩散方程的长时间动力学行为.应用抽象函数理论、半群理论以及新的估计技巧,在空间L^2(Ω)×L_μ~2(R^+;H_0~1(Ω))上证明了全局吸引子的存在性.该结果改进和推广了Chepyzhov等人(2006)及Zhong等人(2006)的相应结果.
- 汪璇朱宗伟马巧珍
- 关键词：全局吸引子
- K_(1,1,p),K_(1,2,p)的点可区别的IE-全染色及一般全染色被引量：5
- 2018年
- 以完全三部图K_(1,1,p),K_(1,2,p)为例,利用色集事先分配法、构造染色法、反证法,讨论完全三部图K_(1,1,p),K_(1,2,p)的点可区别IE-全染色及点可区别一般全染色问题,确定了K_(1,1,p),K_(1,2,p)的点可区别IE-全色数及点可区别一般全色数.
- 寇艳芳陈祥恩王治文
- 关键词：完全三部图
- 正合范畴的整体Gorenstein维数
- 2020年
- 设A是有足够多投射对象和足够多内射对象的正合范畴.本文研究了A的整体Gorenstein维数和A中的Gorenstein导出函子.利用同调的方法,证明了:如果A有可数直和与可数直积,那么sup{GpdM|M∈A}=sup{GidM|M∈A};对A中的对象M,N,若Gp M<∞,GidN<∞,则对任意的i≥0,ExtGPi(M,N)≌ExtGIi(M,N).
- 郭景阁王君甫赵仁育
- 区块链电子病历中基于密钥聚合的密文检索方案被引量：4
- 2021年
- 为实现对多个电子病历文件的密文检索,提出一种基于密钥聚合的密文检索方案。当数据用户对多个文件进行搜索时,利用密钥聚合技术生成一个聚合陷门即可实现对多个文件的批量搜索。当数据用户检索得到医疗云服务返回的文件时,通过区块链中的智能合约技术完成检索数据的完整性和正确性验证。分析结果表明,该方案满足聚合密钥、陷门和关键字隐私安全需求,在数据加密阶段和关键字搜索阶段相比现有方案具有更高的检索效率。
- 牛淑芬韩松于斐王彩芬杜小妮
- 关键词：区块链电子病历密文检索
- Gorenstein AC亏范畴
- 2022年
- 作者定义了Gorenstein AC导出范畴D_(gac)^(b)(R)并且和导出范畴作了一些比较.作者定义了Gorenstein AC奇点范畴D_(gacsg)^(b)(R),在这个范畴中具有有限Gorenstein AC-投射维数的模都是零对象.同时,作者给出了由Gorenstein AC-投射模构成的稳定范畴到奇点范畴的三角嵌入F:gAC→D b 8g(R).通过作函子F的商引入Gorenstein AC亏范畴D_(gacd)^(b)(R),并且给出三角等价D_(gacd)^(b)(R)≌D_(gacsg)^(b)(R).
- 曹天涯刘仲奎杨晓燕
- 区块链上支持多关键字检索的可搜索加密方案被引量：4
- 2020年
- 在基于云存储的单关键字可搜索加密中,云服务器不是完全可信的,且现有的单关键字检索不能精确地返回搜索结果。基于此,结合区块链技术提出了区块链上的多关键字可搜索加密方案。该方案采用对称加密算法提高了加密效率;利用区块链技术解决了云服务器不诚实搜索的问题;采用多关键字的索引结构提高了搜索结果的精确性。在随机预言模型下,证明了该方案在选择关键字攻击下是不可区分IND-CKA安全的,通过效率分析表明该方案具有更高的效率。
- 牛淑芬王金风王伯彬陈敬民杜小妮
- 关键词：区块链
- 一阶时滞微分方程正周期解的存在性被引量：5
- 2014年
- 研究一阶时滞微分方程u'(t)=a(t)e-u(t)u(t)-λb(t)f(u(t-τ(t)))正ω-周期解的存在性,其中a(t),b(t)∈C(R,[0,∞))是ω-周期函数,∫ω0a(t)dt>0,∫ω0b(t)dt>0,f∈C([0,∞),[0,∞)),当u>0时,f(u)>0,τ(t)是连续的ω-周期函数,主要结果的证明基于不动点指数理论.
- 张露刘瑞宽
- 关键词：一阶时滞微分方程正解不动点指数存在性
- 量子计算中的算子和表示
- 2017年
- 在量子计算的物理实现中,以算子和形式表示量子系统的态,并阐述了其物理意义.同时,基于算子和表示,讨论了在开放的量子系统中,主系统在测量结果为m的条件下的最终状态.
- 韩琦郭婷殷世德何明珍
- 关键词：物理意义
