基于UPPAAL磁性材料生产线的建模与验证

发布时间：2017-11-08 22:27

  本文关键词：基于UPPAAL磁性材料生产线的建模与验证

  更多相关文章： 磁性材料生产线 时间自动机 模型检验 形式化方法 UPPAAL

【摘要】：随着工业的发展,产品的生产制造逐渐向智能化迈进。磁性材料生产线主要研究智能化生产过程。该生产线由多种设备及控制器构成,涉及不同工序间设备的交互,及同一工序间不同设备的并行。采用时间自动机建立生产线模型,利用控制器传输信号,实现生产线的有效调度。并通过模型检验工具UPPAAL验证模型性质,保证生产线的正确性和安全性。
【作者单位】： 同济大学;
【分类号】：TP301.1;TM27
【正文快照】： 1背景磁性材料是电子行业非常重要的材料,已成为推进我国经济发展中不可或缺的电子产品元件。不仅常见于日常生活家电、汽车、电脑、通讯等,并且在医疗、航太、军事等领域的应用十分广泛。磁性材料生产线的调度算法设计将有效提高生产效率,为企业降低能耗;其安全性验证,可以保

【相似文献】

中国期刊全文数据库 前10条

1 陈亚;李峭;赵露茜;;时间自动机流量特性的硬件模拟[J];电光与控制;2013年11期

2 邓小妮;罗雪山;;向时间自动机转换的军事电子信息系统性质验证[J];火力与指挥控制;2011年12期

3 许庆国;缪淮扣;;在原型验证系统中构建度量区间时序逻辑公式的时间自动机(英文)[J];Journal of Shanghai University(English Edition);2008年04期

4 童超;;利用时间自动机理论探讨客专RBC控车流程[J];铁路通信信号工程技术;2010年01期

5 朱维军;刘保罗;周清雷;;时间自动机与信号自动机的互模拟算法[J];华南理工大学学报(自然科学版);2008年05期

6 王若川;杨孟飞;乔磊;;基于时间自动机的操作系统中断管理建模与验证[J];空间控制技术与应用;2014年04期

7 梁冰;刘群;;基于时间自动机网的C~3I系统建模和实时性验证[J];哈尔滨工程大学学报;2008年03期

8 蒋建军;王长林;;基于UPPAAL的列车自动防护系统形式化建模与验证[J];铁路计算机应用;2014年08期

9 宋海锋;唐涛;李开成;吕继东;;基于XML的时间自动机状态可达性分析在RBC子系统中的应用[J];铁路计算机应用;2014年06期

10 郭志良;郜春海;马连川;吕继东;;基于时间自动机模型的安全计算机平台的形式化验证[J];铁道学报;2011年06期

中国重要会议论文全文数据库 前2条

1 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议（HHME2010)、第19届全国多媒体学术会议（NCMT2010）、第6届全国人机交互学术会议（CHCI2010）、第5届全国普适计算学术会议（PCC2010）论文集[C];2010年

2 高新;臧洌;黄越;;基于分簇和时间自动机的Ad hoc入侵检测方法研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集（下册）[C];2010年

中国硕士学位论文全文数据库 前10条

1 李建龙;PLC系统及其FBD编程语言的形式化建模与实时性验证[D];华侨大学;2015年

2 常军旺;基于扩展时间Petri网的嵌入式中断建模与验证[D];大连理工大学;2015年

3 石少玲;基于时间自动机的嵌入式工业控制系统建模与分析[D];昆明理工大学;2016年

4 赵鑫;基于时间自动机的ECA规则系统建模与交互问题验证[D];大连理工大学;2016年

5 周颜;时间自动机可达性检测方法研究[D];郑州大学;2007年

6 李岩;可调整时间自动机可达性算法的研究与实现[D];上海交通大学;2014年

7 王静;基于时间自动机的模型验证理论及应用研究[D];郑州大学;2005年

8 朱维军;基于时间自动机若干新模型的研究[D];郑州大学;2005年

9 孙全勇;时间自动机及其应用研究[D];哈尔滨工程大学;2007年

10 程永江;基于时间自动机的模型验证技术[D];郑州大学;2009年

，

本文编号：1159137