摘要:模型平均的研究主要包含贝叶斯模型平均和频率模型平均两个方向.从模型平均方法的原理、算法方面介绍了不同先验信息下的贝叶斯模型平均、改进贝叶斯模型后验概率的D概率方法、Jackknife模型平均、Mallows模型平均以及基于AIC,AICc,BIC三种信息准则的模型平均,并通过模拟试验综合比较了不同模型平均方法的优劣.模拟结果表明,频率模型平均一般优于贝叶斯模型平均,其中Jackknife模型
摘要:设S是幺半群,M是S系,M的子系的交图记为G(M).G(M)是简单无向图,它的顶点集由M的非平凡子系构成,顶点集中任意不同的两点是相邻的当且仅当两个非平凡子系不相交.研究了S系的子系交图的完全性、连通性、直径、围长等性质. 关键词:S系;连通性;完全性;交图 中图分类号:O 152.7文献标志码:A文章编号:1001988Ⅹ(2025)02001004 Abstract:Let S b
摘要:对任意n≥2,中国幺半群及其对合幺半群都是非有限基的,并且分别由它们生成的簇都有不可数多个子簇. 关键词:中国幺半群;Schützenberger 对合;有限基;子簇 中图分类号:O 153.5文献标志码:A文章编号:1001988Ⅹ(2025)02001403 Abstract:For any n≥2, Chinese monoid and its involution monoid
摘要:由任意的有向图都可以构造图逆半群.描述了图逆半群的商半群上的Green关系,并刻画了图逆半群的商半群的极大子群. 关键词:图逆半群;商半群;Green关系;极大子群 中图分类号:O 152.2文献标志码:A文章编号:1001988Ⅹ(2025)02001705 Abstract:The graph inverse semigroup can be constructed from an
摘要:设G是有限群,n(G)表示群G的同阶子群的个数集合,刻画了n(G)={1,3,4,5}时的有限群G可能的结构. 关键词:有限群;子群;同阶子群;循环群;群结构 中图分类号:O 152.1文献标志码:A文章编号:1001988Ⅹ(2025)02002208 Abstract:Let G be a finite group,n(G) be the set of numbers of sub
摘要:结合群类S*p的概念和子群的核关系定义了核不等S*p嵌入性质,利用某些非cp正规的二极大子群的核不等S*p嵌入性质对群结构进行研究,并给出群类的相关刻画. 关键词:主因子;极大子群;二极大子群;核不等S*p嵌入性质 中图分类号:O 152.1文献标志码:A文章编号:1001988Ⅹ(2025)02003005 Abstract:The core inequality S*pembedd
摘要:研究乘法正则半环上的二元关系,借助这些关系的开同余构造了广义因子同余对,给出了乘法正则半环的次直积分解定理.特别地,得到了乘法幂等元半环的次直积分解,并刻画了乘法幂等元半环簇的一些子簇. 关键词:半环;开同余;簇;格林关系;次直积 中图分类号:O 151.21文献标志码:A文章编号:1001988Ⅹ(2025)02003505 Abstract:Some binary relation
摘要:利用偶符号排列的逆序集与负和对集,给出了偶超八面体群上左弱序的一个等价刻画.作为应用,证明了给定负指标集的所有偶符号排列的集合在左弱序下是一个区间. 关键词:偶符号排列;左弱序;区间;偶超八面体群 中图分类号:O 152文献标志码:A文章编号:1001988Ⅹ(2025)02004005 Abstract:An equivalent description of the left we
摘要:一个图称为对称的,如果图的自同构群作用在图的弧集上是传递的.利用单群的分类,给出了8p阶13度对称图的完全分类,证明了8p阶13度对称图存在当且仅当素数p=7,该图在同构意义下只有两个,分别为K414或C156. 关键词:对称图;自同构群;s弧传递图;正规覆盖 中图分类号:O 152;O 157.5文献标志码:A文章编号:1001988Ⅹ(2025)02004507 Abstract:
摘要:设R是环,n是非负整数,GFB≤n(R)和PGFB≤n(R)分别表示Gorenstein B平坦维数不超过n的左R模类和投射余可解Gorenstein B平坦维数不超过n的左R模类,其中B是一个半可定义的右R模类.给出了GFB≤n(R)和PGFB≤n(R)的刻画,利用这两个模类构造了两个遗传阿贝尔模型结构的链,并证明了这些模型结构的同伦范畴均与PGFB(R)的稳定范畴三角等价. 关键词:G
摘要:设R是环,M是RR双模,RM是环R按双模M的平凡环扩张.研究了模的nGorenstein投射性在范畴RMod和RMMod之间的传递性.在一定条件下,证明了(X,α)是nGorenstein投射左RM模当且仅当序列MRMRXMαMRXαX 正合,并Cokerα且Cokerα是nGorenstein 投射左R模. 关键词:平凡环扩张;nGorenstein 投射模;强广义相容双模;正合列 中
摘要:利用交换环上的w模理论对强FPn内射模进行w模化研究,其中n是非负整数或∞.引入了强wFPn内射模的定义并研究了它们的性质,同时讨论了强wFPn内射模类在n凝聚环上的一些性质. 关键词:n有限表现模;强wFPn内射模;n凝聚环 中图分类号:O 153.3文献标志码:A文章编号:1001988Ⅹ(2025)02006404 Abstract:The wmodule theoretic a
摘要:证明了w平坦理想的一个分类定理,并把忠实平坦模的概念从整环扩展到一般交换环上.应用w平坦理想与w忠实平坦理想刻画了PVMD、wLPI整环和wFF整环. 关键词:w平坦理想;w忠实平坦理想;PVMD;wLPI整环;wFF整环 中图分类号:O 153.3文献标志码:A文章编号:1001988Ⅹ(2025)02006804 Abstract:The classification theore
摘要:形式化方法通过时序逻辑(如LTL和CTL)为复杂系统时序性描述提供了新途径,但其布尔值语义无法量化相关性能属性(如能耗、 时间)且难以刻画多智能体协同;时序逻辑的扩展(如PCTL和CTML)虽引入概率与实值评估,但在多智能体系统描述方面仍存在不足.本文对交替时序逻辑(ATL)进行扩展,将公式的语义从布尔值推广到实数值,提出了一种面向多智能体系统时序性能评价的语言ATML.在ATML语言基础上
摘要:基于BR0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p随机真度,同时引入公式间的p随机相似度和p随机伪距离的概念,建立了p随机逻辑度量空间(F(S),dp).在p随机逻辑度量空间(F(S),dp)中提出了理论的p随机发散度的概念,给出了3种不同类型的近似推理模式,并讨论了它们之间的关系. 关键词:模糊逻辑;p随机真度;p随机逻辑度量空间;p随机发散度;近似推理 中图分
摘要:对有限函数组的最大组合函数和最小组合函数的极限同时存在的条件进行研究.利用函数聚点集的性质给出了上述组合极限的等价刻画. 关键词:最大组合极限;最小组合极限;广义互补;聚点集 中图分类号:O 174文献标志码:A文章编号:1001988Ⅹ(2025)02009109 Abstract:The conditions for the simultaneous existence of ma
摘要:利用加权范数不等式和实变技巧,在一定条件下证明了分数次极大算子在广义 Morrey 空间上的加权有界性,同时得到了分数次极大算子在广义加权 Morrey 空间上的端点估计. 关键词:分数次极大算子;Morrey空间;加权有界;端点估计 中图分类号:O 174.2文献标志码:A文章编号:1001988Ⅹ(2025)02010004 Abstract:By applying the wei
摘要:证明了带粗糙核的n维分数次Hardy算子及其共轭算子与Lipschitz函数生成的交换子在变指标HerzMorrey空间上的有界性. 关键词:变指标HerzMorrey空间;分数次Hardy算子;粗糙核;交换子 中图分类号:O 174.2文献标志码:A文章编号:1001988Ⅹ(2025)02010405 Abstract:It is proved the boundedness of
摘要:埃博拉病毒是一种具有跨物种传播能力的病毒,由于病毒的致死率较高,因此研究其传播过程具有重要意义.考虑埃博拉病毒的3种不同传播方式,建立了SEIRDP模型;借助下代矩阵求出模型的基本再生数,得到了模型的平衡点及其局部稳定性,并通过构造Lyapunov函数得到了模型平衡点的全局渐近稳定性;最后,通过数值模拟验证了理论分析的正确性. 关键词:埃博拉病毒;基本再生数;平衡点;稳定性 中图分类号:
摘要:研究了非均匀恒化器中具有抑制因子的高维食物链模型,其中两个竞争捕食者以生长在恒化器中的单个食饵为食.首先,运用特征值理论,得出系统正解存在的必要条件;然后,运用度理论和不动点指标等方法,给出具有抑制因子的食物链恒化器模型的正解;最后,通过数值模拟得到:食物链中食饵的最大生长率过大或过小都不利于多个物种的共存;对处于弱势的捕食者来说,抑制因子反而有助于其存活. 关键词:恒化器;抑制因子;食物
摘要:研究一类具有交叉扩散项与MonodHaldane型功能反应项的捕食食饵模型在Dirichlet条件下的平衡态局部分歧解与全局分歧解.首先,以食饵的内禀增长率为分歧参数,利用特征值分歧定理证明两个半平凡解邻域的局部分歧解的存在性;其次,利用全局分歧定理将两个局部分歧解延拓为全局分歧解,并利用特征值扰动定理,证明了局部分歧解的稳定性;最后,利用数值模拟方法验证了理论结果的准确性,实现了模型的可视