资源配置混杂Petri网的混杂系统生产过程动态调度

为了增强混杂生产过程应对突发事件的能力,以一种新的混杂Petri网(资源配置混杂Petri网)为研究模型,给出了相应的使能和激发规则.并在资源配置混杂Petri网建立的仿真模型的基础上,融入事件逻辑网和逻辑规划,提出一种适用于混杂系统动态生产调度建模和优化的方法.以典型的混杂生产过程为例,研究混杂系统生产过程建模及优化.研究结果表明,资源配置混杂Petri网模型描述能力强,能够有效描述混杂系统生产过程,所提出的动态调度方案切实有效.

基于标签时间Petri网最小初始状态的实时系统初始资源配置

针对实时系统完成特定任务序列的最少初始资源配置问题,本文研究了一种基于标签时间Petri网最小初始状态估计的解决方法.首先,对现有的标签Petri网的极小初始标识估计算法进行分析并提出改进方法,以适用于标签时间Petri网的极小初始标识的计算.其次,介绍一种基于路径(即变迁序列)的修正状态类图(MSCG).通过求解由路径MSCG的时间约束构建的线性规划问题,判定与极小初始状态相关的变迁序列是否与给定的时间标签序列一致.在此基础上,求出与时间标签序列相一致的极小初始状态集,并找出极小初始状态集中token总数最少的最小初始状态.最后,利用实例验证了所提方法的可行性和有效性.

基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Petri网解决资源共享和资源冲突的能力,定义一种新的混杂Petri网模型——资源配置混杂Petri网,提出了相应的使能和激发规则.将对连续变迁和离散变迁的控制作用引入混杂Petri网,同时,增加了资源配置变迁和资源释放变迁,用于有效分配可重复利用的资源.以典型的混杂生产过程为例,研究混杂系统生产过程建模.研究结果表明,所定义的模型描述能力强,模型语义正确合理,能够有效描述和分析混杂系统生产过程.

基于标签Petri网的自动制造系统初始资源配置优化

自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。针对该问题,提出了一种基于标签Petri网和整数线性规划的计算方法。首先,根据标签Petri网的结构化特性给出拟执行任务与初始资源的约束关系,将初始资源配置优化问题抽象为整数线性规划问题;其次,利用Lingo等软件求解该整数线性规划问题;最后,通过实例对提出方法进行验证。实验结果表明,提出的方法简单高效,对实际自动制造系统的初始资源配置具有一定借鉴意义。

基于赋时Petri网的高高原机场应急资源配置优化

为提升高高原机场应急救援效率,对高高原机场应急资源配置进行优化研究。分析高高原机场应急救援的特殊性,细分高高原机场应急救援作业流程。基于赋时Petri网对高高原机场突发事件应急救援作业的离散事件动态系统进行建模,分析模型可靠性,基于库所不变量分析法求解关键路径。实验以高高原机场航空器冲偏出跑道为例进行算例分析,求解关键路径,并对关键路径作业进行资源调整,实现应急救援作业周期优化。

基于时间约束的软件工程资源配置petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。本文提出了一种基于petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突。从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础。实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。

基于时间约束的软件工程资源配置Petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式的环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。提出了一种基于Petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据Petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突,从而为软件工程资源动态配置模型更好的应用于实践提供坚实的理论基础。实验证明：该方法可以及时的发现大规模分布式环境中软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。

基于Petri网的离散事件系统初始资源优化配置

资源优化配置技术能够在系统执行任务之前提供合理的资源分配方案,以满足预先设定的生产目标、成本等约束条件,对于节约成本、提高经济效益具有重要意义.本文基于Petri网研究离散事件系统的初始资源优化配置问题.首先,根据Petri网的结构化特性将初始资源优化配置问题抽象为整数线性规划问题;其次,利用Lingo等软件求解初始资源优化配置问题;最后,利用实例对提出的方法进行验证.实验结果表明,提出的方法简单,高效,具有重要的实际意义.

基于混杂Petri网的柔性制造系统免疫调度算法

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。

基于一种新型混杂Petri网的混杂系统建模与控制

