[发明专利]分析基于状态的系统模型的方法和设备无效
| 申请号： | 99804553.5 | 申请日： | 1999-03-26 |
| 公开（公告）号： | CN1295686A | 公开（公告）日： | 2001-05-16 |
| 发明（设计）人： | 亨里克·里尔伯格;亨里克·豪尔加德;约恩·伯·林德－尼尔森;亨里克·雷夫·安德森;金·古德斯特兰德·拉尔森;卡尔·杰林·克里斯托福森;格尔德·伯尔曼 | 申请（专利权）人： | IAR系统有限公司 |
| 主分类号： | G06F11/00 | 分类号： | G06F11/00;G06F17/50 |
| 代理公司： | 中国国际贸易促进委员会专利商标事务所 | 代理人： | 张维 |
| 地址： | 丹麦阿*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种分析基于状态的系统模型的方法,前述系统模型包括一组自动机(M1,…Mn),每个所述自动机包括至少一个可能的状态(pS1Mi,…,pSkMi),在任一时刻,每个自动机都处于其组成状态之一,所述自动机(M1,…Mn)的动态行为由各自动机(M1,…Mn)的所述状态之间的预定转移,以及所述自动机(M1,…Mn)之间的相关性(D)来定义。本发明的许多重要优点之一是,许多实际的基于状态的系统模型的分析可以不需要评估系统模型中的数量巨大的自动机。 | ||
| 搜索关键词： | 分析 基于 状态 系统 模型 方法 设备 | ||
【主权项】：
1．一种分析基于状态的系统模型的方法，前述系统模型包括一组自动机(M1，…Mn)，每个所述自动机包括至少一个可能的状态(pS1Mi，…，pSkMi)，在任一时刻，每个自动机都处于其组成状态之一，所述自动机(M1，…Mn)的动态行为由各自动机(M1，…Mn)的所述状态之间的预定转移，以及所述自动机(M1，…Mn)之间的相关性(D)来定义，启动所述自动机(M1，…Mn)的至少一个自动机状态的初始集合(F)，启动表示自动机(MI)子集状态条件的自动机状态目标集合(A)，重复以下步骤，直至分析得到肯定终止和/或如果自动机(MI)的子集包括所有所述自动机(M1，…Mn)，为目标集(A)扩展一组状态，这些状态通过转移可以到达前一目标集(A)，而与没有包含在(MI)中的自动机无关，如果(A)包括初始状态集(F)中至少一个自动机状态，则肯定终止，否则为自动机(MI)的子集扩展自动机(M1，…Mn)的至少一个子集。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于IAR系统有限公司，未经IAR系统有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/99804553.5/，转载请声明来源钻瓜专利网。
- 上一篇：金属基体的防腐方法
- 下一篇：光波导线对接的方法和对接装置
