这些项目遇到了一些严重的问题。之前的工作我主要是在周末，有时是工作日的晚上做。但最终证明，这样的工作安排并不适合我。为了在周末尽可能地尝试完成高质量的工作，我压力巨大（如果我做不到的话，会有很深的挫败
...
分类：
Web程序 时间：
2014-06-07 00:57:59
阅读次数：
210
$\bf证明$
由于$f_n$几乎处处收敛于$f$，且$\displaystyle|{f_n}|\mathop { \le} \limits_{a.e.} F$，则令$n
\to \infty $，有$\displaystyle|{f}|\mathop { \le} \limits_{a.e.} F...
分类：
其他好文 时间：
2014-06-07 00:22:29
阅读次数：
244
原文出处：任文山（微博推荐）我不认为使用 Emacs 能提高一个程序员的水平,
也不认为几个中老年知名人士使用(或使用过) Emacs 就能证明它有什么特殊之处.但在我的水平比现在更差的时候, 知道这些我心目中的牛人也是(或曾经是)
Emacs 用户, 确实是我继续使用和学习关键原因之一. 所以建了...
分类：
其他好文 时间：
2014-06-06 23:31:10
阅读次数：
568
$\bf证明$
$(1)$由${f_n}$依测度收敛于$f(x)$知，对任何自然数$k$，存在自然数${n_k}\left( { > {n_{k - 1}}}
\right)$，使得当$n \ge {n_k}$时，有\[m\left( {E\left( {\left| {{f_n} - f} \ri...
分类：
其他好文 时间：
2014-06-04 16:42:35
阅读次数：
214
[问题2014S15] 设 \(O\) 为 \(n\)
阶正交阵，\(A=\mathrm{diag}\{a_1,a_2,\cdots,a_n\}\) 为实对角阵, 证明: 方阵 \(OA\) 的特征值
\(\lambda_j\) 适合不等式: \[m\leq |\lambda_j|\leq M,\,...
分类：
其他好文 时间：
2014-06-02 20:45:15
阅读次数：
246
$\bf证明$ 由于$\left\{ {{f_n}\left( x \right)}
\right\}$几乎处处收敛于$f(x)$，则存在零测集$E_0$，使得$\lim \limits_{n \to \infty } {f_n}\left( x
\right) = f\left( x \right...
分类：
其他好文 时间：
2014-06-02 19:50:57
阅读次数：
189
本节介绍的是快速合并的优化算法。基本思想就是在每个节点上增加重量的概念，每次操作的时候将重量小的部件挂在重量大的部件之下。这样就避免了树形结构太高的问题。
下图展示了优化前后的树形结构深度的对比。
证明
可以证明每个节点的深度最大为lgN。
因为每次合并的时候较小的部件要放在较大的部件之下，所以如果要增...
分类：
其他好文 时间：
2014-06-02 19:00:51
阅读次数：
334
$\bf证明$ 由于$m\left( {E\left( {{f_n} \nrightarrow
f} \right)} \right) = 0$，则我们不妨设$\left\{ {{f_n}\left( x \right)}
\right\}$处处收敛与$f(x)$，此时\[E = \bigcup\l...
分类：
其他好文 时间：
2014-06-02 15:57:37
阅读次数：
197
我只知道一些非常简单的关于MVC的验证
如题，我只知道一点非常简单的关于MVC的验证，所以如果您接触过MVC的验证，相信也就不用看了，这个且当作是学习笔记吧。
先小讲解一下他基本的五个从Model里打上特性标签验证的方法。 在此之前先写一下事例以证明之。 第一步，创建一个MVC的应用程序，在M...
分类：
Web程序 时间：
2014-06-02 06:39:30
阅读次数：
384
用E[i,j]表示共有i个数字，以1..j开头且一开始下降的方案数的总和。则我们有：E[i,j]:=E[I,J-1]+E[i-1,i-j]我们先来证明上升与下降的方案是一一对应的。事实上，若有a1,a2,a3,……，an
为满足要求的一个序列（上升或下降），则我们构造新数列，n+1-a1,n+1-a...
分类：
其他好文 时间：
2014-05-31 20:59:36
阅读次数：
292
