基于PVS对SCADE开发轨交控制系统的形式化建模与验证

搜索高级搜索

原创毕业论文

基于PVS对SCADE开发轨交控制系统的形式化建模与验证

作者: 浏览:3次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：基于PVS对SCADE开发轨交控制系统的形式化建模与验证，论文范文关键词：基于PVS对SCADE开发轨交控制系统的形式化建模与验证
基于PVS对SCADE开发轨交控制系统的形式化建模与验证毕业论文范文介绍开始：
【论文摘要】：随着计算机微处理器技术的迅速发展,嵌入式系统的调计越亚越复杂。特别是对于安全性要求极高的系统,例如飞机,火箭,轨道列车控制系统等等。设计中的任何细小的缺陷都有可能造成灾难性后果,并造成巨大的经济损失。因此,研究如似设计出高可信的嵌入式系统是非常重要的。轨交控制系统对可靠性要求是非常（本文此处忽略..）高的,单单传统的验证方法已经不能满足要求,需要提出新的建模与验证方法来完成其开发设计。为此本文提出了一种基于PVS(原型验证系统)对SCADE开发轨交控制系统的形式化建模与验证的方法。研究以SCADESuite作为开发工具的图形化建模方式和由SCADESuite生成的图形模型自动转换的（略..）Lustre语言。在此基础上,以于基本Lustre语言,包括constants常量、variable变量、condition条件语句、specialoperator特殊操作符等给出在PVS中的转换规则,对于扩展Lustre语言状态描述的部分,则给出了对其转换的基本策略。在SCADE（文章此处忽略..）Suite建立模型的基础上,根据SCADE转换至PVS的规则,逐行读取建模后所生成的代码,并将之转换成PVS的相应理论,通过Ruby脚本语言,设计并实现了由Lustre语言到PVS转换工具,SCADE2PVS。在SCADESuite建立模型的基础上,根据SCADE转换至PVS的规则,（此处忽略..）逐行读取建模后所生成的每一行代码,并将之转换成PVS的相应理论。最后通过轨道交通控制系统中的列车道岔换轨例子说明了该方法的可行性,闸述了通过SCADE2PVS工具,把在SCADESuite中的建立的模型转换成PVS理论的方法,并在形成的PVS理论中证明了列车道岔的性质。

以上为本篇毕业论文范文基于PVS对SCADE开发轨交控制系统的形式化建模与验证的介绍部分。

本论文在建筑论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：城镇住房反向抵押贷款风险及其对..

下一篇：陕西省农村客运运力分布研究