论文部分内容阅读
针对PLC等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过对其商迁移的可达性分析，证明控制程序的正确性，最后结合化工过程控制中的应用实例做了说明。
混合系统的形式验证原理
【摘 要】
：
针对PLC等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过对其商迁移的可达性分析，证明控制程序的正确性，最后结合化工过程控
【机 构】
：
上海交通大学自动化系
【出 处】
：
第十一届过程控制科学报告会
【发表日期】
：
2000年期
其他文献
针对不同用途，可以选择不同的混合物组成及不同工作模式，形成高效率的混合物工质节流制冷系统。该文报道了研究人员针对高温超导器件冷却、红外探测器冷却、小型天然气和氧气液
在含相变混合物理论的框架下，建立了冻融过程的一般模型。在该模型中，冰作为独立的一相，按粘弹性固体处理，使得对水热迁移的动力和冻融过程中固体骨架应力变化的描述更为方便并具
4月17～22日,第51届米兰国际家具展又盛大召开了。2700家参展商迎来了33.2万的观众,海外观众占到近65%,还有6484位媒体界人士。虽然国际家具贸易的形势并没有太大的起色,但来米
提出了用MOSFET实现的静止型有源无功功率补偿器(电压型),简述了补偿器的结构,控制方式及硬件电路的工作原理.给出了实验结果,表明其对谐波电流的补偿效果良好.
The static
研究以铁—混合稀土中间合金形式加入的混合稀土金属（主要含铈）对国产新型铁基粉末冶金飞机刹车材料FC—2的影响。实验发现，作为活性剂的少量混合稀土（＜０．１℅重量）的加入，使得原材料中
该文提出了辉光放电原子发射光谱(dc-GD-AES) 直接分析非导体混合稀土氧化物粉末样品的新方法。研究了非导体在压片电极中的浓度、辉光放电操作参数、导电基体的选择等因素对
该文讨论了混合系统的一类混合输入输出自动机模型（ＨＩＯＡ〈’＋〉）。定义了ＨＩＯＡ〈’＋〉的形式规范和行为规则，此类输入输出自动机可作为混全控制的开环系统、控制器和闭环系统的形式模型。为