检查物理系统模型的鲁棒性

发明专利无效专利

申请号：
CN200510068995.6
IPC分类号：G06F17/50;G01R31/28
申请日期：
2005-04-30
申请人：
伊斯帕诺－叙扎公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	检查物理系统模型的鲁棒性
申请号	CN200510068995.6	申请日期	2005-04-30
法律状态	权利终止	申报国家	中国
公开/公告日	2005-11-09	公开/公告号	CN1693918
优先权	暂无	优先权号	暂无
主分类号	G06F17/50 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F17/00 特别适用于特定功能的数字计算设备或数据处理设备或数据处理方法〔6〕 G06F17/50 计算机辅助设计（静态存储的测试电路的设计入G11C 29/54）〔6，8〕	IPC分类号	G;0;6;F;1;7;/;5;0;;;G;0;1;R;3;1;/;2;8查看分类表>
申请人	伊斯帕诺－叙扎公司	申请人地址	法国巴黎变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	斯内克马公司	当前权利人	斯内克马公司
发明人	于格·格拉涅尔;克里斯蒂安·布勒甘特;菲利普·托内利耶;马克·克鲁瓦·马里
代理机构	永新专利商标代理有限公司	代理人	夏青

摘要

本发明提供用于一种检验物理系统模型的鲁棒性的系统和方法，该方法包括下列步骤：定义一个物理系统的第一模型(10)，该第一模型(10)包括一组(12)部件(12a、12b、12c)和至少一个用于插入输入值的输入接口(14)，该第一模型利用描述每个所述部件之工况和功能形式语言定义；用形式语言定义确定的特性，该物理系统的模型必须满足该确定的特性；用形式语言定义了一个第二模型(20)，该第二模型(20)对应于第一模型并且新增了故障引入机制(22)；以及使用形式检验装置自动搜索引起所述确定的特性失效的引入故障和/或输入值的组合。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供