1.科学带给人类相互残杀的工具，而宗教带来的是杀人的动机。

2.有位生物系的学生对他女朋友痴迷鲜花非常不理解：“为什么一定要在过节的时候让我送你一簇植物的生殖器你才开心呢？”

3.一位程序员好奇竟然有人半夜闹钟起来偷菜：“那么费劲改动人家数据库里的一个值，有意思吗？”

4.无心拈花惹草，只想一览巅峰风景。

5.Life is not measured by the number of breaths we take but by the places and moments that take our breadth away.

6.床上你同样卖力，那笑声让你自己都感到陌生。

词：有森聡美

选择了柔软且温暖的地方
没有发现在人们笑容的背后的眼泪
一生就这么自欺欺人的过来了
我想回头看度过的每一日

为了生存下去 樱花撒落也没看见
连花开的梦 也不知道
何时才能迎来新鲜的日子
用我的一生 去探索

向着冰冷与猛烈的风
不闭上眼睛 努力地向目的地前进
想要变得更坚强 哪怕一点点也好
每当流泪的时候 温柔也习以为常

樱花飞舞 多少梦想开花
不断抬头仰望 淡红色的樱花
何时才能迎来新鲜的日子
用我的一生 散发出光芒

为了生存下去 樱花撒落也没看见
连花开的梦 也不知道
何时才能迎来新鲜的日子
用我的一生 去探索

樱花飞舞 多少梦想开花
不断抬头仰望 淡红色的樱花
何时才能迎来新鲜的日子
用我的一生 散发出光芒

解释：gzip -d 解压.gz文件，tar -xf解压.tar文件

通过调节节奏、声调、音色、年代、歌手、流派、语言等属性来自动挑选。一个很不错的尝试，此功能必火！

     可计算理论是关于计算机械本身的数学理论。20世纪前，计算机械总是”算计”别的对象，很少”算计”自己。20世纪 30年代，为了要解决一个基础问题，即是否有存在不可判定问题，数理逻辑 学家提出了几种不同的（后来证明是彼此等价的）关于算法的定义，从而建立了可计算性理论。
科学家令计算机械 自己”算计”自己，奇迹出现了。图灵用对角线方法，把图灵机自己编码，搅进其自己的计算对象中，证明了停机问题不可解。在一定程度上说明了计算机（程序）的能力有限性。

     30年代前期，K.哥德尔和S.C.克林尼等人创立了递归函数论， 将数论函数的算法可计算性描述为递归性。30年代中期， A.M.图灵和E.L.波斯特彼此独立地提出了理想计算机的 概念，将问题的算法可解性描述为在具有严格定义的理想计算机上的可解性。30年代发展起来的算法理论，对 在40年代后期出现的存储程序型计算机的设计思想是有影响的。图灵提出的理想计算机（称为图灵机）中的一 种通用机就是存储程序型的。

     可计算理论主要内容有：自动机论与形式语言理论;程序理论(包括程序正确性证明、程 序验证等);形式语义学；算法分析和计算复杂性理 论。自动机理论和形式语言理论是50年 代发展起来的。前者的历史还可以上溯到30年代，因为图灵机就是一类自动机(无限自动机)。50年代以来一些 学者开始考虑与现实的计算机更相似的理想计算机，J. 诺伊曼在50年代初提出了有自繁殖功能的计算机的概念。

