时间PETRI网

作品数：191被引量：629H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：潘理吴哲辉林闯乐晓波刘久富更多>>
相关机构：西安电子科技大学山东科技大学同济大学湖南理工学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于标签时间Petri网的DES故障概率及发生时间预测
《控制与决策》2025年第2期581-589,共9页刘慧敏 黎良 
国家自然科学基金项目(62303359)。
为了解决部分可观离散事件系统(discrete event systems,DES)的故障预测问题,提出一种基于标签时间Petri网的DES故障概率及发生时间的预测方法.首先,利用标签时间Petri网系统的修正状态类图,得到与观测到的时间标签序列一致的有效路径,...
关键词：离散事件系统 Petri网 概率密度函数 Gauss-Kronrod积分法 故障诊断 故障预测 
基于标签时间Petri网最小初始状态的实时系统初始资源配置
《控制理论与应用》2024年第11期2103-2111,共9页王琛 黎良 刘斌 
湖北省自然科学基金项目(2021CFB036);国家自然科学基金项目(62303359)资助.
针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标...
关键词：离散事件系统 资源配置 时间PETRI网 状态类图 状态估计 
基于优先级时间Petri网的实时嵌入式多核系统分析
《软件学报》2024年第9期4123-4140,共18页张凯文 刘关俊 孙彦韬 李晓锋 关健 解毅 顾斌 
国家自然科学基金(62172299,62192730,62032019);北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(LHCESET202201);北京控制工程研究所空间光电测量与感知实验室开放基金(LabSOMP-2023-03);CCF-华为胡杨林基金-形式化专项(CCF-HuaweiFM202305)。
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应...
关键词：实时嵌入式多核系统 优先级时间Petri网 可达图 任务依赖图 最坏执行时间(WCET) 死锁 
部分可观标签时间Petri网的最小代价变迁序列估计
《信息与控制》2024年第3期377-387,共11页李雅琼 黎良 
国家自然科学基金项目(62303359);湖北省自然科学基金项目(2021CFB036)
针对自动制造系统的计划序列问题,研究了一种部分可观标签时间Petri网的最小代价变迁序列估计方法。所考虑的标签时间Petri网是有界的,且每个变迁都有一个非负代价。首先,提出了一种基于时间标签序列(time-label sequence,TLS)的观测-...
关键词：离散事件系统 PETRI网 变迁序列 状态类图 
基于时间Petri网的电-气综合能源系统薄弱环节辨识被引量：1
《电测与仪表》2024年第5期1-8,共8页陶淳逸 
国家重点研发计划项目(2017YFB0903400)。
为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述...
关键词：时间PETRI网 薄弱环节 级联故障 电-气综合能源系统 
基于时间Petri网的配电自动化投资策略被引量：4
《电力建设》2023年第5期141-148,共8页吴博 刘春明 辛文凯 张雪煜 李卓政 徐华楠 
国家重点研发计划项目(2020YFF0305803)。
将现有配电网设备进行配电自动化改造可以显著提升配电网可靠性,配电自动化投资时寻求配电网可靠性提升和改造经济性之间的最佳平衡是需要解决的关键问题。提出了一种基于时间Petri网的配电自动化投资策略,通过建立配电网的时间Petri网...
关键词：配电网 可靠性 时间PETRI网 配电自动化 投资策略 
模拟实时系统的点区间优先级时间Petri网与TCTL验证被引量：5
《软件学报》2022年第8期2947-2963,共17页何雷锋 刘关俊 
国家自然科学基金(62172299,62032019);上海市级科技重大专项(2021SHZDZX0100);中央高校基本科研业务费专项资金。
时间Petri网为实时系统提供了一种形式化的建模方法,时间计算树逻辑(TCTL)为描述实时系统与时间相关的设计需求提供了一种逻辑化的表达方式,因此,基于时间Petri网的TCTL模型检测广泛应用于实时系统的正确性验证.然而对于一些涉及优先级...
关键词：点区间优先级时间Petri网 多核多任务实时系统 时间计算树逻辑(TCTL) 模型检测 抢占式调度 
基于修正状态类图的标签时间Petri网系统故障诊断被引量：6
《计算机应用研究》2022年第6期1678-1682,1688,共6页邓明喜 黎良 刘斌 
湖北省自然科学基金资助项目(2021CFB036);工业控制技术国家重点实验室开放课题(ICT2021B37)。
针对具有不可观事件的离散事件系统的故障问题,提出了一种基于标签时间Petri网的诊断方法。首先,对标签时间Petri网系统现有的修正状态类图(modified state class graph,MSCG)进行分析,提出MSCG的改进算法。其次,对于给定的可观标签序...
关键词：离散事件系统 时间PETRI网 状态类图 故障诊断 
高级模糊Petri网理论及其应用研究被引量：1
《现代信息科技》2021年第18期120-123,共4页李妮 
2020年陕西省教育厅科研项目(20JK0953)。
为了提高不确定性离散事件动态系统的运行性能,本文结合时间Petri网及模糊集理论,建立了新型的高级模糊Petri网模型,并给出系统运行规则的动态算法,绘制清晰的流程图。通过模拟离散事件动态系统的运行过程,不仅获得了整个动态过程的具...
关键词：离散事件动态系统 模糊PETRI网 时间PETRI网 
基于改进时间约束Petri网的综合能源系统运行优化及可靠性评估被引量：9
《中国电力》2020年第10期123-132,139,共11页胡列翔 王蕾 董明枫 李宏仲 孙可 胡哲晟 
国网浙江省电力公司科技项目(5211JY180016)。
综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际综合园区建设过程中,对不同供能方式的经济性和可靠性评估显得尤为重要。首先,通过构建冷热供能系统的时序模型、耦合设备和储能装置的通用模型,并结合时间约束Petr...
关键词：综合能源系统 时间PETRI网 可靠性 蒙特卡洛模拟法 
全选清除导出
共19页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部