国家自然科学基金(60973100)
- 作品数：10 被引量：71H指数：5
- 相关作者：张力刘英博任艮全赵炯莫欣农更多>>
- 相关机构：清华大学山西兰花科技创业股份有限公司更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 面向维修过程的预警模型被引量：1
- 2010年
- 针对大型装备在维修过程中缺乏有效、全面预警机制的问题,提出了一套面向维修过程的预警方案。该方案以五元组通用预警描述模型为基础,对维修过程中的维修需求编制、维修活动计划、维修作业执行和维修物料管理四个方面进行了预警模型的定制,进而形成面向维修过程的预警系统。通过在维护、维修和大修企业信息化平台上实现该预警方案,验证了模型的合理性。
- 刘枫张力刘英博段君
- 关键词：维修过程预警
- 工作流应用数据生命周期模型的提取方法被引量：4
- 2011年
- 针对工作流管理系统中对应用数据的分析和研究需求,结合目前已有的工作流应用数据的研究成果,提出了一种应用数据的生命周期模型提取方法。该方法以WFD-net为输入,通过自动分析,得到各种类型的应用数据在工作流中随流程执行的状态变化情况,然后通过对状态变化情况的分析,综合得出流程中应用数据的复合对象生命周期模型。为了验证提取方法的可行性和正确性,开发了一套复合对象生命周期模型提取工具。
- 田钊程曜安刘英博赵炯张力
- 关键词：工作流应用数据生命周期模型
- MRO支持技术研究被引量：31
- 2010年
- 为支持预测性维修为主的综合维修模式,从产品全生命周期管理角度出发,研究了产品生命中期阶段维护、维修和大修支持系统总体框架以及维护、维修和大修支持技术体系。在总结维修服务系统发展历程的基础上,分析了维护、维修和大修服务管理需求,给出了维护、维修和大修支持系统总体框架和支持技术体系。最后,阐述了维护、维修和大修支持技术体系各个部分的核心技术。
- 王建民任艮全张力刘英博莫欣农
- 关键词：决策支持运行监控
- 大型复杂装备MRO系统解决方案被引量：30
- 2010年
- 为达到大型设备的全生命周期信息综合利用和精益维修的目标,分析了支持持续改进的维护、维修和大修业务需求,提出了一种维护、维修和大修支持系统的解决方案。在此基础上,讨论了系统中的关键技术,以中性物料清单为核心的维修知识管理和物料结构追踪技术来综合运用全生命周期知识;采用基于规则的维修策略表示和判定技术为精益维修的实施提供支持。通过唐安煤矿维护、维修和大修的实施,验证了所提方案的有效性。
- 程曜安张力刘英博莫欣农
- 关键词：产品生命周期管理物料清单
- 一种通用维修策略描述语言被引量：2
- 2010年
- 为解决计算机辅助的设备维修管理中,维修策略复杂多样、描述方式不统一所带来的维修知识难以共享的问题,定义了一种维修策略描述语言。该语言从维修对象选择、维修判定条件描述、维修执行方法和策略有效性四个方面对维修策略进行了统一定义,具有很好的通用性。通过示例阐明了定期维修、基于状态的维修、事后维修等典型维修策略的维修策略描述语言描述方法。基于所定义语言实现了维修策略表示和判定工具,并在企业中得到了应用,验证了该语言的实用性。
- 刘明刘英博张力吕志峰
- 关键词：描述语言设备维修
- 基于多层次模型的MRO系统建模被引量：7
- 2010年
- 采用模型驱动思想,针对维护、维修与大修问题域,分别从对象层和业务层对维护、维修与大修核心业务的共性需求进行分析,抽取出描述维护、维修与大修核心业务的基本要素及其相互关系,并给出相应层次的元模型。在此基础上,提出了一种具有三层结构的模型驱动框架,并分别给出了基于元模型的对象层转换机制和业务层转换机制。最后,给出了一种可支持不同层次开发人员参与的模型驱动维护、维修与大修应用开发平台。
- 刘英博徐云龙张力
- 关键词：元模型
- 产品维修阶段BOM数据起源研究被引量：7
- 2010年
- 介绍了产品物料清单演化历史追踪的内涵,总结了相关研究工作,指出了基于版本的产品物料清单演化历史追踪存在的问题。介绍了数据起源的相关概念,给出了数据起源和产品物料清单的数学模型。在实例物料起源标注设计和建模的基础上,针对三种典型的物料清单演化历史追踪需求,给出了产品物料清单起源追踪模型。与基于版本管理的产品物料清单起源追踪相比,基于实例物料起源标注的产品物料清单起源追踪不但能显著减少物料清单版本快照数据的存储量,而且能克服版本管理存在的版本向上蔓延问题。
- 任艮全张力王建民
- 关键词：物料清单版本管理数据起源数学模型
- 支持数据及人力资源绑定的业务过程建模语言被引量：1
- 2010年
- 结合目前企业信息系统在工作流建模时对数据及人力资源管理上存在的实际需求,研究分析了各种常用的工作流建模语言在数据和人力资源管理上的优缺点,并基于JBoss业务过程定义语言扩展出一种支持数据及资源绑定的业务过程建模语言。该语言通过引入业务对象组、任务到业务对象组绑定等扩展标记,加强了传统JBoss业务过程定义语言的数据流调度控制精度、数据建模能力以及对外部数据和资源绑定能力,同时给出了基于WFD-nets的验证方法,以验证通过该语言建立的工作流模型的正确性。最后,基于所设计的语言建立了工作流管理系统,并在某企业得到了应用。
- 向新渝刘英博张力吕吉峰
- 关键词：工作流数据流人力资源
- 基于Petri网的位置敏感工作流建模与正确性验证方法被引量：6
- 2012年
- 针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。
- 张力赵炯贾伟昊刘英博
- 关键词：PETRI网
- 面向工作流个人调度的仿真数据生成研究及实验平台设计
- 2012年
- 对工作流管理系统中个人工作列表管理问题中的工作项到达时间和执行时间的不确定性进行分析,设计并实现了针对个人调度问题的仿真实验平台,用于比较不同调度算法的优劣。该平台首先分析真实工作流管理系统中的人员活动日志,对工作项的时间特征进行建模,生成与真实环境中工作项特征一致的实验数据。然后将模拟数据作为输入,用多种调度算法进行模拟优化调度实验,得到各种算法在个人调度方面的性能差异。通过真实工作流数据的验证表明,该平台能够有效地产生与真实环境相似的工作项模拟数据,并能对个人调度算法进行有效的比较。
- 赵炯刘英博任艮全张力
- 关键词：工作流任务调度
