PATTERN系列的番外篇
对non-Zeno的概念进行了明晰
accepting：if infinitely often the same state
non-Zeno：if time diverges，which means \(\sum_{i\geq20}\)\(\delta_{i}\) \(\rightarrow \infin\)
Abstract zone graphs again：
Extra\(^{+}_{LU}\)
\(\nearrow\) \(\nwarrow\)
Extra\(^{+}_{M}\) Extra\(_{LU}\)
\(\nwarrow\) \(\nearrow\)
Extra\(_{M}\)
ZG^a^\(( \mathcal{A} )\) ：(\(q_0\)\(,\) \(Z_0\))\(\rightarrow\)(\(q_1\)\(,\) \(Z_1\))\(\rightarrow\) (\(q_2\)\(,\) \(Z_2\))\(\rightarrow\)\(\cdots\)
\(\mathcal{A}\)：(\(q_0\)\(,\) \(v_0\))\(\rightarrow\) (\(q_1\)\(,\) \(v_1\))\(\rightarrow\) (\(q_2\)\(,\) \(v_2\))\(\rightarrow\)\(\cdots\)
（All the above abstractions preserve repeated state reachability）
其中\(\mathcal{A}\)中的每一个状态都是ZG^a^\(( \mathcal{A} )\) 中相应状态的元素，即 \(\forall i\geq0\) 有\(v_i\) \(\in\) \(Z_i\)
Time progress criterion： \(\bigwedge_{x \in X}\)unbounded\((x)\)\(\vee\)fluctuating\((x)\)
non-Zenoness： the time progress criterion is not sound on zones
note: Adding one clock leads to an exponential blowup in the zone graph!
exponential blowup：指数爆炸
随机推荐
-
prometheus + grafana安装部署（centos6.8）
官方网址:https://prometheus.io/ GitHub网址:https://github.com/prometheus/prometheus 软件下载地址:https://prometh ...
-
ArcGIS AddIN开发之 设置当前工具为Edit Tool
在GIS数据处理中,经常需要选择要素,再进行操作.所以,为了处理的方便,可以将当前工具处理结束后,将当前工具设置为Edit Tool,以方便下一次的选择处理. 相关资料: 1.ArcMap Name ...
-
tcpdf开发文档（中文翻译版）
2017年5月3日15:06:15 这个是英文翻译版,我看过作者的文档其实不太友善或者不方便阅读,不如wiki方便 后面补充一些,结构性文档翻译 这是一部官方网站文档,剩余大部分都是开发的时候和网络总 ...
-
[No0000193]Chrome浏览器控制台（console）花式调试
对前端开发者来说,Chrome Dev Tools(开发者工具,以下简称CDT)是一个不可或缺的开发调试工具,但是你可能只用过console.log(),却不知道console还有很多功能强大的调试方 ...
-
前端的重要部分js
js用来实现页面的动态效果. js的特点:1.是客户端语言,客户端进行解释执行. 2.是一种脚本语言 3.是一种基于对象的语言,不用定义类和实例化对象,直接使用类即可 4.js前端和后端都可以做 js ...
-
AnyConnect无法与指定的安全网关建立连接（转）
原文:https://www.cnblogs.com/dumuqiao/p/4020547.html Cisco的VPN客户端最近报“AnyConnect was not able to establ ...
-
Linux内核态用户态相关知识 & 相互通信
http://www.cnblogs.com/bakari/p/5520860.html 内核从本质上看是一种软件——控制计算机的硬件资源,并提供上层应用程序运行的环境. 系统调用是操作系统的最小功能 ...
-
echart tootip使用技巧
1.关于混合折线图tooltip显示不同单位 formatter: function (params){ return params[0].name + '<br/>' + params ...
-
Python3学习之路~5.12 hashlib & hmac & md5 & sha模块
hashlib模块用于加密相关的操作,3.x里代替了md5模块和sha模块,主要提供 SHA1, SHA224, SHA256, SHA384, SHA512 ,MD5 算法 import md5 h ...
-
[摘抄] SFM 和 Visual SLAM
来自知乎: SFM和vSLAM基本讨论的是同一问题,不过SFM是vision方向的叫法,而vSLAM是robotics方向的叫法. vSLAM所谓的mapping,vision方向叫structure ...