作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

混合系统的形式验证方法及其应用  CNKI文献

在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系统,错误运行将造成重大损失。而形式验证的目的在于检验混合系统是否在任何环境下都能安...

张雅顺 导师:方敏 合肥工业大学 2006-05-01 硕士论文

关键词: 混合系统 / 形式验证 / 模型检验 / 可达集

下载(222)| 被引(5)

混合系统的形式验证方法  CNKI文献

在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介...

方敏 张雅顺... 《系统仿真学报》 2006年10期 期刊

关键词: 混合系统 / 形式验证 / 过近似 / 可达集

下载(326)| 被引(32)

PLC在发射控制系统中的可靠性应用研究  CNKI文献

基于PLC(可编程逻辑控制器)的发射控制系统冗余技术在运载火箭地面测试发射控制系统中有着广泛的应用。现有运载火箭大多采用并联PLC发射控制方式来提高发射的可靠性,在实际发射中取得了一定的成功。但此方式本身存在...

连盟 张雅顺... 《航天控制》 2015年01期 期刊

关键词: PLC / 发射控制系统 / 冗余架构 / 可靠性评估

下载(103)| 被引(3)

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

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

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

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

下载(28)| 被引(1)

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

  • 发文趋势
时间的形状