切割图像（五）主动轮廓模型Snake简要模型zouxy09@qq.comhttp://blog.csdn.net/zouxy09 在“图像切割之（一）概述”中咱们简单了解了眼下主流的图像切割方法。以下咱们主要学习下基于能量泛函的切割方法。这里学习下Snake模型简单的知识，Level Set（水平集...
分类：
其他好文 时间：
2015-06-11 21:08:44
阅读次数：
1098
泛函编程方式其中一个特点就是普遍地使用递归算法，而且有些地方还无法避免使用递归算法。比如说flatMap就是一种推进式的递归算法，没了它就无法使用for-comprehension，那么泛函编程也就无法被称为Monadic Programming了。虽然递归算法能使代码更简洁易明，但同时又以占用堆....
分类：
其他好文 时间：
2015-06-10 22:29:23
阅读次数：
158
引言信号理论研究的是在信号空间中信号的分析与综合以及系统的分析与综合问题。在这里，信号不再被看作函数，而是被看作信号空间中的一个点。在研究信号空间之前，我们先把信号看作信号集中的一个元素，以作为把信号看作信号空间中点的概念过渡。...
分类：
其他好文 时间：
2015-06-08 13:23:50
阅读次数：
257
STL简介
STL，标准模板库，是C++语言提供的一个基础模板集合，最初由惠普实验室开发，1998年被定为国际标准，成为C++的标准库。
在C++标准中，STL 被组织为13个头文件：、、、、、、、、、、、和。STL 由空间管理器、迭代器、泛函、适配器、容器和算法6部分组成，其中前4部分服务于后两部分。
空间管理器为容器类模板提供用户自己定义的内存申请和释放功能。默认情况下，ST...
分类：
其他好文 时间：
2015-06-07 15:54:03
阅读次数：
116
1.设$1 \le p \le q \le +\infty$，证明$l^p \subset l^q$。证明：$\forall x=(x_1,x_2,\ldots) \in l^p$，$\forall \varepsilon >0$，恒存在自然数N，使得$\sum_{k=N}^{+\infty}{||...
分类：
其他好文 时间：
2015-06-03 21:06:01
阅读次数：
441
2.6 Baire定理定理 2.52（Baire纲定理） 完备的距离空间是第二类型集。解释：完备的距离空间$(X,d)$，$\forall x \in X$ 都是内点，因为$X$在$X$中是开集。一个无处稠密（nowhere dense）的集合就是闭包不含内点的集合不会是整个$X$，即$X$不是第一...
分类：
其他好文 时间：
2015-06-03 11:35:16
阅读次数：
252
经过了一段时间的学习，我们了解了一系列泛函数据类型。我们知道，在所有编程语言中，数据类型是支持软件编程的基础。同样，泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。在前面对这些数据类型的探讨.....
分类：
其他好文 时间：
2015-05-29 00:49:52
阅读次数：
153
前面我们讨论了Applicative。Applicative 就是某种Functor，因为我们可以用map2来实现map，所以Applicative可以map，就是Functor，叫做Applicative Functor。我们又说所有Monad都是Applicative，因为我们可以用flat.....
分类：
移动开发 时间：
2015-05-21 22:06:59
阅读次数：
260
上两期我们讨论了Monad。我们说Monad是个最有概括性（抽象性）的泛函数据类型，它可以覆盖绝大多数数据类型。任何数据类型只要能实现flatMap+unit这组Monad最基本组件函数就可以变成Monad实例，就可以使用Monad组件库像for-comprehension这样特殊的、Monad.....
分类：
移动开发 时间：
2015-05-12 17:07:22
阅读次数：
216
在上一节我们介绍了Monad。我们知道Monad是一个高度概括的抽象模型。好像创造Monad的目的是为了抽取各种数据类型的共性组件函数汇集成一套组件库从而避免重复编码。这些能对什么是Monad提供一个明确的答案吗？我们先从上节设计的Monad组件库中的一些基本函数来加深一点对Monad的了解： .....
分类：
其他好文 时间：
2015-05-05 19:00:02
阅读次数：
147
