服务于本体逻辑理论的本体定义

本体概念过分模糊和庞大,不利于构建、共享和重用。该文从当前的研究和应用需求出发,给出一个强调论域的本体定义,是完善本体逻辑理论的基础。总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础。     

基于日志的流程相似度计算方法适用性分析

针对现有业务流程相似度计算方法的不足,从流程日志出发计算流程相似度,并根据以流程日志为输入的特点对现有方法进行了改进,提出两种改进方法。一种方法是通过日志重构流程模型,基于模型结构计算流程相似度,但是为体现流程日志中对流程结构某些执行路径或分支的倾向性,在流程模型上重演日志轨迹,利用A*算法寻找匹配日志轨迹的最佳重演方式,识别最佳重演方式下被执行的流关系,以对流关系加权生成加权BPMN模型计算流程相似度;另一种方法不需重构模型,基于任务序列计算流程相似度,为支持任务相似度计算,定义了任务间的距离,由此得到支持任务距离度量的轨迹距离,进一步利用轨迹多集计算流程相似度。通过在不同的真实数据集上的实验,分析了两种方法在相似度计算结果的异同之处,并总结了两种方法的适用范围。     

基于库所指标分解的Petri网活性与公平性分析

Petri网的分解技术是用于复杂网系统分析的一种有效手段．基于库所指标的Petri网分解方法，将一个复杂的网系统分解成结构简单的子网，分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的．若分解过程中保持系统的语言行为不变，则在Petri网的活性和公平性方面有着对应关系．本文基于分解给出了Petri网活性判定的充要条件和公平性判定的定理，对基于分解的复杂系统的Petri网分析方法提供了更为有效的理论和可行的技术．     

一种扩展的BML模型及其数值模拟

本文在具有广泛影响意义的二维元胞自动机交通流模型--BML模型的基础上,重新考虑了城市实际交通流的特点,将一种与车辆相关的OD(Origin and destination)属性引入其二维网格中,建立了一种扩展的BML模型,并在数值模拟的基础上对其进行了验证和讨论.     

基于Petri网展开的多线程程序数据竞争检测与重演

数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展开的新型数据竞争检测方法.首先,对程序的某一运行轨迹进行分析和挖掘,构建程序的一个Petri网模型,它由单一轨迹挖掘得到,却可隐含程序的多个不同运行轨迹,由此可在保证效率的同时降低传统动态分析方法的漏报率;其次,提出基于Petri网展开的潜在数据竞争检测方法,相比静态分析方法在有效性上有较大提升,而且能明确给出数据竞争的产生路径;最后,对上一阶段检测到的潜在数据竞争,给出基于CalFuzzer平台的潜在死锁重演调度方法,可剔除误报,保证数据竞争检测结果的真实性.开发相应的原型系统,结合公开的程序实例验证了所提方法的有效性.     

一种预测流程剩余时间的可解释特征分层方法

流程剩余时间预测对于业务异常的预防和干预有着重要的价值和意义.现有的剩余时间预测方法通过深度学习技术达到了更高的准确率,然而大多数深度模型结构复杂难以解释预测结果,即不可解释问题.此外,剩余时间预测除了活动这一关键属性还会根据领域知识选择若干其他属性作为预测模型的输入特征,缺少通用的特征选择方法,对于预测的准确率和模型的可解释性存在一定的影响.针对上述问题,提出基于可解释特征分层模型(explainable feature-based hierarchical model,EFH model)的流程剩余时间预测框架.具体而言,首先提出特征自选择策略,通过基于优先级的后向特征删除和基于特征重要性值的前向特征选择,得到对预测任务具有积极影响的属性作为模型输入.然后提出可解释特征分层模型架构,通过逐层加入不同特征得到每层的预测结果,解释特征值与预测结果的内在联系.采用LightGBM (light gradient boosting machine)和LSTM (long short-term memory)算法实例化所提方法,框架是通用的,不限于选用算法.最后在8个真实事件日志上与最新方法进行比较.实验结果表明所提方法能够选取出有效特征,提高预测的准确率,并解释预测结果.     

基于三维可视化技术的露天境界优化研究

露天境界优化是露天矿设计和生产经营管理的重要环节。最终境界优化是一项需要综合考虑矿山资源状况、开采技术条件、矿产品销售价格、矿石开采及处理成本等多因素,实现经济效益最大化的复杂工作。采用三维可视化技术选择Lerchs-Grossmann优化方法(L-G法)对云南易门铜矿进行露天境界优化研究,通过对露天境界中优化参数和优化方法的探讨,得出了矿山开采优化的露天经济境界,为矿山的开发提供直接技术方案和投资决策依据。通过研究,总结出了露天境界优化过程中应用的主要技术和方法。     

ImPact综合通讯系统在地下矿山的应用研究

在现代矿山通讯技术综述的基础上,对ImPact综合通讯系统的原理和技术方法进行了初步介绍.对该系统在云南某铜矿的井下综合通讯系统平台建设中的具体应用情况进行了深入探讨,并提出了建立基于无线和有线结构网络的ImPact综合井下通讯系统的可行技术方案.     

基于表示学习的业务过程模型匹配方法

近年来过程感知信息系统在各类企事业单位中得到了极大的普及,产生了大量业务过程模型,如何对海量业务过程模型进行有效管理成为业务过程管理领域中的重要任务.业务过程模型匹配是海量业务过程模型管理的一项关键技术,然而大多数过程模型匹配方法仅依赖于活动标签信息,在匹配精度上还有一定欠缺.为此提出一种基于表示学习的过程模型匹配方法...