看过离散数学上的证明。 也在知乎上搜过。 还有刘未鹏关于停机问题的那篇的博客http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/ 基本都是文字加代码论述，但我始终有几个问题没太想明白，感觉证明得牵 ...
分类：
其他好文 时间：
2018-09-06 16:13:28
阅读次数：
186
https://mp.weixin.qq.com/s/tEDMWf1gk0e7u4hIWKM9bQ ?? 一. 拓扑 数字电路的拓扑抽象出来之后比较简单，就是线（Wire）和开关（Switch），门（Gate）也由开关组成。 线多了之后，看上去像网，所以Verilog里面的wire的Data Typ ...
分类：
其他好文 时间：
2018-09-06 02:55:13
阅读次数：
149
1 物理网卡配置2 bond0网卡配置3 查看bond0网卡状态 摘要: centos6.x下使用双网卡配置bond0, centos6 bond配置不需要在/etc/modprobe 中定义bond 直接在网卡中定义BONDING_OPTS 即可,例如bond0: BONDING_OPTS="mo ...
分类：
其他好文 时间：
2018-09-05 21:34:41
阅读次数：
584
基于Html5 Plus + Vue + Mui 移动App 开发（二） 界面效果： 本页面采用Html5 Plus + Vue + Mui 开发移动界面，本页面实现： 1、下拉刷新、上拉获取更多功能； 2、使用Vue 进行数据绑定； 3、使用WebView 创建打开新的界面； 源码如下： App下 ...
分类：
移动开发 时间：
2018-09-04 22:32:46
阅读次数：
528
组合逻辑电路 HDL VHDL Verilog 趋势： 硬件软化 抽象形式 Algotirhmic level 算法级 Register transfer level 寄存器级 Gate level 与或非，完备的 门级 Switch level（系统级别） 布尔逻辑或位运算 模块 输入输出接口 e ...
分类：
其他好文 时间：
2018-09-04 13:36:50
阅读次数：
208
1. 集群规划：192.167.1.252 palo252 Namenode+Datanode192.167.1.253 palo253 YarnManager+Datanode+SecondaryNameNode192.167.1.254 palo254 Datanode 2. 设定固定IP地址v ...
分类：
其他好文 时间：
2018-09-02 21:50:57
阅读次数：
160
Zhejiang University has 8 campuses and a lot of gates. From each gate we can collect the in/out times and the plate numbers of the cars crossing the g ...
分类：
其他好文 时间：
2018-09-01 17:25:11
阅读次数：
158
在shell中常用的特殊符号罗列如下： # ; ;; . , / \\ 'string'| ! $ ${} $? $$ $* \"string\"* ** ? : ^ $# $@ `command`{} [] [[]] () (()) || && {xx,yy,zz,...}~ ~+ ~- & \\ ...
分类：
系统相关 时间：
2018-08-31 12:35:35
阅读次数：
205
今天在一台PC上安装了CentOS 7，当时选择了最小安装模式，安装完成后马上用ifconfig查看本机的ip地址（局域网已经有DHCP），发现报错,提示ifconfig命令没找到。 ? 1 2 3 [root@centos1 ~]# ifconfig -bash: ifconfig: comman ...
分类：
其他好文 时间：
2018-08-30 14:24:28
阅读次数：
1171
1 要求： 2 3 1.保证各节点正常通信(可ping通) 4 5 2.可以telnet到AR1 6 7 步骤： 8 9 PC1: 10 11 IP address:10.0.0.3 12 13 Mask:255.255.255.0 14 15 gateway:10.0.0.1 16 17 PC2:... ...
分类：
其他好文 时间：
2018-08-30 02:05:10
阅读次数：
1572
