买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】资源不可靠与事件不能观的自动制造系统稳健性分析方法_西安电子科技大学杭州研究院_202311570646.9 

申请/专利权人:西安电子科技大学杭州研究院

申请日:2023-11-23

公开(公告)日:2024-02-06

公开(公告)号:CN117522218A

主分类号:G06Q10/0639

分类号:G06Q10/0639;G06Q10/0635;G06F16/248;G06F16/242;G06Q50/04

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.02.27#实质审查的生效;2024.02.06#公开

摘要:本发明公开了资源不可靠与事件不能观的自动制造系统稳健性分析方法,首先考虑自动制造系统的不可靠资源,再将不可靠资源故障形式化为不可靠资源库所的所有前置变迁(表示为不可靠变迁),通过自主开发的软件PNA得到相应Petri网的可达图,删除不可靠变迁得到简化可达图,对具有不可靠资源的AMS进行稳健性分析,得到对应Petri网的强稳健标记集,弱稳健标记集以及非稳健标记集,然后在简化可达图的基础上考虑不能观变迁,通过考虑有些变迁是不能观的,得到具有不能观的简化可达图,最后在不能观的简化可达图的基础上进行稳健性分析,得到相应的强稳健标记集,弱稳健标记集以及非稳健标记集。

主权项:1.资源不可靠与事件不能观的自动制造系统稳健性分析方法,其特征在于包括如下步骤:步骤S1:将自动制造系统的不可靠资源转化为不可靠变迁;步骤S2:根据自动制造系统对应的Petri网,将Petri网触发变迁后得到自动制造系统所处的状态作为标记,基于标记通过变迁到达另一个变迁的形式,构建可达图;步骤S3:从可达图中删除所述不可靠变迁,得到简化可达图;步骤S4:基于简化可达图和不能观变迁,得到不能观变迁的简化可达图,根据不能观变迁的简化可达图,对Petri网进行稳定性分析,得到自动制造系统的稳健性结果。

全文数据:

权利要求:

百度查询: 西安电子科技大学杭州研究院 资源不可靠与事件不能观的自动制造系统稳健性分析方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。