面向实时传值系统的局部模型检测

面向实时传值系统的局部模型检测

为对实时传值系统进行模型检测，本文给出了时间符号迁移图作为系统的建模语言，以及实时谓词μ演算作为刻画性质的逻辑语言。本文给出了基于时间符号迁移图和实时谓词μ演算的一个模型检测算法，该算法动态生成和检测可达的状态空间，并且采用对数据……

	第一次访问EEPW？
	不要犹豫，注册成EEPWer，视频、文档、白皮书随你看


关于我们 \| 广告服务 \| 企业会员服务 \| 网站地图 \| 联系我们 \| 友情链接 \| 手机EEPW 《电子产品世界》杂志社版权所有北京东晓国际技术信息咨询有限公司 Copyright ©2000-2020 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved. 京ICP备12027778号-2