您的位置： 专家智库 > >

詹乃军

作品数：18 被引量：109H指数：4
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程经济管理更多>>

合作作者

领域

  • 24个自动化与计算...
  • 13个文化科学
  • 12个电子电信
  • 9个交通运输工程
  • 9个航空宇航科学...
  • 9个理学
  • 8个机械工程
  • 5个经济管理
  • 5个自然科学总论
  • 4个天文地球
  • 4个金属学及工艺
  • 4个电气工程
  • 1个生物学
  • 1个化学工程
  • 1个建筑科学
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个农业科学

主题

  • 20个仿真
  • 18个形式化
  • 15个形式化验证
  • 14个硬件
  • 14个嵌入式
  • 14个人工智能
  • 11个代码
  • 11个形式化方法
  • 11个映射
  • 11个自动机
  • 10个调度
  • 9个语法
  • 8个定理
  • 8个定理证明
  • 8个星载
  • 7个等价
  • 7个电路
  • 7个迭代
  • 5个调度算法
  • 5个定姿

机构

  • 9个中国科学院软...
  • 4个华东师范大学
  • 4个北京控制工程...
  • 3个国防科学技术...
  • 3个北京交通大学
  • 2个北京大学
  • 2个北京航空航天...
  • 2个武汉大学
  • 2个西北工业大学
  • 2个西安电子科技...
  • 2个国防科技大学
  • 1个北方交通大学
  • 1个哈尔滨工业大...
  • 1个北京空间飞行...
  • 1个北京信息工程...
  • 1个南京大学
  • 1个清华大学
  • 1个西北大学
  • 1个中国科学院
  • 1个上海大学

资助

  • 23个国家自然科学...
  • 13个国家高技术研...
  • 13个国家重点基础...
  • 7个国家教育部博...
  • 6个国家重点实验...
  • 5个中央高校基本...
  • 4个国家科技支撑...
  • 4个国家科技重大...
  • 4个国家中长期科...
  • 3个中国博士后科...
  • 3个北京市科技计...
  • 3个教育部“新世...
  • 3个陕西省自然科...
  • 2个北京市自然科...
  • 2个国防基础科研...
  • 2个山东省自然科...
  • 2个国家杰出青年...
  • 2个中央级公益性...
  • 2个陕西省教育厅...
  • 2个北京市科委项...

传媒

  • 15个软件学报
  • 10个中国科学：信...
  • 8个计算机学报
  • 8个计算机科学
  • 7个计算机研究与...
  • 7个计算机工程与...
  • 7个中国空间科学...
  • 6个计算机应用研...
  • 5个计算机工程
  • 5个计算机应用与...
  • 5个计算机科学与...
  • 5个空间控制技术...
  • 4个华东师范大学...
  • 4个微电子学与计...
  • 4个计算机工程与...
  • 4个中国科学：技...
  • 3个宇航学报
  • 3个自动化学报
  • 3个铁道通信信号
  • 3个电子学报

地区

  • 16个北京市
  • 4个上海市
  • 3个陕西省
  • 1个湖南省
  • 1个江苏省
共 25 条 记 录，以下是 1-10
赵军锁
供职机构：中国科学院软件研究所
研究主题：卫星 星载 卫星姿态 天基 神经网络
发表作品相关人物供职机构所获资助研究领域
张健
供职机构：中国科学院软件研究所
研究主题：仿真测试 软件测试 自动驾驶系统 测试数据 自动驾驶
发表作品相关人物供职机构所获资助研究领域
王戟
供职机构：国防科学技术大学
研究主题：软件测试 软件开发 软件工程 时序逻辑 自动机
发表作品相关人物供职机构所获资助研究领域
吴凤鸽
供职机构：中国科学院软件研究所
研究主题：卫星 卫星姿态控制 卫星姿态 测控 自适应
发表作品相关人物供职机构所获资助研究领域
王淑灵
供职机构：中国科学院软件研究所
研究主题：形式化验证 形式化 混成系统 多机器人路径规划 定理证明
发表作品相关人物供职机构所获资助研究领域
邹亮
供职机构：中国科学院软件研究所
研究主题：仿真 形式化验证 形式化 列控系统 中国高速铁路
发表作品相关人物供职机构所获资助研究领域
张衡
供职机构：中国科学院软件研究所
研究主题：卫星 天基 地面站 卫星姿态 场景感知
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
董晓刚
供职机构：北京控制工程研究所
研究主题：航天器 星载软件 复用性 嵌入式软件 航天器控制
发表作品相关人物供职机构所获资助研究领域
周达天
供职机构：北京交通大学
研究主题：列车定位 多传感器融合 速度传感器 多传感器信息融合 列车运行控制系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0