为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题,定义一种新的混杂Petri网模型——广义混杂Petri网,提出了相应的迁移使能和迁移引发语义.通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有效求解方法和模型行为演变分析方法.给出了广义混杂Petri网模型的混杂系统建模实例,同时结合模型行为演变和线性规划实现了混杂系统的优化控制.研究结果表明,所定义的模型描述能力更强,模型语义正确合理,能够有效描述和分析混杂系统.

混杂电力系统频率紧急控制的Petri网建模与仿真

分析了混杂电力系统频率紧急控制问题的典型结构和动态方程 ,然后采用能对连续变量系统和离散事件动态系统建模和分析的有效工具——微分 Petri网 ,建立了混杂电力系统频率紧急控制的 Petri网模型 ,并提出了相应的优化控制策略。在此基础上 ,对紧急状态下混杂电力系统的频率调控过程进行了仿真计算 ,其结果表明文中所提出的模型与控制方案是有效的。

模糊柔性制造系统的混杂Petri网建模与调度

对模糊柔性制造系统的建模和调度进行了研究。定义了一种具有模糊区间速率的混杂Petri网模型,提出了模型的迁移使能和迁移引发语义,定义了弱使能迁移的模糊使能规则,给出了模型动态演变算法。建立了模糊柔性制造系统调度的模糊线性规划模型,并对典型的工业实例进行了分析。研究结果表明,基于所定义的混杂Petri模型能够有效地描述和分析模糊柔性制造系统。

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．

利用混杂Petri网对基于事件的机器人遥操作系统建模研究

针对采用基于事件思想的移动机器人遥操作系统 ,首次提出以混杂 Petri网作为描述工具进行建模 ,模型的离散部分利用传统的 Petri网 ,对应于系统的操作者 ;连续部分利用重新定义的便于描述微分代数方程的连续 Petri网 ,对应于位于远端的移动机器人 .

基于混杂Petri网的钢铁企业煤气能量流网络建模与权函数优化

为实现钢铁企业煤气能量流网络的高效运行,首先总结煤气能量流网络的特性和建模需求,给出煤气能量流网络和混杂Petri网的元素对应关系和建模规则,并给出建模实例;然后基于网络行为特征提出能量密度指标,建立优化能量密度的线性规划模型,对权函数进行重新配置;最后给出某大型钢铁企业的煤气能量流网络.利用建模规则建立其混杂Petri网模型,为煤气能量流网络的动态和行为分析提供了模型基础.基于煤气能量流网络历史数据,应用优化模型实现权函数重新配置,能量密度的优化值比历史值平均改进1.59%,优化了煤气能量流网络的运行.

混杂Petri网系统中同步距离的确定及同步控制器的设计

目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.

一类混杂系统Petri网模型的优化算法的研究

本文针对工业中广泛存在的混杂系统,结合进化算法,研究了应用Petri网的分层递阶建模方法,实现一类混杂系统的建模与优化。

城市交通网络的混杂Petri网建模

针对城市交通网络中的动态车流具有连续时间特性而动态信号灯具有离散事件特性的情况,采用混杂Petri网建立了一个四相位信号交叉口模型,该模型包含了城市交通网络中的连续车流动态和离散信号灯动态.在此基础上分析了交叉口各个方向的输入、输出车流动态,并与四相位信号交叉口的物理模型相对比,结果表明该混杂Petri网模型能够较好地描述城市交通网络的混杂特性.仿真结果表明了混杂Petri网模型的有效性.

企业节能生产调度优化一阶混杂Petri网方法

为解决企业节能降耗问题,采用一阶混杂Petri网的方法建立企业节能生产调度优化模型。针对企业生产过程的节能生产目标函数,在企业生产调度的基础上,采用线性规划方法对节能生产目标函数进行线性优化,从而给出企业的最节能生产策略。通过实例验证表明,所提方法对企业节能降耗具有重要的理论意义和实践指导意义。

混杂Petri网在流程工业生产物流建模中的应用

在对某炼油厂生产过程分析研究的基础上,利用混杂Petri网对整个炼油厂的生产物流进行了仿真建模。该模型既包括了离散事件动态系统又包括了连续变量动态系统,更符合生产的实际情况。在该仿真模型的基础上,可以根据不同的优化目标对生产物流进行实时优化。最后介绍了仿真系统的模型框架并对仿真实例进行了说明。