[发明专利]基于约束模式进行约束故障分析的方法和装置无效
| 申请号： | 200710148136.7 | 申请日： | 2007-08-28 |
| 公开（公告）号： | CN101377757A | 公开（公告）日： | 2009-03-04 |
| 发明（设计）人： | 罗景;邱杰;李影;刘天成 | 申请（专利权）人： | 国际商业机器公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京市柳沈律师事务所 | 代理人： | 周少杰;邸万奎 |
| 地址： | 美国纽*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种用于对实例模型进行约束故障分析的方法和装置，所述方法包括步骤：为标准模型的约束定义多个模式，所述多个模式包含导航模式和逻辑模式；判断由实例模型生成的约束评价树中是否存在空节点；和如果存在空节点，则基于导航模式对约束评价树进行故障分析，否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具，以在模型－约束设计者和模型用户之间建立良好的衔接，减轻模型/约束的使用负担，简化学习曲线，并帮助模型用户进行模型校正。 | ||
| 搜索关键词： | 基于 约束 模式 进行 故障 分析 方法 装置 | ||
【主权项】：
1.一种用于对实例模型进行约束故障分析的方法，包括步骤:为标准模型的约束定义多个模式，所述多个模式包含导航模式和逻辑模式；判断由实例模型生成的约束评价树中是否存在空节点；和如果存在空节点，则基于导航模式对约束评价树进行故障分析，如果不存在空节点，则基于逻辑模式对约束评价树进行故障分析。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国际商业机器公司，未经国际商业机器公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200710148136.7/，转载请声明来源钻瓜专利网。
