您的位置: 专家智库 > >

刘亚军

作品数:8 被引量:39H指数:3
供职机构:北京航空航天大学更多>>
发文基金:国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术经济管理天文地球社会学更多>>

文献类型

  • 3篇期刊文章
  • 2篇学位论文
  • 2篇专利
  • 1篇科技成果

领域

  • 4篇自动化与计算...
  • 3篇经济管理
  • 1篇天文地球
  • 1篇电子电信
  • 1篇社会学

主题

  • 2篇电信
  • 2篇电信领域
  • 2篇电信运营
  • 2篇电信运营支撑
  • 2篇电信运营支撑...
  • 2篇应用中间件
  • 2篇运营支撑系统
  • 2篇中间件
  • 2篇网络优化
  • 2篇描述逻辑
  • 2篇模型管理
  • 2篇决策支持
  • 2篇决策支持系统
  • 2篇基于知识
  • 2篇共享信息
  • 2篇服务器
  • 2篇服务器系统
  • 2篇GSM网
  • 2篇GSM网络
  • 1篇动态描述逻辑

机构

  • 8篇北京航空航天...

作者

  • 8篇刘亚军
  • 6篇康建初
  • 3篇吕卫锋
  • 2篇曹江涛
  • 2篇史银龙
  • 2篇侯丞
  • 2篇吕卫峰
  • 2篇李克峰
  • 1篇陈小康
  • 1篇刘文生
  • 1篇周刚
  • 1篇高欣
  • 1篇李智伟
  • 1篇商恩芳
  • 1篇郎昕培
  • 1篇陈鹏
  • 1篇何雄伟
  • 1篇周轶刚
  • 1篇杨秋媛
  • 1篇林梦香

传媒

  • 2篇计算机科学
  • 1篇移动通信

年份

  • 1篇2011
  • 3篇2007
  • 1篇2006
  • 1篇2002
  • 2篇2001
8 条 记 录,以下是 1-8
排序方式:
共享信息服务器系统
本发明涉及一种共享信息服务器系统,该共享信息服务系统对电信运营支撑系统提供统一的数据格式和信息应用共享功能,对电信运营管理中涉及的大量复杂的数据和信息实行集中管理,并支持电信业务对数据的标准化访问,为电信领域应用中间件平...
侯丞李克峰康建初吕卫峰刘亚军曹江涛史银龙
文献传递
基于知识的GSM网络优化决策支持系统被引量:6
2001年
我们在研究如何组织和利用GSM网络优化专家的知识和经验的基础上,设计实现了一个实用的基于知识的GSM网络优化决策支持系统。本文主要给出系统的体系结构、网络优化知识的表示以及推理机制和实现算法。
刘亚军康建初
关键词:GSM网络优化决策支持系统移动通信
模型驱动体系结构研究综述被引量:30
2006年
模型驱动体系结构(MDA)是由 OMG 提出的应用模型技术进行软件开发的方法和标准体系,其核心技术是平台无关模型建模和平台特定模型转换。MDA 代表了现代软件开发理论与方法发展的主流趋势,可以预见到它会成为继面向对象技术后软件工程史上的又一个里程碑。本文对 MDA 进行了系统性的阐述,包括 MDA 产生背景、总体构成、模型体系、软件方法、应用与评价以及最新研究与趋势等。
刘亚军康建初吕卫锋
关键词:模型驱动体系结构平台无关模型模型映射
基于知识的GSM优化决策支持的研究与应用
该论文完成的主要工作包括:根据GSM网络经工作的实际特点和需求,提出了'基于知识的GSM网络优化决策支持系统'的系统结构,并对涉及的相关技术进行了分析和论证.对GSM网络优化知识的表示和处理方法进行了研究,提出了解决方案...
刘亚军
关键词:GSM网络网络优化决策支持系统推理机
文献传递
基础设施信息网络管理系统生产平台(V2.0)
李未吕卫锋周刚周冰夏寅贲徐莹杜光耀高欣康建初郎昕培陈鹏刘亚军林梦香赵成栋商恩芳周轶刚谢超郑庆国郭蕾许红星
提出了“面向领域应用的软件生产线”的开发方法,建立了面向基础设施信息网络管理系统建设的软件生产线。制定了一套以开发方和用户方交互为主线、强调软件资产演进和重用的软件开发管理规范。实现了用于开发“信息系统”的核心软件资产库...
关键词:
关键词:基础设施网络网络管理
共享信息服务器系统
本发明涉及一种共享信息服务器系统,该共享信息服务系统对电信运营支撑系统提供统一地数据格式和信息应用共享功能,对电信运营管理中涉及的大量复杂的数据和信息实行集中管理,并支持电信业务对数据的标准化访问,为电信领域应用中间件平...
侯丞李克峰康建初吕卫峰刘亚军曹江涛史银龙
文献传递
采用动态描述逻辑实现UML状态图特性检测被引量:3
2007年
状态图是UML(Unified Modeling Language)语言中刘画对象行为的重要视图,而如何对状态图模型定义的正确性和有效性进行检验一直是一个亟待解决的问题。本文提出采用动态描述逻辑■对UML状态图形式化,并利用该逻辑系统的推理能力对状态图相关静态和动态特性进行检测。我们首先将状态图描述为一个■-形式系统。其中,状态图中的一个状态对应于该形式系统中的一个状态,状态特性及描述被表示为该形式系统中的概念和公理,事件被表示为该形式系统中的动作。然后,我们通过■概念测试来检验状态图状态可满足性和冗余性,通过公式可满足性测试来验证状态转移引起的对象特性变化。
刘亚军康建初吕卫锋
关键词:UML状态图动态描述逻辑
NGOSS"共享信息和数据"本体及其语言研究
刘亚军
关键词:本体知识表示系统描述逻辑形式语言
共1页<1>
聚类工具0