河北大学冉宁获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉河北大学申请的专利一种基于λ-free Petri网的离散事件系统故障诊断研究方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119335993B 。
龙图腾网通过国家知识产权局官网在2026-02-17发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411388708.9,技术领域涉及:G05B23/02;该发明授权一种基于λ-free Petri网的离散事件系统故障诊断研究方法是由冉宁;满育冰;张少康;付磊;周振;孟爱文;李泽设计研发完成,并于2024-10-08向国家知识产权局提交的专利申请。
本一种基于λ-free Petri网的离散事件系统故障诊断研究方法在说明书摘要公布了:本发明属于离散事件系统故障诊断技术领域,具体涉及一种基于λ‑freePetri网的离散事件系统故障诊断研究方法,所述研究方法包括以下步骤:S1:针对离散事件系统构建标签λ‑freePetri网模型;S2:判断是否可以通过有限长度的观测序列检测到故障的发生,即系统是否具有可诊断性;S3:若系统是不可诊断的,则在原始Petri网的基础上构建一个验证网,利用在验证网中捕获的系统结构对其可达树展开并修剪,搜索需要重新标记的标签。本发明能够有助于提高故障诊断的效率和准确性,去除空变迁后的Petri网模型能够减少系统描述的复杂性,从而简化故障诊断过程。
本发明授权一种基于λ-free Petri网的离散事件系统故障诊断研究方法在权利要求书中公布了:1.一种基于λ‑free Petri网的离散事件系统故障诊断研究方法,其特征在于:所述研究方法包括以下步骤: S1:针对离散事件系统构建标签λ‑free Petri网模型; S2:判断是否可以通过有限长度的观测序列检测到故障的发生,即系统是否具有可诊断性; S3:若系统是不可诊断的,则在原始Petri网的基础上构建一个验证网,利用在验证网中捕获的系统结构对其可达树展开并修剪,搜索需要重新标记的标签; S4:提出一个整数线性规划问题来找到一个最优标记函数,使系统具有可诊断性。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人河北大学,其通讯地址为:071000 河北省保定市五四东路180号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励