限定检索结果

检索条件"机构=北京航空航天大学软件环境国家重点实验室"
123 条 记 录,以下是1-10 订阅
视图:
排序:
应用级粒度的可集成构件重用性提升方法
收藏 引用
《计算机集成制造系统》2011年 第2期17卷 425-432页
作者:靳国杰 尹宝林 赵启阳北京航空航天大学软件开发环境国家重点实验室北京100191 
提出了一种用于提高软件构件重用能力的构件构造方法。与当前研究中主要以软件实现逻辑表达一项应用用例的功能封装单元相比,该方法以应用功能层面的一类需求范畴为构件的表达目标,将业务用例以可配置的描述内容交由构件进行解释执行。...
来源:详细信息评论
基于形式化方法的航空电子系统检测
收藏 引用
软件学报》2015年 第2期26卷 181-201页
作者:李睿 连航 马世龙 黎涛软件开发环境国家重点实验室(北京航空航天大学)北京100191 
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式...
来源:详细信息评论
航天器自动化测试语言研究
收藏 引用
航空学报》2010年 第2期31卷 290-300页
作者:余丹 马世龙 李先军 孙波 叶钢北京航空航天大学软件开发环境国家重点实验室北京100191 
航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的...
来源:详细信息评论
共识协议的形式化验证研究现状与展望
收藏 引用
软件学报》2023年 第11期34卷 4989-5007页
作者:葛宁 贺俞凯 翟树茂 李晓洲 张莉北京航空航天大学软件学院北京100191 北京航空航天大学计算机学院北京100191 软件开发环境国家重点实验室(北京航空航天大学)北京100191 
分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格...
来源:详细信息评论
基于类型理论的领域数据建模和验证及案例
收藏 引用
软件学报》2018年 第6期29卷 1647-1669页
作者:乌尼日其其格 李小平 马世龙 吕江花软件开发环境国家重点实验室(北京航空航天大学)北京100083 
数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义...
来源:详细信息评论
空间众包环境下的3类对象在线任务分配
收藏 引用
软件学报》2017年 第3期28卷 611-630页
作者:宋天舒 童咏昕 王立斌 许可软件开发环境国家重点实验室(北京航空航天大学)北京100191 
随着移动互联网技术与O2O(offline-to-online)商业模式的发展,各类空间众包平台变得日益流行,如滴滴出行、百度外卖等空间众包平台更与人们日常生活密不可分.在空间众包研究中,任务分配问题更是其核心问题之一,该问题旨在研究如何将实...
来源:详细信息评论
基于CORBA的电信网络性能管理接口
收藏 引用
《计算机工程》2006年 第4期32卷 257-259页
作者:侯丞 康建初北京航空航天大学软件开发环境国家重点实验室北京100083 
分析了电信网络管理系统的现状以及传统电信网络管理系统存在的问题,提出了用CORBA接口代替网管系统原有接口的方案,给出了基于CORBA的电信网络性能管理接口的具体结构设计和性能管理原型系统的实现方法。
来源:详细信息评论
基于寄存器引擎的64位虚拟机的实现
收藏 引用
《计算机工程》2005年 第2期31卷 91-93页
作者:李林华 盛浩 马世龙北京航空航天大学软件开发环境国家重点实验室北京100083 
目前虚拟机技术广泛应用于代码移植、跨平台计算和模拟硬件机器等领域。该技术以软件的方式构建通用机器硬件的仿真环境,实现机器字节码在处理器中的运算过程。在介绍虚拟机原理的基础上,设计并实现了基于寄存器引擎的64位虚拟机,初步...
来源:详细信息评论
基于MOM和J2EE的网络管理告警系统
收藏 引用
《计算机工程》2004年 第23期30卷 187-189页
作者:李林华 周刚 康建初北京航空航天大学软件开发环境国家重点实验室北京100083 
概述了MOM和J2EE的工作原理,并讨论了电信网管中传统告警系统的系统结构和工作流程。在分析了其消息处理方式上的缺陷后,设计并实现了一个基于MOM和J2EE的告警系统解决方案。通过将通信逻辑和处理逻辑相分离,提高了大规模消息传递与处...
来源:详细信息评论
基于SVM的浮动车行驶模式判断模型
收藏 引用
北京航空航天大学学报》2008年 第8期34卷 976-980页
作者:诸彤宇 郭胜敏 吕卫锋北京航空航天大学软件开发环境国家重点实验室北京100191 
浮动车在低速情况下存在两种行驶模式,如不能对上述模式进行准确区分,将严重影响浮动车实时路况计算的精度和效率.研究和设计了一个基于支持向量机(SVM,Support Vector Machine)的浮动车行驶模式判断模型,并针对性地提出了一种简单的基...
来源:详细信息评论
聚类工具 回到顶部