检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向地震应急响应的松耦合研判模型管理机制

北京航空航天大学学报 2017年第4期43卷 720-730页

作者：李勤勇宋建功高世伟杜建海吕江花马世龙北京航空航天大学计算机学院北京100083 北京航天控制仪器研究所北京100039

由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控... 详细信息

由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。

关键词：模型管理数据源决策支持系统 Agent系统地震应急响应

在线全文

学校读者我要写书评

暂无评论

航天器测试需求描述及其自动生成

北京航空航天大学学报 2015年第7期41卷 1275-1286页

作者：高世伟吕江花乌尼日其其格孟祥曦马世龙北京航空航天大学计算机学院

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人... 详细信息

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.

关键词：安全苛刻系统可信性测试需求测试任务流程航天器

在线全文

学校读者我要写书评

暂无评论

基于类型理论的领域数据建模和验证及案例

软件学报 2018年第6期29卷 1647-1669页

作者：乌尼日其其格李小平马世龙吕江花软件开发环境国家重点实验室(北京航空航天大学) 北京100083

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义... 详细信息

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t:T?.DDMM给出了领域数据建模的方法,即构建K_1(原子类型)、K_2(数据元)、K_3(数据元目录)三层框架,生成表示K_3层数据元目录之间关系的类型规则.在此基础上,给出了数据元目录序列的定义及其正确性判定算法.基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证.

关键词：类型理论类型检查类型规则领域数据建模数据规范

在线全文

学校读者我要写书评

暂无评论

高阶类型化软件体系结构建模和验证及案例

软件学报 2019年第7期30卷 1916-1938页

作者：乌尼日其其格李小平马世龙吕江花张思卿软件开发环境国家重点实验室(北京航空航天大学) 北京100083 鹏城实验室广东深圳518055

根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流We... 详细信息

根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.

关键词：类型规则类型检查软件体系结构软件体系结构建模软件体系结构验证

在线全文

学校读者我要写书评

暂无评论

基于形式化方法的航空电子系统检测

软件学报 2015年第2期26卷 181-201页

作者：李睿连航马世龙黎涛软件开发环境国家重点实验室(北京航空航天大学) 北京100191

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式... 详细信息

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.

关键词：模型检测系统形式化航空电子系统软件配置项有限状态自动机

在线全文

学校读者我要写书评

暂无评论

扩展断言知识检验一致的需求建模方法

智能系统学报 2015年第1期10卷 81-89页

作者：郭新峰马世龙吕江花李睿山西大学软件学院山西太原030013 北京航空航天大学计算机学院北京100191

保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作... 详细信息

保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。

关键词：需求模型一致性完整性多视点描述逻辑知识库可满足性 Tableau 需求工程

在线全文

学校读者我要写书评

暂无评论

实时鲁棒的频域空间目标跟踪方法

北京航空航天大学学报 2017年第12期43卷 2457-2465页

作者：汪溁鹤陈裕雄马世龙吕江花北京航空航天大学计算机学院北京100083 广东南方职业学院江门529000

本文中实现了一种实时鲁棒的目标跟踪方法,提出了新颖的基于目标形状和外观的稠密循环采样方法、循环矩阵和频域空间的能量最小化目标跟踪方法。本文方法总体上减少了需要处理的数据量,尤其是加入了循环矩阵,极大地简化了计算过程,并将... 详细信息

本文中实现了一种实时鲁棒的目标跟踪方法,提出了新颖的基于目标形状和外观的稠密循环采样方法、循环矩阵和频域空间的能量最小化目标跟踪方法。本文方法总体上减少了需要处理的数据量,尤其是加入了循环矩阵,极大地简化了计算过程,并将目标特征转换到高维频域空间进行了线性表示,最后用高频空间能量最小化的方法实现了更加快速和精准的目标跟踪。通过大量的对比实验表明,本文方法的总体效果较好,在目标朝向变化、场景光照变化、视频抖动、目标尺度模式变化、目标部分遮挡等环境下,较目前效果最好、最新的方法,本文方法在综合的跟踪精度和效率方面更能取得较好的效果。

关键词：频域空间稠密循环采样能量最小化方法目标跟踪计算机视觉

在线全文

学校读者我要写书评

暂无评论

大数据与深度学习综述

智能系统学报 2016年第6期11卷 728-742页

作者：马世龙乌尼日其其格李小平北京航空航天大学软件开发环境国家重点实验室北京100191

大数据时代改变了基于数理统计的传统数据科学,促进了数据分析方法的创新,从机器学习和多层神经网络演化而来的深度学习是当前大数据处理与分析的研究前沿。从机器学习到深度学习,经历了早期的符号归纳机器学习、统计机器学习、神经网络... 详细信息

大数据时代改变了基于数理统计的传统数据科学,促进了数据分析方法的创新,从机器学习和多层神经网络演化而来的深度学习是当前大数据处理与分析的研究前沿。从机器学习到深度学习,经历了早期的符号归纳机器学习、统计机器学习、神经网络和20世纪末开始的数据挖掘等几十年的研究和实践,发现深度学习可以挖掘大数据的潜在价值。本文给出大数据和深度学习的综述,特别是,给出了各种深层结构及其学习算法之间关联的图谱,给出了深度学习在若干领域应用的知名案例。最后,展望了大数据上深度学习的发展与挑战。

关键词：大数据机器学习深层结构深度学习神经网络人工智能学习算法派生树

在线全文

学校读者我要写书评

暂无评论

需求变更自动化管理模型与实现

计算机系统应用 2015年第4期24卷 11-18页

作者：郭新峰马世龙吕江花武俊生邵回祖山西大学软件学院太原030013 北京航空航天大学计算机学院北京100191

需求变更不可控,需求变更常对软件开发产生严重影响,需求变更管理是控制影响的直接途径.为易于理解沟通,基于资源、组织与业务的需求模型(简称ROB)用递归分解的方法分别从资源、组织与业务抽取需求,ROB全局统一的树形结构便于形式化定... 详细信息

需求变更不可控,需求变更常对软件开发产生严重影响,需求变更管理是控制影响的直接途径.为易于理解沟通,基于资源、组织与业务的需求模型(简称ROB)用递归分解的方法分别从资源、组织与业务抽取需求,ROB全局统一的树形结构便于形式化定义需求对象以实现在计算机中存储和管理;在规范需求变更管理组织、流程基础上,建立数据模型,设计数据操纵语言定义操纵接口,通过编辑修改对象模拟需求发生变更,在完整性、一致性规则约束下,自动完成由需求变更引发的完整操作模块.实践中应用ROB需求管理软件进行需求变更管理验证这种方法的有效性、自动化智能化等特点.

关键词：需求建模需求管理需求变更需求评审需求跟踪变更控制 CMMI