Ubuntu上安装vscode+latex教程（超超超简单）1. 在Ubuntu上安装latex环境打开命令行窗口，输入以下命令：sudo apt install texlive texlive-extra-utils texlive-binaries texlive-lang-cjk texlive-latex-base texlive-latex-extra texlive-xetex tex

Sage NoteBook(Jupyter)快速上传文件教程应用场景：当你需要一次性把很多个文件夹里多个.py文件传到Jupyter上时，一个一个新建文件夹和上传会非常麻烦。简单的上传方法：1. 找到你的Jupyter存文件的路径（所有的Jupyter都有一个本地路径）首先，在网页版的Jupyter里点到根目录，寻找目录所在线索。比如我这个路径里有Anaconda3，那么就打开Anaconda所在

g6k安装教程g6k(general sieve kernel)是由Martin Abrecht团队开发，用于快速计算SVP、LWE等格上困难问题的集成器。下载链接：https://github.com/fplll/g6k要求的安装环境：ubuntu+python2/python3Step1 clone https://github.com/fplll/g6kStep2 cd g6kStep3 配

注：basic role 命名时必须得写成role_…注：参变量首字母必须大写注：def和=中间不能有空格一、参与者role role-name (类型化参数) played_by player def =local %本地变量const %常量init %初始化变量transition %转换end rolebasic role记录模型中不同类型的角色的行动。(dy)...

1. 什么是AVISPA真是对不起提问的大家了，我好像没说清楚AVISPA是什么了。根据官网的定义来吧：AVISPA stands for Automated Validation of Internet Security Protocols and Applications.翻译下：AVISPA是一种用于自动证明网络安全协议与应用的工具集。贴一下AVISPA的官网地址：http://www.av

发现让网卡先连到主机(不是虚拟机)然后再让它从主机断开连接虚拟机就可以成功装入kali了.根本就不需要装mt7601(我买的免驱版)的驱动!

Anaconda（Ubuntu20.04上）安装fpylll库教程写在最前面：本来是想直接在Windows上安装fpylll库和sage库的，后来发现fpylll库的依赖库fplll和sage库在windows版的Anaconda上都无法安装，所以我只能退而将其安装在linux内核上了，结果linux内核要安装图形化界面非常麻烦，我只能选择在虚拟机上操作。一开始用的Win10自带的hyper-V，

1. 什么是AVISPA真是对不起提问的大家了，我好像没说清楚AVISPA是什么了。根据官网的定义来吧：AVISPA stands for Automated Validation of Internet Security Protocols and Applications.翻译下：AVISPA是一种用于自动证明网络安全协议与应用的工具集。贴一下AVISPA的官网地址：http://www.av

Kali 更新源教程1.更新源列表gedit /etc/apt/sources.list2.在editor中添加源,并保存#kali官方源的镜像源(直接添加官方源有时会无法定位到镜像源)deb http://mirrors.ustc.edu.cn/kali kali-rolling main non-free contrib3.若出现签名无效问题,参考blog:https://bl...

本专栏的内容是对瑞士开发的开源项目交通智能体仿真MATSim的使用和扩展的探索。博主没有用过其它的智能体仿真软件，MATSim是博主在导师的要求下学习的，MATSim是一款开源的交通智能体仿真软件，而且它的基础库也已经比较完善了，推荐给做交通研究和参加数学建模比赛（交通方面）的同学和老师们!由于这个软件没有中文教程，所以博主的探索过程十分艰辛，特在此处写下中文教程，希望以后的大家可以少走些