基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal 对CRW 进行了验证,证明了该模型具有安全性、有效性和可控性。...
用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal 对CRW 进行了验证,证明了该模型具有安全性、有效性和可控性。...
高斯过程在空间统计学中的研究已有很长时间,但其在最近十年才开始应用到非线性建模中。本例为高斯过程用于回归分析的MatLab实现。...
资料->【C】嵌入系统->【C0】嵌入式综合->【4】单片机论文->单片机类毕业设计->基于单片机的数字钟设计及时间校准研究.pdf...
普通时间换算为unix时间换算。标准时间换算...
数据挖掘及时间序列分析在NIDS中的应用 现有检测方法及其不足 研究目标 研究意义 研究方案 工作进度...