- 博客(21)
- 收藏
- 关注
RSS订阅原创 UPPAAL使用方法
由于刚开始学习时间自动机及其使用方法，对UPPAAL使用不太熟悉，网上能找到的教程很少，摸索了很久终于成功实现一个小例子，所以记录一下详细教程。这里用到的例子参考，详细信息可自行有链接查看，本文重点手把手教学UPPAAL方法，本人也是刚开始学习，有不足或理解有误的情况欢迎指出。下面使用几个小例子展示使用 UPPAAL建模，验证的方法。
2024-05-24 21:05:39
787
2
原创 文件夹右侧预览设置
突然发现文件夹不能预览pdf文件了，但是图片，txt文档还是可以预览。使用的是win11+WPS。找到WPS的配置工具，双击。
2024-05-10 20:21:11
636
原创 IDE使用技巧
然后选择“Python调试程序：包含参数的当前文件”打开文件，点击右上角的三角形（运行）旁边的展开。选择“使用launch.json调试”此处为model选择，故输入为。输入完成以后，按下回车（
2024-05-10 12:08:43
174
原创 jupyter notebooks安装与使用
首先要安装Python然后将pip升级到最新版本cmdScripts然后安装Jupyter Notebooks打开命令提示窗,切换到Python的安装目录下的Scripts安装完成后。
2024-03-20 16:33:47
389
1
原创 ubuntu20.04安装Docker
然后在软件列表中即可找到Docker Desktop,双击打开，同意并进入即可。安装软件，使apt能够通过https安装软件。Docker默认在root下使用，需使用。一般默认下载在文件夹【下载】中。添加Docker官方GPG密钥。点击DEB package。获得权限，若不想在前加上。验证是否可以在不使用。
2023-12-18 10:37:40
638
原创 Ubuntu20.04安装教程
若要设置每次开机默认进入的系统，则进入BIOS界面，使用鼠标移动Ubuntu和Windows的位置，排在第一位的为默认启动的系统。【分区类型】查看：计算机（或我的电脑）（右键）→管理→磁盘管理→右下角磁盘0或者磁盘1处（不要选择U盘的磁盘）（右键）→属性→卷，查看磁盘分区形式。在这个找到的磁盘处（右键）→压缩卷→在压缩后的总计大小处输入想要分给ubuntu的空间大小→压缩。【文件系统】查看：计算机（或我的电脑）（右键）→管理→磁盘管理，右上角磁盘的文件系统。安装完毕，点击现在重启，点击以后。
2023-12-17 17:56:27
2896
1
原创 Build Apollo中的报错解决
失败，则直接通过链接：https://zlib.net/zlib-1.2.11.tar.gz 在浏览器中直接下载，然后在下载（未更改下载位置时默认在下载文件夹）中找到下载的文件。经过查找，应该是网络问题，重新执行一遍或者重新联网即可。但我重新执行后还是报错，于是我重启电脑后重新运行，运行成功。一般是由于网络问题，但是经常出现这种问题，因此，可直接手动下载安装包，然后移动到相应位置即可。对其他package下载失败解决方法类似。，在文件夹右上角，打开显示隐藏文件。在打开的文档中，将“zlib”部分。
2023-11-27 17:05:51
1307
8
原创 Ubuntu 一些常用命令总结
df命令是Linux系统以磁盘分区为单位查看文件系统，可以加上参数查看磁盘剩余空间信息，命令：查看磁盘剩余空间df -hl查看每个根路径的分区大小df -h返回该目录的大小du -sh [目录名]返回该文件夹总M 数du -sm参考文献：【1】Ubuntu查看磁盘空间大小命令。
2023-11-24 15:52:45
1477
原创 UBUNTU无法进入图形化界面解决办法
在装驱动时重启电脑，发现ubuntu无法进入图形化界面，一直在黑屏，然后左上角有光标闪烁。这种情况应该是因为驱动的版本装的不对，需要卸载重装。进入以后按照提示，输入ubuntu用户名，用户密码。就进入了terminal。然后会提示输入用户密码，输入密码后会自动进入ubuntu桌面。输入下面四个命令，若出现四个白色菱形方块，输入用户密码即可。首先，给电脑联网，一定要联网！可以用USB连接手机热点。如果没有进入图形化界面，可以重新联网再次尝试。然后，进入tty2界面，通过。重新启动gdm3服务。
2023-11-24 12:09:16
8208
5
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人