- 博客(3)
- 收藏
- 关注
RSS订阅原创 gazebo 运行显示占用及进行完整记录时直接跳出
gazebo 运行显示占用及进行完整记录时直接跳出运行gazebo -r --record_path ~/logs/random_velocity worlds/xxx.world 直接跳出或者报错 [Err] [Master.cc:96] EXCEPTION: Unable to start server[bind: Address already in use]. There is probably another Gazebo process running可以运行以下命令killa
2022-04-20 15:50:55
620
原创 Ubuntu14下安装cmake3.20
Ubuntu14下安装cmake3.201、下载cmake安装包2、配置环境尝试了几种网上的方法，最后都失败了，然后使用安装包安装，之后进行环境变量配置成功了1、下载cmake安装包下载cmake安装包: https://cmake.org/download/.解压到所要安装的文件夹下2、配置环境对环境变量进行修改，打开命令行界面输入：gedit ~/.bashrc在打开的文件末尾加入export PATH=$PATH:cmake所在文件夹名/cmake-3.20.1-linux-x
2021-04-09 17:07:01
2218
2
原创 模型检测原理、方法学习
模型检测学习一、模型检测概论1.1 模型检测所解决的问题：保证并发系统正确性和可靠性1.2 特点：自动化程度高、简洁明了1.3 发展：用于描述并发系统性质的CTL逻辑 符号模型检测技术1.4 基本思想：用状态迁移系统（S）表示系统的行为，用模态/时序逻辑公式（F）描述系统的性质,这样“系统是否具有所期望的性质”就转化为数学问题“状态迁移系统 S 是否是时序逻辑公式 F 的一个模型？”，这个问题是可判定的，即可以用计算机程序在有限时间内自动确定。1.5模型检测过程（1）建模：第一个步
2020-11-01 16:23:18
12589
7
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人