首页
论坛
电子技术基础
模拟技术
可编程器件
嵌入式系统与MCU
工程师职场
最新帖子
问答
版主申请
每月抽奖
商城免费换礼
社区有奖活动
博客
下载
评测
视频
文库
芯语
资源
2025泰克杭州测试论坛
2025中国低空经济产业创新发展大会
【直播】芯片设计工艺仿真全解析
西门子数字化工业软件资源中心
嵌入式设计资源库
智能楼宇/家电控制应用全解析
在线研讨会
EE直播间
小测验
白皮书
行业及技术活动
杂志免费订阅
免费在线工具
厂商资源中心
论坛
博文
电子工程专辑
电子技术设计
国际电子商情
资料
白皮书
研讨会
芯语
文库
登录|注册
登录
面包板社区
> >
标签
> >
建模语言
标签: 建模语言
相关资源
面向实时传值系统的局部模型检测
所需E币: 5
时间: 2019-12-25 22:41
大小: 66.11KB
上传者:
rdg1993
为对实时传值系统进行模型检测,本文给出了时间符号迁移图作为系统的建模语言,以及实时谓词μ演算作为刻画性质的逻辑语言。本文给出了基于时间符号迁移图和实时谓词μ演算的一个模型检测算法,该算法动态生成和检测可达的状态空间,并且采用对数据变量on—the—fly实例化以及动态切分时间计值集合的方法,是一个局部算法。该算法不仅能处理基于有限域的变量,还可处理一类数据域无穷的变量(称“数据无关”变量)。……
UML技术资料
所需E币: 4
时间: 2019-12-25 15:28
大小: 2.61MB
上传者:
微风DS
UML技术资料……
更多...
首页
论坛
电子技术基础
模拟技术
可编程器件
嵌入式系统与MCU
工程师职场
最新帖子
问答
版主申请
每月抽奖
商城免费换礼
社区有奖活动
博客
下载
评测
视频
文库
芯语
资源
2025泰克杭州测试论坛
2025中国低空经济产业创新发展大会
【直播】芯片设计工艺仿真全解析
西门子数字化工业软件资源中心
嵌入式设计资源库
智能楼宇/家电控制应用全解析
在线研讨会
EE直播间
小测验
白皮书
行业及技术活动
杂志免费订阅
免费在线工具
厂商资源中心
帖子
博文
返回顶部
×