王浩在50年代中期提出了一种图灵机的变种，这是一种 比原来的图灵机更接近现实机器的机器。他还提出一种 存储带上的内容不能清除的机器，并证明这种机器是与图灵机等价的。

     60年代前期，又有人提出具有随机存取 存储器的计算机（简称RAM）以及多带图灵机等。 形式语言理论 导源于数理语言学中的乔姆斯基理 论。在这种理论中,形式语言分为四种:①0型语言；②1 型语言;③2型语言;④3型语言。相应地存在着0型、1型、 2 型、3型四种形式文法。1型语言又名上下文有关语言， 2型语言又名上下文无关语言，3型语言又名正则语言。其中2型语言最受人注意。60年代中期,还发现了这四类 语言与四类自动机之间的对应关系（见表形式语言与自 动机的关系） 在上表中，左边所列的语言恰好是右边与之对应的自动机所能识别的语言（见形式语言理论）。 程序设计理论 包括程序正确性证明和程序验证， 它的一些基本概念和方法是40年代后期诺伊曼和图灵等 人提出的。诺伊曼等在一篇论文中提出借助于证明来验证程序正确性的方法。

     J.T.施瓦兹和 M.戴维斯70年代后期提出了一种他们称之为"正确程序 技术"的软件技术。这种方法是先选定成千种基本程序模块，并借助已知的各种验证方法（包括程序正确性证 明）来保证这些基本程序的正确性。然后再提出一组能 保持正确性的程序组合规则。这样，就可以通过不断的 组合，生成各种各样的程序。

     有人指出，程序正确性证明技术所发展出来的"循 环不变式"，即一个程序中的某一循环的入口或出口点 上所附的谓词，有些文献中称作"归纳断言"，可以用来供程序研究用。也就是说，不像过去那样，对一个给 定的程序找出其若干个循环不变式，然后借助这些不变 式来证明这个程序的正确性；而是在编制这个程序之前， 根据对这一程序的要求，找出若干个循环不变式，然后根据这些不变式来生成这个程序。 自动程序设计的概念也是从40年代提出的。

     1969年又有人独立地提出了这一想法。 程序语言的形式语法的研究，从50年代中期起有了较大的发展。而形式语义的研究自60年代以来虽有不少 研究工作者从事这方面的工作，提出几种不同的语义理 论，主要是操作语义学、指称语义学或称数学语义学、 公理语义学和代数语义学，但仍没有一种公认在软件技术中够用的形式语义学，因而需要提出一种更适于用到 实际计算中的新的语义学。 在程序正确性证明和形式语义学中应用的程序逻辑， 是60年代末发展起来的。

     这是谓词逻辑的一种扩充。原来的谓词逻辑中是没有时间概念的，所考虑的推理关系 是在同一时间里的关系。程序是一种过程，一个程序的 输入谓词与输出谓词之间的逻辑关系就不是同一时间里 的关系。因此，在有关程序性质的推理中，原来的谓词逻辑不够用，需要有一种新的逻辑。 60年代末，E.恩格勒等人创立了算法逻辑。C.A.R. 霍尔也创立了一种程序逻辑。这种逻辑是在原来的逻辑上增加一个程序算子而得到的。

     算法分析和计算复杂性理论 关于算法的复杂性的 研究。关于这一领域的名称曾有争论。一般认为，各类具体算法的复杂性的研究称作算法分析，而一般算法复 杂性的研究称作计算复杂性理论。计算复杂性理论原是 可计算理论的一支，是以各种可计算函数(即递归函数) 的计算复杂性（在早期称作"计算难度"）为其研究对象的。可计算性分为理论可计算性和实际可计算性两种。 作为可计算性理论一支的计算复杂性理论，是以前者的 复杂程度为其研究对象的；而作为计算机科学一个领域 的复杂性理论，则是以后者的复杂程度为其研究对象的。

     这一分支的基本问题是要弄清楚实际可计算函数类的结构和一些性质。实际可计算性是一个直观的概念。 如何对这一概念进行精确的描述，是一个并不容易的问 题。60年代中期以来，有关的研究工作者一般是以计算时间多项式有界的函数作为实际可计算的函数。这实际 上是一个论题，而不是一个可以在数学中加以证明或否 证的命题。有人指出，在有关的多项式次数较高时，很难说是实际可计算的。

     另一个带根本性的问题是：确定性机器与非确定性机器的解题能力的比较问题。人们早已知道，确定性图 灵机与非确定性图灵机的解题能力是相等的。因为非确 定性机器虽比确定性机器效率高，而如果计算时间没有 限制，则确定性机器总可以用穷举的方法来模拟非确定性机器。因此，二者的解题能力是一样的。但在计算时 间多项式有界时，二者的解题能力是否相等，这就是有 名的P=? NP问题。 关于计算和算法（包括程序）的研究，对串行计算的性质研究较多，而对并行计算性质的研究则还很不够 （特别是对异步的并行计算更是如此）。因此，关于并 行计算的研究很可能将成为计算机理论的研究重点。 　　　　　　　　　　　　　　　

     对于一个判定问题，如果能够编出一个程序,以域 中任意元素作为输入，当相应的个别问题的解答是肯定 的时候, 的执行将终止并输出"是",否则 的执行不 终止，就称该判定问题为半可判定的。可判定的问题总是半可判定的。集合是递归可枚举集的充分必要条件为 对应的判定问题是半可判定的。 图灵在1936年证明，图灵机的停机问题是不可判定 的，即不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。图灵机的停机问题是半可判定的。图灵 机的停机问题是很重要的，由它可以推出计算机科学、 数学、逻辑学中的许多问题是不可判定的。

　　网卡的MAC地址是固化在网上EPROM中的物理地址，是一块网卡的“身份证”，通常为48位。
　　在平常的应用中，有很多方面与MAC地址相关，如有些软件是和MAC地址绑定的，没有允许的MAC地址，软件就无法运行；
　　局域网里，管理人员常常将IP与客户机的MAC地址绑定，以方便管理，万一用户的网卡坏掉了，自行更改网卡后必须向管理人员申请更改绑定的MAC地址，这样就比较麻烦。在这种时候，如果我们能够更改一下网卡的MAC地址，那就方便多了。
　　实际上，修改网卡的MAC地址是很容易的，我们既可以在作系统中通过软件来修改网卡的MAC地址，而实际的网卡MAC地址不变，以达到欺骗软件的目的；也可以用工具直接更改网卡的实际MAC地址。

