您的位置： 专家智库 > >

田涛

作品数：1 被引量：0H指数：0
供职机构：江南计算技术研究所更多>>
发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化分析

机构

  • 1篇江南计算技术...

作者

  • 1篇王丽
  • 1篇田涛
  • 1篇郑霄
  • 1篇赖新

传媒

  • 1篇计算机工程与...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
复杂串联系统的状态空间生成的形式化分析
2009年
大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
郑霄赖新王丽田涛
关键词：形式化方法
全选 清除 导出
共1页<1>
聚类工具0