首页> 中国专利> 最小不满足树制导的混成系统可达性分析方法

最小不满足树制导的混成系统可达性分析方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明提出最小不满足树制导的混成系统可达性分析方法，包括以下步骤：解析混成自动机，生成该混成自动机的图结构；在混成自动机的图结构上，从初始节点开始做深度优先搜索，在每遍历一个节点前，对已遍历的路径与以该节点为根的最小不满足树进行匹配，如果匹配成功，则不遍历该节点并回溯至另外的节点进行深度优先搜索，否则遍历该节点并根据目标节点遍历出一条到达目标节点的目标路径；根据混成自动机的语义对遍历出的目标路径进行编码，形成一组线性约束；调用线性规划求解器对该组线性约束进行求解，如果可解则输出该路径作为结果，否则转下一步骤。

著录项

公开/公告号CN103279488B

专利类型发明专利
公开/公告日2016-08-17

原文格式PDF
申请/专利权人南京大学;
展开▼

申请/专利号CN201310146921.4
发明设计人解定宝;卜磊;李宣东;
展开▼

申请日2013-04-24
分类号
代理机构南京瑞弘专利商标事务所(普通合伙);
代理人陈建和
地址 210093 江苏省南京市鼓楼区汉口路22号
入库时间 2022-08-23 09:43:47

法律信息

法律状态公告日

法律状态信息

法律状态
2016-08-17

授权

授权
2013-10-09

实质审查的生效 IPC(主分类):G06F 17/30 申请日:20130424

实质审查的生效
2013-09-04

公开

公开

相似文献

专利
中文文献
外文文献

1. 最小不满足树制导的混成系统可达性分析方法 [P] . 中国专利： CN103279488B . 2016.08.17
2. 一种混成系统的可达性分析方法 [P] . 中国专利： CN103400025B . 2016.01.20
3. Fault tree system reliability analysis system, fault tree system reliability analysis method, and program therefor [P] . 美国专利： US8909991B2 . 2014-12-09

机译：故障树系统可靠性分析系统，故障树系统可靠性分析方法及其程序
4. Failure tree system reliability analysis system, failure tree system reliability analysis method and program [P] . 日本专利： JPWO2012115095A1 . 2014-07-07

机译：故障树系统可靠性分析系统，故障树系统可靠性分析方法和程序
5. Failure tree system reliability analysis system, failure tree system reliability analysis method and program [P] . 日本专利： JP5454826B2 . 2014-03-26

机译：故障树系统可靠性分析系统，故障树系统可靠性分析方法和程序