单道批处理系统建模与验证--硕士论文下载

教育论文中心

广告服务

论文搜索

论文发表

会员专区

在线购卡

服务帮助

联系我们

网站地图

硕士论文

博士论文

当前位置：教育论文中心首页--硕士论文--单道批处理系统建模与验证

博硕论文分类列表

工业技术	交通运输	农业科学
生物科学	航空航天	历史地理
医学卫生	语言文字	环境科学
综合图书	政治法律	社会科学
马列主义、毛泽东思想		艺术
数理科学和化学		文学
天文学、地理科学		军事
文化科学、教育体育		经济
自然科学总论		哲学
查看更多分类

论文搜索

相关论文

格值树自动机的最小化
基于谱聚类方法的图像分割研究
多目标优化算法在多客户批处理机环
基于恢复的批处理生产重调度及优化
平行机环境下批处理机调度问题研究
基于批处理RSA算法的安全电子邮
高阶双并联神经网络批处理梯度算法
基于连续时间的批处理调度研究及应
含批处理特征的多阶段柔性流水车间
存在批处理设备的复杂产品调度研究
批处理过程生产调度自组织优化方法
面向带有批处理机的混合流水车间的
半导体生产线批处理机调度策略研究
具有释放时间的单机半连续型批处理
改进的微粒群算法在半导体最终测试

科目列表

市场营销	管理理论	人力资源
电子商务	社会实践	先进教育
伦理道德	艺术理论	环境保护
农村研究	交通相关	烟草论文
电子电气	财务分析	融资决策
电影艺术	国学论文	材料工程
语文论文	数学论文	英语论文
政治论文	物理论文	化学论文
生物论文	美术论文	历史论文
地理论文	信息技术	班主任
音乐论文	体育论文	劳技论文
自然论文	德育管理	农村教育
素质教育	三个代表	旅游管理
国际贸易	哲学论文	工商管理
证券金融	社会学	审计论文
会计论文	建筑论文	电力论文
水利论文	园林景观	农林学
中医学	西医学	心理学
公安论文	法学法律	思想汇报
法律文书	总结报告	演讲稿
物业管理	经济学	论文指导
计算机	护理论文	社会调查
军事论文	化工论文	财政税收
保险论文	物流论文	语言教育
教育教学	给水排水	暖通论文
结构论文	综合类别	硕士论文
博士论文

单道批处理系统建模与验证

论文目录

摘要	第1-4页
Abstract	第4-7页
第1章前言	第7-11页
·背景	第7-8页
·形式化方法	第8-9页
·形式化验证	第9页
·模型检测	第9-10页
·本文的主要内容	第10-11页
第2章预备知识	第11-23页
·Kripke结构	第11-12页
·CTL的语法和语义	第12-13页
·LTL的语法和语义	第13-15页
·CTL的模型检测算法	第15-18页
·LTL的模型检测算法	第18-22页
·Buchi自动机的基础理论	第22-23页
第3章单道批处理系统建模与验证	第23-31页
·单道批处理系统	第23页
·批处理系统建模	第23-26页
·系统合理性的描述	第26-27页
·批处理系统对应的Kripke结构	第27-28页
·不动点算法进行模型检测	第28-31页
第4章 Buchi自动机下的模型检测	第31-41页
·批处理系统对应的Buchi自动机	第31-32页
·Buchi自动机下的模型检测算法描述	第32-41页
第5章总结与展望	第41-43页
参考文献	第43-47页
致谢	第47-49页
攻读硕士学问期间主要研究成果	第49页

论文编号BS148506，这篇论文共49页会员购买按0.35元/页下载，共需支付17.15元。直接购买按0.5元/页下载，共需要支付24.5元。

我还不是会员，注册会员！会员下载更优惠!充值送钱！	我只需要这篇，无需注册！直接网上支付，方便快捷！

您可能感兴趣的论文

论文标题	页/字数	分类
作战仿真系统可信性研究	189页	博士论文
基于Petri网模型的数据批处理系统研究与应用	73页	硕士论文
临床试验CRF表全息数据库统计批处理“联姻”模式初报	5610字	期刊论文
面向移动基带SoC芯片前端功能、性能和效能验证的监测系统设计	139页	硕士论文
若干批处理机排序与装箱问题的算法研究	101页	博士论文
复杂系统基于Agent的建模与仿真方法研究及应用	185页	博士论文
基于粒子群算法的多产品批处理生产调度问题研究	75页	硕士论文
无源声探测网批处理目标跟踪算法	76页	硕士论文
ADWR-X型天气雷达批处理模式地杂波抑制研究	53页	硕士论文
钢铁生产中的批处理机作业排序问题算法研究	164页	博士论文

版权申明：本目录由www.jylw.com网站制作，本站并未收录原文，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。

| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有教育论文中心 Copyright(C) All Rights Reserved
联系方式： QQ:277865656 或写信给我