非线性状态空间模型的EHMM抽样法

给出了一种新的非线性状态空间模型的MCMC方法——EHMM（Embedded Hidden Markov Model）抽样法,运用该方法构造的Markov链的收敛速度比传统的MCMC方法有明显提升,文中证明了这一结论并以一维非线性状态空间模型为例加以说明。     

OMERR：面向应急领域的本体管理与资源推荐工具

在应急处置过程中,应急资源的高效推荐是辅助指挥中心领导制定决策的关键. 因此设计并实现了一个面向应急领域的本体管理与资源推荐工具,OMERR,该工具为领域专家提供了类似 Protégé的本体管理和规则推理功能,为应急值守人员和指挥中心领导分别提供了突发事件上报和事件处置的功能,根据突发事件的信息可以提供基于规则的应急资源推荐. 详 细介绍了工具中的应急领域本体模型、推理规则表示方法以及基于规则的应急资源推荐等关键问题. 定义了覆盖率和命中率两个定量评价指标,通过汶川地震案例对工具性能进行了评价,评价结果表明了应急资源推荐的有效性和准确性.     

基于Petri网的随机库存系统仿真

定义了一类含弧权变量的Petri网,并以此为工具构造出一种Petri网随机数发生器,进而实现了对(s, Q)策略随机库存系统的建模.该模型可实现需求量与供货滞后时间均为随机变量的库存系统的计算机仿真,通过运行能得出特定策略下系统的平均销售量、订货费、缺货损失费及库存管理费等参数的情况,进而可确定出最优的(s, Q)策略.     

求取S-不变量基的新算法

S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。     

S-不变量极小支集判定的多项式算法

S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。     

随机数生成的Petri网模拟

引入含弧权变量的连续Petri网的概念,并以此为工具,介绍了用Petri网来模拟逆变换法和离散法的方法,利用该方法可以生成服从任意连续或离散分布的随机数。     

基于同步核的BPMN模型融合

流程融合有利于优化企业内部流程、促进企业间的有效合作.然而,现有流程融合技术在流程行为不变性保持以及融合过程自动化方面存在不足,而且未见BPMN模型的融合方法.为解决上述问题,本文提出了一种基于同步核的任务依赖关系建模机制,给出了流程的BPMN模型与同步核模型之间的相互转换方法,实现了相应的原型系统,最终基于同步核的融合实现了BPMN模型的融合.     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

基于角色关系网络的应急处置业务流程相似度计算

突发事件应急处置业务流程相似度计算对于应急响应流程的智能构建具有重要作用.现有的相似度计算方法多是考虑活动和流关系的相似性,忽略了角色和组织等重要的流程要素.本研究尝试从角色视角出发度量流程之间差异和相似性,给出一种基于角色关系网络的应急处置业务流程相似度计算方法,综合考虑了角色层次关系以及角色之间的任务交付关系.首先...