[发明专利]基于面向对象分层Petri网的研发设计工作流柔性建模方法在审
| 申请号： | 202010824087.X | 申请日： | 2020-08-17 |
| 公开（公告）号： | CN112182918A | 公开（公告）日： | 2021-01-05 |
| 发明（设计）人： | 乔立红;徐婷;赵汉卿 | 申请（专利权）人： | 北京航空航天大学 |
| 主分类号： | G06F30/22 | 分类号： | G06F30/22;G06Q10/06 |
| 代理公司： | 北京理工大学专利中心 11120 | 代理人： | 廖辉 |
| 地址： | 100191*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于面向对象分层Petri网的研发设计工作流柔性建模方法。该方法首先明确任务的需求并确定总目标，其次将总目标分解为几个分目标，然后对复杂的分目标进一步层层分解为更低层级的子网对象，得到具有清晰层级结构的子网对象集合，再组织各层级人员根据自身职责对子网对象进行详细建模，根据对象之间的连接关系，将所有对象进行集成；最后对得到的模型中节点的相关属性进行实例化，面向对象分层Petri网模型建模完成。本发明能够解决复杂产品研发设计工作流模型建模，并使模型具有柔性，以支持运行过程中对例如资源调度、动态选择和异常响应动态变化的柔性处理，使产品研发设计工作流管理系统具备动态适应能力。 | ||
| 搜索关键词： | 基于 面向 对象 分层 petri 研发 设计 工作流 柔性 建模 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京航空航天大学，未经北京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010824087.X/，转载请声明来源钻瓜专利网。
- 同类专利
- 一种基于扩展Petri网的产品可靠性与测试性评估方法及系统-202310844209.5
- 孔德景;刘婧成;李乐晓;赵诺;胡刚;于静;石君友 - 船舶信息研究中心（中国船舶集团有限公司第七一四研究所）;中国船舶集团有限公司第七二二研究所
- 2023-07-11 - 2023-10-13 - G06F30/22
- 本发明提供了一种基于扩展Petri网的产品可靠性与测试性评估方法及系统，涉及产品可靠性与测试性评估的技术领域，解决了现有技术中的解析式预计方法难以准确评估产品的可靠性与测试性的技术问题。该方法包括：可靠性与测试性集成模型建模数据准备；建立基于扩展Petri网的产品可靠性与测试性模型；产品任务执行中进行故障随机抽样仿真；基于仿真数据的产品可靠性与测试性评估。本发明能够利用扩展Petri网建立可靠性测试性集成模型，使模型能够准确反映产品正常与故障的概率关系、故障传播与故障测试交联关系；同时利用随机仿真获得产品故障前时间、故障模式数据、测试性诊断结果数据，进而可以评估产品的可靠性、测试性参数。
- 基于SPZN的智能网联汽车系统安全性简化验证方法-202310556223.5
- 刘洋;范英齐;黄大荣;米波;刘新予;杨林翰;邓昭阳;冒永逸;匡航冬;毛伟奇 - 重庆交通大学
- 2023-05-12 - 2023-09-26 - G06F30/22
- 本发明涉及基于SPZN的智能网联汽车系统安全性简化验证方法，属于无人驾驶、形式化验证领域；基于汽车电子控制单元信息的特点以及汽车控制信息流传输相关约束规则的特点，根据车辆控制信息流、传输过程中相关约束规则、智能网联汽车状态、状态在某一时段内出现的概率、变迁的前置条件、后置条件，通过将Z语言形式化描述和SPN模型融合成为SPZN模型，然后对SPZN模型进行先精炼操作后抽象操作得到简化模型，保证了简化模型能够不丧失原有的描述能力，同时，简化的SPZN模型能够有效的解决SPN网因节点设备众多而带来的状态爆炸问题和Z框架动态能力和实时性不足的问题，提高系统的协同控制性能和效率。
- 基于加氢站应急处置流程分析的petri网建模方法-202310430356.8
- 程方明;邓军;罗振敏;屈姣;王涛;苏畅;王郦楠;蒋萌;李卓;王彩萍 - 西安科技大学
- 2023-04-21 - 2023-09-22 - G06F30/22
- 本申请公开了一种基于加氢站应急处置流程分析的petri网建模方法，属于应急救援领域。所示方法包括：根据事故类型和邻近单元危险性研判预警等级；根据预警等级设计应急处置流程；确定应急处置流程中各环节与随机petri网模型的对应关系，得到构建petri网模型的库所和变迁、状态的输出和输入关系之后，将非正常作业流程抽象为peri网模型；以及基于应急处置流程构建petri网层次化模型，并对petri网层次化模型的各元素进行属性定义，同时确定应急处置流程库所和变迁含义以及变迁激发条件。本申请petri网模型对加氢站泄漏事故不同情景和大小均有较高的适配性，可以很好的适用于加氢站不同等级及类型的事故。
- 一种无人系统可靠性分析方法、系统及电子设备-202310785916.1
- 冯凯风;李大庆;姚安卓 - 北京航空航天大学
- 2023-06-29 - 2023-09-19 - G06F30/22
- 本发明公开一种无人系统可靠性分析方法、系统及电子设备，涉及无人系统控制技术领域。本发明通过构建无人系统超网络模型，能够提取无人系统的结构要素及其关联关系，在此基础上构建Petri网模型，结合基于需求设计的无人系统可靠性度量指标与可靠性测试用例，能够实现对无人系统不同功能的可靠性评估，进而解决现有技术中无法很好的从可靠性角度出发描述无人系统整体性能的问题。
- 一种基于复杂事件处理和Petri网的泡沫浮选建模方法及系统-201910412598.8
- 孙涛;台强勇 - 齐鲁工业大学
- 2019-05-17 - 2023-09-12 - G06F30/22
- 本公开提出了一种基于复杂事件处理和Petri网的泡沫浮选建模方法及系统，包括：将浮选过程事件进行分解，得到分解出的多个简单事件；浮选过程复杂事件模式构建：基于分解出的多个简单事件，构建控制浮选过程的多个复杂事件模式；基于得到的控制浮选过程的多个复杂事件模式，利用浮选生产流程中生产参数与浮选泡沫特征机理关系，使用Petri网构建相应的子模型，对子模型组合成泡沫浮选复杂事件处理模型。本公开所建立的模型的构建集合生产过程中的大量生产参数，解决了前人生产优化研究仅仅局限于图像处理分析或者过程控制的反馈控制的片面性，将多维数据集合起来，使用事件驱动的方式对浮选生产过程优化控制。
- 一种基于模糊Petri网的变压器故障诊断方法及系统-202310467681.1
- 丁健;李巍;郝越峰;卢兴福;曹俊;王颖舒;王勋;邱志昂;李宏才;王竹 - 贵州电网有限责任公司
- 2023-04-27 - 2023-09-01 - G06F30/22
- 本发明公开了一种基于模糊Petri网的变压器故障诊断方法及系统，其特征在于，包括：基于变压器各故障类型与故障信息建立故障关联关系；根据故障关联关系，基于模糊Petri网构建变压器故障诊断模型；通过变压器故障诊断模型对实时采集的变压器故障类型进行正反向推理，得到故障类型的故障原因。本发明通过Petri网结构和模糊理论建立了系统的评估标准体系和完整的理论基础，使用变压器故障诊断模型进行正反向推理，合理推演变压器故障因果关系及传播途径，提高了变压器故障诊断准确性和效率，实现了故障诊断过程自动化，并能够发现引发故障类型的具体部件，缩小了检修范围，为实际检修工作提供参考性。
- 一种复杂产品众包设计过程建模及其众包任务处理方法-202011315088.8
- 宋李俊;付莹莹;周康渠;杨晨 - 重庆理工大学
- 2020-11-20 - 2023-07-25 - G06F30/22
- 本发明公开了一种复杂产品众包设计过程建模方法，包括：S建立组织层模型P；建立任务层模型；基于组织层模型及任务层模型建立执行层模型，得到众包分层模型。本发明还公开了基于上述建模方法的众包任务处理方法。与现有技术相比，与现有技术相比，本发明针对复杂产品众包设计任务存在的设计过程动态不确定、任务质量难以测度、存在大量重复流程的特点，基于面向对象Petri网提出了由组织层、任务层、执行层组成的层次过程建模方法。采用不同角度，充分利用OOPN的建模优势，描述复杂产品众包设计对象间的交互关系，实现了流程封装和流程之间的连接，为复杂产品众包设计系统设计提供了一种可行的方法。
- 一种非纯二氧化碳咸水层封存的数值模拟方法及系统-202211304988.1
- 孙骞;李治平;赖枫鹏 - 中国地质大学（北京）
- 2022-10-24 - 2023-07-18 - G06F30/22
- 本发明涉及一种非纯二氧化碳咸水层封存的数值模拟方法及系统，涉及CO
- 一种基于FORCCHN模型和遥感数据的森林NEP的计算方法-202211050034.2
- 赵俊芳;黄睿茜;谢鸿飞;彭慧文 - 中国气象科学研究院
- 2022-08-30 - 2023-07-07 - G06F30/22
- 本发明涉及一种基于FORCCHN模型和遥感数据的森林NEP的计算方法，包括：S1、对目标区域进行栅格化处理；S2、根据目标区域和目标时间区间，获取包括植被数据的多种数据，植被数据是通过基于遥感数据和地面高程数据的反演过程得到的；S3、对预先搭建的FORCCHN模型进行参数优化，得到本地化的FORCCHN模型；S4、将本地化的FORCCHN模型运行至生态平衡态；S5、运行FORCCHN模型进行动态模拟，得到在目标时间区间内，目标区域中每个栅格逐日的GPP
- 一种基于Petri网的应急监测联动联防体系仿真方法-202310247216.7
- 赵研;孙书晶;袁俊斌;孙仓;郭一冰;林琳 - 东北大学;辽宁省生态环境监测中心
- 2023-03-15 - 2023-07-04 - G06F30/22
- 本发明提供一种基于Petri网的应急监测联动联防体系仿真方法，涉及应急监测技术领域。该方法将突发环境事件应急监测体系与面向对象Petri理论结合在一起，基于OPMSE仿真平台，利用面向对象Petri网建立基于Petri网的应急监测联动联防体系仿真模型，将传统应急监测响应形式转换为对象Petri网形式，从而将流程图转换成Petri网图形、手工计算转换成计算机计算、自然语言转化成计算机语言，进而大大提高应急联动救援的效率和效果。
- 一种无人机的多态可用性确定方法-202211706373.1
- 杨卓鹏;靳捷;杨怡欣;张琪;王国梁;赵颖;李石;许彦卿;殷浚喆;白杨;王文跃;代波 - 中国航天系统科学与工程研究院
- 2022-12-29 - 2023-06-06 - G06F30/22
- 本发明提供了一种无人机的多态可用性确定方法，综合考虑无人机的可用状态、降阶状态、故障状态，并确定三类状态的主要影响因素和其他相关状态，利用广义随机Petri网构建无人机的多态可用性模型，利用马尔科夫链进行模型解算，确定无人机的可用状态概率、降阶状态概率、故障状态概率，分析不同故障检测率、不同备件保障率的组合情况与无人机的可用状态、降阶状态、故障状态的传递关系。该方法可进一步推广应用于无人车、无人艇等装备，为其研制建设和运行保障提供重要专业技术支持。
- 一种航天器轨道威胁自主规避架构设计及分析方法-202310088183.6
- 邱剑彬;张宏宇;王桐;陈兴文;秦晨辉 - 哈尔滨工业大学
- 2023-02-06 - 2023-05-09 - G06F30/22
- 本发明公开了一种航天器轨道威胁自主规避架构设计及分析方法，所述方法包括：基于感知模块、决策模块、执行模块构建航天器轨道威胁自主规避系统逻辑架构；基于着色Petri网对感知模块、决策模块、执行模块分别建立对应的着色Petri网子模型；建立整个系统逻辑架构的分层‑着色Petri网；对航天器轨道威胁自主规避系统逻辑架构的分层‑着色Petri网进行建模；对分层‑着色Petri网中的变迁赋予时间戳，搭建航天器轨道威胁自主规避系统逻辑架构的分层‑时间‑着色Petri网，基于分层‑时间‑着色Petri网对航天器轨道威胁自主规避；本发明的优点在于：实现对航天器轨道威胁的自主规避。
- 无人机数据链业务可靠性评价方法-202211666802.7
- 李娇;彭文胜;曾照洋;王浩臣;房赵延 - 中国航空综合技术研究所
- 2022-12-23 - 2023-05-09 - G06F30/22
- 本发明提供一种无人机数据链业务可靠性评价方法，用于复杂性、动态性、耦合性的无人机数据链建模。本发明在分析无人机数据链特征的基础上，围绕上行遥控/飞控/任控数据传输、下行遥测数据传输和下行任务载荷数据传输3大业务，提出用业务可靠性描述无人机数据链的可靠性。基于GSPN(GneralstochasticPetrinet)和蒙特卡罗(MonteCarlo)仿真构建无人机数据链业务动态变化的可靠性仿真模型，通过模型中的资源、库所、变迁等概念描述数据链系统中的各种资源、状态、行为以及协作关系，并以特定的随机变量表示部件状态及其持续时间，模拟系统业务动态运行过程，实现无人机数据链业务可靠性准确评价。
- 一种基于DoDAF体系结构框架的军事概念模型建模方法-202211740830.9
- 韩惠婕;路林海;任朝旭;秦留洋;张俊霞;李智慧 - 北京航天测控技术有限公司
- 2022-12-30 - 2023-05-05 - G06F30/22
- 本发明涉及一种基于DoDAF体系结构框架的军事概念模型建模方法，用于将军事人员的军事领域知识转化为便于建模仿真人员理解的规范化模型，便于统一军事人员与建模仿真人员对特定军事问题的认识。该方法基于DoDAF体系结构框架，通过全景视点、作战视点设计军事任务中涉及的各种元素，并通过UML语言对各种视图进行可视化、图形化和结构化的表达，最终通过Petri网对军事概念模型的合理性、有效性进行验证，提高概念模型向仿真模型转换的可能性。
- 电网故障智能处置辅助决策系统-202211168678.1
- 张琳;李丽丽;高红梅;梅守滨;耿星河;张南;罗孝刚;马鲁杰;齐浩智;郑传宁;吴子谦;王文文;丁长新;崔士杰;李红刚 - 国网山东省电力公司滨州供电公司
- 2022-09-24 - 2023-05-02 - G06F30/22
- 本发明涉及电网故障处理技术领域，公开了电网故障智能处置辅助决策系统，其包括电网故障智能处置辅助决策系统包括：故障分析模块，用于petri网故障诊断模型构建、复电路径方案生成、复电方案策略评价和根据复电路径自动生成遥控序列；失压范围分析模块，接收到故障分析模块发送过来的故障信息，执行故障整理，组织故障分析模块发送过来的故障信息进行故障整理、读取实时数据、取失压母线和对失压母线进行过滤。本发明实现故障判断与自动处置在实时态的闭环应用，项目将提供在调控实时运行方面的技术支撑，提高调控运行的精益化和智能化水平，提高电网运行的安全性和稳定性，能够显著缩短停电时间，从而保障电网的安全稳定运行。
- 一种用于数值模拟的等效载荷施加方法-202211683721.8
- 张汝佩;巩思园;李慧;田鑫元;陆强;蔡武 - 中国矿业大学
- 2022-12-27 - 2023-04-25 - G06F30/22
- 一种用于数值模拟的等效载荷施加方法，通过对建立的数值模型进行模型网格划分，并获得模型顶部网格的数量及各网格尺寸，提取模型顶部各网格中心点的坐标；然后采集位于模型顶部上方的相应地表的高程数据并将其进行网格数据化，得到地表网格，通过设置地表网格的几何参数，实现地表网格与模型顶部网格节点的一一对应，得到模型顶部各网格与其上方地表之间的地层厚度，并通过公式计算出模型顶部各网格上覆岩层产生的自重应力，最后将求解的自重应力等效施加至模型顶部各相应的网格上。本发明实现了对模型顶部的精细化非均匀的等效载荷施加，充分体现了起伏地表对于模型的影响，大大提高了数值模拟结果的可靠性，可操作性强。
- 一种基于完全有限前缀展开的行为等价过程树生成方法-201911016696.6
- 朱锐;黄月;李彤;唐明靖;马自飞;郑明;汤雅惠 - 云南大学
- 2019-10-24 - 2023-04-18 - G06F30/22
- 本发明公开了一种基于完全有限前缀展开的行为等价过程树生成方法。包括：利用完全前缀展开法，将过程模型展开为包含截断事件的分支进程；从分支进程中提取出满足可重构条件的活动关系组；根据预定冲突判断条件，在判断出所提取出的所述活动关系组间不存在冲突时，将所提取出的所述活动关系组按预定规则进行重构，以得到对应的过程树。本发明可将非BSPM类型的过程模型转化为行为等价的过程树，转换效率高、准确率高，转换结果结构精简。
- 基于二叉决策图的资源分配系统可达状态的快速求解方法-201910318045.6
- 黄波;赵凌波;蒲立明;李美玲;俞翀;丁高瞻;蔡志成 - 南京理工大学
- 2019-04-19 - 2023-04-18 - G06F30/22
- 本发明公开了一种基于二叉决策图的资源分配系统可达状态的快速求解方法，包括以下步骤：利用Petri网对资源分配系统进行建模；利用布尔变量对Petri网中的库所进行表示，获得标识向量；基于标识变量，获取标识向量集合M的特征函数，之后根据该特征函数对Petri网中库所、弧权值以及Petri网的状态标识进行压缩表示；求解变迁的使能条件的特征函数；通过镜像计算求取Petri网的可达状态集。本发明的方法能缓解在系统模型分析中存在的状态爆炸问题，以较小的时间和空间，快速求解系统可达集，对于较大规模该类系统的应用具有重要意义。
- 基于Petri网的资源共享装配操作系统活性构建方法-202010136531.9
- 卫屏;胡核算;马艳 - 西安电子科技大学
- 2020-03-02 - 2023-04-18 - G06F30/22
- 本发明属于自动制造系统领域，公开了一种基于Petri网的资源共享装配操作系统活性构建方法，将装配结构的Petri子网按照资源的竞争情况分解；计算子网中需要添加的子资源控制库所的结构；分析子网的合成规则，并限制子资源控制库所和资源库所的资源个数关系，使得到的合成网满足活性。本发明通过提供子网合成和限制规则使得综合建模合成网必然满足活性。本发明采用在合成时通过子资源控制库所sub‑RCP对合成网各部分子系统的资源分配情况进行调节和规划，然后将共同变迁合成最终的大网的创新方法。不仅适用于一般的Petri网系统的建模过程，同时适用于具有并行、同步操作等复杂系统，具有更强的适用性。
- 一种针对BOOST电路电感器件的电感仿真方法-202110431278.4
- 龙英文;安小雪 - 上海工程技术大学
- 2021-04-21 - 2023-03-28 - G06F30/22
- 本发明涉及一种针对BOOST电路电感器件的电感仿真方法，具体包括以下步骤：S1、构建测量电感值的测量电路，测量电路先测量电感初始值，测量电路中电感电流连续，逐步加大测量电路中开关管的导通占空比，实时记录测量电路中电感的电感值与通过电感的电感电流的电流值；S2、根据电感值和通过电感的电感电流的电流值，通过曲线拟核的方式建立电感电流与电感值的对应关系；S3、根据电感电流与电感值的对应关系，通过多个算法模块组合建立电感函数模型，电感函数模型与待测电感连接，通过电感函数模型测量得到待测电感的实际电感值。与现有技术相比，本发明具有提高电感仿真结果的精确度等优点。
- 一种分接开关的故障识别方法-202110973136.0
- 李彦斌;王进;李赟;张峰;王佳妮;李浩 - 华北电力大学;国家电网有限公司直流技术中心;国网山东省电力公司检修公司
- 2021-08-24 - 2023-02-28 - G06F30/22
- 本文是关于一种分接开关的故障识别方法。所述方法包括获取故障信息，根据故障信息，建立故障库所集合，确定库所置信度、变迁的阈值、变迁的规则置信度，建立故障识别模型；基于变迁的正向激发统计变迁激发次数，计算变迁激发频率，根据变迁可信度和所述变迁激发频率，计算逆向激发值；计算每个库所的立即可达集和可达集；逆向推理，确定故障原因库所；进行正向激发，确定故障的原因。本公开所提供的分接开关的故障识别方法中，基于Petri网的理论，在缩小识别和诊断范围的同时提高了识别和诊断效率及实用性，能够帮助快速定位故障原因，减少故障带来的损失。
- 一种罐区火灾应急响应模型构建方法及系统-202110103281.3
- 李科;周剑峰 - 广东工业大学
- 2021-01-26 - 2023-02-21 - G06F30/22
- 本发明公开了一种罐区火灾应急响应模型构建方法及系统，所述方法包括以下步骤：S1：分析罐区火灾应急响应过程中应急行动的优先性及应急行动对应急过程的影响；S2：定义时间混合Petri网用以对罐区火灾应急响应过程进行建模；S3：通过加入行动优先性修正步骤S2构建的模型，得到Petri网罐区火灾应急响应模型。本发明在应急响应过程建模中加入应急行动优先性的因素，使得所构建的模型能够更加全面的、完整的对应急响应过程进行仿真，同时提高了模型的精确度和有效性。
- 一种棒束子通道内单相流充分发展状态下流场快速计算方法-202211359414.4
- 肖瑶;张亨伟;顾汉洋;闫旭;丛腾龙;陈硕;郭辉 - 上海交通大学
- 2022-11-01 - 2023-01-13 - G06F30/22
- 本发明公开了一种棒束子通道内单相流充分发展状态下流场快速计算方法，所述方法根据流动充分发展特性，忽略对流项以及轴向的扩散项，将时均N‑S方程简化为容易求解的扩散方程的形式，并将摩擦压降当做源项处理。对于湍流条件下瞬态流动造成的径向动量扩散，使用湍流模型以及涡粘假设进行计算。所述计算方法可在1s内实现棒束子通道内充分发展状态下的流场预测，可作为新一代反应堆堆芯子通道分析程序的基础。
- 一种混凝土结构的细观建模和分析方法-202211054922.1
- 刘超;吉赫 - 同济大学
- 2022-08-31 - 2023-01-13 - G06F30/22
- 本发明涉及一种混凝土结构的细观建模和分析方法，包括以下步骤：步骤1)根据混凝土构件尺寸特征参数，确定格构节点坐标，并连接格构节点得到格构模型的框架，其中，所述格构模型包括格构节点以及格构节点之间相互连接的格构单元；步骤2)根据混凝土材料所使用的各组分材料级配，确定粗骨料粒径和数量以及混凝土各组分的细观二维参数；步骤3)基于随机分布算法、粗骨料粒径和数量生成粗骨粒细观随机分布模型，并根据粗骨料细观随机分布模型赋予格构单元对应的材料属性和单元属性，得到格构模型；步骤4)将格构模型导入ABAQUS二次开发平台，进行受荷计算。与现有技术相比，本发明综合考虑了混凝土材料的细观结构特性，并提供了精细化数值模拟思路。
- 一种高铁信号系统的部分可观Petri网故障诊断与最优传感器配置方法-202211213029.9
- 许缪锟;刘久富 - 南京航空航天大学
- 2022-09-29 - 2022-12-23 - G06F30/22
- 本发明公开了一种高铁信号系统的部分可观Petri网故障诊断与最优传感器配置方法，包括如下步骤：步骤1、建立高铁通信信号系统的标签Petri网模型；步骤S2，构建标签Petri网系统对应的校对网模型；步骤S3、构建标签Petri网系统的基本坏路径；高铁信号系统的部分可观Petri网故障诊断与最优传感器配置方法；步骤S4、将每条基本坏路径转化为对应的不等式约束条件；步骤S5、应用相关程序包对应整数线性规划问题，获得变迁重新标记的最佳解决方案。本发明将校对网与系统结构分析技术融合，分析过程不需枚举整个状态空间，降低了算法的计算复杂性。
- 带里程碑活动的业务过程对齐方法-202011109018.7
- 田银花;韩咚;牛晓琳;李昕燃 - 山东科技大学
- 2020-10-16 - 2022-12-20 - G06F30/22
- 本发明公开了一种带里程碑活动的业务过程对齐方法，涉及事件数据技术领域。带里程碑活动的业务过程对齐方法，首先，将给定迹中活动映射到Petri网的变迁，构建日志模型；其次，考察日志模型与过程模型中标记为里程碑活动的变迁，进行同步合成运算；然后，找出日志模型与过程模型中其他具有相同活动的变迁，进行乘积运算；最后，给出算法在新生成的模型中查找迹与过程模型之间基于给定代价函数的最优对齐。通过实例分析，验证了该方法的可行性与优越性。实验结果表明业务过程中含有的里程碑活动越多，计算最优对齐的效率越高。
- 分析佩特里网的可达性方法-202210626534.X
- 游宗宪 - 游宗宪
- 2022-06-03 - 2022-12-06 - G06F30/22
- 本发明为一种Petri网(PN)的可达性分析方法，用于分析可达性并推导从变体第k系统扩展的PN的控制相关状态数量的封闭式公式(CFF)。该方法的建构包括通过证明第一系统Gen‑Right(k,gen)和第二系统Gen_Left(k,k_gen)是Gen‑Left(k,gen)的拓扑逆网络，第一系统和第二系统之间存在可逆的一对一映射关系；其中第一级数Gen‑Right(k,gen)和Gen‑Left(k,k‑gen)具有相同的闭式公式，通过将Gen‑Left(k,gen)代入已验证的闭式公式中参数gen可以通过将其替换为k‑gen得到，通过可逆的一对一映像可以直接得到其对应的可达状态。
- 一种大粒径生物质颗粒热解的数值模拟方法-202211039691.7
- 尹丽洁;韩飞洋;王萌;陈德珍 - 同济大学
- 2022-08-29 - 2022-11-22 - G06F30/22
- 本发明涉及一种大粒径生物质颗粒热解的数值模拟方法，该方法包括以下步骤：步骤S1、在OpenFOAM中创建网格化的大粒径生物质颗粒热解几何模型，模型包括生物质颗粒内部区域和周围流体区域；其中，生物质颗粒与流体的边界设置为动网格，用以表征生物质热解反应边界的迁移过程；步骤S2、基于颗粒内部的热传导过程、颗粒与加热流体之间的对流换热过程，以及颗粒反应过程中的形状变化，建立生物质颗粒热解模型；步骤S3、通过热解参数及热解反应边界的迁移设置，求解步骤S2中的生物质颗粒热解模型，对大粒径生物质颗粒热解过程进行数值模拟。与现有技术相比，本发明能获得热解过程中颗粒内部的温度分布和成分变化，更加准确的预测颗粒与流体间的传热。
- 一种含相变的多孔介质热流固化耦合多相渗流模拟方法-202210948001.3
- 宋睿;吴明洋;刘建军;刘贺娟 - 中国科学院武汉岩土力学研究所
- 2022-08-08 - 2022-11-11 - G06F30/22
- 本发明公开了一种含相变的多孔介质热流固化耦合多相渗流模拟方法，所述方法包括：采用ICEM建模软件建立多孔介质孔隙结构的网格模型，并依据实际工况设置所述网格模型的边界条件；构建多相流体传热传质数学模型，并将所述多相流体传热传质数学模型嵌入到Fluent软件中；将所述流体域的网格模型及相变固体域的网格模型进行装配，并导入到Fluent软件中；基于所述网格模型的边界条件，采用Fluent软件进行数值模拟分析。本方法既可对多孔介质内部的相变‑化学反应的动力学机制及其孔隙结构特征演化规律开展研究，又可实时获取多孔介质内部多相流体分布规律、速度场、温度场分布及各相渗透率演化曲线，应用前景广阔。
- 基于着色随机Petri网的电网连锁故障建模仿真方法-201910405579.2
- 孔建寿;邢佳莉;胡雅倩 - 南京理工大学
- 2019-05-16 - 2022-11-04 - G06F30/22
- 本发明提供了一种基于着色随机Petri网的电网连锁故障建模仿真方法，包括以下步骤：步骤1，根据电网系统接线图，确定各元件发生故障时相关的继电保护装置的相应动作；步骤2，根据着色Petri网的性质，对元件的各级继电保护装置进行分类，建立切除故障的局部CPN模型；步骤3，将各元件切除故障的局部CPN模型整合成整个系统的故障切除路线的CPN模型；步骤4，考虑继电保护装置有可能存在故障的情况，利用随机Petri网，建立整个系统的SCPN模型。
- 专利分类
