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 2050
什么是动态组？举个例子就清楚了。QQ支持多人在一个组中聊天的模式是群，这是一种静态组；而MSN中的动态的将多个人拉到一个组中来群聊，就是动态组。关于动态组，还有一个很好的例子，就是多人联网游戏，比如联网的星际。首先由发起者创建一个组（动态组），然后其它玩家加入进来开始游戏，游戏结束了，该动态组就销毁了。所以说，动态组是个“临时性的”，生命比较短暂；而静态组，通常被存储于永久介质（如数据库）中，即使这场游戏结束，这个组依然存在，如。ESFramework对静
系统 2019-08-29 23:05:27 2050
在上一篇文章中，UML常见工具之NetBeans(downmoon)简要介绍了netBeansIDE的UML工具，今天再来看一下更常用的powerDesigner,相信这个工具大多数人不陌生。目前版本是15。真的很感谢Sybase,可以说PowerDesigner横跨了需求分析师、架构分析师、系统分析师、数据库设计师好几个领域，甚至集成了代码生成，只是一般很少使用。界面很简洁，入门级的使用也很简单，这里以一个简单的在线报价系统为例说明。图片多，文字少。望见
系统 2019-08-29 22:53:05 2050
问题1jboss/logs与logs日志没有查到原因，多半是cms消息系统出现问题，消息系统未设置超时时间因此会卡在哪里不停的等待。cms系统与新闻系统放在同一台机器上，垃圾日志会占满磁盘，因此清理掉新闻系统下面的日志，重启下cms系统1,cd/home/admin/build/目录下cms-run/jboss/log删除2cd/opt/msgsvr/bin/linux-x86-64/3nohup./activemq.sh&问题2诊断线程(dump)dep
系统 2019-08-29 22:31:29 2050
1、地址（address）WCF中地址以统一资源标识符(URI)的形式指定，它用来标识消息发送和接受的目的地，并且它由通讯协议和位置路径两部分组成。例如：http://192.168.1.1:8000/表明通讯协议为http，位置路径是192.168.1.1的8000端口。位置路径很好理解，就是IP加端口号。对于初学者往往忽略了其中包含的通讯协议，除了http之外，还可以指定为：TCP地址使用TCP协议进行传输，其形式为：net.tcp://localho
系统 2019-08-29 22:28:09 2050
8.4Struts2输入校验器大全在前几节的输入校验的配置文件中读者应该看到很多类型的Struts2的输入校验器。下面就对这些输入校验器做详细介绍。技术要点介绍Struts2自带的输入校验器。演示代码在xwork-2.0.4.jar包中，请读者在\com\opensymphony\xwork2\validator\validators路径下找一个名字为“default.xml”的xml文件。在该文件中有所有Struts2自带的输入校验器定义。具体代码如下：
系统 2019-08-29 22:16:35 2050
装了office2010，做ppt时发现输入的时候奇卡无比，输入一个字符或是删除一个字符要1秒钟，没理由这么慢啊。baidu后知道原来是中文拼写检查惹的祸。据说相关文件有一两百M的大小，导致变卡。所以把office里选项，语言里的英文（美国）设为默认值，将中文（中国）删除，就再也不卡啦。话说英语的语法检查还是很有必要的，因为咱英语不行嘛。至于中文，中文的表达方式太自由了，从来不理会提示的语法问题。建议office以后去掉中文的语法检查吧，别降低我们的输入体
系统 2019-08-29 22:15:02 2050
原先搭建过一个自动化测试框架，迷迷糊糊不求甚解，算是搭建了一个仅限于能用的、根本算不上框架的玩意儿。现在回过头来好好看看究竟每一步是怎么联系起来的，是怎么运行起来的。本次博客先说说各部件都是干什么的。各部件简介：jenkins：提到jenkins就不能不提持续集成。jenkins是一个持续集成方面很好很成熟的开源软件，jenkins本身又是一个java的开源项目，提供了很多功能丰富的插件。那到底持续集成是个什么东西？整这么多专业名词一点都不接地气。说说我的
系统 2019-08-12 09:27:35 2050
就像我们知道的一样,nutch是一个架构在lucene之上的网络爬虫+搜索引擎.是由lucene的作者在lucene基础之上开发,并整合了hadoop,实现在分布式云计算,使用google标准的HFDS文件系统作为存储结构,是一款高伸缩性能与高效高并发的网络爬虫+搜索引擎.FaceYe在后台已经整合了nutch,在适当的时候,就可以开始为用户提供高质量的知识索引服务.顺便说一下,nutch在生产环境中,并不能在windows下运行,需要在liux下运行,这
系统 2019-08-12 09:27:33 2050
thrift处理中文，传输中文中可能出现错误。具体需要修改thrift中源码。修改TBinaryProtocol.py中的代码：defwriteString(self,str):iftype(str)isunicode:str=str.encode('utf-8')self.writeI32(len(str))self.trans.write(str)主要加入了str.encode("utf-8")功能thrift的中文编码处理
系统 2019-08-12 09:27:27 2050
