您的位置： 专家智库 > >

四川省应用基础研究计划项目(09226030)

作品数：2 被引量：8H指数：2
相关作者：宋文牟行军刘建昆周涛更多>>
相关机构：西华大学更多>>
发文基金：四川省应用基础研究计划项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

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

主题

  • 4个PETRI网
  • 3个形式化
  • 3个形式化分析
  • 3个形式化分析方...
  • 3个列车
  • 3个列车控制
  • 3个列车控制系统
  • 3个列控系统
  • 2个单调性
  • 2个电路
  • 2个有界
  • 2个有界性
  • 1个代数
  • 1个递归
  • 1个递归调用
  • 1个递归关系
  • 1个递归技术
  • 1个电路构成
  • 1个电梯群
  • 1个电梯群控

机构

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

资助

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

传媒

  • 3个计算机应用
  • 2个西南交通大学...
  • 2个电子科技大学...
  • 2个贵州科学
  • 2个四川工业学院...
  • 2个西华大学学报...
  • 1个计算机研究与...
  • 1个厦门大学学报...
  • 1个计算机工程与...
  • 1个微型电脑应用
  • 1个四川大学学报...
  • 1个计算机应用研...
  • 1个软件学报
  • 1个继续教育
  • 1个系统仿真学报
  • 1个计算机与数字...
  • 1个微计算机信息
  • 1个成都纺织高等...
  • 1个计算机科学
  • 1个高等教育研究...

地区

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