附件:设置1:设置2:刘超设置3:本书针对异构环境下信息物理融合系统协同设计, 提出一种结构化、可描述行为的开放性普适组件模型, 用统一方法进行建模, 引入可扩展描述方法, 对各类组件用统一语法进行系统描述, 提出多级开放组件模型的协同验证方法, 确保模型真实地反映设计者的建模意图, 尽早检测出一些会导致建模失败的设计错误。摘要:有书目
附注提要
本书针对异构环境下信息物理融合系统协同设计, 提出一种结构化、可描述行为的开放性普适组件模型, 用统一方法进行建模, 引入可扩展描述方法, 对各类组件用统一语法进行系统描述, 提出多级开放组件模型的协同验证方法, 确保模型真实地反映设计者的建模意图, 尽早检测出一些会导致建模失败的设计错误。