切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
混合系统的形式验证技术及其在化工过程控制中的应用
混合系统的形式验证技术及其在化工过程控制中的应用
来源 :控制与决策 | 被引量 : 0次 | 上传用户:jack88698
【摘 要】
:
针对PLC等逻辑控制器控制连续对象的可靠性问题,给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过其商迁移的可达性分析,证明了控制程序的正确性。应用实例表明该方
【作 者】
:
张学军
谢剑英
张苗苗
【机 构】
:
上海交通大学自动化系
【出 处】
:
控制与决策
【发表日期】
:
2001年2期
【关键词】
:
混合系统
形式验证
化工过程控制
PLC
hybrid systems rectangular automata formal verification rea
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对PLC等逻辑控制器控制连续对象的可靠性问题,给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过其商迁移的可达性分析,证明了控制程序的正确性。应用实例表明该方法是可行和有效的。
其他文献
对合肥市服务外包业的几点思考
近年来,在世界和我国服务外包业迅速发展的背景下,合肥服务外包业迅速发展。本文主要分析了合肥发展服务外包业的各项指标,指明合肥发展服务外包业具有较强的比较优势,但在某些问
期刊
合肥
服务外包
思考
探析文化多元化背景下的高校思政教学改革
在文化多元背景下,如何促进高校思政教学改革成效的提升,成为相关教育者需要重点思考的问题。文章立足于高校思政教学现状,主要分析了几点改革策略。
期刊
多元文化背景
高校教育
思想政治
教学改革
策略
热点新闻在大学生中的传播及其对思政工作的启示研究
大学生思想政治教育是高校教育中非常重要的一部分,在如今的新媒体时代,学生思想受到互联网信息影响大,思政教育工作较过去有了很大转变。本文通过对101位大学生的问卷调查,
期刊
热点新闻
大学生
思想政治教育
基于流程控制的银行操作风险管理研究
操作风险管理是商业银行风险管理领域中的热点问题,本文基于流程控制的角度来探讨银行操作风险管理,从流程的视角来分析操作风险,并利用流程控制来帮助银行实施有效的风险控
期刊
商业银行
流程控制
操作风险
应用无损耗电阻器的直流电机速度控制方法研究
将无损耗电阻器应用于直流电动机调速系统,采用瞬时值补偿控制方法,通过控制无损耗电阻器的输出,实现了电动机的转速控制,并改善了速度控制系统的动态特性.无损耗电阻器控制
期刊
无损耗电阻器
直流电机
速度控制
lossless resistor switch matrix speed control overshoot
高校财务管理控制问题研究
近年来,随着我国经济建设的快速发展,高校的发展问题越来越被重视,所以现在高校的发展速度呈上升趋势,同时由于教育问题涉及到方方面面所以已经受到全社会的广泛关注。对于高
期刊
高校财务
管理控制
高校资金
财务人员
基于EGA的非线性预测控制器
提出一种基于Volterra模型的非线性预测控制器.采用收敛精度高、速度快的EGA算法滚动求解控制律,反馈校正中考虑了对误差和输出变化趋势影响的双重抑制.对一类非线性系统的仿
期刊
EGA
非线性预测控制器
Volterra模型
反馈控制
鲁棒性
EGA nonlinear predictive controller Volterra mo
军队疗养院开展海勤疗养专业培训的实践与体会
海勤人员是我国海军的主体力量,担负保护海上安全,维护领海主权,确保海洋权益,保卫蓝色祖国的重要责任。随着我国海军战略方针的转变,海勤人员的任务形式、组训方式、训练模
期刊
军队疗养院
海勤疗养
培训
military sanatorium naval convalescent training
其他学术论文