点击这里使用RSS订阅本Blog：
1、应用归结之前，wff（合式公式）必须是一个范式或标准形式。范式有三种主要类型：1）合取范式。如：(P1∨P2....)∧(Q1∨Q2...)∧(Z1∨Z2...)2）子句。全子句形式的表达式通常如下：(表示A1,A2,...An全真是，B1，。。。Bn中至少有一个为真)A1,A2,...An->B1,B2,.....Bn3）HORN子句子集。PROLOG使用HORN子句，只允许一个头:A1,A2,....An->B用PROLOG可以写成：B:A1,A2
系统 2019-08-29 23:07:07 1947
m2eclipse本地zip包，请从下面地址下载http://d.download.csdn.net/down/2614950/rui0810，谢谢这位老兄解压plugins、feather到eclipse目录下,EclipseEruopa下测试通过配置eclipse1、pleasemakesurethe-vmoptionineclipse.iniispointingtoaJDK需要修改eclipse.ini.添加或修改vm参数，如下所示-vmD:\Jav
系统 2019-08-29 22:38:10 1947
#include#include/**strisaliteral.Soitisallocatedinreadonlysegment.ItisOKtoreturn*it.Butthedatapointedbythepointercan'tbemodified.*/char*static_pointer_return(){char*str="world";returnstr;}/**Nevertoreturnapointe
系统 2019-08-29 22:19:35 1947
本章内容根据《深入理解Java虚拟机》第7章部分内容整理1.什么是类加载器？在类加载阶段，有一步是“通过类的全限定名来获取描述此类的二进制字节流”，而所谓的类加载器就是实现这个功能的一个代码模块，这个动作是在Java虚拟机外部实现的，这样做可以让应用程序自己决定如何去获取所需要的类。类加载器的作用：首先类加载器可以实现最本质的功能即类的加载动作。同时，它还能够结合java类本身来确定该类在Java虚拟机中的唯一性。用通俗的话来说就是：比较两个类是否相等，只
系统 2019-08-29 22:09:54 1947
在关系型数据库中，通过连接运算符可以实现多个表联合查询。而非关系型数据库的特点是表之间属于弱关联，Mongodb作为Nosql代表，其本身特性不建议对多Collection关联处理，不过对于有些需要对多表关联处理的需求，Mongodb也可以实现。主要分为两种方式：简单手工关联和DBRef方式关联1.简单手工关联下图表示帖子和用户两个Collection的ER图：首先将authors集合中的用户对象查询出来，放在一个变量author中，代码如下：>autho
系统 2019-08-29 22:09:51 1947
以下文字和架构图均在本人相关系统设计和架构方案中有所应用。原文出处：http://space.itpub.net/6517/viewspace-6096541.Spring架构图Spring是一个开源框架，是为了解决企业应用程序开发复杂性而创建的。框架的主要优势之一就是其分层架构，分层架构允许您选择使用哪一个组件，同时为J2EE应用程序开发提供集成的框架。Spring框架的功能可以用在任何J2EE服务器中，大多数功能也适用于不受管理的环境。Spring的核
系统 2019-08-12 09:29:35 1947
#include#include#include
系统 2019-08-12 09:27:41 1947
适合vs2005以上，不过我这个注册表是针对2008的，如果是其他版本自己看着修改如果地址不是默认的请修改找到自己的MsBuild，2005的也自己找到后修改WindowsRegistryEditorVersion5.00[HKEY_CLASSES_ROOT\VisualStudio.Launcher.sln\Shell][HKEY_CLASSES_ROOT\VisualStudio.Launcher.sln\Shell\build]@="编译(Debug
系统 2019-08-12 09:27:23 1947
近日因工作需要在某高校安装私有云存储系统。部署环境是一台4节点服务器，每个节点有16GB内存，3个硬盘，每个硬盘3TB，每个节点可用空间约为8TB。部署的目标是充分利用所有的服务器资源，提供可靠的存储服务，同时尽量不要修改我们的系统源代码。由于本人在web服务部署经验尚浅，遂问计于师哥，对比了如下多种部署方案。1.原始方案说明：1节点部署ffmpeg转码服务，1节点部署私有云存储系统（nginx+mysql+php代码）。文件读写只在部署了私有云存储的节点
系统 2019-08-12 09:26:53 1947
