“时间Petri网”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果2853599个，建议您升级VIP下载更多相关专利

[发明专利]一种离散事件系统的复合故障因果链解耦方法-CN201310264418.9有效
发明人：贾利民;秦勇;叶阳东;佘维;季常煦;张媛 -专利权人：北京交通大学
申请日： 2013-06-28 - 公布日： 2017-04-26 - 主分类号： G06F11/22 文献下载
摘要：本发明公开了一种离散事件系统的复合故障因果链解耦方法，包括以下步骤根据故障的观测事件集和关系集采用扩展时间Petri网对离散事件系统进行建模；根据扩展时间Petri网的求逆算法，得到时间‑概率Petri网模型；采用时间‑概率Petri网模型对离散事件系统进行推理分析；根据因果链的时间‑概率解耦算法和单纯故障因果链的析出算法对时间‑概率Petri网模型的推理结果进行解耦和因果链的析出。
一种离散事件系统复合故障因果链解耦方法

[发明专利]一种航天器轨道威胁自主规避架构设计及分析方法-CN202310088183.6在审
发明人：邱剑彬;张宏宇;王桐;陈兴文;秦晨辉 -专利权人：哈尔滨工业大学
申请日： 2023-02-06 - 公布日： 2023-05-09 - 主分类号： G06F30/22 文献下载
摘要：本发明公开了一种航天器轨道威胁自主规避架构设计及分析方法，所述方法包括：基于感知模块、决策模块、执行模块构建航天器轨道威胁自主规避系统逻辑架构；基于着色Petri网对感知模块、决策模块、执行模块分别建立对应的着色Petri网子模型；建立整个系统逻辑架构的分层‑着色Petri网；对航天器轨道威胁自主规避系统逻辑架构的分层‑着色Petri网进行建模；对分层‑着色Petri网中的变迁赋予时间戳，搭建航天器轨道威胁自主规避系统逻辑架构的分层‑时间‑着色Petri网，基于分层‑时间‑着色Petri网对航天器轨道威胁自主规避；本发明的优点在于：实现对航天器轨道威胁的自主规避。
一种航天器轨道威胁自主规避架构设计分析方法

[发明专利]一种基于时间同步Petri网的急救车优先通行建模方法-CN201510744925.1在审
发明人：王寿光;洪月明;吴文慧 -专利权人：浙江工商大学
申请日： 2015-11-03 - 公布日： 2016-03-23 - 主分类号： G08G1/087 文献下载
摘要：本发明公开了一种基于时间同步Petri网的急救车优先通行建模方法，该方法包括如下步骤：(1)将时间Petri网、同步Petri网以及禁止弧的概念相结合，提出时间同步Petri网的定义；(2)基于时间Petri网建立二相位交叉口正常状态模型，用于模拟交叉口红绿灯的变换；(3)通过HPSim软件和可达图分析法验证正常状态模型的正确性；(4)在正常状态模型的基础上基于时间同步Petri网建立二相位交叉口急救车优先通行模型
一种基于时间同步 petri 急救车优先通行建模方法

[发明专利]一种基于时间Petri网的应急救援资源调度及应急救援方法-CN201510349454.4在审
发明人：荣冈;李诚;冯毅萍 -专利权人：浙江大学
申请日： 2015-06-23 - 公布日： 2015-11-25 - 主分类号： G06Q10/06 文献下载
摘要：本发明公开了一种基于时间Petri网的应急救援资源调度及应急救援方法，包括分析现有石化企业的应急预案，提取应急救援行动执行逻辑，建立Petri网模型，根据应急预案找到每项应急救援行动所需的应急救援资源；分析应急救援资源状态，建立应急救援资源准备和使用过程的子Petri网模型；整合Petri网模型和子Petri网模型，建立应急救援资源调度Petri网模型；配置应急救援资源调度Petri网模型的初始和目标标识，调用求解算法，求解完成时间最小的变迁激发策略，得到优化的应急救援资源调度策略。
一种基于时间 petri 应急救援资源调度方法

[发明专利]一种基于随机时间Petri网的医疗系统仿真方法-CN201911312804.4在审
发明人：周佳妮;王军 -专利权人：南京理工大学
申请日： 2019-12-18 - 公布日： 2020-05-19 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种基于随机时间Petri网的医疗系统仿真方法。该方法为：对医疗系统中的就诊流程进行建模；根据随机时间Petri网中各组成部分与医疗系统中的医疗任务映射关系，建立随机时间Petri网模型；对医疗系统进行分析，得到病人完成整个就诊流程的平均等待时间计算方法；根据随机时间Petri网的组成与各部分之间的关系，绘制系统类图；根据随机时间Petri网的特点，建立多服务器仿真算法；将不同的医生、护士、挂号人员和床位数量的方案进行仿真，得到不同方案下的病人平均等待时间
一种基于随机时间 petri 医疗系统仿真方法

