复杂串联系统的状态空间生成的形式化分析

摘要：

大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。

关键词： 复杂串联系统 状态空间 形式化分析 生成规律

作者: 郑霄 赖新 王丽 田涛

作者单位: 江南计算技术研究所,江苏 无锡 214083 江南计算技术研究所,江苏 无锡214083

会议类型: 国内会议

会议名称: 2009年全国高性能计算学术年会

会议地点: 长沙

会议语种:中文

页码: 231-233

在线出版日期: 2009-10-23（万方平台首次上网日期，不代表论文的发表时间）