Pusteblume2018

摘要： UPPAAL是使用较多的基于时间自动机的验证工具。它是由丹麦Aalborg大学和瑞士Uppsala大学联合开发的对实时系统模拟和验证的工具。时间自动机是对自动机理论的扩展，提供了形式化的方法来建立和分析实时系统的行为，在模型检测方面有着重要的应用。时间自动机为实时系统的自动化分析和验证提供了一种形式 阅读全文

摘要： 本文原题是《Timed Automata Semantics, Algorithms and Tools》，本人硕士毕业设计与此相关，研究了好久，现在自行翻译出来。转载请注明版权。 时间自动机：语义，算法和工具 Johan Bengtsson和Wang Yi Uppsala大学 Email：{joh 阅读全文

摘要： 使用jupyter写博客¶ 使用jupyter写博客¶ 使用jupyter写博客¶ 使用jupyter写博客¶ 将文件导出为静态html格式（这里我是用nbconvert命令转的，应该可以在导出时选择格式，但是不想找了，有知道的小伙伴可以留言），在博客园中新建随笔，点击html按钮，插入html代码 阅读全文

摘要： 根据环境变量的顺序调用python,pip等程序 将python.exe修改为python2.exe(或python3.exe）后可以通过不同的名字调用不同版本的python 注意修改Anaconda中的pip.exe名时，也要把对应的py文件也修改了 阅读全文

摘要： 在PyCharm，可以用Ctrl + Shift + Alt + L，对代码格式化，很多下划线问题，都可以把鼠标光标停留在上面，按Alt + Enter，不少问题IDE会帮忙自动修正，或者弹出多种参考修正方案的菜单 Ctrl + Shift + Alt + L，对代码格式化， 阅读全文

摘要： 必须安装python2，并配置环境变量，第一次安装时没有安装python,第一次打开可以使用，后来就打不开了，卸载重装也不行，安装Python2之后才可以。 按步骤安装就可以 不支持WPS 阅读全文

摘要： 下载地址：https://www.python.org/downloads/release/python-2716/ 尽量使用VPN，不然会很慢 安装后需要配置环境变量 阅读全文

摘要： Notepad++怎么对比文件，安装文件对比插件Compare pluginhttps://blog.csdn.net/qq_31772441/article/details/80306265 可以只复制dll文件 阅读全文

摘要： 4.1线性时态逻辑系统LTL 定义4.1.1 LTL公式的定义 {~,∧}{~，∨}{~，->} pure future formates 与之对应的有pure past formaces T，什么意思？ 定义4.1.2 迁移系统的定义 迁移关系是S上的连续关系（连续关系是指有出边） 定义4.1.3 阅读全文

摘要： 本地登陆 cmd输入下面的命令，会进入用户主目录 在浏览器打开时，提示输入token,复制命令行上的token还是不能进入，其实浏览器上有提示的，按照提示操作即可，输入“jupyter notebook list”，然后可以看到当前运行的服务以及相应的token，将 "b2d……fa6"输到浏览器中 阅读全文