一种扩展的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个真实事件日志上与最新方法进行比较.实验结果表明所提方法能够选取出有效特征,提高预测的准确率,并解释预测结果.     

三维可视化建模技术在岩体质量评价中的应用

 岩体的结构特征对岩体工程施工有着重要影响,因此,正确进行岩体质量评价对工程设计和建设具有十分重要的意义。通过对大量数据的采集分析,运用三维可视化工程软件,以一种新的数据结构和方法建立工程结构和地质体三维线框和块段模型,并采用地质统计学方法对三维地质块段进行质量评价指标有效估值,最后按照空间图形集合运算算法,将不同指标的块段模型合并到一起,对岩体质量进行分析评价。将上述理论方法应用到金川III矿区的矿岩可崩性研究中,获得良好的应用效果。     

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

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

基于Laubscher 崩落图的矿体可崩性研究

通过对金川Ⅲ矿区的工程地质调查、矿岩力学性质试验,获得了表征矿山岩体工程质量的多种指标.在分析了这些指标后,选取节理间距、R_QD值、地下水、结构面状态、岩石单轴抗压强度指标建立了Ⅲ矿区的可崩性评价模型.由可崩性模型计算出各评价区域的M_RMR值,然后根据Laubscher 崩落图计算每个评价区域的初始和持续崩落水力半径分别为7.0～11.1 m和18.1～24.1 m,通过对计算结果的分析表明,这些区域适合应用自然崩落法进行开采.     

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

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

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

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

基于PDCA循环和文本挖掘的网络舆情监管方法

为了完善网络舆情信息的监管机制,使网络舆情能够被有效的梳理和监管,提出了基于PDCA循环和文本挖掘相结合的网络舆情信息监管方法。该方法采用PDCA的计划、执行、检查、改进四个步骤来梳理网络舆情信息监管流程,而在执行阶段则融入文本挖掘方法实现智能决策分析。本文首先分析了目前网络舆情管理的现状,其次给出了基于PDCA循环和文本挖掘的监管方法的实施方案,其中重点阐述了信息获取、热点网络舆情发现、情感倾向性分析等文本挖掘方法在其中的应用。