西北师范大学学报(自然科学版)

研究综述

  • 线性模型下的模型平均方法比较

    付利亚;杨佳音;宋亚飞;李海霞;

    模型平均的研究主要包含贝叶斯模型平均和频率模型平均两个方向.从模型平均方法的原理、算法方面介绍了不同先验信息下的贝叶斯模型平均、改进贝叶斯模型后验概率的D-概率方法、Jackknife模型平均、Mallows模型平均以及基于AIC,AICc,BIC三种信息准则的模型平均,并通过模拟试验综合比较了不同模型平均方法的优劣.模拟结果表明,频率模型平均一般优于贝叶斯模型平均,其中Jackknife模型平均具有明显优势.

    2025年02期 v.61;No.241 1-9页 [查看摘要][在线阅读][下载 1620K]

半群代数

同调代数

  • 相对Gorenstein平坦维数与模型结构

    赵仁育;王久玉;

    设R是环,n是非负整数,GF_B~(≤n)(R)和PGF_B~(≤n)(R)分别表示GorensteinB-平坦维数不超过n的左R-模类和投射余可解GorensteinB-平坦维数不超过n的左R-模类,其中B是一个半可定义的右R-模类.给出了GF_B~(≤n)(R)和PGF_B~(≤n)(R)的刻画,利用这两个模类构造了两个遗传阿贝尔模型结构的链,并证明了这些模型结构的同伦范畴均与PGF_B(R)的稳定范畴三角等价.

    2025年02期 v.61;No.241 52-58页 [查看摘要][在线阅读][下载 771K]
  • 平凡环扩张上的n-Gorenstein投射模

    张文汇;赵为东;刘立丽;

    设R是环,M是R-R-双模,■是环R按双模M的平凡环扩张.研究了模的n-Gorenstein投射性在范畴R-Mod和■之间的传递性.在一定条件下,证明了(X,α)是n-Gorenstein投射左■模当且仅当序列■正合,并Cokerα且Cokerα是n-Gorenstein投射左R-模.

    2025年02期 v.61;No.241 59-63页 [查看摘要][在线阅读][下载 786K]
  • 关于强w-FPn-内射模

    陈文静;扎西南杰加;王洁;

    利用交换环上的w-模理论对强FP_n-内射模进行w-模化研究,其中n是非负整数或∞.引入了强w-FP_n-内射模的定义并研究了它们的性质,同时讨论了强w-FP_n-内射模类在n-凝聚环上的一些性质.

    2025年02期 v.61;No.241 64-67+108页 [查看摘要][在线阅读][下载 720K]
  • w-平坦理想的分类定理

    张玲;赵鸿福;李佳鸣;邢世奇;李秦;

    证明了w-平坦理想的一个分类定理,并把忠实平坦模的概念从整环扩展到一般交换环上.应用w-平坦理想与w-忠实平坦理想刻画了PVMD、w-LPI整环和w-FF整环.

    2025年02期 v.61;No.241 68-71页 [查看摘要][在线阅读][下载 667K]

数理逻辑与计算

  • 基于扩展交替时序逻辑的控制器综合方法

    黄若寒;曹子宁;

    形式化方法通过时序逻辑(如LTL和CTL)为复杂系统时序性描述提供了新途径,但其布尔值语义无法量化相关性能属性(如能耗、时间)且难以刻画多智能体协同;时序逻辑的扩展(如PCTL和CTML)虽引入概率与实值评估,但在多智能体系统描述方面仍存在不足.本文对交替时序逻辑(ATL)进行扩展,将公式的语义从布尔值推广到实数值,提出了一种面向多智能体系统时序性能评价的语言ATML.在ATML语言基础上给出控制器综合算法,算法求解给定性能评价公式约束下的控制器,案例展示表明该方法在多智能体系统中控制器综合的可行性.

    2025年02期 v.61;No.241 72-84页 [查看摘要][在线阅读][下载 844K]
  • 基于BR0代数语义的模糊命题逻辑系统的随机发散度与近似推理

    何银;惠小静;彭晨雪;

    基于BR_0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_p).在p-随机逻辑度量空间(F(S),d_p)中提出了理论的p-随机发散度的概念,给出了3种不同类型的近似推理模式,并讨论了它们之间的关系.

    2025年02期 v.61;No.241 85-90页 [查看摘要][在线阅读][下载 689K]
  • 有限函数组的组合极限性质刻画

    韦俊雄;邱东;

    对有限函数组的最大组合函数和最小组合函数的极限同时存在的条件进行研究.利用函数聚点集的性质给出了上述组合极限的等价刻画.

    2025年02期 v.61;No.241 91-99页 [查看摘要][在线阅读][下载 893K]

