您的位置: 专家智库 > >

国家高技术研究发展计划(2009AA01Z402)

作品数:16 被引量:48H指数:5
相关作者:黄松惠战伟姚奕郑长友刘晓明更多>>
相关机构:解放军理工大学空军预警学院北京图形研究所更多>>
发文基金:国家高技术研究发展计划江苏省自然科学基金中国博士后科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 22个自动化与计算...
  • 8个经济管理
  • 8个文化科学
  • 6个军事
  • 5个电子电信
  • 2个天文地球
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 2个社会学
  • 2个政治法律
  • 2个语言文字
  • 2个理学
  • 1个哲学宗教
  • 1个机械工程
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个医药卫生
  • 1个自然科学总论
  • 1个兵器科学与技...

主题

  • 14个测试用例
  • 12个软件测试
  • 11个网络
  • 9个形式化
  • 8个形式化描述
  • 7个有效性
  • 7个运行剖面
  • 6个形式化建模
  • 6个蚁群
  • 6个蚁群算法
  • 6个整数溢出
  • 6个入度
  • 6个软件测试用例
  • 6个体系结构
  • 6个排序
  • 5个代码
  • 5个性需求
  • 5个整数
  • 5个设计软件
  • 4个形式化描述模...

机构

  • 17个解放军理工大...
  • 3个吉林大学
  • 2个中国人民解放...
  • 1个北京邮电大学
  • 1个北方交通大学
  • 1个长春工业大学
  • 1个吉林工业大学
  • 1个南京农业大学
  • 1个北京航空航天...
  • 1个北京交通大学
  • 1个中国人民解放...
  • 1个空军预警学院
  • 1个中国电子技术...
  • 1个山东省军区
  • 1个中国人民解放...
  • 1个北京图形研究...

资助

  • 22个国家高技术研...
  • 12个江苏省自然科...
  • 7个中国博士后科...
  • 6个国家自然科学...
  • 3个国家社会科学...
  • 3个中国人民解放...
  • 2个国家软科学研...
  • 1个国防科技技术...
  • 1个湖南省自然科...
  • 1个博士科研启动...
  • 1个国家重点实验...
  • 1个江苏省高校自...
  • 1个教育部人文社...
  • 1个中国人民解放...
  • 1个中国社会科学...
  • 1个江苏省教育厅...

传媒

  • 9个计算机应用
  • 8个指挥信息系统...
  • 6个情报科学
  • 6个电子科技大学...
  • 6个计算机仿真
  • 5个计算机科学
  • 4个计算机工程与...
  • 4个系统仿真学报
  • 4个应用科学学报
  • 4个计算机工程与...
  • 4个军事通信技术
  • 4个吉林大学学报...
  • 4个电脑知识与技...
  • 4个计算机技术与...
  • 3个计算机研究与...
  • 3个东南大学学报...
  • 3个计算机学报
  • 3个华中科技大学...
  • 3个解放军理工大...
  • 3个攀枝花学院学...

地区

  • 16个江苏省
  • 2个吉林省
  • 1个湖北省
  • 1个北京市
  • 1个山东省
22 条 记 录,以下是 1-10
黄松
供职机构:解放军理工大学
研究主题:软件测试 测试用例 基于HLA 测试用例生成方法 高层体系结构
发表作品相关人物供职机构所获资助研究领域
惠战伟
供职机构:解放军理工大学
研究主题:测试用例 测试用例生成方法 软件测试 形式化描述 整数溢出
发表作品相关人物供职机构所获资助研究领域
姚奕
供职机构:解放军理工大学
研究主题:测试用例 软件测试 抽取 测试用例生成方法 遍历
发表作品相关人物供职机构所获资助研究领域
刘晓明
供职机构:解放军理工大学
研究主题:高层体系结构 基于HLA HOC网络 HLA AD
发表作品相关人物供职机构所获资助研究领域
郑长友
供职机构:解放军理工大学
研究主题:测试用例生成方法 测试用例 安全性测试 路网 工作流系统
发表作品相关人物供职机构所获资助研究领域
嵇孟雨
供职机构:解放军理工大学指挥自动化学院
研究主题:整数溢出 函数 软件缺陷检测 软件测试
发表作品相关人物供职机构所获资助研究领域
李辉
供职机构:解放军理工大学
研究主题:高层体系结构 基于HLA 路网 形式化描述 移动车辆
发表作品相关人物供职机构所获资助研究领域
丁瑞浩
供职机构:解放军理工大学指挥自动化学院
研究主题:量算 坡向 坡度 面积量算
发表作品相关人物供职机构所获资助研究领域
刘剑豪
供职机构:空军预警学院
研究主题:无人机 蜂群 矩量法 作战效能评估 RCS
发表作品相关人物供职机构所获资助研究领域
夏洪亚
供职机构:解放军理工大学指挥自动化学院
研究主题:信息安全风险评估 信息安全 CMM 需求管理 关键过程域
发表作品相关人物供职机构所获资助研究领域
共3页<123>
聚类工具0