• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊>微计算机信息 >对时间自动机中时钟约束的处理

对时间自动机中时钟约束的处理

     
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.

著录项

  • 来源
    《微计算机信息》|2008年第7期|219-220,142|共3页
  • 作者

    周清雷; 周颜; 赵东明;

  • 作者单位

    450001,郑州,郑州市高新技术产业开发区莲花街河南工业大学信息科学与工程学院;

    450052,河南郑州,郑州大学,信息工程学院;

    450000,河南郑州,河南工业大学,信息科学与工程学院;

    450052,河南郑州,郑州大学,信息工程学院;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 安全保密;
  • 关键词

    时间自动机; 时钟约束; 可达性;

  • 入库时间 2022-09-01 14:31:12

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号