- 博客(11)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 如何将ppt中的绘图高清保存
一般用ppt另存为图片的方式保存的图片会比较模糊，放大后锯齿化比较严重，怎样导出高清的图片呢？步骤：1.选中ppt中要保存为图片的内容，右键“另存为图片”，保存格式为emf或wmf2.将保存为emf格式的图片用visio打开，可以适当裁剪、调整大小3.将visio文件另存为图片，弹出的选项中根据需要选择分辨率（默认为120）和质量（默认75%）,点击确定即可...
2020-06-06 12:32:40
6487
原创 nginx在Windows下配置运行及nginx局域网共享文件的方法
一、Nginx在Windows下配置运行Nginx 是一款自由的、开源的、高性能的 HTTP 服务器和反向代理服务器；同时也是一个 IMAP、POP3、SMTP 代理服务器。Nginx 可以作为一个 HTTP 服务器进行网站的发布处理，另外 Nginx 可以作为反向代理进行负载均衡的实现。首先，进入nginx官网，进入下载的页面，选择合适的版本进行下载。将下载的压缩包解压即可直接运行。（不要直接双击nginx.exe！！！）运行步骤：进入conf文件夹修改nginx.conf配置文件将
2020-05-31 21:46:54
6399
原创 时序逻辑之线性时序逻辑（LTL）和分支时序逻辑（CTL）对比及典型示例
在模型检测工具NuSMV中，时序逻辑是用来描述系统性质（或形式规约）的形式化语言，包括两类，一类是线性时序逻辑（Linear-time Temporal Logic, LTL）,另一类是分支时序逻辑（也称计算树逻辑，Computing Tree Logic, CTL），二者主要的区别在于采取不同的方式对Kripke结构所对应的计算树分支进行展开。线性时序逻辑定义时态运算符限定于描述从一个给定的状态开始的某条路径上的事件。特点将时间建模成状态序列，无限延伸到未来，该状态序列称为计算路径（简称“路
2020-05-19 17:15:44
16019
7
原创 OCL（对象约束语言）简易教程
OCL的发展历史OCL（Object Constraint Language，对象约束语言）最初是对UML的补充，其目的是在精确指定系统的详细设计方面克服UML图形表示的局限性。在Why you need to learn OCL中指出，一个完整的模型是需要OCL的，而UML或者其他图形语言只是完整而精确模型的冰山一角，如下图所示。OCL最早是在1995年在IBM内部开发的，是Syntropy方法中一种表达语言的发展。OCL的工作是与ObjectTime Limited提出的一项联合提案的一部分
2020-05-16 14:25:34
17094
原创 几种模态/时序逻辑的对比（CTL、PLTL、mu-演算）
模型检测模型检测的基本思想是用状态迁移系统（S）表示并发系统的行为，用模态/时序公式（F）描述系统的性质。这样，“系统是否具有所期望的性质？”就转化为数学问题“S 是否是F 的模型？”。常见的模态/时序逻辑模型检测中最常用的逻辑有计算树逻辑（CTL－Computation Tree Logic）、命题线性时序逻辑（PLTL－Propositional Linear Tempora...
2020-03-19 14:07:07
5869
原创 从零开始搭建网页（一些有用的网址）
MDN是一个不错的学习Web开发的社区，本文作为一个目录，记录了相关知识点对应的网址，方便快速查看和学习。建立你的第一个网站 1安装基础软件 2你的网站看起来是什么样的 3文件处理 4HTML基础 5CSS基础 6JavaScript基础 7发布网站 8万维网是如何工作的 互联网是怎样工作的 什么是域名？ 常见web布局 如何发布网站 什么是网络服...
2020-02-24 22:20:15
560
原创 机器人导航学习历程（四）local planner
local planner 我们先来回顾一下Navigation的框架，可以看出位于红框中的local_planner是move_base节点的一部分，输入包括来自global_planner的全局的规划路径、里程计信息以及local_costmap的信息，输出是速度控制指令，作为控制器的输入。base_local_planner 局部规划一般是用base_local_planner包...
2020-02-22 19:24:25
3699
原创 机器人导航学习历程（三）global planner
global planner 在对move_base中的全局规划进行介绍之前，我们先来回顾一下Navigation的框架，可以看出位于红框中的global_planner是move_base节点的一部分，输入是目标位置以及global_costmap的信息，输出是全局的规划路径，作为local_planner的输入。 在ROS的导航中，首先会通过全局路径规划，计算出机器人到目标位置的全局...
2020-02-22 19:12:00
2756
原创 机器人导航学习历程（二）move_base
move_base move_base节点位于导航框架正中心，可以理解为一个强大的路径规划器，在实际的导航任务中，只需要启动这一个node，并且给他提供数据，就可以规划出路径和速度。在navigation这个问题的角度，map是作为已知信息，默认是已经解决的。 下图表示了move_base的组成部分。 中间这个节点就是move_base，它要正常工作，首先需要设置好三个接口，分别叫...
2020-02-22 18:58:40
3502
4
原创 机器人导航学习历程（一）简介
机器人导航简介 导航可以说是机器人最基本的功能之一，简单来说，导航就是机器人基于地图，实现从起始点前进到目标点的过程，这个过程中要求不发生碰撞并满足自身动力学模型（如不超过速度、加速度等限制）。 将导航的任务进行细分，首先机器人在未知环境中需要使用激光传感器（或者是深度传感器）进行地图构建，然后根据构建的地图进行定位，有了地图和定位的基础，就可以根据目标点以及感知的障碍物信息进行路径规划...
2020-02-22 18:54:32
6897
原创 如何在Windows上安装并运行NuSMV？
NuSMV是一款模型检测工具，个人在Windows上安装及运行时遇到不少的问题，而国内很少有具有参考性的回答。在这里写出来，让新人少走弯路。1.在NuSMV官网自行下载二进制文件，并解压缩。（注意，除非有需要，避免下载源文件，因为需要额外安装cygwin来编译，会比较麻烦） 2.将解压缩后NuSMV.exe所在的/bin文件路径添...
2019-12-12 22:29:20
3076
9
matlab猜数字游戏.m
2020-02-22
大学C语言程序设计课程作业-交通处罚单管理程序.c
2020-02-22
贪吃蛇C++语言源程序.cpp
2020-02-22
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人