切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于单边Tchebychev不等式的TSF模型改进
基于单边Tchebychev不等式的TSF模型改进
来源 :怀化学院学报 | 被引量 : 0次 | 上传用户:hdf1038
【摘 要】
:
运用单边Tchebychev不等式,对TSF模型中的概率约束进行放大,使之不大于给定的置信水平,改进后的新模型的可行域与最优解比用Tchebychev不等式放大的模型更优.
【作 者】
:
龙君
曾三云
【机 构】
:
吉首大学民族预科教育学院,吉首大学数学与统计学院
【出 处】
:
怀化学院学报
【发表日期】
:
2013年11期
【关键词】
:
Safety—First模型
TSF模型
单边Tchebychev不等式
safety - first - model TSF - model one - si
【基金项目】
:
湖南省教育厅科研项目(10C1126,108088).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
运用单边Tchebychev不等式,对TSF模型中的概率约束进行放大,使之不大于给定的置信水平,改进后的新模型的可行域与最优解比用Tchebychev不等式放大的模型更优.
其他文献
财会专业的学科教学中融入企业文化元素的探索——校园文化和企业文化相融合的探索与实践
根据社会发展和市场需求,为了实现中职学校人才培养的目标,构建具有企业特色的校园文化,提升办学质量,有着十分重要的作用。本文提出在中职会计专业课程的课堂教学中融入企业
期刊
校园文化
财会教学
企业文化
融合
试析小泽新党的政治影响与发展空间
日本野田政府的增税法案及核电政策,令民主党的支持率继续下降,不仅国民反对野田,民主党内部也是批评之声不断,在与野田交涉无果之后,小泽一郎再次选择了离党出走的惯用手段,另立新
期刊
小泽一郎
离党
建党
议会选举
Ozawa lchiro be from the party Party - building parliamentary el
论白酒包装设计的审美意境
分析了意境的概念、白酒包装设计审美意境的特征,以及白酒包装审美意境在营销和消费中的功能。在此基础上从材料、图片、色彩、造型四个方面探讨了如何从传统艺术中汲取精髓,
期刊
意境
白酒包装
传统艺术
审美
artistic conceptionliquor packagingtraditional artaesthetic
大叶石上莲ISSR-PCR反应体系的建立与优化
为建立并优化大叶石上莲(Oreocharis benthamii)ISSR-PCR反应体系,采用改良的CTAB法提取大叶石上莲叶片DNA,利用正交试验设计方法,从Mg^2+、d NTP、引物、Taq DNA聚合酶以及模板
期刊
大叶石上莲
ISSR
正交设计
反应体系
引物筛选
Oreocharis benthamii ISSR orthogonal design reaction s
独立学院图书馆勤工助学工作的几点创新性思考
本文首先通过说明独立学院及其图书馆的一些特点,进而阐述了其招用勤工助学学生工的必要性。其次通过对当前独立学院图书馆勤工助学管理工作的现状进行一般性的概述,总结出其
期刊
独立学院
图书馆
勤工助学
创新
优质杂交水稻新组合‘博Ⅱ优818’在琼西北部种植表现及高产栽培技术
‘博Ⅱ优818’是海南省农业科学院粮食作物研究所近年来用‘博Ⅱ-Ax海恢818’组配育成的又一个弱感光料型的优质高产杂交水稻新组合。2013年引入琼西北部少数黎苗族稻作区作
期刊
博Ⅱ优818
杂交水稻
农艺性状
高产
BoII 818 hybrid rice agronomic traits high yield
压电阀脉冲充气进气量的准确控制
一、引言采用脉冲方式注入工作气体是现代托卡马克实验中一种先进充气方式。与持续冲气相比,脉冲送气有利于提高并保持较好的本底真空度、降低壁面吸附、减轻杂质污染等,从而
期刊
托卡马克
进气量
脉冲方式
真空度
工作气体
自动控制器
驱动控制系统
闭环反馈
控制精度
门控制
礼失求诸野?——评王跃文的中篇小说《漫水》
王跃文的中篇小说《漫水》,无论就它的背景表现、情节铺排、人物塑造,还是它的语言格调、结构.都显现出作家对以前创作路向的一种超越和突破,《漫水》通过一个充满温情和静穆的乡
期刊
王跃文
《漫水》
评论
WANG Yue-wen Manshui review
线性时态逻辑中的特性模式
在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。
期刊
线性时态逻辑
特性模式
模型检查
SPIN
Linear Temporal Logic (LTL) property patterns model check
《大公报?文学副刊》:关于传记文学与历史小说
20世纪20年代创办的《大公报?文学副刊》,十分重视传记文学与历史小说的相关介绍和研讨。它立足于文学批评,从传记文学的创作技巧、现代转型,以及小说创作的历史意识等方面进行阐
期刊
《大公报?文学副刊》
传记文学
历史小说
Ta Kung Pao Literary Supplementbiography literaturehistoric
与本文相关的学术论文