检索结果-内蒙古大学图书馆

西安交通大学学报 2013年第8期47卷 12-18页

作者：苏莉陈鹏飞齐勇武义涵西安交通大学电子与信息工程学院西安710049 海南师范大学数学与统计学院海口571158 北京大学信息科学技术学院北京100871

针对当前软件老化的检测、分析和软件再生的不确定性问题,提出了一种基于贝叶斯证据框架的最小二乘支持向量机(LS-SVM)的软件老化检测方法,即:使用最小二乘支持向量机分类器进行数据分类,以此解决数据采集时出现的小样本、高纬度,非线... 详细信息

针对当前软件老化的检测、分析和软件再生的不确定性问题,提出了一种基于贝叶斯证据框架的最小二乘支持向量机(LS-SVM)的软件老化检测方法,即:使用最小二乘支持向量机分类器进行数据分类,以此解决数据采集时出现的小样本、高纬度,非线性、局部最小值等问题;通过贝叶斯证据框架来优化LS-SVM的超参数,从而提高分类器的学习精度和泛化能力。实验结果表明,在状态清晰区间,软件老化的概率均在0.7至0.9之间,而高维模型检测出的软件老化的概率为0或1。如果从概率粒度层来描述软件老化,则软件再生的时间点选取效率更高,根据概率值的变化可进一步解析软件老化的不确定性。实验结果及分析显示,概率粒度所描述的软件健康状态更符合软件老化的客观状况。

关键词：软件老化最小二乘支持向量机贝叶斯证据框架

来源：评论

学校读者我要写书评

暂无评论

素特征域上李超代数S(n)的阶化模

引用

哈尔滨理工大学学报 2024年

作者：李悦孙丽萍刘文德哈尔滨理工大学理学院海南师范大学数学与统计学院

素特征域上单李超代数的分类工作尚未解决，其核心问题是对Cartan型李超代数的分类。根据李代数中识别定理关于Cartan型模李代数阶化模的相关讨论，研究了Cartan型模李超代数S(n)的阶化模。主要利用超外代数Λ(n)自然Z-阶化结构及其特... 详细信息

素特征域上单李超代数的分类工作尚未解决，其核心问题是对Cartan型李超代数的分类。根据李代数中识别定理关于Cartan型模李代数阶化模的相关讨论，研究了Cartan型模李超代数S(n)的阶化模。主要利用超外代数Λ(n)自然Z-阶化结构及其特殊导子的－1-阶化分支结构，在伴随表示的意义下得到了S(n)的不可约阶化模。

关键词： Cartan型模李超代数子模 Z-阶化伴随模不可约

来源：评论

学校读者我要写书评

暂无评论

财政转移支付对区域技术转移的影响研究

引用

科研管理 2021年第1期42卷 88-99页

作者：毛军李子豪石信秋海南师范大学数学与统计学院海南海口571158 河南财经政法大学国际经济与贸易学院河南郑州450046

基于1994-2016年中国22个省份的面板数据,分别采用动态面板空间、合成控制法等估计方法,本文开拓性地考察了财政转移支付对区域技术转移的影响。研究发现,财政转移支付对地区技术转移存在显著的积极影响,且其对西部大开发地区的影响效... 详细信息

基于1994-2016年中国22个省份的面板数据,分别采用动态面板空间、合成控制法等估计方法,本文开拓性地考察了财政转移支付对区域技术转移的影响。研究发现,财政转移支付对地区技术转移存在显著的积极影响,且其对西部大开发地区的影响效果更加突出;在空间分布上,财政转移支付对技术转移的影响存在空间自相关性,财政转移支付增加会显著提高相邻地区技术转移水平。同时,为了弥补传统计量估计的缺陷,以2000年西部大开发政策为出发点,本文运用合成控制法直观地分析了财政转移支付对区域技术转移的影响。研究表明,在2000年实施西部大开发之后,西部大开发9省份的技术转移较控制组省份的技术转移增长更快,且在2002年后西部大开发9省份的技术转移平均水平超过了控制组省份,说明政府财政转移支付能够有效缓解西部大开发地区与非西部大开发地区技术发展不平衡态势,一定程度促进了西部大开发地区技术转移。西部省区的比较发现,以西部大开发政策为代表的财政转移支付对贵州省、甘肃省的技术转移的促进作用更加明显。

