您的位置： 专家智库 > >

国家自然科学基金(61272174)

作品数：6 被引量：14H指数：2
相关作者：侯刚周宽久王洁任龙涛王小龙更多>>
相关机构：大连理工大学更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术文化科学更多>>

领域

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

主题

  • 6个形式化
  • 6个形式化验证
  • 6个软件系统
  • 6个迁移矩阵
  • 5个有界模型检测
  • 5个软件设计
  • 4个代码
  • 4个单片
  • 4个单片机
  • 4个电机
  • 3个代码生成
  • 3个单粒子
  • 3个单粒子翻转
  • 3个单片机原理
  • 3个单片机原理与...
  • 3个电路
  • 3个电路仿真
  • 3个电路故障
  • 3个电路系统
  • 3个电视

机构

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

资助

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

传媒

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

地区

  • 8个辽宁省
共 8 条 记 录，以下是 1-8
侯刚
供职机构：大连理工大学
研究主题：正则表达式 工控网络 网络协议 形式化验证 PROTEUS
发表作品相关人物供职机构所获资助研究领域
周宽久
供职机构：大连理工大学
研究主题：嵌入式软件 复杂网络 嵌入式系统 遗传算法 决策支持系统
发表作品相关人物供职机构所获资助研究领域
任龙涛
供职机构：大连理工大学国家示范性软件学院
研究主题：形式化验证 STM 嵌入式软件 迁移矩阵 级联故障
发表作品相关人物供职机构所获资助研究领域
王洁
供职机构：大连理工大学
研究主题：无线 嵌入式软件 无线传感器网络 无线网络技术 信号强度
发表作品相关人物供职机构所获资助研究领域
王小龙
供职机构：大连理工大学
研究主题：形式化验证 级联 网络建模 软件系统 级联故障
发表作品相关人物供职机构所获资助研究领域
赖晓晨
供职机构：大连理工大学国家示范性软件学院
研究主题：嵌入式计算机 惯性传感器 氧化锆 计算机组织与结构 单片机
发表作品相关人物供职机构所获资助研究领域
王竹
供职机构：大连理工大学国家示范性软件学院
研究主题：复杂网络 加权 级联故障 级联 网络建模
发表作品相关人物供职机构所获资助研究领域
勇嘉伟
供职机构：大连理工大学
研究主题：形式化验证 状态空间爆炸 软件系统 层次化 STM
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0