王燕妮
- 作品数：9 被引量：1H指数：1
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 面向方面体系结构建模研究被引量：1
- 2011年
- 面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注点。本文首先提出一个以横切为中心的面向方面体系结构概念框架;然后通过在体系结构设计阶段引入该框架中的核心概念,提出一种在体系结构设计阶段建模横切关注点的方法,从而支持其在早期进行横切关注点的分离。
- 王瑞毛晓光代子营王燕妮
- 关键词：体系结构横切关注点
- 基于UML的可信概念模型
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,本文应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描...
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 文献传递
- 基于不变式的软件故障检测与恢复技术研究
- 软件规模愈加扩大、软件逻辑愈加复杂,诸如软件测试等传统的提高软件可靠性的方法愈显不足。软件运行时的健康管理致力于保障软件运行时的行为符合人们的预期,从而越发受到研究者的关注。软件故障检测与恢复则是软件运行时健康管理的一个...
- 王燕妮
- 关键词：故障检测故障恢复
- 文献传递
- 基于UML的可信概念模型
- 2010年
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 一种无人机载低空应急通信自组网电台装置及组网方法
- 本发明适用于应急通信技术领域，提供一种无人机载低空应急通信自组网电台装置及组网方法，所述电台装置包括底板板、固定架，底板底部安装有电台主机以及多根1.4G定向天线，电台主机位于底板中心位置，且所有1.4G定向天线以底板中...
- 廖非凡朱义勇王振义邹力王燕妮赖荣煊吴文辉余亮琴张朋浩严其飞
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
- 一种无人机载低空应急通信自组网电台装置及组网方法
- 本发明适用于应急通信技术领域，提供一种无人机载低空应急通信自组网电台装置及组网方法，所述电台装置包括底板板、固定架，底板底部安装有电台主机以及多根1.4G定向天线，电台主机位于底板中心位置，且所有1.4G定向天线以底板中...
- 廖非凡朱义勇王振义邹力王燕妮赖荣煊吴文辉余亮琴张朋浩严其飞
- 文献传递
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
- 文献传递
- 一种无人机载低空应急通信自组网电台装置
- 本实用新型适用于应急通信技术领域，提供一种无人机载低空应急通信自组网电台装置，所述电台装置包括底板板、固定架，底板底部安装有电台主机以及多根1.4G定向天线，电台主机位于底板中心位置，且所有1.4G定向天线以底板中心为轴...
- 廖非凡朱义勇王振义邹力王燕妮赖荣煊吴文辉余亮琴张朋浩严其飞
- 文献传递
