排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
2.
如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析. 相似文献
1