[发明专利]基于时间着色Petri网的列车冲突预测和化解方法-CN201410328031.X在审
发明人：王鹏玲;王青元;马磊;冯晓云 -专利权人：西南交通大学
申请日： 2014-07-10 - 公布日： 2015-01-07 - 主分类号： G06Q10/04 文献下载
摘要：本发明公开了一种基于时间着色Petri网的列车冲突预测和化解方法。本发明首先获得当前时刻在铁路系统中运行列车的实时状态数据、列车车次、路径以及列车到发时刻；依据铁路路网结构，建立铁路路网系统的时间着色Petri网模型。然后以已建立的时间Petri网模型为基础，推导列车群未来状态，并检测是否有潜在冲突发生；当检测到冲突后，利用基于Petri网可达树的启发式搜索算法，搜索列车运行冲突消解的最优或近似最优解，并按冲突消解结果调整列车运行方案在此基础上，利用时间着色Petri网模型验证新的列车运行方案是否可行，以确保实际执行的运行方案没有冲突。
基于时间着色 petri 列车冲突预测化解方法

[发明专利]一种基于Petri网的急救车优先行驶建模方法-CN201610929747.4在审
发明人：游彬;吴文慧 -专利权人：浙江工商大学
申请日： 2016-10-25 - 公布日： 2018-05-01 - 主分类号： G08G1/087 文献下载
摘要：本发明公开了一种基于Petri网的急救车优先行驶建模方法，该方法包括如下步骤(1)将时间Petri网、同步Petri网和禁止弧的概念相结合，提出时间同步Petri网的定义；(2)基于Petri网建立二相位交叉口正常状态模型，用于模拟交叉口红绿灯的变换；(3)通过HPSim软件和可达图分析法验证正常状态模型的正确性；(4)在正常状态模型的基础上基于Petri网建立二相位交叉口急救车优先通行模型，该模型直观地描述了急救车到达交叉口时红绿灯的变化情况
一种基于 petri 急救车优先行驶建模方法

[发明专利]智能仿真资源调度方法及系统-CN202111602712.7在审
发明人：秦留洋;韩惠婕;路林海;张俊霞;李立佳;任朝旭 -专利权人：北京航天测控技术有限公司
申请日： 2021-12-24 - 公布日： 2022-04-15 - 主分类号： G06F30/22 文献下载
摘要：所述方法包括：构建混合时间Petri网，其中的活动库所和变迁配置有时戳；采用着色的方式对混合时间Petri网中的活动库所和资源库所进行权重配置，以获取着色混合时间Petri网；响应于第一资源调度触发指令，基于着色混合时间Petri网实现智能仿真资源的按时序调度；响应于第二资源调度触发指令，基于着色混合时间Petri网对智能仿真资源进行调度，以消解各智能仿真资源请求之间的冲突。
智能仿真资源调度方法系统

[发明专利]一种基于模糊Petri网的航班延误波及预测方法及系统-CN202111501490.X有效
发明人：余学锋;刘洁 -专利权人：武汉市胜意科技发展有限公司
申请日： 2021-12-09 - 公布日： 2022-04-15 - 主分类号： G06Q10/04 文献下载
摘要：本发明涉及一种基于模糊Petri网的航班延误波及预测方法及系统，其方法包括：获取已延误的一个或多个目标航班的航班信息，所述航班信息包括航班号、航空公司、出发地机场和到达地机场；根据多个已延误航班的历史航班信息和模糊Petri网，构建每个延误航班波及的航班网络和机场网络；利用训练好的时空图卷积神经网络，确定每个目标航班的延误持续时间；根据每个目标航班的延误持续时间、延误持续时间内的未来天气信息和所述模糊Petri网本发明结合了模糊Petri网和时空图卷积神经网络，提高了模糊Petri网预测航班延误的实时性和动态适应性。
一种基于模糊 petri 航班延误波及预测方法系统

[发明专利]基于Petri网模型的设备维修保障仿真方法-CN200910042483.0有效
发明人：徐永成;杨拥民;李岳;宋昆;陈循 -专利权人：中国人民解放军国防科学技术大学
申请日： 2009-01-13 - 公布日： 2009-07-08 - 主分类号： G06F17/50 文献下载
摘要：基于Petri网模型的设备维修保障仿真方法，该方法是：通过对各事件发生时间分布已知的设备使用与维修过程进行Petri网过程建模，在此基础上，给定时间与仿真次数，对所建立的Petri网模型进行仿真分析，最终得到任务期间的系统/设备的可用度、维修人员工作强度或者任务结束时间，据此评估维修保障方案，为方案选择、资源配置提供科学依据。
基于 petri 模型设备维修保障仿真方法

