期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于时间Petri网的装备体系可靠性建模与仿真 被引量:16
1
作者 江式伟 吕卫民 冯浩源 《系统工程与电子技术》 EI CSCD 北大核心 2013年第4期895-899,共5页
针对装备体系规模大、层次多、成员彼此分离、不断演化的特点,以及体系可靠性预计与分配困难的问题,在充分研究体系内涵的基础上,结合美国国防部体系结构框架(Department of Defense Architecture Frame-work,DoDAF)和流程分析研究方法... 针对装备体系规模大、层次多、成员彼此分离、不断演化的特点,以及体系可靠性预计与分配困难的问题,在充分研究体系内涵的基础上,结合美国国防部体系结构框架(Department of Defense Architecture Frame-work,DoDAF)和流程分析研究方法,提出了一种基于时间Petri网流程分析的装备体系可靠性建模与分析方法,详细分析了体系结构和使用流程的建模过程,构建了装备体系的可靠性计算模型。以某机场航空保障体系为例,说明了基于流程的体系可靠性建模分析的详细过程,通过ExSpect(Executable Specification Tool)仿真软件,得出了装备体系流程的执行时间和可靠度仿真结果。 展开更多
关键词 系统工程 可靠性 时间petri 流程
下载PDF
基于模糊时间Petri网的网络计划模型 被引量:6
2
作者 张新龙 朱友芹 夏国平 《系统工程与电子技术》 EI CSCD 北大核心 2003年第2期171-173,176,共4页
针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规... 针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。 展开更多
关键词 模糊时间petri 工程计划 关键路径
下载PDF
模糊时间Petri网及扩展的模糊时间Petri网 被引量:3
3
作者 董玉梅 张立臣 《计算机科学》 CSCD 北大核心 2005年第11期241-246,共6页
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模... 网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间 Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间 Petri网及可扩展的时间 Petri网,可扩展的时间 Petri网的网精简方法,使用 design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。 展开更多
关键词 形式化建模 网精简 实时系统 模糊时间petri 扩展的模糊时间petri 时间petri 可扩展 模糊集合理论 design 形式化模型
下载PDF
基于STPA和FTPN的海上自主水面船舶航行实时风险评估
4
作者 席永涛 刘鹏杰 +1 位作者 胡甚平 韩冰 《中国安全科学学报》 CAS CSCD 北大核心 2024年第8期18-26,共9页
为实时监测海上自主水面船舶(MASS)航行过程风险,基于系统理论事故模型与过程(STAMP)建立MASS的安全控制结构,采用系统理论过程分析法(STPA)确定损失/事故和系统级危险,识别不安全控制行为并分析损失场景,构建系统状态转化过程模型;采... 为实时监测海上自主水面船舶(MASS)航行过程风险,基于系统理论事故模型与过程(STAMP)建立MASS的安全控制结构,采用系统理论过程分析法(STPA)确定损失/事故和系统级危险,识别不安全控制行为并分析损失场景,构建系统状态转化过程模型;采用模糊时间Petri网(FTPN)建模,以设定的MASS航行场景得到相关模糊时间函数并推算FTPN的情态演进;引入新的风险水平表达式并通过系统实时损失/事故二维路径图来可视化系统的实时风险水平和系统不安全状态的转化路径。结果表明:设定的航行场景在当前时刻下,缺少安全水深输入、未更新避碰路径、航向航速不安全、搁浅是风险最高的系统不安全状态,并对应4条风险最高的转化路径;STPA驱动下的FTPN过程模型能全面评估MASS航行的实时风险水平,以系统实时损失/事故二维路径图作为可视化界面,用于监管MASS航行中不安全系统状态并描述其转化路径。 展开更多
关键词 系统理论过程分析(STPA) 模糊时间petri网(FTPN) 海上自主水面船舶(MASS) 实时风险评估 转化路径
下载PDF
工程计划的模糊时间Petri网(FTPN)模型 被引量:2
5
作者 张新龙 夏国平 朱友芹 《系统工程理论与实践》 EI CSCD 北大核心 2003年第4期111-114,共4页
针对工程计划中工序作业时间的不确定性 ,传统网络计划方法缺乏数学表达能力的问题 ,提出了用模糊时间 Petri网 (FTPN)表达工程计划的新模型 .在讨论了工序完工隶属函数之后 ,给出了 FTPN的形式化描述及触发规则 ,依据工程计划的 FTPN... 针对工程计划中工序作业时间的不确定性 ,传统网络计划方法缺乏数学表达能力的问题 ,提出了用模糊时间 Petri网 (FTPN)表达工程计划的新模型 .在讨论了工序完工隶属函数之后 ,给出了 FTPN的形式化描述及触发规则 ,依据工程计划的 FTPN建模规则 ,把求取关键路径转化为一个基于代数方程求取 FTPN中特定标识的问题 .算例表明 ,文中所提出的模型既能正确且更加直观的表达工程计划问题 。 展开更多
关键词 模糊时间 petri 工程计划
原文传递
时间Petri网在项目进度管理建模中的应用 被引量:2
6
作者 杨旭 沈俊鑫 《价值工程》 2014年第22期4-7,共4页
通过分析现有时延Petri网和时间Petri网在项目进度管理仿真模型的不足,提出基于库所时间约束Petri网的项目进度管理模型,该模型具备全局时钟特性,不仅能体现工序自身时间参数,同时能对外部资源等工序外延时间约束进行建模。实例仿真结... 通过分析现有时延Petri网和时间Petri网在项目进度管理仿真模型的不足,提出基于库所时间约束Petri网的项目进度管理模型,该模型具备全局时钟特性,不仅能体现工序自身时间参数,同时能对外部资源等工序外延时间约束进行建模。实例仿真结果表明该模型的有效性。 展开更多
关键词 资源约束 进度优化 库所时间约束petri
下载PDF
模糊时间Petri网应用
7
作者 张志伟 邓江沙 《阜阳师范学院学报(自然科学版)》 2006年第3期65-67,共3页
本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.
关键词 模糊时间petri 过程建模 冲突控制 资源控制
下载PDF
基于Petri网的项目管理模型研究 被引量:2
8
作者 沈俊鑫 郭晓军 《昆明理工大学学报(自然科学版)》 CAS 北大核心 2014年第5期101-108,共8页
项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于... 项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具. 展开更多
关键词 项目动态管理 资源约束 着色时间约束petri
下载PDF
面向方面的时间特性建模
9
作者 高娜 张立臣 刘东星 《计算机工程》 CAS CSCD 北大核心 2010年第13期281-282,285,共3页
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准... 基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。 展开更多
关键词 面向方面软件设计 统一建模语言 模糊时间petri 随机实时时序逻辑 实时系统
下载PDF
基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识
10
作者 马军霞 张松炜 《山东科技大学学报(自然科学版)》 CAS 2008年第5期105-110,共6页
为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件... 为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件的各种时间不确定性问题进行定量分析,可以解决复杂情况下的时间知识推理和验证。其相对于已有方法具有冲突分析精确、计算简单、适用面广的特点。 展开更多
关键词 冲突 不确定性时间知识 扩展模糊时间petri 模糊时间函数
下载PDF
FINE-GRAINED DISTRIBUTED MULTIMEDIA SYNCHRONIZA-TION MODEL——ENHANCED FUZZY-TIMING PETRI NET
11
作者 韩莹洁 孙永强 吴哲辉 《Journal of Shanghai Jiaotong university(Science)》 EI 2001年第1期62-66,共5页
A fine grained distributed multimedia synchronization model——Enhanced Fuzzy timing Petri Net was proposed which is good at modeling indeterminacy and fuzzy. To satisfy the need of maximum tolerable jitter, the suffi... A fine grained distributed multimedia synchronization model——Enhanced Fuzzy timing Petri Net was proposed which is good at modeling indeterminacy and fuzzy. To satisfy the need of maximum tolerable jitter, the sufficient conditions are given in intra object synchronization. Method to find a proper granularity in inter object synchronization is also given to satisfy skew. Exceptions are detected and corrected as early as possible using restricted blocking method. 展开更多
关键词 multimedia synchronization enhanced fuzzy timing petri net (EFPN) quality of service (QoS)
下载PDF
基于改进时间约束Petri网的综合能源系统运行优化及可靠性评估 被引量:9
12
作者 胡列翔 王蕾 +3 位作者 董明枫 李宏仲 孙可 胡哲晟 《中国电力》 CSCD 北大核心 2020年第10期123-132,139,共11页
综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际综合园区建设过程中,对不同供能方式的经济性和可靠性评估显得尤为重要。首先,通过构建冷热供能系统的时序模型、耦合设备和储能装置的通用模型,并结合时间约束Petr... 综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际综合园区建设过程中,对不同供能方式的经济性和可靠性评估显得尤为重要。首先,通过构建冷热供能系统的时序模型、耦合设备和储能装置的通用模型,并结合时间约束Petri网基本建模原理,建立了系统的运行优化模型;然后,对系统中元件两状态模型进行分析,建立系统的状态空间模型;并通过系统状态进行随机抽样并计算相应的供能可靠性指标。最后,通过对含有储热、储电、储气等多能存储的实际综合园区进行算例分析,评估不同运行方式下多能源系统的可靠性和经济性,从而为实际园区建设提供理论分析依据。 展开更多
关键词 综合能源系统 时间petri 可靠性 蒙特卡洛模拟法
下载PDF
基于Petri网的液体火箭发动机启动过程实时在线故障诊断方法 被引量:7
13
作者 郑永煌 田锋 +1 位作者 李人厚 邢科义 《信息与控制》 CSCD 北大核心 2010年第2期207-211,217,共6页
为了解决大型运载火箭液体发动机启动过程难以建立精确解析模型和难以实现实时在线故障诊断的问题,根据其启动过程的特点,设计了基于定时约束Petri网的故障诊断模型和诊断算法,在MATLAB中建立Simulink仿真模型和GUI仿真界面,验证了模型... 为了解决大型运载火箭液体发动机启动过程难以建立精确解析模型和难以实现实时在线故障诊断的问题,根据其启动过程的特点,设计了基于定时约束Petri网的故障诊断模型和诊断算法,在MATLAB中建立Simulink仿真模型和GUI仿真界面,验证了模型和算法的正确性和有效性. 展开更多
关键词 定时约束petri 液体火箭发动机 启动过程 实时在线故障诊断
下载PDF
TCPN的变迁弱规则特有的调度可达决策区域及算法 被引量:2
14
作者 杨根科 曾建潮 孙国基 《自动化学报》 EI CSCD 北大核心 1999年第4期543-547,共5页
针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特... 针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律. 展开更多
关键词 petri 变迁激活弱规则 调度 控制系统
下载PDF
资源约束项目时间-成本均衡优化仿真模型
15
作者 沈俊鑫 沈冰亮 《昆明理工大学学报(自然科学版)》 CAS 2015年第2期130-137,共8页
项目时间-成本均衡优化是项目管理学术界研究的热点难点,资源约束下项目时间-成本均衡优化是一类强NP-Hard问题.通过构建基于着色成本时间约束Petri网的项目仿真模型,分析模型变迁激发规则以及时间、成本的累加性,提出基于时间成本状态... 项目时间-成本均衡优化是项目管理学术界研究的热点难点,资源约束下项目时间-成本均衡优化是一类强NP-Hard问题.通过构建基于着色成本时间约束Petri网的项目仿真模型,分析模型变迁激发规则以及时间、成本的累加性,提出基于时间成本状态类的项目时间-成本分析方法.通过实例仿真求解资源受限情况下的工期最短问题和工期一定下的成本最优问题,仿真结果表明,该模型可以很好的表示项目资源约束的同时,实现项目时间-成本均衡优化,同时可以求解项目有效工期-成本曲线. 展开更多
关键词 时间约束petri 均衡优化 时间成本状态类 资源约束
原文传递
时间约束下任务关键系统的可调度性分析 被引量:2
16
作者 陈莹 邢建春 +1 位作者 杨启亮 张孝鹏 《计算机工程》 CAS CSCD 北大核心 2018年第12期115-119,128,共6页
针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务... 针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。 展开更多
关键词 任务关键系统 时间约束着色petri 工作流 可调度性分析 修正策略
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部