赵炯
- 作品数：7 被引量：24H指数：4
- 供职机构：清华大学软件学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流应用数据生命周期模型的提取方法被引量：4
- 2011年
- 针对工作流管理系统中对应用数据的分析和研究需求,结合目前已有的工作流应用数据的研究成果,提出了一种应用数据的生命周期模型提取方法。该方法以WFD-net为输入,通过自动分析,得到各种类型的应用数据在工作流中随流程执行的状态变化情况,然后通过对状态变化情况的分析,综合得出流程中应用数据的复合对象生命周期模型。为了验证提取方法的可行性和正确性,开发了一套复合对象生命周期模型提取工具。
- 田钊程曜安刘英博赵炯张力
- 关键词：工作流应用数据生命周期模型
- 基于Petri网的位置敏感工作流建模与正确性验证方法
- 针对移动业务过程中对位置信息建模和分析的需求，结合目前已有的工作流建模方法，提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础，结合6种描述位置之间关系的原语，以位置约束的形式定义业务流程中的位...
- 张力赵炯贾伟昊刘英博
- 关键词：工作流信息建模PETRI网
- 面向设备群体的工况数据异常检测方法被引量：8
- 2013年
- 为了全面便捷地检测出有效的潜在的设备异常,基于设备大量有价值的工况数据,对设备异常检测方法进行研究,提出一种面向设备群体的工况数据异常检测方法。通过对设备状态监测数据潜在异常特征进行分析挖掘,识别设备运行中的异常状态和用户异常行为,提高产品服务质量。给出了设备异常检测原理,对数据预处理、特征提取、正常特征空间分布建模、异常检测和人工验证过程进行了详细阐述。通过对5 000多万条真实监测数据进行异常检测实验,验证了所提方法的可行性和有效性。
- 姚欣歆刘英博赵炯胡游乐张力
- 关键词：异常检测
- 基于Petri网的位置敏感工作流建模与正确性验证方法被引量：6
- 2012年
- 针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。
- 张力赵炯贾伟昊刘英博
- 关键词：PETRI网
- 基于互信息的复杂装备高维状态监测数据相关性发现与建模被引量：6
- 2013年
- 针对数据量大、维度高、类型复杂的复杂装备状态监测数据,为挖掘各维监测数据之间的关联关系,提出一种以互信息为基础的相关性发现及建模方法。基于互信息定义了监测数据相关度的概念,使用一种相关性发现计算方法找到监测数据集中有相关性的数据。使用实际状态监测数据对该方法进行了实验验证,结果表明,该方法可以找到很多具有明确物理意义的直接关联关系,也可以发现部分潜在关联关系。
- 曾令男丁建伟赵炯张力刘英博
- 关键词：复杂装备互信息
- 面向工作流个人调度的仿真数据生成研究及实验平台设计
- 2012年
- 对工作流管理系统中个人工作列表管理问题中的工作项到达时间和执行时间的不确定性进行分析,设计并实现了针对个人调度问题的仿真实验平台,用于比较不同调度算法的优劣。该平台首先分析真实工作流管理系统中的人员活动日志,对工作项的时间特征进行建模,生成与真实环境中工作项特征一致的实验数据。然后将模拟数据作为输入,用多种调度算法进行模拟优化调度实验,得到各种算法在个人调度方面的性能差异。通过真实工作流数据的验证表明,该平台能够有效地产生与真实环境相似的工作项模拟数据,并能对个人调度算法进行有效的比较。
- 赵炯刘英博任艮全张力
- 关键词：工作流任务调度
- 面向工作流个人调度的仿真数据生成研究及实验平台设计
- 对工作流管理系统中个人工作列表管理问题中的工作项到达时间和执行时间的不确定性进行分析，设计并实现了针对个人调度问题的仿真实验平台，用于比较不同调度算法的优劣。该平台首先分析真实工作流管理系统中的人员活动日志，对工作项的时...
- 赵炯刘英博任艮全张力
- 关键词：工作流任务调度仿真平台数据建模
