2.9 设有如下语句，请用相应的谓词公式分别把他们表示出来： (1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。 (2)有的人每天下午都去打篮球。 (3)新型计算机速度又快，存储容量又大。 (4)不是每个计算机系的学生都喜欢在计算机上编程序。 (5)凡是喜欢编程序的人都喜欢计算机。 ...
分类：
其他 时间：
2016-04-16 16:55:56
收藏：
0 评论：
0 赞：
0 阅读：
214
Java基础——变量及数据类型 变量的概念 内存中的一个存储区域 变量名+数据类型 可在同一类型范围内不断变化 内存中的一个存储区域 变量名+数据类型 可在同一类型范围内不断变化 为什么定义变量： 用于不断的存放同一类型的常量，并可以重复使用 用于不断的存放同一类型的常量，并可以重复使用 使用变量注 ...
分类：
编程语言 时间：
2016-04-16 16:55:46
收藏：
0 评论：
0 赞：
0 阅读：
198
首先必须得更正下自己一直以来对于get请求和post请求理解的一个误区：get请求只能通过url传参，post请求只能通过body传参。 其实上面的理解是错误的，翻阅了不少资料及具体实践，正确理解应该是：get和post是http协议（规范）定义的和服务器交互的不同方法，get用于从服务器获取资源（ ...
分类：
Windows开发 时间：
2016-04-16 16:55:26
收藏：
0 评论：
0 赞：
0 阅读：
211
单例模式是一种常用的软件设计模式。在它的核心结构中只包含一个被称为单例的特殊类。通过单例模式可以保证系统中一个类只有一个实例而且该实例易于外界访问，从而方便对实例个数的控制并节约系统资源。如果希望在系统中某个类的对象只能存在一个，单例模式是最好的解决方案。 动机： 对于系统中的某些类来说，只有一个实 ...
分类：
其他 时间：
2016-04-16 16:55:17
收藏：
0 评论：
0 赞：
0 阅读：
292
在搭建Ntp服务器的过程中，试过两种方案，具体如下： 方案一： 到ntp官网获取源码编译，失败 下载源码ntp-4.2.8 -> ./configure -> make 无法通过； ps，在ubuntu12.02上源码无法编译通过。不过在Fedora上这种方案是可行的。所以，不同系统结果是不一样的。 ...
分类：
其他 时间：
2016-04-16 16:55:06
收藏：
0 评论：
0 赞：
0 阅读：
305
Lucene简介 首先说明的是--Lucene.Net只是一个全文检索开发包，不是一个成型的搜索引擎， 它的功能就是负责将文本数据按照某种分词算法进行切词,分词后的结果存储在索引库中,从索引库检索数据的速度灰常快. 对以上加粗的词汇稍作下阐述： 文本数据：Lucene.Net只能对文本信息进行检索， ...
分类：
Web开发 时间：
2016-04-16 16:54:56
收藏：
0 评论：
0 赞：
0 阅读：
161
使用集合的技巧： 看到Array就是数组结构，有角标，查询速度很快。 看到link就是链表结构：增删速度快，而且有特有方法。addFirst； addLast；?removeFirst()； removeLast()； getFirst()；getLast()； 看到hash就是哈希表，就要想要哈希 ...
分类：
编程语言 时间：
2016-04-16 16:54:46
收藏：
0 评论：
0 赞：
0 阅读：
202
1饿汉式 2懒汉式 ...
分类：
编程语言 时间：
2016-04-16 16:54:36
收藏：
0 评论：
0 赞：
0 阅读：
123
关于PHP中的缓存函数ob_start() and ob_end_flush()。 PHP输出机制：输出内容->缓存->输出到浏览器。ob_start(callback function) 打开输出缓存区，所有的输出信息不再发送到浏览器，而是到回调函数处进行处理。ob_end_flush(); 将缓 ...
分类：
Web开发 时间：
2016-04-16 16:54:26
收藏：
0 评论：
0 赞：
0 阅读：
162
一、补码的优点 1、可以将减法转化为加法，在计算机中只保留加法 2、将符号位参与运算 二、如何实现？ 我们先以钟表为例子，假设现在的标准时间为4点整，而有一个钟的时间为7点整。我们可以将时针逆时针旋转3格，或者将时针顺时针旋转9格，如图。 7-3=7+9=4 mod（12） 上述式子为一个同余式，同 ...
分类：
其他 时间：
2016-04-16 16:54:16
收藏：
0 评论：
0 赞：
0 阅读：
223
1. ncurses 安装 官网下载：http://ftp.gnu.org/pub/gnu/ncurses/ncurses-5.9.tar.gz CSDN 下载：http://download.csdn.net/detail/spch2008/8828779 tar -xf ncurses-5.9. ...
分类：
系统服务 时间：
2016-04-16 16:53:46
收藏：
0 评论：
0 赞：
0 阅读：
278
1. 常见用法。 char buf[512] = ; sscanf("123456 ", "%s", buf); printf("%s\n", buf); 结果为：123456 2. 取指定长度的字符串。如在下例中，取最大长度为4字节的字符串。 sscanf("123456 ", "%4s", bu ...
分类：
其他 时间：
2016-04-16 16:53:36
收藏：
0 评论：
0 赞：
0 阅读：
224
http://blog.csdn.net/hackbuteer1/article/details/7487694 C++的static有两种用法：面向过程程序设计中的static和面向对象程序设计中的static。前者应用于普通变量和函数，不涉及类；后者主要说明static在类中的作用。一、面向过程 ...
分类：
其他 时间：
2016-04-16 16:53:26
收藏：
0 评论：
0 赞：
0 阅读：
237
一、正向代理 测试： 我是分割线。 二、反向代理 我是分割线。 三、squid使用选项 ...
分类：
其他 时间：
2016-04-16 16:53:17
收藏：
0 评论：
0 赞：
0 阅读：
289
Installation redis-py requires a running Redis server. See Redis’s quickstart for installation instructions. To install redis-py, simply: $ sudo pip i ...
分类：
编程语言 时间：
2016-04-16 16:53:06
收藏：
0 评论：
0 赞：
0 阅读：
219
安装软件： 1.在应用商店里面下载安装 2.在终端sudo apt-get install 软件名 3.使用ppa：加入一个ppa源：sudo add-apt-repository ppa:user/ppa-name，安装软件：sudo apt-get update sudo apt-get ins ...
分类：
系统服务 时间：
2016-04-16 16:52:56
收藏：
0 评论：
0 赞：
0 阅读：
183
看到一篇讲线程的故事性文章，觉得很有意思，很佩服作者能这么生动地讲述出来，点击可跳转阅读此文章：《我是一个线程》 继续我的笔记中总结 - - 理解线程安全问题： 下面是书上看到的卖票例子：模拟3个窗口同时在售10张票。 上篇博文笔记总结了多线程创建的两种方式，那我们就分别以这两种实现多线程的方式来解 ...
分类：
编程语言 时间：
2016-04-16 16:52:46
收藏：
0 评论：
0 赞：
0 阅读：
303
一、fork入门知识 一个进程，包括代码、数据和分配给进程的资源。fork（）函数通过系统调用创建一个与原来进程几乎完全相同的进程，也就是两个进程可以做完全相同的事，但如果初始参数或者传入的变量不同，两个进程也可以做不同的事。 一个进程调用fork（）函数后，系统先给新的进程分配资源，例如存储数据和... ...
分类：
系统服务 时间：
2016-04-16 16:52:39
收藏：
0 评论：
0 赞：
0 阅读：
410
人脸识别分为两大步骤 1.人脸检測 这个是首要实现的。你得实现人脸显示的时候把人脸框出来，当然算法非常多，另一些人眼检測鼻子检測什么的 主要用的是这个 const char *faceCascadeFilename = "haarcascade_frontalface_alt.xml"; detec ...
分类：
其他 时间：
2016-04-16 16:52:27
收藏：
0 评论：
0 赞：
0 阅读：
247
【C++11】新特性——auto的使用 C++11中引入的auto主要有两种用途：自动类型推断和返回值占位。auto在C++98中的标识临时变量的语义，由于使用极少且多余，在C++11中已被删除。前后两个标准的auto，完全是两个概念。 1. 自动类型推断 auto自动类型推断，用于从初始化表达式中 ...
分类：
编程语言 时间：
2016-04-16 16:52:16
收藏：
0 评论：
0 赞：
0 阅读：
291
