模糊时间PETRI网

作品数：23被引量：77H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张立臣叶阳东吴智铭高梅梅张新龙更多>>
相关机构：广东工业大学郑州大学上海交通大学大众报业集团更多>>
相关期刊：《计算机工程》《电力系统自动化》《中国安全科学学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金广东省自然科学基金河南省自然科学基金广东省高等学校自然科学研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于STPA和FTPN的海上自主水面船舶航行实时风险评估被引量：1
《中国安全科学学报》2024年第8期18-26,共9页席永涛 刘鹏杰 胡甚平 韩冰 
水路交通控制全国重点实验室开放课题基金资助(W24CG000042)。
为实时监测海上自主水面船舶(MASS)航行过程风险,基于系统理论事故模型与过程(STAMP)建立MASS的安全控制结构,采用系统理论过程分析法(STPA)确定损失/事故和系统级危险,识别不安全控制行为并分析损失场景,构建系统状态转化过程模型;采...
关键词：系统理论过程分析(STPA) 模糊时间Petri网(FTPN) 海上自主水面船舶(MASS) 实时风险评估 转化路径 
基于模糊时间Petri网的电网故障诊断方法被引量：26
《电力系统自动化》2018年第2期70-76,共7页徐彪 尹项根 汪旸 张哲 郝洵 陈钟钟 
国家重点研发计划资助项目(2016YFB0900600)~~
故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库...
关键词：故障诊断 模糊时间PETRI网 时序推理 动作评价 
追踪复杂事件的形成世系
《计算机科学》2012年第7期148-153,169,共7页熊招招 王永利 
国家自然科学基金(60803001);中国博士后科学基金特别资助项目(200902517);江苏省博士后基金(0801043B);江苏省高校2010年"青蓝工程"优秀青年骨干教师项目;南京市科技计划重点项目(020142010);南京理工大学2009年紫金之星资助
复杂网络安全事件、物联网世系追溯等新型应用为复杂事件的世系研究提出许多挑战。由于模糊时间以及状态不确定性转移等因素的存在,追溯复杂事件的世系时往往出现时间推导不精确以及无法有效逆向推导等问题,因此无法高效地追踪及查询复...
关键词：复杂事件 世系 模糊时间PETRI网 时间自动机 
基于模糊时间知识推理的实时系统冲突研究被引量：4
《计算机工程》2011年第14期183-185,188,共4页田钊 佘维 叶阳东 
国家重点实验室开放课题基金资助项目(RCS2009K003);湖南省高等学校科学研究基金资助项目(09C1257)
定义一类模糊时间Petri网用于模拟受时间约束的实时系统行为,通过对模糊时间区间的知识推理,研究实时系统中带时间因素的冲突问题和时间-空间的冲撞问题,将时间约束和冲撞发生的概率用于冲突消解。实例分析表明,相对于已有冲突分析和消...
关键词：模糊时间PETRI网 冲突检测 冲突消解 实时系统 
双枝模糊时间Petri网可修复网络攻击模型被引量：2
《计算机工程与应用》2011年第5期87-91,133,共6页黄光球 李艳 王金成 
陕西省自然科学基金(No.2007E217);陕西省教育厅专项基金资助项目(No.09JK524)
以具有时间特性的模糊时间Petri网为研究方法建立了一种新的网络攻击模型。在模型中主要引入双枝模糊集理论和可靠性理论。利用双枝模糊集中的上域(下域)表示攻击的促进因素(阻碍因素),并在此基础上进行双枝模糊决策以决定变迁(攻击行为...
关键词：网络攻击模型 模糊时间PETRI网 双枝模糊决策 可靠性 
基于扩展模糊时间Petri网的故障诊断被引量：1
《计算机工程》2010年第18期52-53,56,共3页王燕平 马良荔 刘永葆 
国家自然科学创新研究群体科学基金资助项目(50721005)
针对故障诊断中可能出现的故障原因漏判问题,提出一种基于扩展模糊时间Petri网的故障诊断算法。该算法通过检查模糊时间戳确定故障时刻所有故障原因的状态,结合正向和逆向推理最大程度地解决故障原因漏判问题,从而确定主要、次要和其他...
关键词：故障诊断 故障原因漏判 扩展模糊时间 PETRI 网 
面向方面的时间特性建模
《计算机工程》2010年第13期281-282,285,共3页高娜 张立臣 刘东星 
国家自然科学基金资助重大项目(90818008);国家自然科学基金资助项目(60774095;60474072Z);广东省自然科学基金资助项目(07001774;04009465)
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准...
关键词：面向方面软件设计 统一建模语言 模糊时间PETRI网 随机实时时序逻辑 实时系统 
具有动态可靠性的模糊时间Petri网攻击模型被引量：1
《计算机工程与应用》2010年第18期110-115,118,共7页黄光球 王金成 
国家重点学科培育项目(No.200808265);陕西省自然科学基金No.2007E217~~
在利用Petri网方法研究网络攻击模型的过程中,引入攻击可靠性的概念,将网络攻击模型作为一个系统看待,以此系统为研究对象,不仅通过推理算法得到目标库所的真实度,并且对攻击路径和系统进行动态可靠性分析,从而提出一种新的攻击模型—...
关键词：模糊时间PETRI网 动态可靠性 攻击模型 补偿算法 最小路集 
基于Petri网的时间约束问题被引量：1
《河北大学学报（哲学社会科学版）》2010年第3期99-102,共4页王文彬 刘文远 
为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型。首先给出条件模糊时间Petri网工作流的定义。然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时...
关键词：工作流 模糊时间PETRI网 时间约束 线性推理 
面向方面的性能分析过程
《现代计算机》2009年第4期25-28,共4页罗艺 张立臣 
面向方面技术能够将性能关注点模块化,它的一个核心思想是,不同方面可以独立开来使用不同方法来描述。分布式实时系统的时间分析是非常复杂的,不同的功能可能具有不同的时间特性需求。可以从分布式实时系统的关键属性——时间性出发,把...
关键词：面向方面 性能分析 模糊时间PETRI网 UML 分布式实时系统 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部