1.什么是Cookie对象：是一个由网页服务器放在您硬盘上的非常小的文本文件.
它本质上就像您的身份证明一样，并且不能像代码那样被执行或被用来散布病毒。它只能被您使用并且只能由提供的服务器读取.
什么是Session对象：session对象主要用于保存用户的各种信息，知道它的生命周期（一般是900....
分类：
Web程序 时间：
2014-06-07 02:15:38
阅读次数：
296
暗通道优先的图像去雾算法。说到图像去雾，就不得不提到由何凯明博士等人提出的基于暗通道的图像去雾算法。这个算法因其新颖的思路和理想的效果而广受关注，相关论文也曾于2009年荣获CVPR最佳论文奖，同时也是该奖设立以来，首次由亚洲学者获颁此殊荣。本文介绍起原理，并在MATLAB中编程实现，试验证明效果良好。...
分类：
其他好文 时间：
2014-06-05 01:52:59
阅读次数：
250
PhoneGap是一套能让你使用HTML5轻松调用本地API接口和发布应用到商店的应用开发平台。官方说有低成本，低开发周期，轻量化等优点，这些咱暂时也没法证明，略过不表。但是有一条跨平台，却是很明显的优势。因为它采用HTML5+JavaScript的模式来开发应用。PhoneGap用JavaScri...
分类：
移动开发 时间：
2014-05-31 21:08:43
阅读次数：
754
可用贪心算法解决的几个基本问题分类：算法2011-08-24
12:36950人阅读评论(0)收藏举报算法活动作业c关键：看问题有没有贪心选择性质和最优子结构性质。有些问题看似是可以用贪心算法，但是实际用贪心算法却得不到最优解。构造贪心算法后，需要一定的证明来确定它的正确性。常用证明方法：反证法、调...
分类：
其他好文 时间：
2014-05-31 02:57:58
阅读次数：
188
(来自质数) 设$ A,B $ 都是实数域上的两个二阶方阵, 且 $AB=BA$.
证明：对于任意实数 $x,y,z$,有 $$ 4xz\det(xA^2+yAB+zB^2)\geq (4xz-y^2)(x\det(A)-z\det(B))^2
$$证明: (来自 torsor) 因为 $A,B$ ...
分类：
其他好文 时间：
2014-05-29 01:55:01
阅读次数：
197
证明数据结构分析中的结论的两个常用的方法时归纳法和反证法归纳法：第一步是证明基准情形，就是确定定理对于某个小的值的正确性，（这一步几乎是很简单的
第二部，进行归纳假设，一般来说，这意味着假设定理对直到某个有限数k的所有的情况都成立的，然后使用这个假设证明定理对于下一个值也是成立的。反证法：通过...
分类：
其他好文 时间：
2014-05-27 16:03:03
阅读次数：
171
何谓重构重构是：为了是代码更易于维护和修改，在一系列小的、语义不变的代码转换（即是代码保持正常工作）中重组、重排代码。重构不只是任意的调整代码必须仍能正常工作小步骤仅使语义被保留（即不是一个重大改写）单元测试来证明代码仍然有效代码是更松散的耦合性功能更聚集的模块更容易理解的有很多人所共知的重构技术你...
分类：
其他好文 时间：
2014-05-26 20:06:15
阅读次数：
255
定理如下：
对任意非负整数a和任意正整数b, gcd(a,b） = gcd(b,a mod b)
首先证明 gcd(a,b) | gcd(b,a mod b)
设 gcd(a,b) = d
a mod b = a - b*k (k = a/b 向下取整的整数)
易得 d | a mod b 和 d | b 得出 d | gcd(b,a mod b) (d 为 最大公约数的一个因数)
接...
分类：
其他好文 时间：
2014-05-25 22:57:48
阅读次数：
353
[问题2014S14] 设 \(V\) 为酉空间, 证明: 不存在 \(V\) 上的非零线性变换
\(\varphi\), 使得对 \(V\) 中任一向量 \(v\) 均有 \[(\varphi(v),v)=0.\]注 本题是复旦高代教材 P326 习题
9.1.5 的推广.
分类：
其他好文 时间：
2014-05-25 20:12:50
阅读次数：
222
[导语]老罗的锤子手机发布会视频优酷上可以看到，花了两个小时，认真观看了。明显，发布会是成功的，让很多罗粉超出了心理预期，但后期到底卖得如何，还得时间来证明。先别说到底出货量多少，就从此刻往回看，我为老罗的所做所为深深震撼，这个时代不缺乏创新的科技公司，但是缺乏具有灵魂的公司。作为一
名软...
分类：
移动开发 时间：
2014-05-25 20:06:44
阅读次数：
244
