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 2243
概述各种企业应用几乎都会碰到任务调度的需求，就拿论坛来说：每隔半个小时生成精华文章的RSS文件，每天凌晨统计论坛用户的积分排名，每隔30分钟执行锁定用户解锁任务。对于一个典型的MIS系统来说，在每月1号凌晨统计上个月各部门的业务数据生成月报表，每半个小时查询用户是否已经有快到期的待处理业务……，这样的例子俯拾皆是，不胜枚举。任务调度本身涉及到多线程并发、运行时间规则制定和解析、场景保持与恢复、线程池维护等诸多方面的工作。如果直接使用自定义线程这种刀耕火种的
系统 2019-08-29 22:57:52 2243
经济危机时期，不少爱美的MM不得不缩减自己在美容护肤方面的支出。怎样在经济危机时期、在紧缩开支的前提下做好护肤保养工作呢？今天橘子舍美容网就教大家几个既经济又高效的护肤小窍门。增加一个拍打的步骤在基础皮肤保养程序中，从爽肤、精华到乳液，每擦一款后使用一片较厚的化妆棉，倒上足够量的不含酒精化妆水，轻拍脸部每个部位，包括左右脸颊、额头、眉心、下巴等，至少轻拍20下左右(注意是轻轻拍，不是打巴掌)，你会发现整个脸会呈现很湿润的状态，然后立即使用后续的保养品。坚持
系统 2019-08-29 22:48:18 2243
hi各位大佬,请帮忙给点想法，或解决方案，先谢了。问题背景是这样的：在一个网站查找一个物件，此网站给出了一个table结果,类似如下。每一行代表每个供应商供应这个物件的信息（包括价格，状态）以及最后一列有一个“send”的链接。现在我会依次点击符合某个状态的那几行记录的send链接。因为有很多物件需要查询，而且每个物件查出来的结果也很多，所以我想把这个重复的工作自动化起来。[img=][/img]已试过的办法主要是想到用一些自动测试化工具，试了Seleni
系统 2019-08-29 22:41:49 2243
晚上，和东方易维的CTO辛鹏和总经理王昕先生，在中关村西区那个西堤咖啡，聚了聚，聊了有关OPUG的事宜。OPUG（开发流程用户组）的地址是http://www.opug.org.cn/，欢迎大家访问。很佩服辛鹏现在还能有这番热情，弄这个OPUG社区。他的想法也还是有很多可取之处的，比如：（1）现在国内有关流程社区这一块，一直是一个空白。但国内流程应用和接触流程的技术人员和客户也越来越多，大家实际是需要这么一个社区的。（2）国内的流程产品Provider之间
系统 2019-08-29 22:34:55 2243
如果您喜欢这些文章，欢迎点击此处订阅本Blog
系统 2019-08-29 22:29:02 2243
项目地址：https://github.com/jgilfelt/android-viewbadger以前都是自己写的，一不小心网上找到这个，觉得不错，以后直接copy了，方便快捷！packagecom.readystatesoftware.viewbadger;importandroid.content.Context;importandroid.content.res.Resources;importandroid.graphics.Color;imp
系统 2019-08-29 22:17:55 2243
http://www.dreamdu.com/xhtml/tag_optgroup/http://www.w3school.com.cn/tags/att_optgroup_disabled.asp属性.common--公共属性disabled--输入域无法获得焦点、无法选择，以灰色显示，在表单中不起任何作用label--选项组的标签opt，是option的缩写，中文"选项"。group，中文"分组"定义和用法disabled属性规定禁用该选项组。被禁用的
系统 2019-08-29 22:10:19 2243
在使用WORD中,我们时常会用到页眉。但是加上页眉后,在页眉下往往有一横线,可是我们有时根本不需要这条横线,但它删都删不掉,怎么办呢,小弟在此奉上一计:一首先:打开一文档就不用说了,点击“视图”→“页眉和页脚”，然后光标定位在页眉中，点击“格式”→“边框和底纹”下的“边框”选项中，这时“应用范围”显示的是“文字”，将其修改为“段落”即可。二“视图”→“页眉和页脚”，将光标选中页眉上的那个小箭头（记住一定要选中的哦！），然后“格式”→“边框和底纹”，在“边框
系统 2019-08-29 22:06:27 2243
web打印在一些开发中是比较常见的需求，最简单的办法是使用cssprint进行控制；对于一些建议可以参考http://slodive.com/web-development/css-print-page-tricks/；但是有时候我们需要设置背景或者其他类似的功能；如果不引入浏览器插件，我尝试了一下方法进行解决。1、如图：我想打印图中的投票结果条，该条之前是使用纯css实现，但是在IE上无法打印；目前是使用css背景+图片实现；
系统 2019-08-29 22:00:50 2243