一、瞒天过海

1.修改注册表

　　几乎所有的网卡驱动程序都可以被NdisReadNetworkAddress参数调用，以便从注册表中读取一个用户指定的MAC地址。当驱动程序确定这个MAC地址是有效的，就会将这个MAC地址编程入其硬件寄存器中，而忽略网卡固有的MAC地址。我们通过手工修改Windows的注册表就可以达到目的。
　　在Winodws 98下运行Windows的注册表编辑器，展开“HKEY_LOCAL_MACHINE＼System＼Current ControlSet＼Services＼Class＼Net”，会看到类似“0000”、“0001”、“0002”的子键。从“0000”子键开始点击，依次查找子键下的“DriverDesc”键的内容，直到找到与我们查找的目标完全相同的网卡注册表信息为止。
　　当找到正确的网卡后，点击下拉式菜单“编辑/新建/字符串”，串的名称为“Networkaddress”，在新建的“Networkaddress”串名称上双击鼠标就可以输入数值了。输入你想指定的新的MAC地址值。新的MAC地址应该是一个12位的十六进制数字或字母，其间没有“-”，类似“000000000000”的这样的数值（注意，在Windows 98和Windows 2000/XP中具体键值的位置稍有不同，大家可通过查找功能来寻找）。
　　在“NetworkAddress”下继续添加一个名为 “ParamDesc”的字串值，它将作为“NetworkAddress”项的描述，数值可以取为“MAC Address”。再把它的内容修改为你想设定的内容.

2.修改网卡属性

　　大部分的网卡都可以通过在控制面板中修改网卡属性来更改其MAC地址，笔者的3COM 3C905B-TX和RTL8139芯片的网卡都可以这样轻松修改。
　　在“设备管理器中”，右键点击需要修改MAC地址的网卡图标，并选择“属性/高级”选项卡。在“属性”区，就可以看到一个称作“Network Address”或其他相类似名字的的项目，点击它，在右侧“值”的下方，输入要指定的MAC地址值。要连续输入12个十六进制数字或字母，不要在其间输入“-”。重新启动系统后设置就会生效了。

二、釜底抽薪

　　假如用户使用的是RealTek公司的RTL8139A/B/C/D系列芯片的网卡，有一种更简单的方法修改MAC地址。RealTek公司设计的PG8139软件可以直接修改RTL8139系列网卡的MAC地址，甚至可以让每次启动后网卡的MAC地址都不相同。具体*作如下：
　　把pg8139.zip解压缩到一个文件夹下，以8139C芯片为例，用记事本打开该目录下的8139c.cfg文件，修改8139c.cfg文件的第一行，将“NodeID”（网卡号）后改为所需要的?怠＝ㄒ槌跏贾滴 ?0 E0 4C 00 00 01”，修改时注意每两位之间至少要留一个空格
保存后再进入MS-DOS方式（注意，要在纯DOS模式下），在DOS提示符后输入“pg8139 /pci 8139c.cfg”后再按回车键，此时系统如果提示“Programming EEPROM is successful”则说明更改成功。PG8139程序每成功运行一次，在相应的8139c.cfg文件中，系统会自动将“NodeID”的值加1，也就是说，第一次运行时给当前工作站网卡分配的MAC地址为“00 E0 4C 00 00 01”，第二次运行时，系统会自动分配为“00 E0 4C 00 00 02”，第三次运行时，会自动为“00 E0 4C 00 00 03”……，依此类推，就可以批量地修改网卡的MAC地址，不再需要重复修改8139c.cfg文件了。
　　如果用户的网卡是RTL8139其他版本的芯片，只要找到相应的.cfg文件修改就行了。
　　另外，还有一种极端的办法，通过烧录网卡的EEPROM来达到克隆MAC地址的目的。但这样做风险很大，而且*作复杂，即使是有经验的用户也难免在*作中出现错误，我们不推荐进行这种*作。

三、巧借东风

　　如果是Windows 2000/XP的用户，则可以使用免费MAC地址修改软件SMAC。运行SMAC后，窗口中的列表框列出计算机上正处于工作状态的网卡。选定要修改的网卡后，在列表框下方的六个输入框中输入新的MAC地址后，点击右侧的“Update MAC（修改MAC地址）”，即可完成MAC地址的修改。如图4所示。
　　修改MAC地址的工具有很多，但大多数都只适用于Windows 2000/XP，笔者在这里推荐用“超级兔子魔法设置”，因为不但简单易用，而且在Windows 9x系统中使用同样有效。
　　修改完成后，就要使设置生效，一般的办法是重新启动系统。还有一种简单的办法不需要重新启动系统，在“设备管理器”中，选定网络适配器图标，点击鼠标右键，选择“禁用”（请注意*作后，状态栏是否已显示为“禁用”）。然后再右键单击选定的网络适配器，在右键菜单中选择“启用”。这样就能使修改后的设置生效。