基于IDEF的复杂机电系统状态解析

利用功能-行为-状态建模思想,提出了基于IDEF的复杂机电系统状态解析方法。首先利用IDEF0建立复杂机电系统功能结构的形式化表达,然后基于功能-行为映射关系并根据行为之间的时序、逻辑关系利用IDEF3建立复杂机电系统行为过程的形式化表达,最后将系统行为过程形式化表达模型中的行为单元的行为映射为状态,形成复杂机电系统的状态变迁网络。基于状态变迁网络,可以获得复杂机电系统行为过程中的状变迁序列,进而实现复杂机电系统的状态解析。