首页|嵌入式系统|显示技术|模拟IC/电源|元件与制造|其他IC/制程|消费类电子|无线/通信|汽车电子|工业控制|医疗电子|测试测量
首页 > 分享下载 > 嵌入式系统 > 面向实时传值系统的局部模型检测

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

资料介绍
为对实时传值系统进行模型检测，本文给出了时间符号迁移图作为系统的建模语言，以及实时谓词μ演算作为刻画性质的逻辑语言。本文给出了基于时间符号迁移图和实时谓词μ演算的一个模型检测算法，该算法动态生成和检测可达的状态空间，并且采用对数据变量on—the—fly实例化以及动态切分时间计值集合的方法，是一个局部算法。该算法不仅能处理基于有限域的变量，还可处理一类数据域无穷的变量(称“数据无关”变量)。
标签：实时，，模型检测算法，，时间符号迁移图，，建模语言，，实例化，，数据域，，变量，，演算，，类数，，刻画
面向实时传值系统的局部模型检测
本地下载

相关资源 实时 ， ，模型检测算法

时钟分频电路实现精讲
一种交织器和解交织器的FPGA电路实现
一种交织器和解交织器的FPGA电路实现
一种减小工艺参数影响的CMOS集成电流源设计方法与电路实现
一种基于FPGA的UART电路实现
MRF89XAMxA的PICtail™器PICtail Plus子板用户指南
nrf905
nrf905
nrf905
STR系列无线模块简介
该用户资料分享
CAM生产测试软件GENESYS
虚拟仪器-VirtualTools V2.0
M-100组合仪器软件
L200~L400~L800逻辑分析仪软件
SJY-01事故追忆显示记录仪数据管理软件
JSC100V20读写器测试软件
温度传感器设计指南 第一版
MAX4066 低功耗低电压高精度A、D变换器
MAX1627 两节AA电池供电的降压转换器
AT49F2048

相关新闻 实时 ， ，模型检测算法

在网格数据组织中使用概念
基于PXA270平台的嵌入式流媒体播放器设计
基于CAN总线的分布式嵌入式远程监控研制
基于Profibus-DP的控制系统的通信互连
51单片机编程技巧整理
低失真、状态变量式2相振荡电路

相关电路 实时 ， ，模型检测算法

热带鱼缸水温自动控制器电路图讲解_气控电路图讲解
适合万用表使用的直流升压器电路
由自激多谐振荡器设计而成的水位报警器的效果图演示_基础硬件电路图讲解
双电源直流耦合音频放大功率器电路图
电蚊拍生产厂家提供的电路原理图
胆机CS8412+PCM63经典设计(模拟部分)电路图

相关视频

[nRF] Nordic推出两款新硬件产品，加速蜂窝产品开发
用Robei EDA工具设计的可重构机器人解决方案
第十八届全国智能车大赛独轮组预赛
第十八届全国智能车大赛摄像头组预赛
Create2024百度AI开发者大会都讲了什么？
选型指南ST STM32 H5

评论

下载排行
  • 本周
  • 本月
  • 总榜
快捷入口