一实验目的及原理目的：通过编程实现对子句的消解，进一步理解含有参数的子句如何使用消解规则，掌握子句消解的原理和规则。原理：令L1，L2为两任意原子公式；L1和L2具有相同的谓词符号，但一般具有不同的变量。已知两子句L1∨α和～L2∨β,如果L1和L2具有最一般合一σ，那么通过消解可以从这两个父辈子句推导出一个新子句(α∨β)σ。二.实验难点1.如何寻找最一般的合一者σ，尤其对于参数

0 问题由于换了电脑（mac系列），相应开发软件都要重装，装了idea 开发，发现是最新版本，配置好相应maven，发现新建maven 项目出现如下问题loading archetype list。1 解决**问题根源：**首次maven 从远程去加载maven archetype，可以参考：http://maven.apache.org/archetype/maven-archetype-plu

0 问题由于换了电脑（mac系列），相应开发软件都要重装，装了idea 开发，发现是最新版本，配置好相应maven，发现新建maven 项目出现如下问题loading archetype list。1 解决**问题根源：**首次maven 从远程去加载maven archetype，可以参考：http://maven.apache.org/archetype/maven-archetype-plu

在linux下编译安装nginx服务器，上传了简单网页测试，发现网页排版出现混乱,css和js没有加载~，上网找了很多资料，最终得以解决1.include mime.types;添加如下：http {includemime.types;}2.添加后发现仍然不行，最后通过浏览器直接访问css和js文件发现出现：403 forbidden在ngin

在fork或者exec函数创建一个新的进程，为了收集新进程的退出状态并防止出现僵尸进程（zombie process），父进程应该调用waitpid或者wait等待子进程退出。在unix/linux 系统中，一个子进程结束了，但是它的父进程没有等待(调用wait / waitpid)它（前提是它的父进程没有退出，这里面操作系统认为它有父进程，操作系统不会清除该进程）， 那么它将变成一个僵尸

一个线程可以调用pthread_cancel终止同一进程中的另一个线程，但是值得强调的是：同一进程的线程间，pthread_cancel向另一线程发终止信号。系统并不会马上关闭被取消线程，只有在被取消线程下次系统调用时，才会真正结束线程。或调用pthread_testcancel，让内核去检测是否需要取消当前线程。被取消的线程，退出值，定义在Linux的pthread库中常数PTHREAD_CAN

首先看下函数：   off_t lseek(int fd, off_t offset, int whence); 所需要头文件：   #include   #include参数：fd 表示要操作的文件描述符offset是相对于whence（基准）的偏移量whence 可以是SEEK_SET（文件指针开始），SEEK_CUR（文件指针当前位置） ，SEEK

测试环境：windows 7 vs2010内部元素有序排列，新元素插入的位置取决于它的值，查找速度快。除了各容器都有的函数外，还支持以下成员函数：find: 查找等于某个值的元素(x小于y和y小于x同时不成立即为相等)lower_bound: 查找某个下界upper_bound: 查找某个上界equal_range: 同时查找上界和下界count:计算等于某个值的元

0 概述ContextRefreshedEvent 事件会在Spring容器初始化完成会触发该事件。我们在实际工作也可以能会监听该事件去做一些事情，但是有时候使用不当也会带来一些问题。1 防止重复触发主要因为对于web应用会出现父子容器，这样就会触发两次，那么如何避免呢？下面给出一种简单的解决方案。@Componentpublic class TestTask imple

0 如何发送post请求可以Postman Interceptor，具体安装可以Google或者百度一下1 实例分析   @RequestMapping("/queryUser")    public List queryUser(UserQueryParam userQueryParam) {    }参数类public class UserQuery