国家重点基础研究发展计划(G2005CB321902)

作品数：5被引量：7H指数：2
导出分析报告
相关作者：马世龙余丹李先军孙波叶钢更多>>
相关机构：北京航空航天大学更多>>
相关期刊：《北京航空航天大学学报》《计算机与数字工程》《航空学报》《计算机研究与发展》更多>>
相关主题：航天器自动化测试测试语言语言研究分析方法更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
航天器自动化测试语言研究被引量：2
《航空学报》2010年第2期290-300,共11页余丹 马世龙 李先军 孙波 叶钢 
国家"973"计划(G2005CB321902);中国博士后科学基金(20080440299);软件开发环境国家重点实验探索性自主研究课题(SKLSDE-2009ZX-13)
航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的...
关键词：航天器 自动化测试 航天器测试语言 标准体系 测试安全 
航天器自动化测试与航天器测试语言被引量：5
《北京航空航天大学学报》2009年第11期1375-1378,1407,共5页孙波 马世龙 余丹 
国家973资助项目(G2005CB321902);软件开发环境国家重点实验室探索性自主研究课题资助项目(SKLSDE-2009ZX-13)
通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天...
关键词：航天器 自动化测试 测试语言 常规测试语句 专用测试语句 
Ambient演算的一种分层语义
《计算机研究与发展》2009年第10期1743-1749,共7页吕江花 马世龙 
国家"九七三"重点基础研究发展计划基金项目(G2005CB321902)~~
网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有...
关键词：语义 行为 AMBIENT 基调 论域 
面向航天器测试领域的可定制数据查询分析方法
《计算机应用》2009年第B06期194-197,共4页王叶 李先军 余丹 马世龙 
国家973计划项目(G2005CB321902)
基于当前航天器测试领域数据查询分析需求及应用系统的现状,提出了一种基于服务组合技术的可定制数据查询分析方法。给出了由数据查询分析基本服务生成组合服务的算法,解决了多变数据查询分析需求的动态满足的问题。实验表明,该方法可...
关键词：可定制 服务组合 航天器测试 数据查询 
航天器自动化测试中一种数据持久化方法的实现
《计算机与数字工程》2009年第3期127-130,共4页徐帆 李先军 
国家973资助课题(编号:G2005CB321902)资助
在航天器自动化测试中,数据量大,数据种类众多,数据模型复杂,数据访问模式需具备较高的自适应性,因此数据资源的访问与管理是其中的基础与关键。根据航天器自动化测试中数据组织和管理的要求,提出了一种基于反射和"惯例优先配置"思想的...
关键词：航天器自动化测试 数据持久化 反射 惯例优先配置 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部