基于博弈策略的攻防模型有效变化域验证算法

变化挖掘能够通过变化日志找到模型中可能存在的变化空间,而传统变化挖掘算法在信息安全攻防态势的场景下,结果可能并不符合安全需求,甚至极大偏离安全标准。针对此问题,提出了一种基于博弈策略的变化域验证方法,解决了传统变化挖掘算法不能验证自身有效性的缺陷。该算法首先会根据安全指标构建效益矩阵计算纳什平衡点,然后通过纳什平衡点验证攻防模型变化域的有效性,其次对无效的、次有效的变化域进行安全等级划分,并在应对未知漏洞的响应问题上给出明确的指导性意见,最后以典型信息安全事件为例验证了该方法的可行性。     

基于Petri网行为紧密度的业务流程配置优化分析

业务流程优化分析是业务流程管理的重要内容之一,存在配置信息的优化分析显得尤为重要。已有研究主要集中于业务流程优化分析,但对于存在配置信息的业务流程优化则存在不足。对业务流程配置优化分析进行了研究,提出了日志与业务流程Petri网模型的紧密度计算方法 以及基于行为紧密度的业务流程配置优化分析方法。首先根据给定事件日志的执行序列及实例数建立初始模型,计算初始模型与剩余日志的紧密度,利用紧密度大的日志优化初始模型;然后引进配置变迁对初步优化后的模型进行进一步优化;最后通过一个简单的实例说明了该方法的可行性。     

基于Petri网的流程模型中最小变化域的分析方法

为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题.已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性.基于Petri网方法及行为轮廓思想对业务流程模型进行分析,从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法,以及确定流程模型中最小变化域的分析方法.并给出一个具体的业务流程的实例,分析了该方法的有效性.     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

基于Petri网行为包含和行为继承的业务流程变化域传播分析

业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部边界变迁的减少来分析模型的变化域传播,因而具有一定的局限性。为了研究模型间的变化域传播问题,基于源模型和目标模型之间存在的迹等价及行为包含关系,通过给定源模型的变化域,提出了基于行为继承的变化域传播分析方法来寻找目标模型的变化域。最后,通过一个具体的流程实例进一步说明了该方法的可行性。     

基于拟间接依赖的过程模型挖掘方法

过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖的方法,其却没有从过程行为的角度进行分析。基于拟间接依赖的过程模型挖掘方法,把行为轮廓融入其中,依据行为轮廓建立初始模型;然后基于增量日志和拟间接依赖关系调整模型;最后根据评价标准选出最优模型。此方法特别适用于挖掘含有间接依赖的过程模型。     

基于随机Petri网的乘积形式解存在判定

给出了一个判定基于随机Petri网（SPN）的乘积形式解存在的定理.利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率.     

基于部分可观Petri网的机车故障诊断方法研究

机车调度的故障检测与诊断是保障行车安全的必要条件。为了实现故障的检测和准确诊断,以仅有部分库所可见的部分可观Petri网为建模工具,研究机车调度系统中传感器监控节点数目和位置的确定方法。首先,给出了加权Petri网系统中故障准确诊断方法,提出故障定位表和监控库所集的确定算法(FLTMPD),并进一步证明所提出的算法是正确的、有解的且具有多项式级时间复杂度。进一步,基于FLTMPD算法,给出了保证故障准确诊断下的部分可观系统设计方法,并且证明利用FLTMPD可以实现监控节点数目最少的最优监控。最后,以机车调度系统中的两类典型故障为例,通过构造对应的层次颜色Petri网模型,给出机车调度系统中传感器监控节点的安放位置,为工业应用奠定了理论基础。     

基于OPN的环境约束下Web服务组合正确性分析

为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模.通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性.