码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
软件工程--软件工程的介绍
1.2软件工程1.2.1软件工程的介绍概括地说,软件工程是是指导计算机软件开发和维护的一门工程科学。采用工程的概念、原理、技术和方法来开发与维护软件,把经过时间考验而证明正确的管理技术和当前得到的最好的技术方法结合起来,以经济的开发出高质量的软件并有效的维护它,这..
分类:其他好文   时间:2014-05-27 04:13:24    阅读次数:386
OSPF
基本配置配置拓扑图:配置要求:1)证明在不同路由器上OSPF的PID不用匹配也可以建立邻接关系。2)使用network命令来匹配借口,从而在网络10.0.0.0内触发邻接路由器发现进程。3)配置S1的RID为7.7.7.7。4)在骨干LAN上设置合适的优先权值以使得S1和S2成为DR/BDR。5)在骨干LAN上..
分类:其他好文   时间:2014-05-27 03:15:28    阅读次数:239
[家里蹲大学数学杂志]第030期复旦大学2010年实分析竞赛试题参考解答
1设 $f$ 是实直线 $\bbR$ 上的实函数, 若有常数 $M>0$ 使得对任何有限个两两不同的实数 $x_1,\cdots,x_n$ 都有 $\dps{\sev{\sum_{i=1}^nf(x_i)}\leq M}$. 证明: $\sed{x;\ f(x)\neq 0}$ 是至多可数的.解答:...
分类:其他好文   时间:2014-05-27 01:59:09    阅读次数:327
基于ASIO的协程与网络编程
协程协程,即协作式程序,其思想是,一系列互相依赖的协程间依次使用CPU,每次只有一个协程工作,而其他协程处于休眠状态。协程可以在运行期间的某个点上暂停执行,并在恢复运行时从暂停的点上继续执行。协程已经被证明是一种非常有用的程序组件,不仅被python、lua、ruby等脚本语言广泛采用,而且被新一代...
分类:其他好文   时间:2014-05-24 01:38:01    阅读次数:329
不用中间变量,交换a、b值
如果要交换a、b之间的值,一般的做法是:tmp=a;a=b;b=tmp;这种方法不得不使用一个临时变量。从网上学来一个方法,可以不用使用临时变量:a^=b^=a^=b;这样计算之后,就可以交换a、b值证明:首先:^ 是 位运算 的一种: 异或 运算1^1=0;0^0=0;1^0=1;0^1=1;将a...
分类:其他好文   时间:2014-05-23 22:07:50    阅读次数:285
定位定天下
《定位定天下》主要讲述如何通过定位进行品牌运作,去打败你的竞争对手。正如那句话所说,没有定位就没有一切。里面有很多实例,足以证明此书的价值,强烈推荐大家阅读此书。(笔记下面有此书的下载地址)定位的核心: 三点、一线、一面区隔点、支持点、需求点:这几点定位的核心关键区隔点:用1%的不同赢取100%的市...
分类:其他好文   时间:2014-05-23 21:58:31    阅读次数:392
对你同样重要的非技术贴,8个方法让你的老板认可你
导读:我们不是每个人都能有幸碰到一位很优秀的领导,但大多情况下,也不会很不幸的碰到一个我上篇博文《10件事证明你跟错了人》中的领导,实际上,大多数的领导的特征基本相似,技术不错,能力还行,脾气不校如果现在你的技术还不行,你需要钱,你不能辞职,你认为你现在的老..
分类:其他好文   时间:2014-05-20 23:06:03    阅读次数:308
算导之DP算法的设计心得
和其他的DP帖子只是灌输思考之后的结果不同,这篇是DP算法的自我体会,应该是设计DP算法的思考过程。 斯以为,这才是拿到一问题,从思考到解决最精华的部分:) 犹记得第一次看到算法导论上拿最长与最短路径来说明DP中最优子结构证明过程的一个细节的时候,心里激动不已,国内的教材完全不考虑这个,而是把伟人思考之后的东西呈现给新人。 我第一看到,心想,这就是我要的东西,包括之前的loop in...
分类:其他好文   时间:2014-05-20 15:40:21    阅读次数:215
矩阵特征值与行列式、迹的关系
矩阵的特征值之和等于矩阵的行列式 矩阵的特征值之积等于矩阵的迹 简单的理解证明如下: 1、二次方程的韦达定理: 请思考:x^2+bx+c=0 这个方程的所有根的和等于多少、所有根的积等于多少 2、把二次方程推广到 N 次: 对一个一元n次方程,它的根记作 那么接下来可以类似地来思考:(x-x1)(x...
分类:其他好文   时间:2014-05-20 12:18:14    阅读次数:235
蓄水池问题
for i in [n+1 N] M=rand(1,i) if(M<=n) swap the ith and Mth data证明方法:1.初始情况,当尚未选择时,出现在pool中的n个元素的概率相同都是1,证明当第n+1葛元素以n/(n+1)的概率被选中时,前n个元素在pool中的概率为...
分类:其他好文   时间:2014-05-20 09:43:42    阅读次数:294
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!