命题5.4.14 给定任意两个实数$x 0，c \in \mathbb{Q} $ 由定义5.3.1(实数的相等)得$(b_n a_n)^{\infty}_{n=1}$与$(c_n)^{\infty}_{n=1}$等价，即 ${\forall}\varepsilon_1 0，{\exists}N_1 ...
分类：
其他好文 时间：
2019-06-29 00:43:49
阅读次数：
107
PPP的全称为PointtoPointProtocol协议是在点到点链路上承载网络层数据包的一种链路层协议，由于它能够提供用户验证、易于扩充，并且支持同/异步通信，因而获得广泛应用。PPP定义了一整套的协议，包括链路控制协议LCP、网络层控制协议NCP和验证协议有PAP、CHAP、MS-CHAP和MS-CHAP-V2。·链路控制协议LCP：主要用来建立、拆除和监控数据链路。·网络控制协议NCP：主
分类：
其他好文 时间：
2019-06-28 11:48:35
阅读次数：
115
* add list of symbols -- latexinclude a *toc.tex* file in the *main.tex*in *main.tex*#+BEGIN_SRC latex\tableofcontents\listoffigures\listoftables % ta ...
分类：
其他好文 时间：
2019-06-07 13:16:40
阅读次数：
106
Optional reading: Winston Chapter 20 Incremental Concept Learning Revisited Abstract Version Spaces Visualizing Version Spaces converge model is thre ...
分类：
其他好文 时间：
2019-06-06 13:55:12
阅读次数：
109
Why do we need formal logic? Inferences About Birds Winston Chapter 13: Page 284 Exercise: Inferences About Foos Predicates Conjunctions and Disjuncti ...
分类：
其他好文 时间：
2019-06-06 09:20:21
阅读次数：
104
1.安装freeradius 2.配置client.conf 3.配置user 4.生成证书使用EAP-TLS 到目前配置，freeradius默认支持PAP, CHAP, MS-CHAPv1, MS-CHAPv2, PEAP, EAP-TTLS, EAP-GTC, EAP-MD5.认证方式 如果需 ...
分类：
其他好文 时间：
2019-05-14 10:58:06
阅读次数：
431
tf：coordinate transform urdf：ros 机器人属性描述的规范 tf树必须是连通的 如果没有人来维护两个frame之间的联系（一个发送消息的node，or called broadcaster），就会断掉 broadcaster就一个是publisher tf树是整个消息的反 ...
分类：
编程语言 时间：
2019-05-04 10:14:51
阅读次数：
174
接下来只需要在cmakelist里定义msg就行了，而python文件不需要加入cmakelist，因为是解释型语言 ...
分类：
其他好文 时间：
2019-05-04 09:53:10
阅读次数：
107
clinet ->client client.call(srv) 就是handlefunction返回的bool结果 接下来要修改cmakelist.txt但是这里省略了 ...
分类：
其他好文 时间：
2019-05-04 09:17:16
阅读次数：
130
