国家自然科学基金(61300007)
- 作品数：11 被引量：36H指数：3
- 相关作者：吕江花马世龙高世伟杜建海李勤勇更多>>
- 相关机构：北京航空航天大学中国空间技术研究院北京航天控制仪器研究所更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 基于局部差别性分析的目标跟踪算法被引量：4
- 2017年
- 在复杂场景下,为了更好地提升跟踪的鲁棒性,基于局部的相似度测量得到了广泛应用。然而,局部遮挡,形变和光照变化等场景的复杂性,基于传统局部相似度测量的目标跟踪存在很大缺点,例如,在跟踪过程中,仅仅依靠目标和模板的匹配度容易造成跟踪的偏移现象。鉴于此,该文提出一种基于局部差别性相似度测量的目标跟踪算法。首先,以目标-背景的差异性,形成相似性和差异性相结合的局部判别性相似度测量;其次,基于子块在视频序列中的差异性,对子块进行差异性学习,以提高跟踪的准确性。最后,在粒子滤波框架下,基于差别性局部区域测量构建了一种有效的目标跟踪算法。实验结果表明,在复杂图像序列中,该算法实现了目标的准确跟踪,并在光照变化、旋转、缩放和遮挡等方面具有较好的效果。
- 田鹏吕江花马世龙汪溁鹤
- 关键词：目标跟踪相似度测量
- 分布式用户痕迹采集存储系统
- 2020年
- 在复杂网络的分布式环境中,精准全面地采集海量用户在浏览网站过程中的行为数据和网站过程数据并高效存储是用户行为分析的前提和基础。为了解决数据类型的多样性和存储的差异性问题,提高数据的检索效率,为企业的个性化需求做用户行为的分析提供支持,设计了白盒模式的用户痕迹采集存储系统。用户访问Web服务器过程中会产生交互/交易数据以及用户操作,浏览网站过程中会产生图片、视频、商品描述等多种类型的文件,这些界面和数据称为用户浏览痕迹,操作序列则作为用户行为的实际动作顺序记录。对用户数据和操作序列分析,能精确反映用户特征。采集模型通过界面窗口树来建模,提供统一数据存取接口,根据数据类型的不同,分别存储于不同的位置,完整采集用户痕迹,应用程序传递参数指定存储位置创建数据库文件,通过存取接口可以分类型、按要求存取用户数据,解决了面向互联网的用户交互痕迹捕获、存储和检索的问题,具有良好的精确性和完整性。
- 夏乾臣吕江花孟祥曦马世龙
- 关键词：用户行为非结构化数据
- 高阶类型化软件体系结构建模和验证及案例被引量：2
- 2019年
- 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.
- 乌尼日其其格李小平马世龙吕江花吕江花
- 关键词：软件体系结构软件体系结构建模
- 需求变更自动化管理模型与实现被引量：2
- 2015年
- 需求变更不可控,需求变更常对软件开发产生严重影响,需求变更管理是控制影响的直接途径.为易于理解沟通,基于资源、组织与业务的需求模型(简称ROB)用递归分解的方法分别从资源、组织与业务抽取需求,ROB全局统一的树形结构便于形式化定义需求对象以实现在计算机中存储和管理;在规范需求变更管理组织、流程基础上,建立数据模型,设计数据操纵语言定义操纵接口,通过编辑修改对象模拟需求发生变更,在完整性、一致性规则约束下,自动完成由需求变更引发的完整操作模块.实践中应用ROB需求管理软件进行需求变更管理验证这种方法的有效性、自动化智能化等特点.
- 郭新峰马世龙吕江花武俊生邵回祖
- 关键词：需求管理CMMI
- 航天器测试需求描述及其自动生成被引量：4
- 2015年
- 航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.
- 高世伟吕江花乌尼日其其格孟祥曦马世龙
- 关键词：航天器
- 面向航天器综合测试系统的Web缓存替换策略被引量：3
- 2018年
- 航天器一般为复杂系统,其作为典型安全苛刻系统,在综合测试过程中会产生大量测试数据。在查询这些测试数据时,现有的B/S数据查询技术,每次查询时采用从数据库服务器中获取数据的方式,极大地消耗了数据库服务器的资源,占用了大量的网络带宽,导致系统的整体性能下降,用户体验不佳。通过对安全苛刻系统综合测试数据特点和用户查询特征的分析,基于经典Web缓存替换算法GDSF,提出一种适用于B/S数据查询系统的Web缓存替换算法GDSF-STW。该算法是在GDSF算法的基础上,引入了数据流挖掘中的时间衰减模型,并采用滑动时间窗口的思想,提高缓存命中率,从而提高系统的性能,改善用户体验。通过GDSF-STW与LRU、LFU、LFU-DA、GDSF等经典算法进行实验对比,结果表明,GDSFSTW算法具有更好的缓存命中率。
- 杜建海吕江花高世伟李倩倩李勤勇马世龙
- 关键词：数据流挖掘数据查询
- 面向地震应急响应的松耦合研判模型管理机制被引量：1
- 2017年
- 由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。
- 李勤勇宋建功高世伟杜建海吕江花马世龙
- 关键词：模型管理数据源决策支持系统AGENT系统地震应急响应
- 航电系统并行检测过程与检测设备解耦方法被引量：3
- 2019年
- 航电系统在使用或升级改造过程中进行可靠性检测是必不可少的。特别是在当前批量航电系统大量投入使用的背景下,迫切需要能高效、快速、准确地对系统进行可靠性检测。由于航电系统安全性要求高,内置检测软件受限,需要外置检测设备通过航电系统指定接口进行检测,检测过程也不允许出现任何泄露等行为。检测设备与具体航电系统耦合,检测过程与具体检测设备耦合,难以实现批量航电系统并行检测。为此,通过引入逻辑检测设备,给出了一种航电系统并行检测分层框架,解决检测设备与被测系统耦合的问题,同时也保证了检测的安全性。通过逻辑检测设备、检测跳转机和被测主机上检测行为的描述,给出了一种面向通用航电系统并行检测的检测设备协同机制,解决检测过程与检测设备耦合的问题,从而支持多个航电系统并行检测。最后,实现了一个通用航电系统并行检测系统,并通过实际应用和实验对比验证所提方法的有效性。
- 刘艳芳吕江花吕江花马世龙
- 关键词：航电系统
- 安全苛刻系统测试语言中的测试设备协同语句被引量：1
- 2016年
- 安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则.最后,对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性.
- 吕江花高世伟马世龙孙波李先军
- 关键词：自动化测试操作语义
- 高阶类型化可验证应用系统体系结构建模及案例被引量：1
- 2020年
- 随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证.
- 李小平乌尼日其其格马世龙吕江花
