期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
改进的初值和背景值优化的MGM(1,m)模型及应用
被引量：
3
1
作者
张红敏
沙秀艳
+1 位作者
王玉凤
李慧诚
《统计与决策》
CSSCI
北大核心
2020年第1期15-19,共5页
针对传统的MGM(1,m)模型存在模拟精度和预测精度不高的问题,文章给出了改进的初值和背景值优化的MGM(1,m)模型。在模型初值的选取上,选取使得模拟值的平均相对误差达到最小的向量X(1)(i)作为初值;在模型背景值的构造上,提出结合辛普森3/...
针对传统的MGM(1,m)模型存在模拟精度和预测精度不高的问题,文章给出了改进的初值和背景值优化的MGM(1,m)模型。在模型初值的选取上,选取使得模拟值的平均相对误差达到最小的向量X(1)(i)作为初值;在模型背景值的构造上,提出结合辛普森3/8公式的动态序列模型来求解背景值的方法。最后以两组指数型数据序列为例建立了传统MGM(1,2)模型及改进后的模型,并进行数据模拟和预测。结果表明,改进后的MGM(1,m)模型的模拟精度和预测精度均有显著地提高,从而验证了模型的有效性和可行性。
展开更多
关键词
MGM(1
m)
模型
辛普森3/8公式
动态序列模型
在线阅读
下载PDF
职称材料
迁移系统关于一类时态逻辑公式的满足度
被引量：
1
2
作者
王国俊
王庆平
+2 位作者
时慧娴
罗清君
王伟
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2013年第4期1-10,共10页
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特...
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.
展开更多
关键词
规范
特征
最终自由
动态
模型
序列
T-范式
满足度
在线阅读
下载PDF
职称材料
题名
改进的初值和背景值优化的MGM(1,m)模型及应用
被引量：
3
1
作者
张红敏
沙秀艳
王玉凤
李慧诚
机构
曲阜师范大学统计学院
曲阜师范大学数学科学学院
出处
《统计与决策》
CSSCI
北大核心
2020年第1期15-19,共5页
基金
国家自然科学基金资助项目(11171179
11571198
+2 种基金
11371183)
全国统计科学研究项目(2019LY47)
国家级大学生创新创业训练计划项目(201810446103)
文摘
针对传统的MGM(1,m)模型存在模拟精度和预测精度不高的问题,文章给出了改进的初值和背景值优化的MGM(1,m)模型。在模型初值的选取上,选取使得模拟值的平均相对误差达到最小的向量X(1)(i)作为初值;在模型背景值的构造上,提出结合辛普森3/8公式的动态序列模型来求解背景值的方法。最后以两组指数型数据序列为例建立了传统MGM(1,2)模型及改进后的模型,并进行数据模拟和预测。结果表明,改进后的MGM(1,m)模型的模拟精度和预测精度均有显著地提高,从而验证了模型的有效性和可行性。
关键词
MGM(1
m)
模型
辛普森3/8公式
动态序列模型
Keywords
MGM(1
m)model
Simpson 3/8 formula
dynamic sequence model
分类号
O21 [理学—概率论与数理统计]
在线阅读
下载PDF
职称材料
题名
迁移系统关于一类时态逻辑公式的满足度
被引量：
1
2
作者
王国俊
王庆平
时慧娴
罗清君
王伟
机构
陕西师范大学数学与信息科学学院
江西财经大学统计学院
西安财经学院统计学院
西安财经学院信息与教育技术中心
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2013年第4期1-10,共10页
基金
国家自然科学基金资助项目(10771129
11171200)
文摘
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.
关键词
规范
特征
最终自由
动态
模型
序列
T-范式
满足度
Keywords
specification
character
eventually free
dynamic model sequence
temporal normalform
satisfaction degree
分类号
O141.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
改进的初值和背景值优化的MGM(1,m)模型及应用
张红敏
沙秀艳
王玉凤
李慧诚
《统计与决策》
CSSCI
北大核心
2020
3
在线阅读
下载PDF
职称材料
2
迁移系统关于一类时态逻辑公式的满足度
王国俊
王庆平
时慧娴
罗清君
王伟
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2013
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