调和分析

微分方程与动力系统

  • 一类埃博拉病毒传播模型的动力学行为

    贾豫陇;韩晓玲;

    埃博拉病毒是一种具有跨物种传播能力的病毒,由于病毒的致死率较高,因此研究其传播过程具有重要意义.考虑埃博拉病毒的3种不同传播方式,建立了SEIRDP模型;借助下代矩阵求出模型的基本再生数,得到了模型的平衡点及其局部稳定性,并通过构造Lyapunov函数得到了模型平衡点的全局渐近稳定性;最后,通过数值模拟验证了理论分析的正确性.

    2025年02期 v.61;No.241 109-116页 [查看摘要][在线阅读][下载 907K]
  • 非均匀恒化器中具有抑制因子的食物链模型正解的存在性

    成新宇;石垚;孙越;

    研究了非均匀恒化器中具有抑制因子的高维食物链模型,其中两个竞争捕食者以生长在恒化器中的单个食饵为食.首先,运用特征值理论,得出系统正解存在的必要条件;然后,运用度理论和不动点指标等方法,给出具有抑制因子的食物链恒化器模型的正解;最后,通过数值模拟得到:食物链中食饵的最大生长率过大或过小都不利于多个物种的共存;对处于弱势的捕食者来说,抑制因子反而有助于其存活.

    2025年02期 v.61;No.241 117-124页 [查看摘要][在线阅读][下载 970K]
  • 具有交叉扩散项修正Leslie-Gower捕食模型的全局分歧解

    刘梦妍;冯孝周;程丹丹;刘夏;

    研究一类具有交叉扩散项与Monod-Haldane型功能反应项的捕食-食饵模型在Dirichlet条件下的平衡态局部分歧解与全局分歧解.首先,以食饵的内禀增长率为分歧参数,利用特征值分歧定理证明两个半平凡解邻域的局部分歧解的存在性;其次,利用全局分歧定理将两个局部分歧解延拓为全局分歧解,并利用特征值扰动定理,证明了局部分歧解的稳定性;最后,利用数值模拟方法验证了理论结果的准确性,实现了模型的可视化.结果证明:当参数满足一定条件时,系统的分歧正解存在,即两物种可共存.

    2025年02期 v.61;No.241 125-134页 [查看摘要][在线阅读][下载 1015K]

  • 《西北师范大学学报(自然科学版)》征稿简则

    <正>《西北师范大学学报(自然科学版)》为中国科技核心期刊,多次入选中国精品科技期刊、全国中文核心期刊,曾获全国优秀科技期刊三等奖以及甘肃省优秀期刊奖和甘肃省“十佳期刊”提名奖.国内外公开发行,双月刊,逢单月15日出版.主要刊登全国高校和科研院所在数学、计算机与信息科学、物理学、化学、生命科学、地理科学、资源与环境科学等领域的基础研究、应用研究以及开发研究的原创性成果.本刊发表研究综述、研究简报、研究论文、亮点评述等类型的稿件.现将有关投稿事项介绍如下:1投稿方式稿件参照“论文模版”写作,通过投稿系统(https://xbsf.cbpt.cnki.net)投递,投稿时请附第一作者和通信作者的联系信息.1来稿要求2.1稿件要求数据可靠、论点明确、文字精练、层次清楚、图表清晰.2.2来稿请在首页底端脚注处注明基金资助情况(基金类别及编号);第一作者简介(姓名(出生年—),性别,籍贯,职称,学位,主要研究方向,电子信箱,联系电话等).

    2025年02期 v.61;No.241 135页 [查看摘要][在线阅读][下载 1263K]
  • 下载本期数据