国家自然科学基金(61170087)
- 作品数:5 被引量:57H指数:1
- 相关作者:张莉蒋竞戴翼姜巍王刚更多>>
- 相关机构:北京航空航天大学中国人民大学菏泽学院更多>>
- 发文基金:国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 面向产品线交互配置不一致性修复的差分IBEA算法被引量:1
- 2016年
- 在大规模复杂系统产品线工程中,人工配置难免会导致配置的不一致,即,配置数据会违背预定义的约束(也可以称为一致性约束).对于大规模复杂系统产品线体系结构,比如信息物理系统产品线,往往存在成百上千的可变点以及约束,而且约束与可变点之间存在复杂的依赖关系,为不一致配置的修复带来很大的挑战.为了解决这个问题,针对前期提出的基于多目标搜索以及约束求解技术的自动不一致配置修复推荐框架(Zen-Fix),提出一种改进的IBEA算法(De IBEA).De IBEA通过将差分引入IBEA算法,搜索过程中,基于可行解和不可行解的差分变异产生后代,最终为用户推荐符合预定义约束并且对于配置效率来说最优的配置修复方案.基于一个工业案例海底油田采控系统产品线为例,通过模拟一个产品的配置过程,产生了10 189个优化问题,结果表明:Zen-Fix框架结合De IBEA算法,可以实时地为用户提供较优的不一致配置修复方案.此外,通过对这10 189个问题的推荐方案进行对比,证明了De IBEA算法无论从时间效率还是搜索性能上都优于原始的IBEA算法.
- 路红张莉岳涛
- 过程模型中控制流反模式的定义和检测方法
- 2013年
- 提出一种过程模型中控制流反模式的定义和检测方法,抽取不同过程模型中的控制流结构并将其规约为语言无关的过程结构树,基于不同控制流反模式的CAPDL定义,在过程结构树上查找与之对应的控制流反模式。该方法既支持不同的过程建模语言,也允许用户自定义控制流反模式。基于215个实际BPMN过程模型的反模式检测试验表明,该方法可以有效地检测用户自定义的控制流反模式,与已有方法相比,该方法极大地提高了反模式检测的检测效率。
- 韩兆刚巩朋张莉吕方兴
- 面向用户需求获取的在线评论有用性分析被引量:55
- 2013年
- 在线评论已成为互联网环境下用户需求获取的重要数据资源.然而,评论质量的良莠不齐严重干扰了需求挖掘的准确性和可信性.如何发现能够准确描述用户需求的有用评论是提高需求获取技术有效性的前提保障.针对这一问题,文中提出一种基于复杂网络的评论有用性分析方法,利用评论间的语义关联,从宏观的角度分析评论对于用户需求识别的有用程度,进而发现能够准确描述用户需求的评论.作者将评论看作一种内容互连的网络拓扑的形态,利用评论网络节点的重要性来度量评论的有用性,并通过拓扑势理论将用户的主观评价与网络拓扑结构的客观影响有机融合对评论网络节点重要性进行分析.实验结果表明,该方法所确定的高有用性评论能够保证用户需求获取具有较高的准确率和覆盖率.
- 姜巍张莉戴翼蒋竞王刚
- 关键词:语义关联复杂网络
- CP-PMTT:一个基于控制流模式的过程模型转换工具
- 2015年
- 目前大多数过程模型转换方法采用基于元类映射的转换规则,鉴于因不同过程建模语言在建模符号和语法约束上的差异,而使基于元类映射的转换规则在应对过程模型转换时存在明显局限,提出一种基于控制流模式的过程模型转换框架,转换框架包括一个支持用户自定义控制流模式的控制流模式定义框架,控制流模式定义框架是转换框架的转换核心。通过建立源语言、目标语言和转换核心的映射关系,生成源语言到目标语言的转换规则。基于上述框架实现了一个过程模型转换工具。通过业务流程建模标记到另一种工作流语言的转换场景,对转换工具进行了验证。
- 邵真禄张莉凌济民
- 基于时间自动机的AADL端到端流的延迟分析被引量:1
- 2015年
- 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.
- 连小利张莉
- 关键词:实时性时间自动机