混杂工业过程CIMS信息模型的设计与实现

介绍了混杂工业过程生产过程建立的CIMS信息模型。该模型针对混杂工业过程的特点，提出了一种适用于混杂工业过程的CIMS信息模型，使得CIMS系统可以根据这个信息模型进行监控、调度、规划、管理的信息集成。最后以上海轮胎橡胶（集团）公司载重轮胎厂的CIMS信息模型为例进行了说明，实际应用证明该模型是有效的。

基于混合ANN-Petri网的过程控制建模

针对混有离散事件的连续化工过程,提出了基于混合ANN-Petri网的控制建模方法。采用神经网络与Petri网的有效结合,较好地描述了化工过程连续和离散的混杂特性,并以某化工蒸发过程为例,进行了详细的讨论和分析,建立了混杂过程的控制模型,并且给出了仿真结果。

MPSoC核协调可靠性和性能的形式化验证

为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可靠性和性能的混杂马尔科夫决策过程模型。采用随机时序逻辑刻画系统性质,通过模型检测工具验证分析,以银行数据脱敏MPSoC为例,分析系统可靠性和时间延迟与能耗等性能指标。这些验证结果对于早期MPSoC设计人员具有较强的指导作用。