间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

数字电视交互服务的可用性探究

随着数字电视整转及国家三网融合工作的推进,以数字电视为代表的"新一代"电视逐渐取代模拟电视,电视功能及内容升级的同时,也带来一些新的产品可用性问题。本文通过对比数字电视同传统模拟电视以及PC的差异,对数字电视可用性问题进行了分析,并就如何提高数字电视的可用性给出了个人看法。     

公路工程施工组织设计的内容与程序

公路工程施工组织设计是公路工程能否保质保量完成的基础,只有对公路工程施工进行全面的考察、了解整个公路工程的详细组成情况,才能结合实际,科学合理地设计规划,编制可行性高的公路工程施工程序。详细分析公路工程施工组织设计的内容,探讨公路工程施工组织设计的程序,从施工准备开始,贯穿在整个工程施工过程中,直到公路工程施工结束,全盘把握,整体规划。     

医疗垃圾焚烧灰特性实验研究

医疗垃圾焚烧灰的固化/稳定化处理取决于其理化特性.利用XRF,XRD,SEM和AAS对布袋飞灰(FA1)、烟道飞灰(FA2)、底灰(BA)在化学成分、物相、微观形貌、重金属含量和渗沥行为等方面的特性进行了研究.结果表明:FA1中Cl,SO3,碱金属和活性炭含量较高,不宜直接作为水泥的部分替代物用于建筑,且Cd,Zn,Pb的渗沥浓度超过危险废物填埋允许限值,处理后方能进入危废填埋场填埋;FA2,BA的主要物相分别为硬石膏、复杂硅酸盐,重金属渗沥浓度低于危险废物规定的阈值.     

PLC程序形式化的设计与验证

从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.