论文部分内容阅读
复杂系统日益呈现出不确定性、非线性等定性特征，已有的建模方法不足以构建具有定性特征的复杂系统。基于此，提出一种复杂系统定性模型描述方法（QMDM）。QMDM结合定性仿真理论，在UML基础上对其组件图、时序图以及状态图进行扩展，可视化地表达出定性模型的建模过程。组件图用于静态的表达出定性模型包含的定性约束关系。时序图和状态图用于动态的表达出定性模型的时序性，以及状态迁移。此外，给出QMDM的形式化定义，便于以后模型验证，并将研究成果在空调制冷系统中进行了初步应用。