您的位置： 专家智库 > >

任龙涛

作品数：9 被引量：29H指数：2
供职机构：大连理工大学国家示范性软件学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 8个自动化与计算...
  • 6个电子电信
  • 5个经济管理
  • 5个文化科学
  • 4个理学
  • 3个交通运输工程
  • 2个天文地球
  • 2个机械工程
  • 2个电气工程
  • 2个建筑科学
  • 2个航空宇航科学...
  • 2个医药卫生
  • 2个农业科学
  • 2个一般工业技术
  • 2个社会学
  • 1个哲学宗教
  • 1个生物学
  • 1个矿业工程
  • 1个石油与天然气...
  • 1个金属学及工艺

主题

  • 6个形式化
  • 5个形式化验证
  • 4个代码
  • 4个单片
  • 4个单片机
  • 4个单片机原理
  • 4个单片机原理与...
  • 4个电路
  • 4个电路仿真
  • 4个电视
  • 3个代码生成
  • 3个单粒子
  • 3个单粒子翻转
  • 3个电机
  • 3个电路故障
  • 3个电路系统
  • 2个代码生成工具
  • 2个代码实现
  • 2个代码转换
  • 2个等式

机构

  • 8个大连理工大学
  • 1个哈尔滨工业大...
  • 1个中国科学院
  • 1个中国科学院力...
  • 1个中国航天
  • 1个中国科学院大...

资助

  • 8个国家自然科学...
  • 3个中央高校基本...
  • 2个国家重点基础...
  • 2个广西高校科学...
  • 2个国家教育部博...
  • 2个辽宁省普通高...
  • 1个贵州省科学技...
  • 1个国家高技术研...
  • 1个国家科技支撑...
  • 1个国家社会科学...
  • 1个教育部留学回...
  • 1个辽宁省教育厅...
  • 1个大连市信息产...
  • 1个工业装备结构...
  • 1个国家重点实验...
  • 1个海岸和近海工...
  • 1个辽宁省博士科...
  • 1个辽宁省自然科...

传媒

  • 6个计算机科学
  • 5个第七届信息安...
  • 4个电气电子教学...
  • 4个实验室研究与...
  • 4个实验技术与管...
  • 4个实验室科学
  • 4个第五届信息安...
  • 4个2013全国...
  • 3个清华大学学报...
  • 3个计算机工程与...
  • 3个软件学报
  • 3个计算机工程与...
  • 3个第四届信息安...
  • 3个2012全国...
  • 3个2013年全...
  • 3个第六届信息安...
  • 3个第八届信息安...
  • 2个计算机工程与...
  • 2个计算机技术与...
  • 1个政策与管理

地区

  • 7个辽宁省
  • 1个北京市
共 8 条 记 录，以下是 1-8
周宽久
供职机构：大连理工大学
研究主题：嵌入式软件 复杂网络 嵌入式系统 遗传算法 决策支持系统
发表作品相关人物供职机构所获资助研究领域
王小龙
供职机构：大连理工大学
研究主题：形式化验证 级联 网络建模 软件系统 级联故障
发表作品相关人物供职机构所获资助研究领域
侯刚
供职机构：大连理工大学
研究主题：正则表达式 工控网络 网络协议 形式化验证 PROTEUS
发表作品相关人物供职机构所获资助研究领域
勇嘉伟
供职机构：大连理工大学
研究主题：形式化验证 状态空间爆炸 软件系统 层次化 STM
发表作品相关人物供职机构所获资助研究领域
王竹
供职机构：大连理工大学国家示范性软件学院
研究主题：复杂网络 加权 级联故障 级联 网络建模
发表作品相关人物供职机构所获资助研究领域
崔凯
供职机构：中国科学院力学研究所
研究主题：捕获 高速飞行器 构型 乘波体 升阻比
发表作品相关人物供职机构所获资助研究领域
王洁
供职机构：大连理工大学
研究主题：无线 嵌入式软件 无线传感器网络 无线网络技术 信号强度
发表作品相关人物供职机构所获资助研究领域
林驰
供职机构：大连理工大学
研究主题：无线光通信 感知 光接收模块 光传感器 可调度性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0