论文部分内容阅读
层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象。为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则。