公共文化服务平台

搜索到301篇“ 时序PETRI网“的相关文章

基于时序Petri网的机器人柔性作业车间无死锁调度优化算法: 2024年; 研究了一类源于芯片生产等智能制造领域的机器人柔性作业车间调度问题。针对该类问题在算法设计过程中,需要同时考虑工件加工、机器人运输和死锁求解等带来的问题,提出了一种基于时序Petri网的无死锁调度优化算法。首先,对问题进行时序Petri网建模,提出了一种基于Petri网变迁串的解表示形式,以方便死锁求解和算法寻优;其次,通过对问题死锁的结构分析和分类,提出了一种死锁判断和求解算法,并证明了算法可在多项式时间内求解任意类型死锁,同时也能在一定程度上保证解的优良结构;最后,提出了问题的一种离散蜂群算法求解方案,在算法寻优过程中进行实时死锁求解以保证解的可行性和较快的收敛速度。不同规模实例的数值实验和与问题最优解及最优解下界的比较分析表明,提出的算法对不同类型实例都体现了较好的性能和较低的时间复杂度。该研究为复杂作业车间实时调度问题的算法研究提供了新思路和方法。; 陈海波张超隆董建明; 关键词：作业车间调度 PETRI网

基于事件起点的层次化时序Petri网及其电网故障诊断方法被引量：17: 2018年; 电网发生故障后利用大量告警信息快速准确地识别故障元件是保障可靠供电和电网安全稳定运行的首要任务。为适应电网运行调控需求,提出一种基于事件起点的层次化加权模糊时序Petri网故障诊断方法。在完善母线和线路的层次化加权模糊时序Petri网模型的基础上,以故障发生时刻为事件起点,确立各初始库所的时序属性,并通过逆向和正向时序推理对保护和断路器动作信息进行时序约束检查和置信度修正。IEEE 39节点系统仿真算例和电网实际故障算例表明所提方法能够在保护和断路器误动/拒动、告警信息缺失/错误等复杂状态下识别真实故障元件,提高了故障诊断的准确度和容错性。此外所提方法还可以得到设备故障的时间点约束,有利于进一步分析故障原因和故障事态发展。通过与现有应用时序信息的故障诊断方法相比,所提方法时序推理过程简明清晰,对网络拓扑的变化适应性强,运算速度快,满足在线诊断需求。; 赖宏毅汪旸杨雯周超凡徐彪尹项根简程; 关键词：故障诊断

温控系统的时序Petri网建模与验证被引量：1: 2018年; 基于时序Petri网对温控系统进行建模和性质描述.利用可达图、Büchi自动机和ω-正则表达式理论三者相结合的方法分析得到温控系统时序Petri网模型变迁引发序列集合的ω-正则表达式,进一步分析证明该ω-正则表达式满足温控系统的功能性需求说明,从形式上验证了温控系统时序Petri网模型与需求说明一致.结果表明,时序Petri网可用来描述和验证具有时序关系和因果关系的并发系统模型,是一种并发系统形式化描述和分析的有效工具.; 李文翔; 关键词：时序PETRI网形式化建模形式化分析

模糊时序Petri网服务组合方法研究: 我国拥有世界上最丰富的制造业资源，但我国的制造业所使用的粗犷的制造方式却极大的限制了制造业资源的利用率。但“物联”严重不足的情况导致了大量制造企业资源闲置，如何汇聚全球制造资源与能力实现优化配置成为一个亟待解决的问题。科...; 刘雨; 关键词：网络架构

基于时序Petri网的Web服务组合建模与质量分析: Web服务是基于网络的自包含、自描述的模块化应用程序。随着将自己的应用程序作为Web服务发布的企业日益增多,服务需求者对服务的功能以及服务的质量要求也越来越高。而服务供应商提供的单个服务也越来越难满足用户的实际需要,因此...; 赵艳; 关键词：WEB服务组合时序PETRI网服务质量可达性; 文献传递

基于时序Petri网的火电厂管控信息系统模型研究: 2009年; 为了优化火电厂管控信息系统,提出了基于时序Petri网的火电厂管控信息系统模型研究。首先提出了时序Petri网的分层建模方法,并给出了时序Petri网对复杂系统的建模步骤;其次,建立了整个火电厂管控信息系统的时序Petri网模型;再次,为了更好地分析和优化Petri网模型,对其进行了简化;最后,证明了简化后的时序Petri网大大减少了库所和变迁的数量并保持了原网的功能性。; 杨斌杜祝平; 关键词：时序PETRI网火电厂

分析多时序Petri网的自动机模型: Petri网以研究系统模型的组织结构和动态行为为目标,着眼于系统中可能发生的各种状态变化以及变化之间的关系。Petri网可以用简单的图形元素表示系统变化发生的条件,以及变化发生后的系统状态。随着分析问题的深入和...; 孙宇新; 关键词：自动机模型数据结构与算法; 文献传递

基于时序Petri网的联锁逻辑形式建模与验证被引量：4: 2007年; 时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。; 杜军威徐中伟; 关键词：时序PETRI网时序逻辑

基于时序Petri网的DEDS控制器综合: 在离散事件动态系统的研究中，逻辑层次的建模与控制是一个很重要的方面。由于Petri网的一些特点，例如真并发的语义、易于转换为计算机程序控制码、逻辑电路形式的硬件实现，因此在DEDS的控制理论研究领域引起了很大的关注。目前...; 刘勇; 关键词：时序PETRI网; 文献传递

Optimization of fault management system in power plants based on DD-RCM and TPN: 2006年; A method of optimizing the fault management system in power plants based on DD-RCM （resultchain based modeling for digital developing） and TPN （temporal Petri net） is proposed. First, the model of the fault management system was set using DD-RCM. Then, it was transformed to the temporal Petri net model by corresponding rules. Secondly, relationships among all the activities, such as choice, conflict, synchronization and concurrency, were confirmed according to the Petri net model and described employing the reengineering algorithm of incidence matrix. Thirdly, the Petri net model was reduced by combining reduction rules and conflict, synchronization relationships to optimize the fault management system in power plants. Finally, the functionality of the reduced net was proved by the temporal logic of the temporal Petri net.; 陈丽娟杨欣夏安邦

相关作者