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

Formalization Analysis of State Space Generation for Complex Serial Systems

作　　者：郑霄[1] 赖新[1] 王丽[1] 田涛[1] 

机构地区：[1]江南计算技术研究所,江苏无锡214083

出　　处：《计算机工程与科学》2009年第A01期231-233,共3页Computer Engineering & Science

基　　金：国家863计划资助项目(2007AA01Z117);国家973计划资助项目(2007CB310900)

摘　　要：大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。State space generation process to resolve the model of large-scaled system maybe get out of control for lack of prefiguring the potential scale of state space to be produced by it, and formalization analysis could make for overcoming this problem. In this paper, a formalization method to symbolize the state space generation process is defined according to the special structure of large complex serial system, based on which the discipline of state space generation for such a system is studied, and then a theorem is stated and proven to fleetly predict the potential scale of state space of that system＇s model.

关 键 词：状态空间生成 形式化方法 复杂串联系统 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]