您的位置： 专家智库 > >

国家自然科学基金(61100034)

作品数：18 被引量：52H指数：4
相关作者：陈哲黄志球方元康王哲民吉祖勤更多>>
相关机构：南京航空航天大学盐城师范学院池州学院更多>>
发文基金：国家自然科学基金教育部留学回国人员科研启动基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 21个自动化与计算...
  • 9个电子电信
  • 9个文化科学
  • 5个航空宇航科学...
  • 5个理学
  • 4个经济管理
  • 4个交通运输工程
  • 3个机械工程
  • 3个电气工程
  • 3个自然科学总论
  • 2个建筑科学
  • 1个哲学宗教
  • 1个矿业工程
  • 1个一般工业技术
  • 1个兵器科学与技...

主题

  • 12个教学
  • 11个形式化
  • 11个网络
  • 9个自动机
  • 9个课程
  • 8个代码
  • 8个规约
  • 7个形式化方法
  • 7个自适
  • 7个自适应
  • 7个路由
  • 7个接口
  • 6个源代码
  • 6个数据库
  • 5个信号
  • 5个形式化规约
  • 5个形式化验证
  • 5个遗传算法
  • 5个软件工程
  • 4个信息系统

机构

  • 14个南京航空航天...
  • 3个盐城师范学院
  • 2个安徽大学
  • 2个广西财经学院
  • 2个池州学院
  • 2个中兴通讯股份...
  • 1个池州职业技术...
  • 1个东南大学
  • 1个合肥工业大学
  • 1个电子科技大学
  • 1个华东师范大学
  • 1个江苏大学
  • 1个南京林业大学
  • 1个清华大学
  • 1个天津工业大学
  • 1个华南理工大学
  • 1个教育部
  • 1个南京工程学院
  • 1个重庆师范大学
  • 1个中国科学院软...

资助

  • 21个国家自然科学...
  • 14个中国博士后科...
  • 13个江苏省博士后...
  • 11个国家高技术研...
  • 9个中央高校基本...
  • 7个江苏省自然科...
  • 6个教育部留学回...
  • 5个国家重点基础...
  • 5个江苏省普通高...
  • 4个安徽省高校省...
  • 4个安徽省高校省...
  • 4个江苏省高校自...
  • 4个中国航空科学...
  • 3个湖南省自然科...
  • 3个中央级公益性...
  • 3个湖南省教育厅...
  • 3个安徽省高等学...
  • 3个江苏省研究生...
  • 2个安徽省自然科...
  • 2个江苏省计算机...

传媒

  • 11个小型微型计算...
  • 10个计算机科学
  • 9个计算机应用研...
  • 9个计算机技术与...
  • 7个计算机学报
  • 7个计算机工程
  • 6个计算机应用与...
  • 6个软件学报
  • 6个计算机工程与...
  • 6个计算机与现代...
  • 5个计算机研究与...
  • 5个计算机与数字...
  • 4个计算机应用
  • 4个四川大学学报...
  • 4个解放军理工大...
  • 4个计算机工程与...
  • 4个福建电脑
  • 3个电子学报
  • 3个南京航空航天...
  • 3个东南大学学报...

地区

  • 15个江苏省
  • 3个安徽省
  • 2个广西
共 21 条 记 录，以下是 1-10
陈哲
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：源代码 抽象语法树 插桩 内存 词法分析
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
方元康
供职机构：池州学院
研究主题：数据预处理 会话识别 WEB挖掘 阈值 WEB日志
发表作品相关人物供职机构所获资助研究领域
吉祖勤
供职机构：盐城师范学院信息科学与技术学院
研究主题：路由协议 AD HOC网络 AD_HOC网络 网络仿真
发表作品相关人物供职机构所获资助研究领域
王哲民
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：参数化 哈希 形式化规约 有限状态自动机 C语言
发表作品相关人物供职机构所获资助研究领域
黄津津
供职机构：盐城师范学院信息工程学院
研究主题：工程教育 传输协议 计算机网络实验教学 计算机网络 网络工程专业
发表作品相关人物供职机构所获资助研究领域
朱云龙
供职机构：南京航空航天大学
研究主题：源代码 编译器 抽象语法树 计算机软件 组件
发表作品相关人物供职机构所获资助研究领域
马银雪
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：路由协议 SPIN 形式化方法 自动化验证 C程序
发表作品相关人物供职机构所获资助研究领域
李昕
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：半实物仿真 飞行控制系统 无人机 制导炸弹 制导控制系统
发表作品相关人物供职机构所获资助研究领域
李绪蓉
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：构件库 资源池 云计算 信息集成 并行工程
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0