多部件串联系统机会维修策略优化

对于由多个不同故障率部件构成的串联系统,引入系统的机会维修系数概念,根据部件在预防维修间隔期中已经使用的时间判断其是否需要进行机会维修或更换。以系统在有限运行周期内的总维修费用最小化为目标,满足一定可用度为条件,建立多部件系统的机会维修优化模型。运用MATLAB编程进行算例仿真分析,求解出复杂系统各部件的最优机会维修方案。结果显示,运用文中模型能寻求出合适的机会维修系数,有效降低系统的维修成本,并提高其可用度。     

可用度及动态维修成本下的维修决策模型

为了制定一个更具操作性、符合生产实际的设备维修计划,采用现代设备维修管理理论,考虑了预防维修成本的动态性,构建出一种以预防更新周期内单位时间总维修成本最小为优化目标,以设备可用度为约束条件的预防维修决策模型。通过引入算例,运用枚举法,借助Matlab仿真软件来验证模型的合理性,同时证明了企业可采用该种决策模型来实现其维修成本的最小化。     

有穷机和逻辑结合的电子商务协议分析方法

提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运行过程,并且在发生重放攻击时能够正确分析各方的责任.利用该方法对Kim等人提出的改进版ZG协议进行了实例分析,给出了描述该协议运行过程的状态转换图,结合状态转换图对该协议分析得出其满足可追究性、公平性、时限性,并且不存在被重放攻击的可能.最后用时间自动机UPPAAL验证了新方法中有穷自动机模型的准确性和时限性分析的有效性.     

基于QCR-树的空间索引方法

QR-树处理海量空间数据时,其深度和R-树内目录矩形的重叠面积会变大,导致查询效率降低。针对该问题采用K-means算法对索引对象进行聚类分析,构造新的聚类中心使其能处理具有多种形体的索引对象,并在QR-树中引入超结点存储聚类结果。提出一种QCR-树空间索引结构来提高查询效率,给出QCR-树的插入、删除和查询算法。实验结果表明QCR-树的查询性能优于QR-树,适用于海量数据。     

基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.