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

CN43-1258／TP 计算机工程与科学 2009年第3l卷第A1期 ISSN1007-130lX COMPUTER V01．31，No．A1．2009 ENGINEERINGSCIENCE 文章编号：1007—130X(2009)A1-0231—03 复杂串联系统的状态空间生成的形式化分析。 FormalizationofState Analysis Space Generationfor Serial Systems Complex 郑霄，赖新。王丽，田涛 ZHENG Tao Xiao，LAIXin。WANGLi。TIAN (江南计算技术研究所。江苏无锡214083) Instituteof (Jiangnan ComputingTechnology，Wuxi214083，China) 摘要：大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控，形式化分析有利于解决这 一问题。本文针对复杂串联系统的特殊结构，采用形式化方法分析研究了它的状态空间生成规律，从而达到快速预估模型 状态空间规模的目的。 Abstract：State tOresolvethemodelof outofcontrolforlackof spacegenerationprocess large-scaledsystemmaybeget the scaleofstate tObe formalizationcouldmakefor this prefiguringpotential space producedbyit，and analysis overcoming this formalizationmethodtO thestate isdefined symbolize tOthe problem．Inpaper，a spacegenerationprocess according structureof serial onwhichthe ofstate forsucha is special largecomplexsystem．based disciplinespacegeneration system studied，andthenatheoremisstatedand tO the scaleofstate ofthat model provenfleetlypredictpotential space system’s 关键词：状态空间生成；形式化方法；复杂串联系统 words：state serial Key spacegeneration；formalizationmethod；complexsystems doi：lO．3969／j．issn．1007—130X．2009．A1．066 中图分类号：TP301．2 文献标识码：A 抽