现试用最简单的方法，介绍如何写一个逻辑引擎。即使是现时最尖端的人工智能，例如 OpenCog，它的内部仍然是很简单的。逻辑推理 (deduction) 只需要两个算法：命题推理配对法 (unification)这两个算法只需要数行程式就能表达 !逻辑是什么？逻辑可以分解为两部分:命题逻辑 (prop...
分类：
其他 时间：
2015-05-17 18:34:58
收藏：
0 评论：
0 赞：
0 阅读：
66
子网划分 子网范围
分类：
其他 时间：
2015-05-17 18:34:47
收藏：
0 评论：
0 赞：
0 阅读：
214
今天在CSDN的论坛上逛一了圈发现有例如以下两段代码：我在两个提问的地方都已经给予了作答，同一时候公布到blog上希望能有很多其它的人受益。第一段是对复制构造函数的使用class c{string name;public:c(const string& s):name(s){}};void fn(c...
分类：
其他 时间：
2015-05-17 18:34:33
收藏：
0 评论：
0 赞：
0 阅读：
83
https://github.com/lyn2313121/mmpackage 高级计算器;import java.util.*;import javax.swing.*;import java.awt.*;import java.awt.event.*;public class Calculate...
分类：
其他 时间：
2015-05-17 18:34:13
收藏：
0 评论：
0 赞：
0 阅读：
118
音乐检索MIR ? 音乐检索研究中使用的工具
分类：
其他 时间：
2015-05-17 18:33:55
收藏：
0 评论：
0 赞：
0 阅读：
448
常常因为磁盘空间不足的原因，须要删除旧文件，因此希望有一个函数，可以查找到某个时间点之前的文件，并删除之。用newLISP来实现的话，须要相似这种功能：(define (location-file-based-on-modified-time dir-path from-seconds to-sec...
分类：
其他 时间：
2015-05-17 18:33:25
收藏：
0 评论：
0 赞：
0 阅读：
162
ListNode *mergeTwoLists(ListNode *l1, ListNode *l2) { if (l1 == NULL) return l2; if (l2 == NULL) return l1; ListNode *ret = NULL; ...
分类：
其他 时间：
2015-05-17 18:33:12
收藏：
0 评论：
0 赞：
0 阅读：
130
github代码地址：https://github.com/y654063871/Clock-/blob/master/Clock%20-java.txt一.题目简介: ˇ这个小java程序是制作一个闹钟程序 ˇ设定闹钟会根据系统的时间而当作时钟来显示 ˇ用户可以根据自己的需要来设定闹钟时间，当到达...
分类：
其他 时间：
2015-05-17 18:32:30
收藏：
0 评论：
0 赞：
0 阅读：
163
#1152 : Lucky Substrings时间限制:10000ms单点时限:1000ms内存限制:256MB描述A string s is LUCKY if and only if the number of different characters in s is a fibonacci n...
分类：
其他 时间：
2015-05-17 18:31:50
收藏：
0 评论：
0 赞：
0 阅读：
1130
技嘉 台式电脑 操作系统 Windows 7 旗舰版 32位 SP1 ( DirectX 11 ) 处理器 英特尔 Pentium(奔腾) G2030 @ 3.00GHz 双核 主板 技嘉 H61M-S1 (英特尔 Ivy Bridge - H61 芯片组)内存 4 GB ( 金士顿...
分类：
其他 时间：
2015-05-17 18:30:30
收藏：
0 评论：
0 赞：
0 阅读：
138
1、主Activity里有两个Button，点击每个Button都调用第二个NewActivity。2、从NewActivity里返回后，判断是从两个Button中的哪一个启动的NewActivity，并显示在TextView或者Toast上。MainActivitypackage com.exam...
分类：
其他 时间：
2015-05-17 18:30:24
收藏：
0 评论：
0 赞：
0 阅读：
85
WPF换肤例子：&需求:WPF中,点界面中的按钮 ,变化界面背景图片比较通用的方法是利用WPF的DynamicResource。做法如下：比如要改变当前Window的Background。首先，要在Window的xaml文件里面加上这句话Background="{DynamicResource bg...
分类：
其他 时间：
2015-05-17 18:30:10
收藏：
0 评论：
0 赞：
0 阅读：
222
jMeter的起源是apache的jSrv项目（tomcat前身）； jMeter的printable_docs文件下面有很多例子可供学习使用；index.html里面有jMeter完整地教程； 性能测试的核心全部都在这里： 其中Ramp-Up Period属性的意思是：间隔多少秒将线程数建立起来（...
分类：
其他 时间：
2015-05-17 18:29:48
收藏：
0 评论：
0 赞：
0 阅读：
182
0 class Solution {11 public:12 bool dfs(TreeNode *node, int sum, int curSum)13 {14 if (node == NULL)15 return false;16 ...
分类：
其他 时间：
2015-05-17 18:29:39
收藏：
0 评论：
0 赞：
0 阅读：
196
http://www.open-open.com/lib/view/open1427624415883.html阅读目录顺序流传输实时流传输准备工作：安装工作：学习Red5 是一个采用 Java 开发的开源免费 Flash 流媒体服务器。Red5 基于 Java 和一些功能强大的开源框架，为企业级应...
分类：
其他 时间：
2015-05-17 18:29:08
收藏：
0 评论：
0 赞：
0 阅读：
197
最短路径问题Time Limit: 2000/1000 MS (Java/Others)Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 16141Accepted Submission(s): 4859Problem Des...
分类：
其他 时间：
2015-05-17 18:28:58
收藏：
0 评论：
0 赞：
0 阅读：
239
1、下载Maven:http://maven.apache.org/download.cgi2、下载完以后，设一下系统变量：MAVE_HOME3、Path中加入%MAVEN_HOME%\bin;这样就可以用mvn来访问了4、run cmd找到zxing-master core目录5、输入mvn -D...
分类：
其他 时间：
2015-05-17 18:28:28
收藏：
0 评论：
0 赞：
0 阅读：
370
一、实验分析本系统主要有以下4个模块，每个模块对应一个程序包：1、engine：搜索引擎包，系统的核心部分。2、message：网络对战过程中各种消息及其传递机制的类实现包。3、main：主界面实现包。4、pieces：棋子及其相关类实现包。现就各个包中的要点给与说明。二、项目功能A、象棋对弈：红方...
分类：
其他 时间：
2015-05-17 18:28:08
收藏：
0 评论：
0 赞：
0 阅读：
108
#include#include#include#includeusing namespace std;int mapp[111][111];int uu[111][111];struct abc{ int x, y, hh; } node[111 * 111];bool cmp(const abc...
分类：
其他 时间：
2015-05-17 18:27:58
收藏：
0 评论：
0 赞：
0 阅读：
148
ognl表达式最关键的几句话1：ognl context中的值，一般以#开头获取值（如果值放在值栈中#可以省略） 例如：放在request作用域的name值，通过value=“#request.name”来获取2：在ognl表达式中使用el表达式获取值，或先从值域中获取值，如果没有获取到再从值...
分类：
其他 时间：
2015-05-17 18:27:46
收藏：
0 评论：
0 赞：
0 阅读：
131
