您的位置： 专家智库 > >

国家重点基础研究发展计划(G1998030416)

作品数：8 被引量：26H指数：4
相关作者：陆维明焦莉林贵献徐静蒲飞更多>>
相关机构：中国科学院数学与系统科学研究院西华大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划四川省应用基础研究计划项目更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 6个自动化与计算...
  • 5个理学
  • 3个电子电信
  • 3个文化科学
  • 1个经济管理
  • 1个生物学
  • 1个建筑科学
  • 1个交通运输工程
  • 1个医药卫生
  • 1个自然科学总论

主题

  • 6个PETRI网
  • 5个有界
  • 5个有界性
  • 5个活性
  • 5个非对称选择网
  • 4个网络
  • 3个递归
  • 3个性质分析
  • 3个图像
  • 3个系统设计
  • 3个离散事件系统
  • 3个矩阵
  • 2个多项式
  • 2个多项式时间
  • 2个多项式算法
  • 2个英文
  • 2个死锁
  • 2个随机PETR...
  • 2个子网
  • 2个子网合成

机构

  • 5个中国科学院数...
  • 2个中国科学院
  • 2个中国科学院软...
  • 1个电子科技大学
  • 1个西南交通大学
  • 1个西华大学
  • 1个重庆医药高等...
  • 1个国家信息中心
  • 1个核工业二一六...

资助

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

传媒

  • 5个软件学报
  • 4个系统仿真学报
  • 3个计算机学报
  • 3个计算机科学
  • 2个系统工程理论...
  • 2个计算机应用研...
  • 2个第九届全国P...
  • 2个第十次全国P...
  • 2个第十一届全国...
  • 1个电子测试
  • 1个自动化学报
  • 1个计算机研究与...
  • 1个电子学报
  • 1个中国科学（A...
  • 1个厦门大学学报...
  • 1个计算机工程与...
  • 1个西南交通大学...
  • 1个计算机应用
  • 1个四川大学学报...
  • 1个电子科技大学...

地区

  • 4个北京市
  • 1个四川省
  • 1个重庆市
共 6 条 记 录，以下是 1-6
陆维明
供职机构：中国科学院数学与系统科学研究院
研究主题：PETRI网 活性 PETRI网系统 非对称选择网 并发语言
发表作品相关人物供职机构所获资助研究领域
焦莉
供职机构：中国科学院软件研究所
研究主题：PETRI网 活性 有界性 非对称选择网 子网合成
发表作品相关人物供职机构所获资助研究领域
林贵献
供职机构：中国科学院数学与系统科学研究院数学研究所
研究主题：活性 PETRI网 有界性 PETRI网系统 离散事件系统
发表作品相关人物供职机构所获资助研究领域
蒲飞
供职机构：重庆医药高等专科学校
研究主题：并发语言 PETRI网系统 共享合成 大数据 保持性
发表作品相关人物供职机构所获资助研究领域
徐静
供职机构：中国科学院数学与系统科学研究院
研究主题：非对称选择网 活性 有界性 PETRI网 全变分
发表作品相关人物供职机构所获资助研究领域
宋文
供职机构：西华大学
研究主题：PETRI网 发送 自控网 形式化 不变量
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0