本发明提供了一种用于对实例模型进行约束故障分析的方法和装置,所述方法包括步骤:为标准模型的约束定义多个模式,所述多个模式包含导航模式和逻辑模式;判断由实例模型生成的约束评价树中是否存在空节点;和如果存在空节点,则基于导航模式对约束评价树进行故障分析,否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具,以在模型-约束设计者和模型用户之间建立良好的衔接,减轻模型/约束的使用负担,简化学习曲线,并帮助模型用户进行模型校正。
声明：
“基于约束模式进行约束故障分析的方法和装置” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
771
编辑：管理员
来源：北方有色网
咨询细节
