【作者】 刘基顺；

【导师】 刘振娟；

【作者基本信息】 北京化工大学 ， 控制理论与控制工程， 2003， 硕士

【摘要】 混合过程是既有连续动态变量,又有离散逻辑变量的复杂动态变化系统,混合现象普遍存在于流程生产工业中,目前对其进行的研究刚刚起步。同时可编程序控制器(Programmable Logic Control PLC)大量应用在工业生产中的混合系统的控制中,对程序控制的关键参数由于多方面原因,不可能在实际设备中进行反复实际实验,因此需要在实验中模拟运行环境验证以满足实际要求。论文首先在前人研究的基础上分析了混合系统的几种建模方法、数学基础、行为特性并给出了形式验证技术的具体形式。随后介绍了PLC自动机的原理、性质并给出了相应实例,接着给出了C/E模型(condition/event)及其基本连接方式。针对采用了PLC的工业混合控制系统,在PLC自动机和C/E模型的基础上,分别指出了它们的不足,然后给出了C/E-PLC自动机作为混合控制系统建模和PLC程序控制的形式验证技术,并且在连续子系统模型中应用状态空间的矩形分解方法。最后,结合某具体化工厂化工间歇反应过程,应用C/E-PLC自动机技术,在Matlab下运用Simulink和Stateflow 相结合来讨论其实际应用,最后给出了满意的仿真结果。 论文的工作表明,采用C/E-PLC自动机建模并且以此为基础的形式验证技术开辟了混合系统研究的一个新的领域,由于PLC在工<WP=4>业中的广泛应用,所以这种建模方法在化工流程生产具有普遍性,有着广阔的应用前景。更多还原

【Abstract】 Hybrid System is a kind of complicated dynamic variation system, which exists not only in continuous dynamic variables but also in discrete logic variables. At present , the research on it arises at the very outset. The miscellany performance is very common in the flow manufacture process, the modeling method to this process is far from mature at present.. Meanwhile, Programming Logic Control (PLC) is widely used in industrial practice .As is well_known, on account of many reasons , in fact ,the formal verification of critical parametes in PLC program are impossible to be tested repeatedly during our practice. To solve the controlling problems,we have to simulate the real conditions in laboratary. By this means, we can judge wheather the parametes meet our practical needs.In the first place, combining the research work of many predecessors in the relevant field, this paper analyses several modeling methods, mathematic theories and behavior characters of the Hybrid System .What’s more, its concretely form of principles of verification is provided. <WP=6>Subsequently this paper discusses the theory and property of PLC automata and its corresponding example.In the following content , condition/event(C/E)model and its connection mode are addressed. Based on above paragraphs, we draw a conclusion that PLC automata and C/E have their own deficiency severally, when they are applied in industrial hybrid control system。As a result of solving the existing problem, the paper proposes a new controlling model, called technology of C/E-PLC automata, as the principles of verification of hybrid control system modeling and PLC program controlling. According to setting up the C/E-PLC controlling model to the material evaporation process of chemical intermitting reaction, it analyzes the hybrid performance and the operation performance of the system. This technology combines the merits of PLC automata and C/E model ,so it can get over their originally shortage. In this new technology of controlling model, rectangular state space technique servers to sub-systems. In the end, in order to illustrate further my point of view, the process of chemical intermitting reaction of chemical plant is described in this paper in detail. There we use the technology of C/E-PLC automata. Helped with Simulink and Stateflow included in Matlab, we get the satisfied result of simulation.As is shown in the paper , due to making use of C/E-PLC automata to model and to set up principles of verification, an exciting new field of Hybrid Control System has opened up. With the widely use in industry and <WP=7>research of PLC ,we can see the universality of this technology applied in chemical plant。These facts convince us that the technology of C/E-PLC controlling model automata has a brilliant future.更多还原