2.9 设有如下语句，请用相应的谓词公式分别把他们表示出来： (1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。 解：定义谓词 P(x)：x是人 L(x,y)：x喜欢y 其中，y的个体域是{梅花，菊花}。 将知识用谓词表示为： (?x)(P(x)→L(x,梅花)∨L(x,菊花)∨L( ...
分类：
其他好文 时间：
2016-04-17 16:06:04
阅读次数：
207
最近趁着空闲玩了一下zblog，对于很多第一次接触zblog的博主大多都会问zblog是PHP好还是ASP好？我们应该如何选择？其实，对于这个问题我也不是很懂，我个人比较倾向于PHP。今天我就整理一下，做一个PHP版本与ASP版本的对比，以方便大家做出选择。 一、zblog官网对PHP版本和ASP版 ...
分类：
Web程序 时间：
2016-04-17 16:06:44
阅读次数：
581
一般的年总结和计划都应该是在年末年初的交接之时，几个月前我就准备写的，但是由于各种原因，导致迟迟到今日才开始动笔。 本来我在考虑都已经四月十几了，是否还有必要写下去，但是几经思考后，我觉得晚来好过不来，有总比没有要好，于是还是动笔了。 去年可谓是我过去的人生中最顺风顺水的一年，这一年我订婚以及确定好 ...
分类：
其他好文 时间：
2016-04-17 16:05:28
阅读次数：
137
1.计划会议过程 为了避免每次访问博客都需要复制粘贴，故设计此程序。 首先要把博客地址存起来，就需要连接数据库，定下关于数据库等任务。 接下来要把信息显示在窗口中，定下关于窗口的任务。 功能上有对数据库内容的增删改查。 总的来看，我们初期规划了以下任务。 2.团队backlog 创建，连接，断开数据 ...
分类：
其他好文 时间：
2016-04-17 16:06:33
阅读次数：
114
1. FIFO -- 先进先出 如果一个数据最先进入缓存中，则应该最早淘汰掉。也就是说，当缓存满的时候，应当把最先进入缓存的数据给淘汰掉。 实现： 利用一个双向链表保存数据，当来了新的数据之后便添加到链表末尾，如果Cache存满数据，则把链表头部数据删除，然后把新的数据添加到链表末尾。在访问数据的时 ...
分类：
编程语言 时间：
2016-04-17 16:04:48
阅读次数：
311
接口多重继承的过程中，会遇到静态常量和抽象方法的歧义问题，下面一一分析。 静态常量歧义 静态常量歧义时，可通过接口名来访问歧义的静态常量。 抽象方法歧义 实现重载效果 ...
分类：
其他好文 时间：
2016-04-17 16:06:38
阅读次数：
146
import Foundationimport UIKit class YijfkController:UIViewController{ override func viewDidLoad() { super.viewDidLoad() tishi.hidden = true } @IBOutle ...
分类：
其他好文 时间：
2016-04-17 16:05:34
阅读次数：
143
有种想写一个MVVM框架的冲动！！！ 1、Model中的属性应不应该支持OnPropertyChanged事件？ 不应该。应该有ViewModel对该属性进行封装，由ViewModel提供OnPropertyChanged事件。 WPF之MVVM（1）中有实例 2、如何将控件事件转换为命令？ 在“扩 ...
问题 用两个栈来实现一个队列，完成队列的Push和Pop操作。 队列中的元素为int类型。 思路 将入队的元素，加入stack1，如果有出队操作，则将stack1中的元素依次压入stack2，从stack2中弹出元素就等于出队操作，直到从stack2中弹出所有元素，则才又从stack1中加入元素。 ...
分类：
其他好文 时间：
2016-04-17 16:05:29
阅读次数：
166
第七周 所花时间（包括上课） 12小时 代码量（行） 300行 博客量（篇） 3篇 了解到的知识点 团队开发的流程和团队项目的估计 第七周 所花时间（包括上课） 12小时 代码量（行） 300行 博客量（篇） 3篇 了解到的知识点 团队开发的流程和团队项目的估计 第七周 所花时间（包括上课） 12小 ...
分类：
其他好文 时间：
2016-04-17 16:04:03
阅读次数：
162
接口是一种完全抽象的引用类型，接口的成员只有静态常量和抽象方法两种，没有非抽象方法，也没有其他。相当于一种严格的交流标准 （同超类子类一样，接口及实现类中，方法覆盖时的访问权限不能降低） 接口实现：如果子类实现了接口中的所有抽象方法，则该类可以声明为非抽象类，也可以声明为抽象类； 如果子类部分实现了 ...
分类：
其他好文 时间：
2016-04-17 16:04:05
阅读次数：
165
static void Main22(string[] args) { //菱形 Console.WriteLine("请输入腰长："); int n = Convert.ToInt32(Console.ReadLine()); for (int i = 0; i <n; i++) { for (i ...
一：需求概述 用户通过关注微信服务号后，微信服务号给用户提供统一的入口； 用户进入系统，可以发布自己的图片、文字； 其他浏览用户可以完成评论； 作者用户可以收到服务号推送的用户评论，并可以进行回复，达到互动； 在写评论处，引导用户关注该服务号； ...
分类：
其他好文 时间：
2016-04-17 16:05:25
阅读次数：
139
轨迹规划属于机器人学中的上层问题，其主要目标是计划机器人从A移动到B并避开所有障碍的路线。 1、轨迹计划的对象 轨迹规划的对象是map，机器人通过SLAM获得地map后，则可在地图中选定任意两点进行轨迹规划。暂时不考虑三维地图，以平面二维图为例，map主要有以下几种： 如上所示，二维图可以分为有权重 ...
分类：
其他好文 时间：
2016-04-17 16:03:58
阅读次数：
402
效果体验：http://hovertree.com/texiao/css3/8/效果图： 点击这里下载：http://hovertree.com/h/bjaf/8d5vmddq.htm 更多特效：http://www.cnblogs.com/roucheng/p/texiao.html ...
分类：
Web程序 时间：
2016-04-17 16:05:08
阅读次数：
203
假设表达式中只允许两种括号：()、{}；正确表达顺序为：()或{}或({})或{({}{})}的形势；如{(}或(})或({)}的表达形势均不对。算法的设计思想： 出现左括弧则进栈； 出现右括弧则首先检测栈是否为空， 若栈空则表明此右括弧多余，表达式不匹配。 否则和栈顶数据比较，若匹配则栈顶出栈。 ...
分类：
其他好文 时间：
2016-04-17 16:02:40
阅读次数：
222
知识点 1. 网格视图 2. 读取文件 MainAcitvity package com.test.gridview; import android.support.v7.app.AppCompatActivity; import android.os.Bundle; import android. ...
分类：
移动开发 时间：
2016-04-17 16:03:20
阅读次数：
209
