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

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

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

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

VHDL语言基础的学习课件免费下载
FPGA，Verilog，vhdl
FPGA，Verilog，vhdl
VHDL编程风格.pdf
UWB高精度定位-隧道施工安全综合管理系统
基础知识--单片机各种复位电路原理
[完结15章]AI 智能体从入门到高级（COZE版）零基础零代码
计算机硬件技术基础 金泰松
基础进阶：示波器的6大高级使用技巧
FPGA从0到1学习资料集锦
该用户资料分享
CAM生产测试软件GENESYS
虚拟仪器-VirtualTools V2.0
M-100组合仪器软件
L200~L400~L800逻辑分析仪软件
SJY-01事故追忆显示记录仪数据管理软件
JSC100V20读写器测试软件
温度传感器设计指南 第一版
MAX4066 低功耗低电压高精度A、D变换器
MAX1627 两节AA电池供电的降压转换器
AT49F2048

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

在网格数据组织中使用概念
基于PXA270平台的嵌入式流媒体播放器设计
基于CAN总线的分布式嵌入式远程监控研制
基于Profibus-DP的控制系统的通信互连
嵌入式Linux系统实时进程调度算法改进
MDK(KEIL)中设定变量或数组到指定的位置

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

状态变量滤波器SVF型多相输出振荡器
低失真、状态变量式2相振荡电路图
带通状态变量滤波器电路图
二阶状态变量滤波器电路图
通用状态变量滤波器电路图
变量闪光电路

相关视频

桂林电子科技大学-汪汪队
同济大学-TU smart 纵享新丝滑
湖南科技大学-湖科六队
上海工程技术大学-飘飘飘雪队
太原工业学院-晋速扶光星
西南科技大学-西科轮腿一队

评论

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