本发明公开了一种带里程碑活动的业务过程对齐方法，涉及事件数据技术领域。带里程碑活动的业务过程对齐方法，首先，将给定迹中活动映射到Petri网的变迁，构建日志模型；其次，考察日志模型与过程模型中标记为里程碑活动的变迁，进行同步合成运算；然后，找出日志模型与过程模型中其他具有相同活动的变迁，进行乘积运算；最后，给出算法在新生成的模型中查找迹与过程模型之间基于给定代价函数的最优对齐。通过实例分析，验证了该方法的可行性与优越性。实验结果表明业务过程中含有的里程碑活动越多，计算最优对齐的效率越高。
📄 2020111090187
📂 G06F30_22
👤 山东科技大学
📅 2020-10-16
本发明涉及基于SPZN的智能网联汽车系统随机事件预测方法，属于无人驾驶、预测和控制策略领域；通过将Z语言形式化描述和SPN模型融合成为新的SPZN模型来实现功能，能够有效的解决SPN网因节点设备众多而带来的状态爆炸问题和Z框架动态能力和实时性不足的问题；结合通信实时获取汽车电子控制单元信息并依据相关交通规则，建立的智能网联汽车系统的SPZN形式化模型，能够实现多源异构复杂环境下的智能网联汽车系统针对随机事件的预防，提升智能网联汽车行驶的安全性和可靠性，同时，基于深度学习的相关约束规则参数调整能够更加准确的选择对应策略。
📄 2021115671795
📂 G06F30_22
👤 重庆交通大学
📅 2021-12-15
柿子坊 · 知识产权运营
柿子坊知识产权运营平台