高世伟
- 作品数：17 被引量：14H指数：3
- 供职机构：北京航天控制仪器研究所更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术交通运输工程更多>>
- 面向安全苛刻系统并行测试的测试细则可视化动态构建方法
- 本发明是一种面向安全苛刻系统并行测试的测试细则可视化动态构建方法，属于系统测试领域。本方法对安全苛刻系统的所有型号测试定义了一种五级结构的型号树的同构存储数据结构，按照该型号树构建当前型号树和对比型号树，然后根据测试需求...
- 张天为高世伟蒋亚若吕江花马世龙
- 文献传递
- 一种面向航天器自动化测试的并行测试任务两阶段调度方法
- 本发明是一种面向航天器自动化测试的并行测试任务两阶段调度方法，属于并行测试领域。本方法包括：第一阶段，分析和确定测试任务、任务中指令和被测参数，明确任务间约束关系，建立时序约束矩阵和参数竞争关系矩阵，将任务及其间约束关系...
- 蒋亚若吕江花高世伟马世龙
- 文献传递
- 面向航天器综合测试系统的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系统地震应急响应
- 工业控制系统安全技术研究综述
- 工业控制系统,在公用事业、能源保障、电力维护、公共交通运输和水利建设等领域得到广泛应用,由于工业网络易遭受威胁或入侵,系统面临着新的网络安全问题,常常导致工控系统瘫痪或产生恶意行为,从而引发严重的社会、经济、环境方面的后...
- 张玉强高世伟王甫边江豪
- 关键词：漏洞
- 文献传递
- 一种航天器测试需求自动生成系统及其方法
- 本发明是一种航天器测试需求自动生成系统及其方法，属于系统测试领域。所述系统包括测试需求库、UML模型读取模块、被测目标抽取模块和测试需求构建模块；测试需求库是经过积累的各型号被测系统、分系统、单机和模块所需的测试需求；U...
- 孟祥曦吕江花高世伟黎涛马世龙
- 一种面向异构数据库的海量组播数据入库实现方法
- 本发明提供了一种面向异构数据库的海量组播数据入库实现方法，按照一定周期和数量限定接收组播报文，将所需报文存入一个一级缓存数据文件中，以信号量触发对一级缓存数据文件的解析，将报文存入对应型号的二级缓存数据文件，对各型号建立...
- 刘平原高世伟吕江花马世龙
- 文献传递
- 安全苛刻系统测试语言中的测试设备协同语句被引量：1
- 2016年
- 安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则.最后,对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性.
- 吕江花高世伟马世龙孙波李先军
- 关键词：自动化测试操作语义
- 安全苛刻系统自动化测试的形式化语义模型被引量：5
- 2014年
- 安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.
- 吕江花马世龙李先军高世伟
- 关键词：自动化测试
- 航天器测试需求描述及其自动生成被引量：4
- 2015年
- 航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.
- 高世伟吕江花乌尼日其其格孟祥曦马世龙
- 关键词：航天器