关键词：财政转移支付区域技术转移西部大开发合成控制法

来源：评论

学校读者我要写书评

暂无评论

某些子群介于正规与反正规之间的有限群

引用

数学学报（中文版） 2022年第5期65卷 841-848页

作者：郭鹏飞石化国海南师范大学数学与统计学院海口571158 四川职业技术学院教师教育系遂宁629000

有限群G的子群H称为G的BNA子群,若对任意的x∈G有H^(x)=H或x∈.若有限群G的所有素数阶和4阶循环子群都是G的BNA子群,则称G为CBNA群.本文主要刻画CBNA群的结构,并且给出所有真子群都是CBNA群的完全分类.

关键词： BNA子群极小子群循环子群超可解群 CBNA群

来源：评论

学校读者我要写书评

暂无评论

基于矩阵方法的Myerson值的一种规范化

引用

应用数学学报 2017年第3期40卷 321-330页

作者：胡勋锋李登峰张庆福州大学经济与管理学院福州350108 海南师范大学数学与统计学院海口571158

在合作对策中,将一个值规范化意味着让其满足有效性.Hamiache利用矩阵方法得到了带图结构效用可转移合作对策Myerson值的一种规范化.通过给出一种新的满足最小划分唯一性的集合簇,本文利用矩阵方法得到了Myerson值的另一种规范化.特殊地... 详细信息

在合作对策中,将一个值规范化意味着让其满足有效性.Hamiache利用矩阵方法得到了带图结构效用可转移合作对策Myerson值的一种规范化.通过给出一种新的满足最小划分唯一性的集合簇,本文利用矩阵方法得到了Myerson值的另一种规范化.特殊地,当所考虑的图结构在各连通分支上的限制均为完全图时,文中给出了带联盟结构效用可转移合作对策AumannDrèze值的一种规范化.与其它Myerson值规范化的比较分析表明本文规范化与van den Brink等的等价.由此van den Brink等的规范化与Hamiache的规范化都可用矩阵方法来描述,而它们之间的区别则被归结于满足最小划分唯一性的集合簇之不同.

关键词：合作对策图结构 Myerson值矩阵方法联盟结构

来源：评论

学校读者我要写书评

暂无评论

基于PISA2021数学素养的数学推理与问题解决

引用

课程．教材．教法 2020年第4期40卷 131-137页

作者：李娜赵京波曹一鸣华中师范大学数学与统计学院武汉430079 北京师范大学数学科学学院北京100875 海南师范大学数学与统计学院海口571158

PISA测试结果的每一次公布都会引起世界的瞩目,各国政府及相关教育政策决策者会依据其结果对其相关教育政策作出调整。在正式实施测试之前,OECD会提前公布相关测试框架,这会在一定程度上影响未来的教学与评价走向。PISA2021测试框架最... 详细信息

PISA测试结果的每一次公布都会引起世界的瞩目,各国政府及相关教育政策决策者会依据其结果对其相关教育政策作出调整。在正式实施测试之前,OECD会提前公布相关测试框架,这会在一定程度上影响未来的教学与评价走向。PISA2021测试框架最为显著的一个变化体现在数学素养定义中的数学推理,侧重在数学推理的介绍及其与问题解决的关系。通过对PISA2021的分析发现,数学推理包括演绎推理和归纳推理,贯穿问题解决的全过程,所有数学活动的展开都围绕数学推理而进行。

关键词： PISA数学框架数学推理数学建模问题解决

来源：评论

学校读者我要写书评

暂无评论

一阶中立型差分方程振动的充分必要条件

引用

应用数学学报 2013年第5期36卷 840-850页

作者：郭松柏沈有建海南师范大学数学与统计学院海口571158 北京科技大学数理学院北京100083

