基于可达标识列计时Petri网的时态特征及可控性研究

应用时态逻辑提出计时Ｐｅｔｒｉ网的形式化分析方法，基于可达标识列研究受控系统的时态特征及其可控性与控制不变性，给出控制逻辑存在的充要条件，提出了时态公式分解方法，并讨论了禁止状态避免问题。

含有OLTC的电力系统的模型与分析

提出了利用规划计时Petri网方法来建立混杂电力系统的模型,分析了OLTC的离散调节与连续动态负荷的相互作用。运用多Lyapunov函数分析了混杂电力系统切换的稳定性,并给出了多Lyapunov函数法分析的仿真结果。最后,利用混杂规划计时Petri网模型,对负荷的突然变化进行了仿真。仿真结果表明,建立的模型是可行的。

串行生产线生产率的最优控制

基于计时Petri网和极大代数理论构建了串行生产线的稳态方程,并对其进行了周期分析。以此为基础,建立了串行生产线生产率控制模型。应用变分法求解模型,并在Matlab平台上对模型进行了仿真运算。结果表明,在满足生产工艺要求的前提下,要保证生产线的高生产率,生产线上瓶颈工作站的位置应尽量靠近生产线尾端;生产线上各工作站的生产率应呈依次下降的趋势;每个缓冲区理想的在制品库存量应尽量接近其初始库存量。在进行串行生产线设计时,这些结论具有实际参考价值。

连续型企业生产过程能源预测模型及其仿真

针对连续型企业节能降耗的需求,将企业生产过程和能源消耗过程耦合在一起,采用计时混杂Petri网的方法建立企业生产过程能源预测模型。定义了模型运行中使能和激发语义、冲突解决方法以及动态特性。提出基于不变行为状态和演化表示图的企业能源预测模型计时混杂Petri网仿真方法。通过实例证明了所提方法的可行性。该方法为连续型企业生产过程中的能源消耗提供了精确预测,在生产故障发生时,能对企业生产的影响做简单的故障分析。