- 博客(7)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 数论基础学习
有且仅有一个整数q，满足：证明：1.存在性（1）反证法：假设不存在这样的q，则对于任意的整数q，需要满足：即：这与a是任意整数是矛盾的。（2）分类讨论法当a=0时，q=0，r=0当0<a<n时，q=0，r=a当a=n时，q=1，r=0当a>n时，q=a/n（取整）， r=a-n（a/n）（取整）当a<0时情况类似。2.唯一性假设至少存在两个不同的q满足条件，设为q1，q2，对应的r值为r1，r2，则有两式相减：此时q2-q1只能是0，于是有q2=q1，与假设矛盾。
2023-08-20 17:24:20
88
原创 2021-10-29
ike检测到有nat的时候为什么要切换到4500端口号？参考rfc3947第四章节，参考rfc3715第2.3章节的情况m与n，其实主要就是ipsec-aware nat的问题，有些nat设备能够感知ipsec包(其实就是去解析ipsec包，利用里面的字段来实现多路复用，而不是利用端口号实现多路复用)，这种nat不进行端口转换，那么rfc3947中检测nat的方法就会失效。但是问题又来了，如果中间存在的是上面说的ipsec-aware nat，那ike又是如何先检测出来有nat呢？检测不出来又如何去切换到4
2021-10-29 17:50:20
139
原创 gdb调试技巧
（1）以结构体形式访问某个内存：print *(type *)addr其中type是结构体类型，addr是内存的地址（2）显示符号表info symbol若要显示某个地址对应的符号：info symbol symbol_addrsymbol_addr为对应的地址若要显示某个符号的地址：print 符号名（3）查看类型的原型定义：有时候在调试大型程序时
2017-01-18 10:51:41
605
原创 解决阿里云无法正常使用samba的问题
昨天在阿里云上申请了一个云服务器，系统用的是ubuntu14.04，由于是免费的（初次使用），配置较低（单核1G内存，40G硬盘），所以在服务器上不方便安装图形界面（默认的系统镜像是没有桌面系统的，毕竟只是服务器），没有图形界面总觉得不是很方便，就想着用samba把远程目录挂载到本地来访问更方便一些，但是其中却遇到了不少问题，记录一下。（1）我起初的操作首先在用ssh远程登录到服务器（开始
2017-01-10 10:12:53
19898
4
原创 充分必要条件的理解
充分必要条件就是不多不少刚刚好充分条件：A能推出B，说明A是B的充分条件，B是A的子集，A比B多了必要条件：B能推出A，说明A是B的必要条件，A是B的子集，A比B少了充分就是多了，因为充分是至少要满足的，并不一定是说有都要满足的，因此充分是多了必要就是少了，因为必要是必须要满足的，并不一定是所有都要满足的，因此必要是少了
2016-12-07 09:03:46
1682
原创 开发环境
一个典型的开发环境一般由构建环境（编译器，make）、调试环境（debugger）、库（lib，include）、图形界面（gui）（可选）、实用工具等组成比如vc++， winddk， linux下的环境
2016-07-02 14:07:46
292
原创 Openwrt一条命令把整个路由器搞蹦了
对于rm -rf这条命令以前吃过一次亏了，这次又没有长记性。。。以前本来想删除某个目录下所有的c文件删掉，但是cd到该目录时少进了一级目录，结果啊把其他人忙活里几天的代码全搞没了。。。我只想说一下：当某种破坏已经造成，并且破坏没有继续，而你又一时不知所措时，最好的办法就是保持冷静，保护现场，在你没有确保任何有效的解决方法之前，不要乱试临时想起的方法，否则后果可能更严重，原本可能解决的路
2016-05-06 20:01:40
3334
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人