您的位置: 专家智库 > >

姜宁康

作品数:20 被引量:46H指数:3
供职机构:华东师范大学更多>>
发文基金:国家社会科学基金更多>>
相关领域:自动化与计算机技术电子电信文化科学建筑科学更多>>

领域

  • 16个自动化与计算...
  • 11个文化科学
  • 6个经济管理
  • 4个理学
  • 3个电子电信
  • 3个交通运输工程
  • 2个机械工程
  • 2个建筑科学
  • 2个航空宇航科学...
  • 2个医药卫生
  • 2个社会学
  • 2个语言文字
  • 2个历史地理
  • 1个哲学宗教
  • 1个电气工程
  • 1个军事
  • 1个艺术

主题

  • 12个网络
  • 7个形式化
  • 7个数据库
  • 6个调度
  • 6个形式化方法
  • 6个软件工程
  • 5个代码
  • 5个形式化验证
  • 4个单次
  • 3个代数
  • 3个单片
  • 3个单片机
  • 3个低复杂度
  • 3个电器
  • 3个电视
  • 3个多通道
  • 3个信号
  • 3个信号处理
  • 3个形式化建模
  • 3个形式化验证方...

机构

  • 12个华东师范大学
  • 3个上海交通大学
  • 3个江苏理工大学
  • 1个复旦大学
  • 1个哈尔滨工业大...
  • 1个江苏大学
  • 1个吉林大学
  • 1个上海电力学院
  • 1个西安建筑科技...
  • 1个西北大学
  • 1个教育部
  • 1个上海大学
  • 1个区域光纤通信...

资助

  • 7个国家自然科学...
  • 4个国家重点基础...
  • 3个中国博士后科...
  • 3个博士科研启动...
  • 3个国家教育部博...
  • 3个上海市教育委...
  • 2个国家高技术研...
  • 2个上海市科学技...
  • 2个上海市自然科...
  • 2个陕西省教育厅...
  • 2个陕西省自然科...
  • 2个上海市教育委...
  • 1个高等学校骨干...
  • 1个国家社会科学...
  • 1个吉林省杰出青...
  • 1个吉林省自然科...
  • 1个山东省科技攻...
  • 1个山东省自然科...
  • 1个陕西省科委基...
  • 1个浙江省自然科...

传媒

  • 7个计算机工程
  • 6个软件学报
  • 6个计算机工程与...
  • 4个计算机学报
  • 4个计算机应用研...
  • 4个计算机科学
  • 4个计算机教育
  • 3个江苏理工大学...
  • 3个计算机工程与...
  • 3个上海交通大学...
  • 3个计算机应用与...
  • 3个计算机工程与...
  • 2个电信科学
  • 2个电子学报
  • 2个计算机应用
  • 2个小型微型计算...
  • 2个通信技术
  • 2个微电子学
  • 2个上海电力学院...
  • 2个中国科学:信...

地区

  • 13个上海市
  • 3个江苏省
  • 1个山东省
17 条 记 录,以下是 1-10
李毓麟
供职机构:上海交通大学
研究主题:ATM ATM网络 通信网 INTERNET 计算机网络
发表作品相关人物供职机构所获资助研究领域
史建琦
供职机构:华东师范大学
研究主题:形式化验证 目标代码 控制流图 反汇编 中间语言
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构:华东师范大学
研究主题:目标代码 形式化验证 反汇编 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
王思兵
供职机构:上海交通大学电子信息与电气工程学院区域光纤通信网与新型光通信系统国家重点实验室
研究主题:INTERNET 多协议标签交换 ATM 路由器 因特网
发表作品相关人物供职机构所获资助研究领域
赵慧
供职机构:华东师范大学
研究主题:网络管理 计算机网络 遗传算法 文本预处理 情感分析
发表作品相关人物供职机构所获资助研究领域
陈舒
供职机构:华东师范大学
研究主题:移动数据库 完整性 封锁 异构数据库
发表作品相关人物供职机构所获资助研究领域
周文
供职机构:江苏理工大学
研究主题:计算机网络 图像获取 应用程序设计 应用程序 C/S结构
发表作品相关人物供职机构所获资助研究领域
王振辉
供职机构:华东师范大学
研究主题:车辆总线 车载设备 故障信息 磁导率 车载终端
发表作品相关人物供职机构所获资助研究领域
查杰民
供职机构:江苏大学计算机科学与通信工程学院
研究主题:面向对象 AGENT 制造业 COM/DCOM WEB系统
发表作品相关人物供职机构所获资助研究领域
刘静
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:半导体光放大器 全光波长变换 WEB服务 接口 形式化验证
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0