复杂机电系统的功能分析长期以来主要关注物理子系统实现的连续物理变换，忽略了软件子系统控制的物理过程之间的复杂执行顺序。针对这一挑战，提出了一种软件与物理统一的形式化功能表征与分析方法。对基于流的功能表示方法进行扩展，形成软件与物理统一的形式化功能表征...