事情是这样的，今天写测试代码的时候发现，进程 A 调用进程 B，A 与 B不在同一路径下，B
中使用Environment.CurrentDirectory获取当前路径，本以为获取的路径应为 B 所在目录，结果证明，获取路径为 A 路径；要获取 B
所在路径，需使用:Path.GetDirector...
分类：
其他好文 时间：
2014-07-22 23:09:33
阅读次数：
250
上次因为临时需要就直接看了系统架构那一章，现在打算从头看起。不求对《软件工程》有多么深入的理解，只求把书变薄就行了。软件工程定义：
采用工程的概念、原理、技术和方法来开发和维护软件，把经过时间考验而证明正确的管理技术和当前能得到的最好的技术方法相结合。软件工程的目标：
采用工程化的方法，提高软件.....
分类：
其他好文 时间：
2014-05-01 15:38:19
阅读次数：
429
除了分解质因数，还有另一种适用于求几个较小数的最大公约数、最小公倍数的方法下面是数学证明及算法实现令[a1,a2,..,an]
表示a1,a2,..,an的最小公倍数，(a1,a2,..,an)表示a1,a2,..,an的最大公约数，其中a1,a2,..,an为非负整数。对于两个数a,b，有[a,b...
分类：
其他好文 时间：
2014-05-01 15:31:38
阅读次数：
341
题意：n个城堡 城堡之间有路 在这n个城堡里放多少人可以防卫所有的路40:(1) 11:(2) 2
32:(0)3:(0)描述的是这个图只需要在1上放一个人 就能覆盖所有的道路zsd: 1：二分图最小点覆盖=最大匹配数2：二分图最小顶点覆盖 =
双向二分图最大匹配 / 2 。证明来自：www.cn....
分类：
其他好文 时间：
2014-05-01 12:56:46
阅读次数：
360
Fibonacci Tilings 斐波那契数列一个性质的巧妙证明
分类：
其他好文 时间：
2014-05-01 10:56:53
阅读次数：
653
从计算的本质到编程语言，所谓计算，是构建在一套公理体系上的，并且在此基础上不断向上演化。
两大类型：数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等；符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等；
两种范式：计算理论的研究：侧重于从数学角度证明表达能力和正确性，比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究：侧重于对真实系统的建模和刻画；...
分类：
编程语言 时间：
2014-04-30 22:31:39
阅读次数：
571
在使用dreamweaver或者frontpage来制作HTML网页时，我们有可能会遇到这样的问题：在软件中好好的网页一旦放到浏览器中，就会在网页的下方莫名其妙的多出来或多或少的空白。那么这种空白又要怎么去消除呢？
起先我以为只要在网页的代码中加一个CSS来约束一下网页的高度就行了，事实证明这...
分类：
Web程序 时间：
2014-04-30 19:56:42
阅读次数：
419
所谓的模板方法模式，就是定义一个算法的骨架，而将一些步骤延迟到子类中。模板方法使得子类可以不改变一个算法结构就可重新定义算法的某些特定步骤。
理论总是需要实践去证明的，接下来就让我们以文章开头的大碗面为例，举例细说模板方法模式。
食堂的大碗面分有鸡排，排骨面等等，面的叫法不一样，但是做法一样，加的原料也差不多，葱，香菜，汤。唯一的不同就是加排骨还是鸡排。...
分类：
其他好文 时间：
2014-04-29 13:37:21
阅读次数：
288
有一种说法：程序员测自己的代码效果不好，因为测试是找错，程序员不愿意去证明自己是错的，别人测效果才好，对吗？这种说法是根本错误的，误导了无数人。正好相反，单元测试要自己测效果才好，别人测则几乎没有效果，除非有函数级的详细文档。单元测试的三种方式：程序员编码同时测试、程序员编码后测试、由别人测试，成本的比例大概为1:3:5，测试效果的比例大概为5:3:1。...
分类：
其他好文 时间：
2014-04-29 13:36:21
阅读次数：
212
SICP 习题 1.35要求我们证明黄金分割率φ 是变换函数 x => 1+ 1/x 的不动点，然后利用这一事实通过过程fixed-point 计算出φ的值。首先是有关函数的不动点，这个概念需要理解清楚，后面好几道题都是围绕函数不动点展开的。作者在这里设计这些习题的原因也是希望读者可以关注函数不动点。其实有关不动点这个东西我在做习题“1.8”的时候就觉得好奇了。为什么“（x+x/y)/2”会不断逼...
分类：
其他好文 时间：
2014-04-29 13:23:22
阅读次数：
352
