作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

混杂系统验证中可达集过近似方法的研究  CNKI文献

混杂系统是连续变量动态系统和离散事件动态系统相结合,并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研究方向,它是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。形式验证...

罗来豹 导师:方敏 合肥工业大学 2010-03-01 硕士论文

关键词: 混杂系统 / 形式验证 / 有向矩形壳 / 凸多面体

下载(194)| 被引(2)

形式验证中近似流管道的算法研究  CNKI文献

混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多...

罗来豹 方敏... 《合肥工业大学学报(自然科学版)》 2010年10期 期刊

关键词: 形式验证 / 可达集 / 有向矩形壳 / 凸多面体

下载(32)| 被引(4)

混杂系统验证中商迁移系统迁移关系的简化算法  CNKI文献

混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点,结合凸多面体的性质,给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性...

方敏 李辉... 第二十九届中国控制会议论文集 2010-07-29 中国会议

关键词: 混杂系统 / 流管道 / 迁移关系 / 形式验证

下载(28)| 被引(1)

常压炉加热系统形式建模的验证  CNKI文献

文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道...

刘震 方敏... 《合肥工业大学学报(自然科学版)》 2010年10期 期刊

关键词: 形式验证 / 常压炉 / 混合系统 / 混合自动机

下载(65)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状