面向设备状态维护的服务动态配置与优化方法

在MRO的设备状态维护领域，故障推理过程是一个典型的协作企业间故障诊断服务的动态配置过程，经常以较大概率出现失败。为保障动态多变MRO环境中故障诊断服务流程执行的可靠性，项目提出面向设备状态维护的服务动态配置优化方法。研究内容包括：提出一种基于有色Petri网的服务配置模型的形式化验证方法，以探测服务配置模型的逻辑和功能错误；建立故障诊断服务的质量模型及QoS评价方法，采用柔性约束满足框架形式化描述QoS感知的可用服务选择策略，通过用户效用函数求解服务动态配置的多约束最优路径问题；提出基于Bayes信任模型的服务配置优化方法，构建面向设备状态维护的服务适应性优化配置模型。项目预计在服务配置的优化策略和信任模型等关键技术创新、专利申请等方面取得成果，并通过钢铁连铸设备维修维护服务等典型案例进行验证和示范，研究成果可推广到其他网络应用领域，具有重要的科学意义和广泛的应用前景。

在MRO 的设备状态维护领域，故障推理过程是一个典型的协作企业间故障诊断服务的动态配置过程，经常以较大概率出现失败。为保障动态多变MRO 环境中故障诊断服务流程执行的可靠性，项目以上海宝钢连铸设备的维修维护服务为背景，研究了面向设备状态维护的服务动态配置优化理论，提高了MRO协作环境中故障诊断流程服务的可靠性和适应性。具体内容包括： .（1）服务配置模型的可行性验证：给出服务配置规则的代数定义，并将OWL-S规范中的组合要素转换为有色Petri网模型；对有色Petri网表示的服务配置模型进行形式化分析和验证，探测服务中的逻辑和功能错误，并预测服务配置系统运行时的动态属性。.（2）QoS感知的可用服务选择策略：面向MRO的故障诊断服务配置环境，定义了统一的服务质量模型，建立了服务配置流程QoS的评价方法；针对用户的特定偏好，采用柔性约束满足框架形式化描述面向故障诊断流程的全局最优QoS选择问题，建立基于效用函数的优化目标，通过启发式搜索算法快速寻找满足优化目标的最优解。.（3）基于信任模型的服务配置优化：故障诊断服务流程中涉及的服务组件是不断变化的，通过组合演化保障配置流程的成功执行；以服务调用执行的成功概率度量故障诊断服务的信任度，通过直接信任、自荐信任、综合信任模型提高组合服务的可信性需求；提出基于Bayes信任模型的服务优化配置方法，以满足组合的时效性。.（4）连铸设备状态维护服务的应用性验证：开发了连铸设备故障诊断服务动态配置优化的验证平台。.对于动态多变的MRO协作环境，面向设备状态维护的服务动态配置优化方法既可以在故障诊断流程执行的初级阶段验证服务配置行为的正确性，又能在故障诊断流程的执行过程中，根据各参与知识主体的约束要求，保证服务的可靠性等质量属性维持在一个较高的水平，还可以在流程执行后根据故障推理结果维持高可信的故障原因信息，满足MRO设备状态维护的业务协作要求。.项目执行期间，共申请了国家发明专利11项，3项授权；围绕关键技术研究，已发表23篇标注基金号的论文，录用论文1篇，另有6篇因时间或疏忽而没有标注，但文章确是反应了项目的先期成果，其中，11篇是SCI检索源期刊，全部论文EI检索源刊；获得科技奖励2项；培养研究生11人。项目的部分内容在企业得到验证，获得初步经济效益。研究成果可推广到其他网络协作应用领域，具有重要的科学意义和广泛的应用前景。