[发明专利]一种基于Petri网的虚拟企业建模与调度方法-CN201510662599.X有效
发明人：万军;蒋益兴;薛洋 -专利权人：常州大学
申请日： 2015-10-14 - 公布日： 2018-10-16 - 主分类号： G06Q10/06 文献下载
摘要：本发明提供一种基于Petri网的虚拟企业建模与调度方法，包括以下步骤：对普通Petri网进行扩展，定义T时延广义自控网系统；根据用户需求，创建待描述的虚拟企业的T时延广义自控网系统模型；对已建立的T时延广义自控网系统模型进行虚拟企业任务调度本发明通过对Petri网定义的扩展，提出了T时延广义自控网系统，用于对虚拟企业进行建模，构造了A*调度算法实现虚拟企业项目调度，集成了时间流和费用流，从而可以通过一个Petri网模型同时实现虚拟企业项目调度的成本优化和时间优化目标，且调度算法建立在A*调度算法的基础上，基于Petri网的启发信息来进行搜索，从而减小了搜索空间，提高了调度效率。
一种基于 petri 虚拟企业建模调度方法

[发明专利]基于时延Petri网的车辆最短时间交通路径处理方法-CN202010127671.X在审
发明人：王荣;胡核算;马艳 -专利权人：西安电子科技大学
申请日： 2020-02-28 - 公布日： 2020-07-17 - 主分类号： G06Q10/04 文献下载
摘要：本发明属于交通路径规划技术领域，公开了一种基于时延Petri网的车辆最短时间交通路径处理方法，将已知的交通路径图由时延Petri网建模，用时延Petri网将复杂的交通路径用简洁的方式表示出；计算模型的可达图，将车辆从起始地点出发，在每个交叉口根据启示式函数进行选择路径，直到到达目标地点的过程转化为计算初始标识到目标标识的最短时间序列。本发明提供计算最短时间序列的算法，适用于由时延Petri网建模的城市交通，为车辆寻找一条最短时间的路径，旨在缓解城市局部交通拥挤状况，降低出行。本发明使用时延Petri网对真实的交通环境进行建模，模拟车辆在实时交通中选择最优路径到达目的地，避免拥堵，节省时间。
基于 petri 车辆短时间交通路径处理方法

[发明专利]基于任意时间A*启发式搜索的制造企业车间调度优化方法-CN201911066140.8有效
发明人：黄波;戴晨谧;赵志霞;蔡志成;袁凤连 -专利权人：南京理工大学
申请日： 2019-11-04 - 公布日： 2022-05-27 - 主分类号： G05B19/418 文献下载
摘要：本发明公开了一种基于任意时间A*启发式搜索的制造企业车间调度优化方法，包括：构建车间制造系统的Petri网模型；将Petri网模型转化为输入文件；构建标识向量、关联矩阵等相关变量用于Petri网演化和启发函数构建；构建任意时间A*算法的启发函数；采用系统初始状态标识作为任意时间A*算法的起始状态，向终止状态开展搜索，搜索从Petri网系统起始状态到终止状态的变迁发射序列即获得制造企业车间调度方案。相比于普通A*搜索算法，本发明的任意时间A*启发式搜索允许在搜索时间和解决方案质量之间进行灵活的权衡，且能在有限时间内减少节点扩展的数量，快速查找出模型变迁发射序列，进而快速获得企业车间作业调度方案。
基于任意时间启发式搜索制造企业车间调度优化方法

[发明专利]一种基于队列逻辑Petri网的过程分析方法-CN201810616589.6有效
发明人：刘伟;刘雷;冯新;蔺茂;闫春;杜玉越;张福新 -专利权人：山东科技大学
申请日： 2018-06-15 - 公布日： 2023-04-07 - 主分类号： G06F30/18 文献下载
摘要：本发明公开了一种基于队列逻辑Petri网的过程分析方法，属于队列逻辑Petri网过程分析领域，具体包括以下步骤：首先对共享系统公平性问题进行分析，同时针对现有Petri网对共享系统的公平性建模中存在的不足，为Petri网添加队列库所、队列变迁和时间列表并定义为队列逻辑Petri网；然后使用队列逻辑Petri网对车库停车系统进行建模及性质分析，根据可达序列分析车库停车系统的不变量及利用率，并分析了与车库停车系统模型相关的重要性质
一种基于队列逻辑 petri 过程分析方法

[发明专利]一种基于类型petri网的过程分析方法-CN201711282464.6有效
发明人：刘伟;冯新;杜玉越 -专利权人：山东科技大学
申请日： 2017-12-07 - 公布日： 2021-09-21 - 主分类号： G06Q10/08 文献下载
摘要：本发明公开了一种基于类型petri网的过程分析方法，属于类型petri网过程分析领域，具体包括以下步骤：提出类型petri网理论；在网中定义类型库所，在变迁输出弧上定义分类函数，对托肯进行分类；在变迁上定义转型函数，以解决变迁的输入库所与输出库所类型不同的问题；在变迁上添加常使能表达式和计数函数来定义变迁引发规则；联合定义时间函数和人力函数，针对实际问题进行求解。分析配送系统的两种方案，利用类型petri网理论建立配送系统模型，根据实际情况给定时间和人力参数表，针对两种配送方案进行状态转换分析并构建过程转换图，使用类型petri网理论分析不同配送方案下的时间资源消耗和人力资源消耗
一种基于类型 petri 过程分析方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条