您的位置： 专家智库 > >

国家教育部博士点基金(2000035802)

作品数：20 被引量：76H指数：6
相关作者：赵保华屈玉贵顾翔郭雄辉李越鹏更多>>
相关机构：中国科学技术大学更多>>
发文基金：国家教育部博士点基金国家高技术研究发展计划中国科学院院长基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 18个自动化与计算...
  • 16个电子电信
  • 7个理学
  • 5个文化科学
  • 3个经济管理
  • 3个建筑科学
  • 3个环境科学与工...
  • 2个天文地球
  • 2个金属学及工艺
  • 2个电气工程
  • 2个轻工技术与工...
  • 2个交通运输工程
  • 2个农业科学
  • 1个化学工程
  • 1个矿业工程
  • 1个机械工程
  • 1个医药卫生
  • 1个一般工业技术
  • 1个社会学
  • 1个政治法律

主题

  • 11个通信
  • 11个通信协议
  • 10个形式化
  • 10个路由
  • 10个路由协议
  • 9个形式化描述
  • 8个有限状态机
  • 8个状态机
  • 7个网络
  • 6个一致性
  • 5个代理
  • 5个用户
  • 5个数据流
  • 5个系统设计
  • 5个TCL
  • 4个等式
  • 4个调度
  • 4个形式化方法
  • 4个重写
  • 4个被动测试

机构

  • 18个中国科学技术...
  • 3个北京邮电大学
  • 2个中国科技大学
  • 2个安徽省计算与...
  • 1个安徽工业大学
  • 1个南京邮电大学
  • 1个中国科学院
  • 1个南通大学
  • 1个中兴通讯股份...
  • 1个华为技术有限...

资助

  • 18个国家高技术研...
  • 18个国家教育部博...
  • 16个安徽省自然科...
  • 15个中国科学院院...
  • 13个国家自然科学...
  • 8个国家重点基础...
  • 3个华为科技基金...
  • 3个安徽省高等学...
  • 3个安徽省教育厅...
  • 3个安徽省教育厅...
  • 3个安徽省教育厅...
  • 3个国家重点实验...
  • 2个国家科技攻关...
  • 2个国家留学基金
  • 2个中国博士后科...
  • 2个“九五”国家...
  • 2个安徽省高等学...
  • 2个安徽省高校省...
  • 2个国家242信...
  • 2个国家电子信息...

传媒

  • 10个通信学报
  • 10个计算机应用
  • 9个小型微型计算...
  • 7个计算机工程与...
  • 6个计算机工程
  • 6个北京邮电大学...
  • 6个2003年通...
  • 5个计算机学报
  • 4个电子与信息学...
  • 4个中国科学技术...
  • 4个计算机研究与...
  • 4个微电子学与计...
  • 4个计算机仿真
  • 3个电子技术应用
  • 3个电子学报
  • 3个华中科技大学...
  • 3个计算机应用与...
  • 3个西安交通大学...
  • 3个计算机应用研...
  • 3个软件学报

地区

  • 16个安徽省
  • 1个江苏省
  • 1个广东省
共 18 条 记 录，以下是 1-10
赵保华
供职机构：华为技术有限公司
研究主题：无线传感器网络 通信协议 TCL 无线局域网 路由协议
发表作品相关人物供职机构所获资助研究领域
屈玉贵
供职机构：中国科学技术大学
研究主题：无线传感器网络 通信协议 传感器网络 TCL 路由
发表作品相关人物供职机构所获资助研究领域
顾翔
供职机构：南通大学
研究主题：车联网 结点 无线传感器网络 移动代理 RSL
发表作品相关人物供职机构所获资助研究领域
李越鹏
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：OSPF NS2 NS 被动测试 路由协议
发表作品相关人物供职机构所获资助研究领域
周晓煜
供职机构：中国科学技术大学
研究主题：通信协议 EFSM 变异算子 扩展有限状态机 形式化描述
发表作品相关人物供职机构所获资助研究领域
胡劲松
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：0/1背包 NP问题 量子算法 量子计算机 量子
发表作品相关人物供职机构所获资助研究领域
吴慧萍
供职机构：中国科学技术大学信息科学技术学院电子工程与信息科学系
研究主题：接口 通信协议 H.245协议
发表作品相关人物供职机构所获资助研究领域
郭雄辉
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：被动测试 有限状态机 IPV6 形式化描述 控制流
发表作品相关人物供职机构所获资助研究领域
刘政
供职机构：中国科学技术大学
研究主题：形式化描述语言 太赫兹 安全协议 形式化描述 密码协议
发表作品相关人物供职机构所获资助研究领域
孙宇霖
供职机构：中国科学技术大学
研究主题：通信协议 有限状态机 测试序列生成 形式化描述技术 代数规范
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0