Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念，并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到，从而可由这些S-网来求取∑的语言，最后给出了结构复杂的Petri网的语言的求解算法。     

基于事件日志增强的时序活动表示学习方法

传统业务流程建模与分析任务中通常将活动表示为离散符号,损失了一定的语义信息。针对这一问题,提出了时序活动表示学习方法,使用多维实数向量对活动语义进行量化表示,为深度学习等现代人工智能技术在业务流程建模与分析中的应用提供基础支持。首先利用过程模型对事件日志的高层次抽象能力,通过过程模型挖掘及仿真对原始事件日志进行增强,扩大事件日志规模并强化活动关系统计信息;然后设计了融合活动关系和执行时间信息的向量表示学习算法,从增强后的事件日志中学习活动向量表示。通过在一个公开的真实医院诊疗日志语料上开展的实验研究验证了所提方法相比于传统的词向量学习方法具有明显优势。     

目标导向的多线程程序UAF漏洞预测方法

Use-After-Free （UAF）漏洞是多线程程序的常见并发缺陷.预测性UAF漏洞检测方法因兼顾误报率和漏报率而备受关注.然而,已有的预测性UAF检测方法未结合待检测目标作针对性优化,当程序规模大或行为复杂时会导致检测效率低下.为解决上述问题,本文提出一种目标导向的多线程程序UAF漏洞检测方法.首先,由程序运行轨迹挖掘程序的Petri网模型;之后,针对每一个潜在可构成UAF漏洞的内存Free/Use操作对,以触发该漏洞为目标导向,在程序的Petri网模型中添加保持操作间因果约束和数据一致性的行为控制结构,在此基础上设计一种基于Petri网反向展开的UAF漏洞检测方法.该方法每次只针对一个潜在的UAF漏洞有针对性地验证其真实性,从而保证检测的效率.与此同时,为减少待检测的潜在UAF漏洞数量,提出一种新型向量时钟进行Free操作与Use操作间的因果关系自动识别,据此对潜在的UAF漏洞进行筛选.结合多个程序实例对所提方法进行了实验评估.实验结果表明,所提方法在检测的效率和准确性方面较主流方法有所提高.     

基于变迁指标的Petri网分解方法

通过定义Petri网变迁的指标函数,给出一种基于变迁指标的Petri网分解方法,通过分解得到子网系统均为结构简单的T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统,这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。     

并行工程中MAS决策的协商机制及其评价

并行工程中,多Agent智能决策是一个核心组成部分。Agent间决策结果的不一致性会影响整个并行工程的决策结果,需要采取适当的协商机制调节Agent之间的矛盾。本文给出了可信度优先、权威性优先、相邻影响、彼此影响等四种Agent协商机制以及相应的决策公式,并对它们进行了量化比较,分析了各自的优越性和适应性情形。最后给出了基于协商的Agent分组决策的一致性策略。     

跨组织业务流程模型挖掘与质量评估

跨组织业务流程需要多个组织相互配合,协同工作来完成一项由单个组织无法完成的任务.由于跨组织业务流程的复杂性与分布性,其建模与分析过程是一项耗时且容易出错的任务,要求建模人员拥有丰富的经验和行业知识.流程挖掘通过分析业务信息系统执行过程中产生的日志为模型构建提供了一种自动化方法.然而,传统的流程挖掘技术仅支持单个组织的日志挖掘,无法有效地处理跨组织业务流程挖掘问题.本文针对此问题提出一种跨组织业务流程模型挖掘方法.首先扩展已有的流程挖掘方法来进行单个组织的业务流程模型挖掘;其次,定义组织间三种典型的协同模式,并提出相应算法以挖掘组织间的协同模式;再将各个组织的流程模型和协同模式集成,得到全局跨组织业务流程模型;最后采用传统的质量评估指标和提出的协同模式拟合度来量化发现的跨组织业务流程模型质量,通过四个不同的跨组织业务流程案例与已有挖掘方法进行比较,验证本文提出挖掘方法的有效性和可用性.     

一种基于案例簇和同步核的过程发现算法

任务依赖关系随案例属性值变化而不同以及不可见任务的挖掘是过程发现中的两个难点.为解决上述问题,本文提出一种基于案例簇和同步核的过程发现方法.首先,分案例簇挖掘业务过程子模型中的任务依赖关系,借助同步核对这些子过程模型进行建模;之后,提出一种基于返回核的循环结构建模方法,并给出从组合案例挖掘返回核的算法;最后,将各案例簇对应的同步核与返回核进行集成,并将集成后的同步核转换为WF-net模型,由此实现了业务过程WF-net模型的重构.本文方法可有效解决不可见任务的挖掘以及任务依赖关系随案例属性值变化而不同的问题.     

基于程序运行轨迹Petri网模型挖掘的死锁检测方法

程序死锁检测对于保证软件系统的稳定性具有重要作用.动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究.然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及其执行场景进行准确刻画,从而会导致误报现象.针对该问题,提出一种新型的基于程序运行轨迹Petri网模型...     

大红山铜矿缓倾斜中厚多层矿体开采方法研究

在分析了大红山铜矿开采技术条件和原有采矿方法局限性的基础上,提出对研究对象进行开采方法研究和出矿工艺优化,采用铜铁合采和合采分出工艺来适应不同的矿体开采,优化了采矿工艺,并在矿山进行了设计规划和实际应用,对类似矿床的开采具有参考和借鉴意义。     

大红山铜矿铜铁合采矿柱废石胶结充填工艺技术研究

随着浅表优质矿产资源的逐步消耗殆尽,提高资源综合利用率,合理开发利用低品位矿产资源越来越受到国家和企业重视。大红山铜矿铜铁合采方法是回收利用低品位铜和铁资源十分有效的手段。文章通过对大红山铜矿矿床赋存条件的分析,提出了大红山铜矿铜铁合采的采矿方法,同时对影响铜铁合采成败的关键问题矿柱充填工艺技术进行了多方案比选,最终选择了泵送废石充填料浆充填工艺方案,具有适用性和可行性。