模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式。一阶线性时态逻辑（FOLTL）是一阶谓词逻辑的扩展。计算树逻辑（CTL）是一种离散、分支时间、命题时态逻辑。Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入，输出和状态。Z语言表示抽象的要素总体上可分为两类：基于集合理论的集合、关系、函数、...
分类：
其他好文 时间：
2015-02-07 11:32:40
阅读次数：
112
说明：本文仅供学习交流，转载请标明出处，欢迎转载！ STL封装了一个排序算法，该算法相应的头文件为#include，我们能够依据须要对一个数组进行排序或者降序。 sort的函数原型为： void sort(b,e,pre=up)，表示对[b,e)的元素进行排序，第三个參数为一个谓词，我们...
分类：
其他好文 时间：
2015-02-03 14:55:03
阅读次数：
188
Cocoa中谓词(Predicate)提供了一个通用的查询方式处理数据,可以获取和指定数据的过滤形式，Cocoa实际开发中可以是使用NSPredicate及其父类NSComparisonPredicate和NSCompoundPredicate.其风格类似于SQL查询语言和正则表达式的混合体，提供了...
分类：
移动开发 时间：
2015-02-01 00:29:57
阅读次数：
242
一：起因
（0）提到C++ STL，首先被人想到的是它的三大组件：Containers(容器), Iterators(迭代器), Algorithms(算法)。容器为用户提供了常用的数据结构(如，vector,list,deque,stack,map,multimap,set,multiset,外加string)，算法大多是独立于容器的常用的基本算法(一般在algorithm头文件中，其中sor...
分类：
其他好文 时间：
2015-01-30 21:07:01
阅读次数：
248
优化前：SELECT a.* FROM t1 a,(SELECT obj_id,MAX(PRE_DETAIL_INST_ID) PRE_DETAIL_INST_ID FROM t1 WHERE DATE_FORMAT(crt_date,'%Y-%m-%d %H') = DATE_FORMAT(DAT...
分类：
数据库 时间：
2015-01-30 15:08:35
阅读次数：
308
英语中的系动词系动词编辑系动词，亦称连系动词（Link Verb），是用来帮助说明主语的动词。作为系动词，它本身有词义，但不能单独用作谓语，后边必须跟表语，，构成系表结构说明主语的状况、性质、特征等情况。英语系动词的功能主要是把表语（名词、形容词、某些副词、非谓词、介词短语、从句）和它的主语联系在一...
分类：
其他好文 时间：
2015-01-24 17:17:40
阅读次数：
171
原因同上一篇《标量函数》一样，会导致不可索引，看代码：select EmpNo,LastNamefrom Empwhere Salary * 1.1 > 5000.00应当写为select EmpNo,LastNamefrom Empwhere Salary > 5000.00/1.1
分类：
其他好文 时间：
2015-01-23 12:58:08
阅读次数：
138
NSPredicate（谓词,作为过滤器使用）过滤器的意思就是在一组数据中通过数组中元素的某个属性的值是多少，从而过滤出数组中这个值为多少的数组元素组。下面通过代码来说明一下吧NSPredicate *p = [NSPredicate predicateWithFormat: @"selected ...
分类：
移动开发 时间：
2015-01-23 12:38:14
阅读次数：
193
xUtils简介
xUtils 包含了很多实用的android工具。xUtils 支持大文件上传，更全面的http请求协议支持(10种谓词)，拥有更加灵活的ORM，更多的事件注解支持且不受混淆影响...xUitls 最低兼容android 2.2 (api level 8)
目前xUtils主要有四大模块：
DbUtils模块：
android中的orm框架，一行代...
分类：
其他好文 时间：
2015-01-23 11:16:51
阅读次数：
326
前面已经做了一些准备工作，本篇将介绍查询条件的封装，它是规约模式的一个应用。 规约使用一个对象来封装谓词，我之前已经介绍过它在验证方面的应用，本篇是规约模式在查询方面的应用。 规约的强大之处在于，能够将一堆杂乱无章的条件判断或查询条件封装起来，以一个清晰的概念来表达，并使得这些谓词具备了可复...
分类：
其他好文 时间：
2015-01-20 06:09:42
阅读次数：
158
