复杂系统的形式化建模及量化分析方法综述.pdfVIP

://

httwww．skx．com

pjj

:/

DOI１０．１１８９６skx．２４０６０００２２

jj

复杂系统的形式化建模及量化分析方法综述

王慧强林烊吕宏武

哈尔滨工程大学计算机科学与技术学院哈尔滨

１５００００

()

wanhuiian＠hrbeu．edu．cn

gqg

,,

摘要形式化模型是系统验证和性能分析的重要基础手段在系统设计阶段即可评估复杂系统可行性和性能边界被广泛用

.、,.

于各类复杂系统的抽象仿真与理论分析由于系统交互模式逐渐向多元化动态化转变这加剧了系统的复杂性和不确定性

,,,

对此以形式化建模的核心评价要素为出发点系统分析了几种典型的形式化建模方法的优势和不足为复杂系统形式化建模

.,.,,

提供了技术参考首先提出形式化建模及模型求解方法的评价要素框架其次对常见形式化建模方法进行分类阐述了不

、、.,,

同形式化方法的实现原理优势局限及适用的应用场景再次围绕模型求解过程中状态空间爆炸问题对比了目前典型的求

,,;,

解方法并结合评价框架探讨了不同方法在不同应用场景下的适用性在此基础上剖析了基于进程代数的种典型应用案

２

.,,.

例最后总结了形式化建模和量化分析领域的研究热点并展望了未来的发展方向

:;;;;

关键词性能评估形式化建模复杂系统模型求解状态空间爆炸

中图分类号TP３１１

SurveonFormalModellinanduantitativeAnalsisMethodsforComlexSstems

ygQypy

,

WANGHuiianLINYanandLYUHonwu

qggg

,,,

ColleeofC