论文部分内容阅读
针对ＰＬＣ等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过可达性分析，从而证明控制程序的正确性，最后结合化工过程控制中的应用实例做了说明。
逻辑控制器的形式验证及其应用
【摘 要】
：
针对ＰＬＣ等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过可达性分析，从而证明控制程序的正确性，最后结合化工过程控制中的应用实
【机 构】
：
上海交通大学自动化系
【出 处】
：
化工自动化及仪表
【发表日期】
：
2000年3期
其他文献
为探究不同种植模式对玉米、大豆根系形态特征及产量的影响,试验设计三种不同种植模式:玉米单作(MM)、大豆单作(SS)、玉米‖大豆(MS),分别对株高、叶片叶绿素含量(SPAD)、产
开发采用逆流变温色谱分离柠檬酸的新工艺,提出以生产率和洗脱剂耗量作为柠檬酸工业色谱分离系统的性能指标函数.在保证柠檬酸产品纯度＞99.5%,分离收率＞99%的前提下,采用基于模
ESD系统是石油化工生产过程中不可缺少的安全防护系统，安全PLC系统具有较好的性能价格比，成为ESD系统的首选设备。
ＰＴＡ粒度稳定与第一结晶的压力有一定的关系，为防止ＰＴＡ粒度的波动，将结晶入口阀门的开度通过一定的补偿运算做为结晶压力调节系统的给定值，从而减小结晶压力的波动，达以迅速稳定粒度的目
三、“瑞典病”战后以来，“高福利”和“高税收。的推行，使瑞典经济的发展形成这样的格局：公共支出（其中94％左右用于公共消费）迅速增长，其增长速度大大高于国民生产总值的增长速度，以
以7份郑单958为背景的EMS诱变玉米杂交品系为试验对象,在干旱胁迫、正常灌水2个处理条件下,鉴定其抗旱表型、测定其产量,筛选出较抗旱杂交品系。研究表明,在干旱胁迫条件下,7
用狄拉克δ函数近似值法的扩展规则导出了电子自能的正规化公式,其形式与文献中用Pauli-Villars法和空-时维度法所得公式大致相似.同时还推导了重整化自能公式,与文献中的完
美国总统特朗普通过社交网站宣布,美国将于2019年9月1日起,对从中国进口的价值3 000亿美元产品加征10%的关税。8月2日,商务部新闻发言人就美方此举发表谈话,表示强烈不满、坚
期刊
本文从党的十九大报告提出的推动“新型城镇化、工业化、信息化、农业现代化同步发展”背景出发,通过国内外“四化”发展的相关文献评述,从中归纳总结出适合新疆生产建设兵团
本试验旨在研究添加麸皮、玉米粉、蔗糖对紫花苜蓿青贮品质的影响。试验设4个处理,紫花苜蓿单独青贮为对照组,紫花苜蓿鲜草中分别添加20%麸皮、10%玉米粉、2%蔗糖混合后青贮