基于时延Petri网模型的机器人装配任务规划

采用时延Petri网针对有代表性的柔性装配单元进行建模 ,柔性装配单元包括装配机器人、拧螺钉机器人、变位器和加工中心等自动装配和制造中的常用设备 ,具有较大的通用性。推导了顺序作业和并行作业的时间消耗计算方法 ,针对具体任务提出了任务规划的时间优化算法 ,通过仿真和试验两种方法对最优规划序列进行了验证。该项研究可在作业时间要求严格的场合产生优化的装配任务序列 。

基于时延Petri网的交通信号配时方案建模与分析

针对一般情况提出一个建立道路交叉口交通信号配时方案时延Petri网模型的方法.该方法将进入交叉口车流通行权的描述细化到了每一个行驶方向每一个转向,因此便于对系统模型各种性质进行分析以及适合将其作为基于Petri网的城市交通网络仿真模型的一个组成部分.讨论模型分析并针对一个实例给出了模型仿真运行的结果.

时延Petri网分布式模拟的先行值研究

先行值计算是提高时延 Petri 网并行模拟性能的一个好的方法。给出了时延 Petri 网的先行值计算的四种基本结构,对于存在循环的复杂的 Petri 网结构给出了预测图算法,通过预测图,能够很容易求出静态和动态先行值,在并行模拟中利用先行值可以分析出存在并发和阻塞的结构,从而为网分块在并行机的结点上运行奠定了基础。

柔性制造系统时延Petri网模型排产优化研究

为解决现有柔性制造系统排产效率低的问题,提出一种基于时延Petri网模型的柔性制造系统排产优化方法。首先,根据柔性制造系统生产模式的特点,为其建立包含生产路径约束信息的时延Petri网模型。其次,设计遗传算法与模拟退火算法的混合算法,快速搜寻时延Petri网模型最优或次优变迁发生序列,从而得到系统加工优化路径。最后,通过算例仿真与分析,表明该算法具有较高的准确率,且有较强的跳出陷阱能力,证明了其在基于时延Petri网模型的柔性制造系统排产优化方面的有效性。

利用基本信标的时延Petri网的死锁预防策略

针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为活的网系统.首先将时延Petri网拉伸,使得不改变原来系统性能的情况下,拉伸后的网SPN所有变迁均为单位时延,然后针对SPN,采用基本信标控制方法,根据所得标识约束添加控制库所,使基本信标和从属信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.

基于Uppaal的时延Petri网到时间自动机等价模型验证

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法(简记作TPNtoTA转换),将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证。

基于时延Petri网的移动电子支付协议模型

时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力。针对移动电子支付中愈加严重的交易安全问题,通过对电子支付系统和移动电子支付流程的分析,发现移动电子商务SET协议存在漏洞,建立基于时延Petri网移动电子支付协议时延Petri网模型,为安全电子交易过程提供进一步的安全保障。

基于价格时延Petri网的超级节点网格调度

针对资源节点基于语义相似度聚类的超级节点模式网格,提出了一种面向用户截止时间、费用上限及二者之间偏好参数等QoS参数约束的网格协作型任务调度算法,其中考虑资源的动态性,引入重调度机制。然后,采用价格时延Petri网这一图形与数学工具,对复杂的调度过程进行形式化、层次化建模,增进对调度系统的理解。构建调度模型的可达任务图,分析调度系统的诸如调度时间、费用、吞吐量、负载平衡等重要性能。实例验证调度算法的有效性,分析了需要协调多种类型资源的网格协作型任务的调度过程及调度系统的若干重要特性。研究内容对于指导实际超级节点模式网格系统的开发、部署均具有重要意义。

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.

基于时延Petri网和人工蜂群算法的航电系统并行测试研究

航电系统的复杂程度日益提高,传统的人工检测维护手段已经无法满足现代化装备的支持保障要求,自动测试系统(ATS)正逐步成为复杂系统与设备可靠运行的必要保证,而并行测试是下一代自动测试系统(ATS,automatic test system)的关键技术之一。以并行测试技术为基础,在时延Petri网的基础上,对航电系统测试任务进行建模,并采用人工蜂群算法对Petri网的变迁序列寻求最优解,找到测试时间最短的变迁序列。仿真结果表明,该算法能够快速准确地得到最优的测试方案。

基于时延Petri网的肯定型工程关键工序的求解

针对工程施工安排问题中关键工序的求解,传统的通过时延Petri网确定肯定型工程关键工序的算法既要正向计算每个工序的最早开工时间,也要逆向计算每个工序的最晚开工时间,然后进行比较,计算量比较大。本文对传统的通过时延Petri网确定肯定型工程关键工序的算法进行改进,只需正向计算各工序的最早开工时间和进行简单的比较,对于比较大型、工序比较繁多的工程项目,计算变得更加简单容易。

基于时延Petri网的房地产业工期计划管理

分析目前用于工期计划管理的主要方法,并结合房地产开发项目的特点,提出基于时延Petri网(Timed Petri Net,TPN)的工期计划管理方法。该方法具有传统方法的特点,且解决了传统方法不能实时了解工期进展状况的缺点。论文最后通过模拟房地产开发项目验证了该方法在房地产开发工期计划管理中的适用性和有效性。

基于时延Petri网的双重数字签名技术研究

时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力。论文利用时延Petri网对安全电子交易的双重数字签名技术进行建模,通过对所建模型进行描述与分析,指出问题所在,找到问题的解决方案,为安全电子交易过程提供进一步的安全保障。

基于时延Petri网的密码协议分析及性能评估

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估。作为实例,文章对MSR无线协议作了详细的形式分析和性能评估。最后,与其它形式化分析密码协议的方法作了比较。

时延Petri网模拟能力研究

Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力。时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要。本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力。而后用时延Petri网实现对计算机经典问题的建模。

基于时延Petri网建模的主从自适应协调控制方法

为了保证城市道路"绿波带"的通行效率,合理协调主从道路的车流量,通过利用时延Petri网建模,提出了一种主从自适应协调控制方法。该方法可以根据干线主路口的车流量自动调整其相位时间,也可根据主路口的相位及车流量自动协调变换从路口的相位时间。通过案例分析,该方法可以有效实现主从路口的自适应协调控制,在保证绿波带畅通的同时,使通过支路的车辆数尽可能大,有助于提高交叉口的通行效率。

一种基于库所含时间因素的时延Petri网的工作流建模方法

时间是反映工作流性能的一个重要方面,立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,提出一种新的工作流建模工具TPWF-NET(Timed Places WorkFlow-Net),并给出结构完整性的验证方法。

基于时延Petri网的机坪作业调度时间弹性提高方法

针对机场机坪服务作业多且逻辑复杂,机坪服务流程确定困难,给出了提高机坪作业调度时间弹性的方法。运用时延Petri网获取机坪所有可行路径;以机坪作业总时差最大为目标函数建立优化模型,获取时间弹性最佳的可行机坪服务流程。以国内某机场具体机坪保障时间参数为例验证了该方法的有效性。

基于时延Petri网的网络日志行为相似性分析

在序列对齐(Sequence Alignment)方法的基础上,通过时延Petri网来分析Cookies网络日志,提出网络用户行为的相似性比较标准,给出快速计算网络用户行为相似度的算法,从Petri网的结构特征和时间特征上计算不同用户的相似性.所提出的方法为网络用户行为的细分提供了一种新的思路和方法.

基于时延Petri网的并行程序的分析

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的。时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割。给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础。