买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉陕西科技大学申请的专利一种离散事件系统的系统安全实时验证方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119272284B 。

龙图腾网通过国家知识产权局官网在2025-08-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411343588.0，技术领域涉及：G06F21/57；该发明授权一种离散事件系统的系统安全实时验证方法和系统是由何舟;袁嘉星;古婵设计研发完成，并于2024-09-25向国家知识产权局提交的专利申请。

本一种离散事件系统的系统安全实时验证方法和系统在说明书摘要公布了：本发明公开了一种离散事件系统的系统安全实时验证方法和系统，根据离散事件系统信息建立离散事件系统的TimeLabeledPetriNets模型，离散事件系统信息包括事件、标签和时间信息；对离散事件系统的TimeLabeledPetriNets模型使用离散事件系统的实时观测表达式和离散事件系统的初始秘密状态的表达式得到离散事件系统的实时观测与离散事件系统的初始秘密状态；根据离散事件系统验证实时安全的约束条件构建整数线性规划数学问题模型；将离散事件系统的实时观测与离散事件系统的初始秘密状态带入整数线性规划模型进行求解验证整数线性规划模型的安全性得到验证结果；根据验证结果判断离散事件系统安全性。

本发明授权一种离散事件系统的系统安全实时验证方法和系统在权利要求书中公布了：1.一种离散事件系统的系统安全实时验证方法，其特征在于，包括以下步骤： 根据离散事件系统信息建立离散事件系统的TimeLabeledPetriNets模型，离散事件系统信息包括事件、标签和时间信息； 对离散事件系统的TimeLabeledPetriNets模型使用离散事件系统的实时观测表达式和离散事件系统的初始秘密状态的表达式得到离散事件系统的实时观测与离散事件系统的初始秘密状态； 根据离散事件系统验证实时安全的约束条件构建整数线性规划数学问题模型；整数线性规划数学问题模型的目标函数为使约束条件成立的总花费时间最少； 离散事件系统验证实时安全的约束条件包括第一约束条件、第二约束条件、第三约束条件和第四约束条件； 第一约束条件是系统状态标识M的运行正确性； 第二约束条件是变迁σt遵循时间约束； 第三约束条件是可观测标签及其时间与实时观测一致； 第四约束条件是实时观测的可观标签一致的σt的初始状态与初始秘密状态不一致； 将离散事件系统的实时观测与离散事件系统的初始秘密状态带入整数线性规划模型进行求解验证整数线性规划模型的安全性得到验证结果； 根据验证结果判断离散事件系统安全性。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人陕西科技大学，其通讯地址为：710021 陕西省西安市未央区大学园；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。