通行证 | 帐号: 密码: 注册 | 登录
网站地图| 免费获取| 论文代理
教育资料网


自动化 模具 机械 电子 通信 动画 英语资料 工程管理 金融资料 旅游管理 工业工程 生物工程 给排水资料 西门子PLC 历史学 三菱PLC
单片机 财务 会计 法律 行政 物理 物流资料 电子商务 制药工程 包装工程 土木工程 材料科学 汉语言资料 欧姆龙PLC 电压表 松下PLC
计算机 化工 数电 工商 食品 德语 国贸资料 人力资源 教育管理 交通工程 市场营销 印刷工程 机电一体化 数控资料 变电站 文化产业

  • 网站首页|
  • 资料范文|
  • 修改降重|
  • 发表资料|
  • 合作期刊|
  • 资料下载|
  • 计算机资料|
  • 外文翻译|
  • 免费资料|
  • 原创资料|
  • 开题报告资料
搜索
教育管理原创资料  学前教育原创资料  快速降重  小学教育资料  汉语言文学

当前位置:教育资料网 -> 外文翻译 -> PLC相关外文翻译 -> 检验和优化一个PLC控制时间表
人力资源管理外文翻译| 电子机电单片机外文翻译| 自动化PLC外文翻译| 机械模具外文翻译| 经济管理外文翻译| 通信专业外文翻译| 计算机外文翻译| 其他专业资料外文翻译|
·电子商务原创毕业论文
·法学专业原创毕业论文
·土木工程原创毕业论文
·工商管理专业原创论文
·电气自动化原创毕业论文
·汉语言文学专业原创论文
·会计专业原创毕业论文
·计算机技术原创毕业论文
·人力资源专业原创毕业论文
·市场营销专业原创论文
·信息管理专业原创毕业论文
·学前教育专业原创论文
·教育管理专业原创论文
·小学教育专业原创论文
·应用心理学专业原创论文
·英语专业原创论文
·播音与主持原创毕业论文
·行政管理专业原创论文
·广播电视编导原创毕业论文
·摄影专业原创毕业论文
·广告学专业原创毕业论文
·新闻学专业原创毕业论文
·文化产业管理原创毕业论文
·视觉传达设计原创毕业论文
·表演专业原创毕业论文
·动画专业原创毕业论文
·录音艺术原创毕业论文
·护理专业原创毕业论文
·通信工程原创毕业论文
·金融专业原创毕业论文
标题:

检验和优化一个PLC控制时间表

提交者: lwtxw
浏览量: 352
总下载量: 0 次
本月下载量: 0 次
本周下载量: 0 次
今日下载量: 0 次
点击下载:下载地址 检验和优化一个PLC控制时间表 (收费:1900 积分)  如何获取积分?

需要全部内容可注册成本站会员,有足够积分即可下载(如何获取积分)点此使用支付宝充值金币然后进会员中心把金币兑换成积分即可下载,1元=1个金币=100积分,客服QQ17304545点击这里给我发消息  QQ136775125点击这里给我发消息 

 

中文字数: 2066,中文页数: 3  英文字数:  1958 ,字符数:10360  ,页数:5

检验和优化一个PLC控制时间表
Edmund Brinksma1,AngelikaMader1,Ansgar Fehnker2
1计算机科学的天才,特湾特大学,荷兰;发电子邮件给: {brinksma,mader}@cs.utwente.nl
2电子和计算机工程学,卡内基美隆大学,美国;电子邮件:ansgar@ece.cmu.edu
在线出版:2002.10.2
摘要:
我们报道为最完整的过程控制程序和最佳的时间表提供检查技术的模板使用。大多数的这个工作是为欧盟VHS计划(混合的系统)实行,如一个案件的研究部份,在那个计划对化学工厂的实验中的一个可控制逻辑控制器(PLC)来说,必须被正确设计。我们最初的意图是要看有多少可以在这里使用标准的模型检查环境。随着即时的样板检验员的检测,其代价可能是相当昂贵。依我们的情况,我们用抽象化技术处理了PLC控制器。对于流程安排我们实现一个叫做变数中时间优先的方案,比较且解释我们在外面的相同案件研究,由于样板检验员的帮助, 证明了提高设备对查证控制器的设计及在合理时间上对最佳的时间表需求是有力的。
关键字:正式的方法–模型检查–混合的系统–行程安排

