软硬件划分中基于一种新的层次化控制数据流图的粒度变换

在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一 。

分布式防空C^3I系统面向对象建模方法

采用面向对象的建模思想 ,把分布式防空 C3I系统的各个组成部分抽象成对象 ,从时间、空间和功能的角度对分布式防空 C3I系统进行了描述。通过确定对象类、类的属性、操作及类之间的关系而建立了分布式防空 C3I系统的对象模型 ;通过对系统状态转换的分析 ,建立了分布式防空 C3I系统动态模型 ;通过对系统功能模型的分布 ,利用层次数据流图建立了分布式防空 C3I系统功能模型。