标签: 演算

基于网络演算的多业务场景确定性网络方案研究

基于网络演算与传感器技术的主线收费站交通预测

基于流演算和FLUX的办公室机器人控制

基于真值表演算的四量子电路综合方法

基于随机网络演算的物联网业务流量建模与分析方法

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