时延Petri网相关论文
为解决现有柔性制造系统排产效率低的问题,提出一种基于时延Petri网模型的柔性制造系统排产优化方法.首先,根据柔性制造系统生产模......
本文的内容是基于随机PETRI网的航空电子综合系统数据总线的建模分析。通过对综合航电系统数据总线的性能指标分析，以达到优化总线......
该文主要为了描述电力系统,首先提出了一种非自主T时延Petri网来描述电力系统常用的延时开关.其次提出受控变速的连续Petri网(CVCP......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
随着当前互联网的高速发展，软件更新换代速度极快，互联网界兴起了敏捷开发的概念，其中持续集成是其中一重要原则。但是随着软件产品规......
随着用工作流的方法管理业务流程的需求的不断增加,人们提出了各种各样的模型和分析方法。而现存的工作流产品缺乏对动态变化所必......
互联网技术的创新发展催生了一批以互联网为基础的消费领域,电子商务为用户提供了方便快捷的消费体验,影响着社会经济生活的各个方......
道路交通作为当今社会生产生活的重要一环,保障城市交通道路的安全畅通,是实现城市人民生活稳步发展的一个先决条件,更是保障社会......
针对机场机坪服务作业多且逻辑复杂,机坪服务流程确定困难,给出了提高机坪作业调度时间弹性的方法。运用时延Petri网获取机坪所有......
在过去的几十年里，越来越多的人意识到运用形式化方法来解决工业领域内有关监督与可靠性、故障诊断、及资源最优化利用等问题的重要......
本文首先总结了工作流技术起源、定义、分类、优点、工作流管理系统及其发展现状，并介绍了Petri网基本概念以及Petri网在工作流建模......
时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法(简记作TPN......
针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定......
在序列对齐（Sequence Alignment)方法的基础上，通过时延Peri网来分析C'ook;ies网络日志，提出网络用户行为的相似性比较标准，给出快......
先行值计算是提高时延Petri网并行模拟性能的一个好的方法。给出了时延Petri网的先行值计算的四种基本结构，对于存在循环的复杂的Pe......
在对传统迷宫求解算法的不足进行分析的基础上,提出一种新的基于时延Petri网求迷宫通路的算法（Algo-rithm of Maze problem based o......
在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工......
为了保证城市道路“绿波带”的通行效率,合理协调主从道路的车流量,通过利用时延Petri网建模,提出了一种主从自适应协调控制方法.......
基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前......
模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri网的模拟能力比传统Petri......
本文提出一个ＣＩＭＳ四维动画仿真的并行策略，给出了有关的世界模型、并行显示、进程同步和通信的算法和思想。完成的一个制造加工系统已在......
多核任务映射是高性能计算领域的研究热点。基于torus互连的多核架构,本文提出了行资源映射和行优化资源映射两种算法,行资源映射......
为求得与实例到达率相关的工作流模型平均完成时间，对Petri网模型进行了扩展，定义了扩展时延Petri网，分析了工作流串联、并联、选择、......
针对工程施工安排问题中关键工序的求解，传统的通过时延Petri网确定肯定型工程关键工序的算法既要正向计算每个工序的最早开工时间，......
针对时延Petri网的死锁预防问题，提出了一个有效的预防控制算法，将信标控制死锁预防的方法应用到时延Petri网中，不需要列举全部可达状......
为了求解复杂Petri网系统的并行算法,解决Petri网系统的模拟运行和验证,提出一种基于多核机群的Petri网并行模型。首先,依据时延Pe......
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径，但是密码协议的形式化分析研究目前还不够......
时延Petri网是在一般Petri网的基础上，在变迁上引入相应的时间函数，使其具有很强的描述能力与性能分析能力。针对移动电子支付中愈加......
时延Petri网是在一般Petri网的基础上，在变迁上引入相应的时间函数，使其具有很强的描述能力与性能分析能力。论文利用时延Petri网对......
解同步电路设计方法可以与现有EDA工具较好地兼容,可以极大地提高异步电路的设计效率.基于解同步电路的抽象模型——控制图,提出了......
针对一般情况提出一个建立道路交叉口交通信号配时方案时延Petri网模型的方法．该方法将进入交叉口车流通行权的描述细化到了每一个......
软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽......
详细研究了柔性装配单元中的任务规划问题，采用时延Petri网对系统行为进行建模并提出了任务规划的时间优化算法，为装配序列规划提供......
分析目前用于工期计划管理的主要方法,并结合房地产开发项目的特点,提出基于时延Petri网（Timed Petri Net,TPN）的工期计划管理方法。......
时间是反映工作流性能的一个重要方面，立足于实际业务过程对工作流系统时间管理功能的需求，尤其是针对一些对时间性能要求比较高的工......
针对城市中小流量交叉口交通拥堵问题,提出了一种基于时延Petri网(TdPN)的可变相序信号控制模型;利用TdPN建立交叉口车流模型和信......
采用时延Petri网针对有代表性的柔性装配单元进行建模,柔性装配单元包括装配机器人、拧螺钉机器人、变位器和加工中心等自动装配和......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全......
Petri网是一个功能强大的建模工具，然而原型Petri网的模拟能力有限，而对原型Petri网的扩充可以提高其模拟能力。时延Petri网是一种重......
业务流程模型(Business Process Models,BPMs)作为一种形式化方法,广泛应用于业务分析及业务结构优化等方面。随着实际应用中越来......
航电系统的复杂程度日益提高,传统的人工检测维护手段已经无法满足现代化装备的支持保障要求,自动测试系统(ATS)正逐步成为复杂系......
随着经济的飞速发展,城市化进程的不断加快,汽车保有量以及道路交通量迅猛增加,交通拥堵、交通安全等问题越发严重。特别是在区域......
近几十年来,国民经济飞速发展,我国的城镇化进程在不断的加快,人口和机动车数量的飞速增长使得交通拥堵问题越来越严重。对于复杂......
为了分析抗沉组织的抗沉效能,找出影响抗沉效能的关键环节,建立了抗沉过程仿真的多智能体模型。介绍了抗沉过程多智能体的构成以及......
视觉注意机制是人类感知外部世界的重要手段之一。利用数学模型将视觉注意机制引入到计算机视觉中来模拟人类的视觉感知系统,是计......
随着我国经济的不断发展，人民物质生活与精神生活水平的不断提高，国家在基础建设方面的投入越来越多，从而使建筑市场逐渐扩大。如何使......
详细研究了柔性装配单元中的任务规划问题，采用时延Petri网对系统行为进行建模并提出了任务规划的时间优化算法。为装配序列规划提......
为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分......
