基于时间约束网的作战行动时间冲突检测

时间是作战行动描述的重要参数,对作战行动有重要的约束作用,各作战行动相互之间存在着不同的时间约束,为保证各作战行动在执行时不出现时间上的冲突,需要在执行前进行时间冲突检测。针对作战行动计划时间冲突的检测问题展开研究,通过对作战行动和时间之间的关系进行表达,建立了时间约束网络的数学模型,并采用Bellman—Ford优化算法对时间一致性进行验证,最终对作战行动的时间冲突进行检测。

采用时间约束Petri网分析优化广电过程模型

企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案。

基于时间约束Petri网的工作流可调度性分析

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。

基于时间约束Petri网的一致性验证算法

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法。首先,给出了时间约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模。然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法。该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析。最后,以保险索赔为例验证了所提方法的可行性。

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。

时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度。然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集。实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值。

一种基于Ontology的WEB服务时间约束定义及验证方法

针对目前面向服务计算(SOC)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法。该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束。扩展已有的Petri网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系。根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束Petri网(TCPN)间的映射关系。该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础。

时间Petri网在项目进度管理建模中的应用

通过分析现有时延Petri网和时间Petri网在项目进度管理仿真模型的不足,提出基于库所时间约束Petri网的项目进度管理模型,该模型具备全局时钟特性,不仅能体现工序自身时间参数,同时能对外部资源等工序外延时间约束进行建模。实例仿真结果表明该模型的有效性。

时间约束下任务关键系统的可调度性分析

针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。

TCPN的可调度性及调度区间的约束分析

时间约束 Petri网 (TCPN)通过引入时间因素 ,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性 ,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构 ,对变迁的可成功调度与否以及影响调度区间的约束条件进行了分析和研究 ,简化了 TCPN网的可达性与可调度性的分析方法。

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.

基于TCPN的协同设计过程资源约束可调度性分析

设计资源的有限性和设计活动的并发性会导致产品协同设计过程中的资源冲突.针对具有时间属性的产品协同设计过程资源约束的可调度性问题,采用时间约束Petri网理论提出一种产品协同设计过程资源约束网模型,定义了具有单一资源库所输入和多个资源库所输入的设计活动变迁的可调度性概念及其判定规则.把协同设计的资源约束可调度性划分为弱可调度和强可调度2类,通过引入变迁序列的token到达资源库所时间上下界的概念,给出了产品协同设计过程资源约束的可调度性规则及算法.最后通过一个链式输送机传动系统的协同设计资源约束模型,验证了文中方法的有效性.

装配序列约束下的飞机虚拟维修过程建模仿真

针对当前飞机虚拟维修过程模型固化,对维修复杂行为关系缺乏考虑,无法满足学员多样性实训需求的现状,充分考虑了飞机系统的复杂度、学员操作的不规范性和随机性等因素,依据各维修装配序列间的优先约束关系,构建了优先约束矩阵,进而定义了优先约束时间有色Petri网模型。在系统梳理维修实体及其维修操作行为的基础上,提出了虚拟维修实体操作元模型和元模型融合下的过程建模,阐述了基于优先约束时间有色Petri网的动态虚拟维修过程实现方法。最后,以A320飞机加油活门的某一个随机拆卸过程为例,进行建模仿真,验证了模型的有效性。

基于改进Petri网的区域综合能源系统能耗建模及优化运行分析

区域综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际运行中往往难以确定最优的供能方式。从能耗分析的基本原理出发,结合带时间约束的模糊有色Petri网特定的建模原则,提出一种区域综合能源系统能耗优化推理模型。该模型在满足负荷需求和基本运行条件下,从综合能源系统运行成本、污染物排放量和一次能源消耗量3个方面对系统供能路径进行优化,通过对系统进行能耗仿真分析,从而得到不同需求场景下的最优供能方式。最后以某实际区域综合能源系统为例,验证了所建模型的有效性和实用性。

作战计划时空建模与冲突检测算法

为解决作战推演中作战计划时空冲突检测问题,对作战计划建模和时空冲突检测算法展开了研究。首先将作战计划分解为推演事件序列并分析了推演事件之间的时空关系;然后采用时间约束网表达推演事件序列,将推演事件时间冲突检测转化为负环检测问题;最后采用Bellman_Ford算法设计了负环检测函数,并对典型案例进行了实验,验证了算法的可行性。

基于TCPN的产品协同设计过程时序逻辑推理研究

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.

资源约束项目时间-成本均衡优化仿真模型

项目时间-成本均衡优化是项目管理学术界研究的热点难点,资源约束下项目时间-成本均衡优化是一类强NP-Hard问题.通过构建基于着色成本时间约束Petri网的项目仿真模型,分析模型变迁激发规则以及时间、成本的累加性,提出基于时间成本状态类的项目时间-成本分析方法.通过实例仿真求解资源受限情况下的工期最短问题和工期一定下的成本最优问题,仿真结果表明,该模型可以很好的表示项目资源约束的同时,实现项目时间-成本均衡优化,同时可以求解项目有效工期-成本曲线.

TCPN的组合可调度分析

时间约束Petri网(Ti ming Constraints Petri nets,简称TCPNs)是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足,本文对相关定义重新定义,丰富并完善了TPCNs理论。本文首先给出了新的针对单个变迁或变迁序列的可调度分析策略。如果一个特定的变迁序列是可调度的,则相应的活动序列也同样可以顺利地完成自身的执行;否则,不可调度的变迁需要调整自己的时间约束;然后提出了组合式的可调度分析策略以分析复杂变迁序列,最后提出时序一致性的概念。