padawan75的博客

1.下载地址http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz2.解压后把/bin文件路径添加到系统的环境变量Path中3.将编辑好的smv文件放在用户路径中，运行NuSMV xxx.smv即可。test.smv文件如下，输出结果见上图。MODULE mainVAR level_a : {empty, ok, full}; -- lower tank level_b : {empty, ok, full}; -- up

一、语义网（Semantic Web） 语义网（Semantic Web）是对未来网络的一个设想，现在与Web 3.0这一概念结合在一起，作为3.0网络时代的特征之一。简单地说，语义网是一种智能网络，它不但能够理解词语和概念，而且还能够理解它们之间的逻辑关系，可以使交流变得更有效率和价值。二、体系结构 Berners-Lee提出了最初的语义网体系结构，随着人们对语义网的深入研究，语义网的体系结构也在不断地发展演变。下图给出了语义Web的体系结构，各层的功能自...

最近看的好几篇论文里都提到了AST，所以想对这个知识点总结一下。在这几篇论文的里，AST主要就是用来解析TAP规则的。抽象语法树是什么？抽象语法树其实是源代码的抽象语法结构的树状表现形式。我们可以把代码转化为一颗抽象语法树（AST），这颗树定义了代码的结构，通过操纵这颗树，我们可以精准的定位到声明语句、赋值语句、运算语句等等，实现对代码的分析、优化、变更等操作。一个在线工具，可以可视化介意出一段代码的抽象语法树：https://resources.jointjs.com/demos/javasc