论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 电脑知识与技术：学术版期刊 \
基于UPPAAL磁性材料生产线的建模与验证
基于UPPAAL磁性材料生产线的建模与验证
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
随着工业的发展,产品的生产制造逐渐向智能化迈进.磁性材料生产线主要研究智能化生产过程.该生产线由多种设备及控制器构成,涉及不同工序间设备的交互,及同一工序间不同设备的并行.采用时间自动机建立生产线模型,利用控制器传输信号,实现生产线的有效调度.并通过模型检验工具UPPAAL验证模型性质,保证生产线的正确性和安全性.
推荐文章
非磁性材料磁性研磨加工的研究
磁性研磨
非磁性材料
金属去除量
表面粗糙度
CDT生产线的状态建模
CDT生产线
状态
状态图
建模
模式
基于DSP的磁性材料缺陷在线监测系统
缺陷检测
DSP
CPLD
图像处理
纳米磁性材料的研究进展
纳米微晶
磁性材料
机械合金化
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 基于UPPAAL磁性材料生产线的建模与验证 | ||
| 来源期刊 | 电脑知识与技术：学术交流 | 学科 | 工学 |
| 关键词 | 磁性材料生产线 时间自动机 模型检验 形式化方法 | ||
| 年，卷（期） | 2016,（10） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 252-253 | |
| 页数 | 2页 | 分类号 | TP391 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2004(1)
- 参考文献（1）
- 二级参考文献（0）
2016(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
磁性材料生产线
时间自动机
模型检验
形式化方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术：学术版
主办单位：
时代出版传媒股份有限公司
中国计算机函授学院
出版周期：
旬刊
ISSN：
1009-3044
CN：
34-1205/TP
开本：
出版地：
安徽合肥市濉溪路333号
邮发代号：
26-188
创刊时间：
语种：
出版文献量（篇）
41621
总下载数（次）
23
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
电脑知识与技术：学术版2021
电脑知识与技术：学术版2020
电脑知识与技术：学术版2019
电脑知识与技术：学术版2018
电脑知识与技术：学术版2017
电脑知识与技术：学术版2016
电脑知识与技术：学术版2015
电脑知识与技术：学术版2014
电脑知识与技术：学术版2013
电脑知识与技术：学术版2012
电脑知识与技术：学术版2011
电脑知识与技术：学术版2010
电脑知识与技术：学术版2009
电脑知识与技术：学术版2008
电脑知识与技术：学术版2007
电脑知识与技术：学术版2006
电脑知识与技术：学术版2005
电脑知识与技术：学术版2016年第9X期
电脑知识与技术：学术版2016年第9期
电脑知识与技术：学术版2016年第8X期
电脑知识与技术：学术版2016年第8期
电脑知识与技术：学术版2016年第7X期
电脑知识与技术：学术版2016年第7期
电脑知识与技术：学术版2016年第6X期
电脑知识与技术：学术版2016年第6期
电脑知识与技术：学术版2016年第5X期
电脑知识与技术：学术版2016年第5期
电脑知识与技术：学术版2016年第4X期
电脑知识与技术：学术版2016年第4期
电脑知识与技术：学术版2016年第3X期
电脑知识与技术：学术版2016年第3期
电脑知识与技术：学术版2016年第2Z期
电脑知识与技术：学术版2016年第2X期
电脑知识与技术：学术版2016年第2期
电脑知识与技术：学术版2016年第1Z期
电脑知识与技术：学术版2016年第1X期
电脑知识与技术：学术版2016年第12X期
电脑知识与技术：学术版2016年第12期
电脑知识与技术：学术版2016年第11Z期
电脑知识与技术：学术版2016年第11X期
电脑知识与技术：学术版2016年第11期
电脑知识与技术：学术版2016年第10X期
电脑知识与技术：学术版2016年第10期
电脑知识与技术：学术版2016年第1期
