时序PETRI网

作品数：17被引量：66H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蒋昌俊丁志军杨雯徐彪尹项根更多>>
相关机构：山东科技大学同济大学华中科技大学中国科学院软件研究所更多>>
相关期刊：《计算机与现代化》《铁道学报》《软件学报》《系统工程理论与实践》更多>>
相关基金：国家自然科学基金国家杰出青年科学基金国家重点基础研究发展计划中国科学院知识创新工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
温控系统的时序Petri网建模与验证被引量：1
《山东理工大学学报（自然科学版）》2018年第6期24-28,共5页李文翔 
福建省教育厅中青年教师教育科研项目(科技类)(JAT160786;JAT171020)
基于时序Petri网对温控系统进行建模和性质描述.利用可达图、Büchi自动机和ω-正则表达式理论三者相结合的方法分析得到温控系统时序Petri网模型变迁引发序列集合的ω-正则表达式,进一步分析证明该ω-正则表达式满足温控系统的功能性...
关键词：时序PETRI网 ω-正则表达式 模型检测 形式化建模 形式化分析 
基于事件起点的层次化时序Petri网及其电网故障诊断方法被引量：17
《电力自动化设备》2018年第2期201-209,共9页赖宏毅 汪旸 杨雯 周超凡 徐彪 尹项根 简程 
国家自然科学基金资助项目(51277084;508770-31)~~
电网发生故障后利用大量告警信息快速准确地识别故障元件是保障可靠供电和电网安全稳定运行的首要任务。为适应电网运行调控需求,提出一种基于事件起点的层次化加权模糊时序Petri网故障诊断方法。在完善母线和线路的层次化加权模糊时序P...
关键词：故障诊断 加权模糊时序Petri网 时序约束 事件起点 
计及死区故障的3/2接线变电站的Petri网故障诊断方法被引量：11
《电力系统保护与控制》2017年第20期28-37,共10页杨雯 刘元琦 吴小忠 尹项根 徐彪 郝洵 李旭升 
国家自然科学基金资助项目(51277084;50877031)~~
现有针对3/2接线系统的故障诊断方法较少考虑死区故障,在基于保护和断路器动作信息进行故障诊断时易造成误判。提出一种计及死区故障的3/2接线变电站的Petri网故障诊断方法,除了系统中母线、线路和变压器等元件,对死区位置也建立其加权...
关键词：3/2接线 死区故障 加权模糊时序Petri网 时序约束 
基于知识流的设计更改执行阶段过程改进被引量：3
《计算机集成制造系统》2017年第4期726-736,共11页王岩 王美清 
国防技术基础研究资助项目(JSZL2014204A002);国防基础科研资助项目(JCKY2016209B001)~~
针对设计更改执行阶段效率的问题,从知识传递角度分析了设计更改执行过程中的知识流动机制,结合设计更改执行过程活动的离散并行性、逻辑时序性以及知识显/隐性转化特点,提出了基于改进时序Petri网的设计更改执行过程知识流建模方法和...
关键词：知识流 设计更改执行 过程改进 信息增益 时序PETRI网 
集成TPN-BG的铝挤压机建模方法研究
《福建工程学院学报》2014年第1期66-69,共4页周理 刘琰 
福建省高校产学合作科技重大项目(2010H6002);福建省教育厅基金项目(JB10112);福建省教育厅基金项目(JA12231);福建工程学院科研基金项目(GY-Z0740)
铝挤压机系统是一个多液压源、多液压缸的系统,难以使用传统的方法进行数字化建模。为了有效地开展AEM的液压系统设计与性能分析,本文提出一种集成时序Petri网和键合图的铝挤压机建模方法。其中,TPN用于AEM的工序建模,BG图用于液压系统...
关键词：集成建模 铝挤压机 时序PETRI网 键合图 
基于时序Petri网的火电厂管控信息系统模型研究
《计算机与现代化》2009年第1期34-37,共4页杨斌 杜祝平 
为了优化火电厂管控信息系统,提出了基于时序Petri网的火电厂管控信息系统模型研究。首先提出了时序Petri网的分层建模方法,并给出了时序Petri网对复杂系统的建模步骤;其次,建立了整个火电厂管控信息系统的时序Petri网模型;再次,为了更...
关键词：时序PETRI网 火电厂 管控信息系统 
基于时序Petri网的联锁逻辑形式建模与验证被引量：4
《计算机工程与应用》2007年第13期7-10,共4页杜军威 徐中伟 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60674004)。
时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最...
关键词：联锁逻辑 时序PETRI网 形式建模 时序逻辑 
审计缓冲区的形式化模型及其验证被引量：1
《计算机科学》2006年第5期98-103,共6页丁志军 刘海峰 蒋昌俊 
国家自然科学基金(60473094);国家杰出青年科学基金(60125205)
审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实...
关键词：审计 时序PETRI网 缓冲区 验证 
行车安全综合监控系统的时序Petri网描述及验证被引量：5
《铁道学报》2005年第4期11-15,共5页杜彦华 刘春煌 曹松 
行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、...
关键词：行车安全综合监控系统 时序PETRI网 正确性验证 
某类有界时序Petri网的原型网形式的转化
《系统仿真学报》2005年第z1期1-4,共4页刘勇 吴哲辉 
国家自然科学基金资助课题(60173053)
时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原...
关键词：PETRI网 线性时序逻辑 语言描述能力 控制器 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部