Verification and optimization of a PLC control schedule
Ed Brinksma1, AngelikaMader1, Ansgar Fehnker2
1Faculty of Computer Science, University of Twente, Netherlands; E-mail: {brinksma,mader}@cs.utwente.nl
2 Electrical & Computer Engineering, Carnegie Mellon University, USA; E-mail:
Published online: 2 October 2002 –   Springer-Verlag 2002
Abstract:
We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this work has been carried out as part of a case study for the EU VHS project (Verification of Hybrid Systems), in which the program for a Programmable Logic Controller (PLC) of an experimental chemical plant had to be designed and verified. The original intention of our approach was to see how much could be achieved here using the standard model checking environment of SPIN/Promela. As the symbolic calculations of real-time model checkers can be quite expensive it is interesting to try and exploit the efficiency of established non-real-time model checkers like SPIN in those cases where promising work-arounds seem to exist. In our case we handled the relevant real-time properties of the PLC controller using a time-abstraction technique; for the scheduling we implemented in Promela a so called variable time advance procedure. To compare and interpret the results we carried out the same case study with the aid of the real-time model checker UPPAAL, enhanced with facilities for cost-guided state space exploration. Both approaches proved sufficiently powerful to verify the design of the controller and/or derive (time-) optimal schedules within reasonable time and space requirements.
Keywords: Formal methods – Verification – Model checking – Hybrid systems – Scheduling

 

检验和优化一个PLC控制时间表由教育资料网(www.jaoyuw.com)会员上传。
原创资料流程 相关外文翻译
PLC在流量计自动标定系统中的应用
财务管理 市场营销 幼儿教育 PLC 单片机 教育 幼儿园 中小企业 教师 内部控制 工程造价 电子商务 PLC 变频调速 供水 系统 应用 控制 交流 变频 电梯 设计 火灾 自动 报警系统 单片机 烟雾 检测 篮球 比赛 计时器  自动售货机 控制系统 电热水器 温度 异步电动机 MATLAB 10kV 配电 线路 控制器 智能交通  机床  机械手 变电站 变压器 自动化 售货机 花样喷泉 立体车库 洗衣机 西门子PLC 组态控制 抢答器 数控车床 自行车 里程 车速 超声波 液位 传感器 密码锁 机构 数控激光 切割机设计 后托架 加工工艺 夹具设计 CA6140 传动轴 注塑 模具设计 液压 风险管理 银行 竞争力 中小企业 内部控制 状况 调查报告 融资 管理 中间业务 实习报告 金融 监管 制度  农村 养老保险 合作医疗 外贸 理财 规划 网上银行 发展现状 个人理财 人民币 升值
上一篇:可编程逻辑控制器外文 下一篇:可编程逻辑控制器
教育资料网专注本科专科自考硕士原创资料,MBA资料,MPA资料,职称原创资料发表
推荐外文翻译 本专业最新外文翻译
PLC基于张力控制系统的发展
PLC的最新发展趋势
可编程逻辑控制器外文
PLC在流量计自动标定系统中的应用
论可编程序控制器未来的发展
三菱变频调速器FR-A500
西门子S7-300 PLC在双电梯协调控制系..
SIMATIC S7-200系列PLC 介绍
PLC仍在全方位地发展
浅谈西门子PLC控制程序的保护
Tags:检验 优化 一个 PLC 控制 时间表 2009-08-05 10:36:10【返回顶部】
电气工程自动化原创资料  电子商务原创资料
人力资源专业原创资料 土木工程原创资料
工商管理专业原创资料    药学专业原创资料
汉语言文学专业原创资料  会计专业原创资料
计算机技术原创资料  金融学原创资料
法学专业原创资料   市场营销专业原创资料
信息管理专业原创资料 学前教育专业原创资料
公共事业管理专业原创资料 英语专业原创资料
教育管理专业原创资料   行政管理专业原创资料
发表资料
PLC 变频调速 供水 系统 应用 控制 交流 变频 电梯 设计 火灾 自动 报警系统 单片机 烟雾 检测 篮球 比赛 计时器  自动售货机 控制系统 电热水器 温度 异步电动机 MATLAB 10kV 配电 线路 控制器 智能交通  机床  机械手 变电站 变压器 自动化 售货机 花样喷泉 立体车库 洗衣机 西门子PLC 组态控制 抢答器 数控车床 自行车 里程 车速 超声波 液位 传感器 密码锁 机构 数控激光 切割机设计 后托架 加工工艺 夹具设计 CA6140 传动轴 注塑 模具设计 液压
电气工程自动化原创文档  电子商务原创资料文档
人力资源专业原创资料文档土木工程原创资料文档
工商管理专业原创文档    药学专业原创文档
汉语言文学专业原创文档  会计专业原创资料文档
计算机技术原创资料文档  金融学原创资料文档
法学专业原创资料文档  市场营销专业原创文档
信息管理专业原创资料文档 学前教育专业原创文档
公共事业管理专业原创文档 英语专业原创文档
教育管理专业原创文档   行政管理专业原创文档

联系方式 | 资料说明 | 网站地图 | 免费获取 | 钻石会员 | 硕士资料


教育资料网提供资料范文,资料代发,原创资料

本站部分文章来自网友投稿上传,如发现侵犯了您的版权,请联系指出,本站及时确认并删除  E-mail: 17304545@qq.com

Copyright@ 2009-2020 教育资料网 版权所有 湘ICP备19027999