您的位置： 专家智库 > >

周涛

作品数：3 被引量：2H指数：1
供职机构：西华大学数学与计算机学院更多>>
发文基金：国家自然科学基金四川省应用基础研究计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 2个自动化与计算...
  • 1个经济管理
  • 1个电子电信
  • 1个建筑科学
  • 1个交通运输工程
  • 1个文化科学
  • 1个理学

主题

  • 2个形式化
  • 2个形式化分析
  • 2个形式化分析方...
  • 1个代数
  • 1个单调性
  • 1个递归
  • 1个递归调用
  • 1个递归关系
  • 1个递归技术
  • 1个电路
  • 1个电梯群
  • 1个电梯群控
  • 1个订单
  • 1个订单处理
  • 1个对偶
  • 1个对偶性
  • 1个多道
  • 1个信道
  • 1个信道复用
  • 1个信号控制

机构

  • 2个西华大学
  • 1个电子科技大学
  • 1个西南交通大学

资助

  • 2个国家自然科学...
  • 2个四川省应用基...
  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个四川省自然科...
  • 1个四川省教育厅...
  • 1个中央级公益性...
  • 1个高等学校学科...
  • 1个教育部“春晖...
  • 1个四川省高等教...
  • 1个厦门市科技计...
  • 1个四川省教育厅...

传媒

  • 2个计算机应用
  • 1个计算机研究与...
  • 1个厦门大学学报...
  • 1个计算机工程与...
  • 1个西南交通大学...
  • 1个四川大学学报...
  • 1个电子科技大学...
  • 1个计算机应用研...
  • 1个软件学报
  • 1个系统仿真学报
  • 1个贵州科学
  • 1个四川工业学院...
  • 1个计算机与数字...
  • 1个微计算机信息
  • 1个计算机科学
  • 1个高等教育研究...
  • 1个西华大学学报...
  • 1个西南民族大学...
  • 1个绵阳师范学院...
  • 1个通讯和计算机...

地区

  • 2个四川省
共 2 条 记 录，以下是 1-2
刘建昆
供职机构：西华大学数学与计算机学院
研究主题：形式化 列控系统 列车控制系统 PETRI网 形式化分析方法
发表作品相关人物供职机构所获资助研究领域
宋文
供职机构：西华大学
研究主题：PETRI网 发送 自控网 形式化 不变量
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0