您的位置: 专家智库 > >

马莎

作品数:4 被引量:6H指数:2
供职机构:首都师范大学更多>>
发文基金:国际科技合作与交流专项项目国家自然科学基金北京市教委科学研究与科研基地建设项目更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 7个自动化与计算...
  • 6个文化科学
  • 5个电子电信
  • 4个环境科学与工...
  • 3个电气工程
  • 2个经济管理
  • 2个化学工程
  • 2个矿业工程
  • 2个机械工程
  • 2个建筑科学
  • 2个农业科学
  • 2个理学
  • 1个哲学宗教
  • 1个天文地球
  • 1个金属学及工艺
  • 1个轻工技术与工...
  • 1个医药卫生
  • 1个一般工业技术
  • 1个军事
  • 1个艺术

主题

  • 7个定理
  • 7个定理证明
  • 7个形式化
  • 7个形式化验证
  • 7个学理
  • 7个运动学
  • 7个实时嵌入式
  • 7个实时嵌入式操...
  • 6个定理证明器
  • 6个形式化分析
  • 6个形式化分析方...
  • 6个形式化建模
  • 6个形式化描述
  • 6个元件
  • 6个实时性
  • 5个代码
  • 5个电路
  • 5个星载
  • 5个星载设备
  • 4个代数

机构

  • 7个首都师范大学
  • 2个中国科学院研...
  • 1个国家农业信息...
  • 1个北京化工大学
  • 1个内蒙古大学
  • 1个北京航空航天...
  • 1个首钢工学院
  • 1个中国科学院
  • 1个中国矿业大学...
  • 1个中国科学院软...
  • 1个军事科学院
  • 1个内蒙古工学院
  • 1个中国科学院大...

资助

  • 7个国家自然科学...
  • 7个北京市教委科...
  • 7个北京市科委项...
  • 7个国际科技合作...
  • 6个北京市自然科...
  • 6个国家科技支撑...
  • 6个北京市优秀人...
  • 5个国家高技术研...
  • 5个北京市教委科...
  • 5个中央级公益性...
  • 5个国家重点实验...
  • 4个北京市教委资...
  • 3个北京市科委基...
  • 3个国家重点基础...
  • 3个国家教育部博...
  • 2个北京市科技新...
  • 2个北京市科技计...
  • 2个北京市高等学...
  • 2个北京市教育委...
  • 2个北京市教育委...

传媒

  • 7个小型微型计算...
  • 7个软件学报
  • 6个计算机工程与...
  • 6个计算机科学
  • 5个计算机应用与...
  • 5个计算机工程与...
  • 4个电子学报
  • 4个计算机工程
  • 4个计算机应用研...
  • 4个计算机仿真
  • 3个计算机应用
  • 3个计算机系统应...
  • 3个微计算机信息
  • 3个电子元件与材...
  • 2个中国图象图形...
  • 2个计算机研究与...
  • 2个电子技术应用
  • 2个电源技术
  • 2个西安科技学院...
  • 2个电子器件

地区

  • 7个北京市
7 条 记 录,以下是 1-7
李黎明
供职机构:首都师范大学
研究主题:形式化验证 定理证明 SPACEWIRE 形式化分析方法 逻辑语言
发表作品相关人物供职机构所获资助研究领域
关永
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
发表作品相关人物供职机构所获资助研究领域
施智平
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 图像检索 定理证明器
发表作品相关人物供职机构所获资助研究领域
王瑞
供职机构:首都师范大学
研究主题:形式化验证 机器人 ROS 移动机器人 时间自动机
发表作品相关人物供职机构所获资助研究领域
张倩颖
供职机构:首都师范大学
研究主题:定理证明器 逻辑命题 形式化验证 逻辑语言 形式化分析方法
发表作品相关人物供职机构所获资助研究领域
张杰
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
发表作品相关人物供职机构所获资助研究领域
李晓娟
供职机构:首都师范大学
研究主题:形式化验证 定理证明 机器人 移动机器人 形式化方法
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0