虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 基于时间自动机的风洞试验自动控制研究

基于时间自动机的风洞试验自动控制研究

  • 资源大小:213 K
  • 上传时间: 2023-12-13
  • 上传用户:XuVshu
  • 资源积分:2 下载积分
  • 标      签: 时间 自动机

资 源 简 介

用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞
试验控制模型(CRW),并采用实时系统验证工具Uppaal 对CRW 进行了验证,证明了该模型具有安全性、有效性和可控性。

相 关 资 源