本文研究了一阶常系数中立型时滞差分方程△[x(n)-px(n-τ)]+qx(n-σ)=0的振动性.当p>1时,通过构造若干适当的函数,我们分别得到了在τ-σ1三种情形下该方程振动的充分必要条件.

本文研究了一阶常系数中立型时滞差分方程△[x(n)-px(n-τ)]+qx(n-σ)=0的振动性.当p>1时,通过构造若干适当的函数,我们分别得到了在τ-σ<1,(?)-σ=1和τ-σ>1三种情形下该方程振动的充分必要条件.

关键词：差分方程中立型振动性特征方程

来源：评论

学校读者我要写书评

暂无评论

“森林—竹子—大熊猫”非线性动力系统的周期解与混沌奇怪吸引子

引用

北京林业大学学报 2012年第1期34卷 110-114页

作者：桂占吉程艳霞宋国华海南师范大学数学与统计学院北京林业大学理学院北京建筑工程学院理学院

为从理论上研究"森林—竹子—大熊猫"三位一体的保护栖息地理念,考虑了竹子开花的影响,把竹子和森林分成两个阶段,建立了一个描述"森林—竹子—大熊猫"的非线性动力系统。利用Mawhin重合度理论可以证明此系统存在... 详细信息

为从理论上研究"森林—竹子—大熊猫"三位一体的保护栖息地理念,考虑了竹子开花的影响,把竹子和森林分成两个阶段,建立了一个描述"森林—竹子—大熊猫"的非线性动力系统。利用Mawhin重合度理论可以证明此系统存在一个周期解,利用计算机数值模拟画出了此动力系统的周期解随时间的变化规律和相图。数值模拟显示脉冲的影响非常复杂,进一步研究还发现此模型存在一种新的混沌奇怪吸引子。讨论了得到的周期解和混沌奇怪吸引子的这些理论成果的生态意义。通过严谨的数学论证过程,证明了大熊猫栖息地的大熊猫、森林、主食竹是一个稳定的平衡系统这一结论,对大熊猫栖息地及其他类似濒危物种栖息地保护具有一定的指导意义。

关键词：非线性动力系统大熊猫周期解混沌奇怪吸引子

来源：评论

学校读者我要写书评

暂无评论

界标窗口数据流频繁模式挖掘特性

引用

计算机工程与应用 2011年第10期47卷 131-134,189页

作者：张广路雷景生海南师范大学数学与统计学院海口571158 南京邮电大学计算机学院南京210046

随着数据流应用领域的不断扩大,数据流频繁模式挖掘技术逐渐成为数据挖掘领域研究的核心问题。对DSFPM算法进行研究和改进,提出了一种基于界标窗口的数据流频繁模式挖掘算法DSMFP_LW。该算法实现了单边扫描数据流;利用扩展的前缀模式树... 详细信息

随着数据流应用领域的不断扩大,数据流频繁模式挖掘技术逐渐成为数据挖掘领域研究的核心问题。对DSFPM算法进行研究和改进,提出了一种基于界标窗口的数据流频繁模式挖掘算法DSMFP_LW。该算法实现了单边扫描数据流;利用扩展的前缀模式树存储全局临界频繁模式,实现数据增量更新。通过对比实验,结果证明DSMFP_LW算法有较好的时间开销和空间利用率,优于经典的Lossy Counting算法,适合数据流频繁模式挖掘。

关键词：频繁模式数据流 DSMFP_LW算法

来源：评论

学校读者我要写书评

暂无评论

三角代数上的一类非线性可交换映射

引用

吉林大学学报（理学版） 2014年第5期52卷 881-887页

作者：余维燕张建华海南师范大学数学与统计学院海口571158 陕西师范大学数学与信息科学学院西安710062

运用矩阵分块方法研究三角代数上的一类非线性可交换映射:模线性可交换映射.刻画了此类映射的具体形式,给出了三角代数上模线性可交换映射是真可交换映射的充分条件,并证明了套代数上的每个模线性可交换映射都是真可交换映射.

关键词：三角代数可交换映射模线性映射

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：