德国数理逻辑学家哥德尔（Kurt Godel，1906-1978）是康托尔的继承人。也是现代数学边疆的开拓者。 1931年，年仅25岁的哥德尔在其博士论文（仅仅有两页纸）证明了知名的“不全然性定理”，其结论例如以下：： 1）If the system is consistent（不矛盾）,it ca ...
分类：
其他好文 时间：
2017-08-02 13:08:57
阅读次数：
136
最近在写qglviewer的时候发现一个问题，这是在ubuntu14.04上没有发生的问题，realloc invalid pointer 查了半天资料之后范县是qt4与qt5之间发生矛盾，导致qglviewer不能链接到正确的qt版本，也有人通过卸载qt5解决 但是并不是一个有效的解决办法。 最后 ...
分类：
系统相关 时间：
2017-08-01 15:39:47
阅读次数：
235
一、问题背景 我在eclipse中使用ctrl+H进行搜索，有时候会有多个搜索结果；我在一一查看这些结果的时候，会发现下一个被选中的查询结果会覆盖显示上一个被选中的查询结果。如何解决这种矛盾？ 二、解决方式 eclipse中可以使用ALT + “左右”键，找回上次打开的文件。 ...
分类：
系统相关 时间：
2017-08-01 14:21:59
阅读次数：
228
ClassLoader翻译过来就是类加载器，普通的Java开发者其实用到的不多，但对于某些框架开发者来说却非常常见。理解ClassLoader的加载机制，也有利于我们编写出更高效的代码。ClassLoader的具体作用就是将class文件加载到jvm虚拟机中去，程序就可以正确运行了。但是，jvm启动 ...
分类：
其他好文 时间：
2017-07-30 19:09:33
阅读次数：
216
Problem 2200 cleaning Problem Description N个人围成一圈在讨论大扫除的事情，需要选出K个人。但是每个人与他距离为2的人存在矛盾，所以这K个人中任意两个人的距离不能为2，他们想知道共有多少种方法。 Input 第一行包含一个数T(T<=100)，表示测试数据的 ...
分类：
其他好文 时间：
2017-07-30 14:54:54
阅读次数：
143
860年9月，英法联军兵临城下，咸丰帝下令顺天府征集数百辆马车，对外宣称要率军亲政，实则是准备外逃。当时的上谕这样写道：“即将巡幸之预备，作为亲征之举。”熟料，消息一出，各位王公大臣纷纷上奏，劝说皇帝不要离开北京，民间也是谣言满天飞，“众情益涣，岌岌可危”。咸丰为了稳定大局，不得不又下令把所有车马“ ...
分类：
其他好文 时间：
2017-07-30 10:16:39
阅读次数：
166
本篇建立在已经了解了kotlin中运算符重载的理念以及如何实现的基础上。 来我们首先写一个简单的类，然后重载运算符+,+=,-,-=这个几个运算符。代码如下： 我一开始没有仔细阅读文档，导致我习惯性的以为，重载+运算符就调用的是plus函数，重载+=运算符就调用的是plusAssign。但是当我写下 ...
分类：
其他好文 时间：
2017-07-29 23:10:56
阅读次数：
1781
有人说，测试者来自火星，开发者来自金星。这是因为软件测试员和软件开发者就好比一对冤家，里面的缘由说不清也道不明。开发代表着创造，而测试则代表着摧毁，因为测试的目的就是以各种方式不断地从开发出的产品中发现大大小小的Bug，长此以往，开发者认为测试者是在故意找茬，两者的矛盾慢慢就会产生。 敏捷之前项目中 ...
分类：
其他好文 时间：
2017-07-27 22:27:51
阅读次数：
271
把b数组的所有置换群求出来，用数组记录一下每个大小所出现的次数。 然后求a的置换群，对每个置换群求能被其整除的b的置换群的大小总和（只有这些才能满足构造出一个f，且不自相矛盾），然后把它们全都乘起来就是答案。 ...
分类：
其他好文 时间：
2017-07-25 22:43:08
阅读次数：
184
MES精益制造管理系统是集合制造执行系统（MES）软件和人机界面设备(PLC触摸屏)、PDA手机、条码采集器、传感器、I/O、DCS、RFID、LED生产看板等多类硬件的综合智能化系统，由一组共享数据的程序所组成的、通过布置在生产现场的专用设备（PDA智能手机、LED生产看板、条码采集器、PLC、传... ...
分类：
其他好文 时间：
2017-07-22 11:02:07
阅读次数：
177
