[发明专利]检查物理系统模型的鲁棒性有效
| 申请号： | 200510068995.6 | 申请日： | 2005-04-30 |
| 公开（公告）号： | CN1693918A | 公开（公告）日： | 2005-11-09 |
| 发明（设计）人： | 于格·格拉涅尔;克里斯蒂安·布勒甘特;菲利普·托内利耶;马克·克鲁瓦·马里 | 申请（专利权）人： | 伊斯帕诺－叙扎公司 |
| 主分类号： | G01R31/28 | 分类号： | G01R31/28;G01R31/317 |
| 代理公司： | 永新专利商标代理有限公司 | 代理人： | 夏青 |
| 地址： | 法国*** | 国省代码： | 法国;FR |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供用于一种检验物理系统模型的鲁棒性的系统和方法，该方法包括下列步骤：定义一个物理系统的第一模型(10)，该第一模型(10)包括一组(12)部件(12a、12b、12c)和至少一个用于插入输入值的输入接口(14)，该第一模型利用描述每个所述部件之工况和功能形式语言定义；用形式语言定义确定的特性，该物理系统的模型必须满足该确定的特性；用形式语言定义了一个第二模型(20)，该第二模型(20)对应于第一模型并且新增了故障引入机制(22)；以及使用形式检验装置自动搜索引起所述确定的特性失效的引入故障和/或输入值的组合。 | ||
| 搜索关键词： | 检查 物理 系统 模型 鲁棒性 | ||
【主权项】：
1、一种验证物理系统之模型的鲁棒性的方法，该方法的特征在于：它包括以下的步骤：定义物理系统的第一模型(10)，该第一模型(10)包括一组(12)部件(12a、12b、12c)和至少一个用于插入输入值的输入接口(14)，所述第一模型利用描述每个所述部件之工况和功能的形式语言定义；利用形式语言定义一个物理系统的模型必须满足的确定的特性；利用形式语言定义第二模型，该第二模型对应于第一模型并且新增了故障引入机制(22)；以及使用形式检验装置自动搜索引起所述确定的特性失效的引入故障和/或输入值的组合。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于伊斯帕诺－叙扎公司，未经伊斯帕诺－叙扎公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200510068995.6/，转载请声明来源钻瓜专利网。
