水天一色

      演化路由算法框架的流程图如下图所示：                                                     图8 演化路由算法的框架流程图       那么，演化路由算法被定义如下：Algorithm EvoRoutCompute.//演化路由计算BEGIN     evoTime = 0;   //演化代数     geneSet = NIL; 

    前注:回想大学,的确有许多很难忘的事.天南海北的室友之间的趣事,彻夜通宵去自习而半夜出来静静的踱步——可是,许多都可以写回忆.惟有没有来得及开始的感情,总不忍回去捡拾了.幸好找到仅存的两篇文章,是那时的真实感受,作为纪念是比新写的更好.当然,现在看来许多不应该的地方,但因为是过去的,也不能改动,就加注释表明现在的感受,以示区分,并把一些背景事情略加解释.　　    [其一]　　    

                                                          短序 新年的脚步，眼看渐渐的近了。昨夜深深，至夜半而不寐，又想起母亲，想起要到来的家，想起了沉甸甸的旅行包，想起了拥挤的火车，想起了长长的回家路……更想起了那漫长的未来，那依然渺茫的梦想……后来觉得脸上凉凉的，这似乎是自认为成年以来，第一次落泪了。但不是委屈的，不是难过的

简序：    大学的快乐，有很大一部分来自自由思索的快乐，来自向专家学习、来自交流的快乐。    比如，我最喜欢罗素的观点，他成了我人生的坐标，所以一直以来我也愈加的喜欢数学与科学，关注民生与自由，我相信对于我的青年时期，这将是永可怀念的！    还有很多的老师，往往是一次课，让我永远的记住了他们。大一时期的张晓庭先生，精彩的统计课程讲座与人生观点，大三时期的赵致琢先生，对于计算机

/*接上篇：       我选用这些例子来演示list的一般操作。如果你懂了这些基本原理，你就可以毫无疑问的使用STL了, 建议你作一些练习。我们现在用一些更加复杂的操作来扩展我们的知识，包括list成员函数和STL通用算法。  */--------------------------------------------------------------------------------

                      SAT问题展开说（2）[下] 首先，我们看使用何种适应度函数。事实上，对于染色体组，我们好坏的评价由score来记录，如下的过程自然刻画了我们对适应度函数的设计：private int GetScore(int i)         {              int score=0;              for(in

4.3 语句表示式及其格式语句表示式这个术语在《HNC理论》中经常使用，上一节还在前面加了HNC修饰词，这意味着可以有各种各样的语句表示式。但我们始终没有给语句表示式下一个定义。这里建议采用下面的定义：把各语句单位按一定顺序排列起来、并形成一定意义的语句表示方式。按照这个定义，乔姆斯基的S=NP+VP表示式并不符合语句表示式的条件，因为它虽然规定了语句单位的排列顺序，但不能保证形成一定意义

HNC的发展和未来黄曾阳（中国科学院声学研究所 100080） 1引言：提倡学术碰撞──并在语言学研究中探索超数学、超逻辑的超碰撞模式    学术交流的根本意义在于引发学术碰撞，学术碰撞是科学进步的根本动力。没有碰撞的学术必然衰落，碰撞活跃的学术必然兴旺，这是东西方科学技术发展形成巨大反差的根本原因。500年前，西方世界就开始重视培育有利于学术碰撞的社会环境，而东方世界到今

 暑期在校，每天看些数学和外语，得不到时间正经的写程序。恰好有莱昂氏的UNIX版本6的内核代码分析，考虑到学校从没有训练我们“阅读理解代码”的课程，就决定读下去。这一下子，发现这代码竟如诗句一般，简练而优美。不忍独享，也不知大家可有时间来细分辨这一行一行的“诗”，就想着间或拿出来一点，关系到算法而又不难懂的，与大家共同学习。 这次，我们看一看操作系统存储管理的部分内容。内存的空

 1 谁创立了分形几何学？         1973年，曼德勃罗（B.B.Mandelbrot）在法兰西学院讲课时，首次提出了分维和 分形几何的设想。分形（Fractal）一词，是曼德勃罗创造出来的，其愿意具有不规则、 支离破碎等意义，分形几何学是一门以非规则几何形态为研究对象的几何学。由于不规 则现象在自然界是普遍存在的，因此分形几何又称为描述大自然的几何学。分形几何建 立以后，很快就引起了

      按照惯例，我们简单回顾一下上次的问题。上次最后说，“ 所有的这些问题，在组合的情况下，也会发生吗？在对象数组初始化时，如果我们希望每个对象的初始化状态都不同，应该如何做？”，关于组合的情况，我就不回答了，希望您测试过了。但对象数组的初始化，却很有趣。    既然要合适的默认构造函数才能初始化，又要每个对象的初始化状态都不同，这就有些为难了。我们有个思路是，在这个合适的构造函数里：），使

        演化计算是基于随即搜索的新算法；它的技术模型源于自然的演化。下面是一个例子，该函数是典型的多峰（震动剧烈）的函数。用的算法是郭涛算法。问题：求函数的最大值 :       f(x,y)=21.5+x*sin(4*PI*x)+y*sin(20*PI*y)      定义域  D:  -3      目前最好结果：f(11.6255448,5.7250441)=38.85029

                     §3.3 Floyed路由算法与演化路由算法实验数据分析    算法的测试数据，使用图7中的网络结构。则网络的拓扑信息与耗散信息分别为：拓扑信息矩阵耗散信息矩阵1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 10 2 3 1000000 100000

                                                                   §3.2 演化路由算法设计        演化路由算法的基本思想是使用自适应的演化策略，来寻找两结点间的最佳路径。如图7中的网络，由0结点开始寻找到4结点的最佳路径，我们下给出如下定义：         1， 结点集合NodeSet，即是网络中路由器的集合，

 操作系统在启动之初，或检测到内部错误时，就需要向控制台输出有关信息。可以想象，这在操作系统中是潜在的常用过程。无论是UNIX，还是Linux，作为操作系统的内核部分，都尤其注意了程序的执行效率。我们所选的过程，它们的魅力，都可以用“清丽”之词言之；清丽之意，乃介乎天生丽质，韵味内涵皆清晰可观。我们细致的来看它们魅力与异同。 Ⅰ. UNIX部分（printf） 在UNIX中，是

                                                 大学的课余生活大学是如此一个奇怪的复合体。对于她的精神生活，她的学习生活，我们或多或少都会有些不满。但其课余生活，却是那么令人向往。为什么这么说呢？因为大部分大学没有真正意义上的严格起来，只要学生不过分，大学那些课程过起来还是非常容易的。剩下来的时间，都算是课余时间了。虽然我喜欢的是奋

                                                                        续成长计划诚惶诚恐，再续成长的计划。成长计划的部分，的确是我经过如此多的苦思、挣扎所得来的，加上以前我的一篇文章，《我的大学书架》，的确就可以作为我对计算机专业学生的建议了。可是话刚说出去，我心里就惶惶然……这主要是因为生活本身就好象一本无需语

                                第三章 路由算法的设计    路由算法的数学模型是图论模型。如下图：                         图7  网络模型    路由过程的选择，即是在加权无向图（或有向图）中寻找源结点与目标结点的最佳路径，根据最佳路径选择下一站路由器。如图7中，0结点至4结点的最佳路径是0→2→3→4，那么由0结

                                                                       关于读研与工作因为抱着写文负责的态度，对于成长计划的部分（含其续）下笔有些沉了。呵呵，但那也是实情。事实上对于成长我虽主张个人的主动性，但毕竟这不是一个个人问题。接受教育，自然少不了施加教育的一方。所以教育系统要探索的路比我们每一个人都更为困难。

                                         三   树（一）树形结构是一种美丽的结构。它是计算机科学中一种重要的结构，尤其是在数据结构中。我们通过下图，帮助您回忆这一切。对于数据的组织，树形结构在一个非常特殊而重要的位置。一般来说，线性表简洁，可以组织通过线性关系或其复合所能表达的数据，而图结构，是更一般意义上的结构，可作为建模之用，且

                                              离散数学趣味题目1,Catalan数   饭后，姐妹洗碗，妹妹把姐姐洗过的碗一个一个放进碗橱摞成一摞。共有n个两两相异的碗，洗前也摞成一摞，也许因为妹妹贪玩，碗拿进橱子不及时，姐姐就把洗过的碗摞在傍边：                              -  -           -

 Ⅱ . Linux部分（printk） 在Linux中，完成类似工作的，是 linux/kernel/printk.c 中的过程 printk。这个过程，相对来讲，就复杂的多。其中程序代码为（在过程代码之前，有些全局变量的定义省略，需要指出时我们再指出）：/* *  linux/kernel/printk.c * *  Copyright (C) 1991, 1992

        谈以演化计算思想做机器证明与推理的构想[2] 演化证明与推理的操作举例与演化类型的初步划分利其器，自然是为了善其事。现在我们接近了核心的问题，即如何将演化计算的思想应用于机器证明与推理中。我们看几个证明序列的例子，会有很好的启示。 例子1 设α，β是Kφ中公式，证明：├（α→β）→（α→α） 。证明（1）α →（ β→α）          

 大家好，我们接着来看过程mfree，上次说过，这个过程算法有点复杂，或许应该说，代码写的不太明朗。我们来具体的看看它： /* *Free the previously allocated space aa *of size units into the specified map. *Sort aa into both map and combine on *one

                                       由SAT问题展开说                                                          作者： 李连华  崔涛 摘要：本文试图以活泼的笔调，讨论一个计算机科学难题，SAT问题。并由此展开，展示计算机算法的魅力，与计算机算法分析和设计的一些基本思想。最后，给出一

 很高兴又和大家见面,我们继续我们的”有趣的算法世界”之旅.既然文章的题目为”算法之根”,当然我希望能带您来看看算法世界的本源------开始形式化的地方.上次提到了丘奇-图灵论题： 算法的直觉概念               等于                 图灵机算法这是我们本篇文章的根本.可是匆匆的,我们还没有对这个”图灵机算法”详细解说,就结束了上次之旅.这次我们详

 说明: 其实本部分应该和"算法之根(2)"是一篇文章,因为不知怎么也 帖不出来,所以只好分开发为两帖. 现在我可以对您说,好啦,想必您已经对算法内涵有了一定的了解.现在看这嶙嶙的根,您是否觉得这棵树是非常的美丽?呵呵,什么,虽然现在心中已燃起了感情,但您还不能想象她的全部?那将是多么的美好哦!好吧,今天这次”有趣的算法世界”的旅行第一部分就要结束了,我就给您展示一下我心中的算法,我心

              (续文章《机器证明介绍（1）》）           机器证明，一个出发点，就是“寓理于算”，但这条路并不平坦。数理逻辑大家在探讨思维的符号化工作，计算机科学家也在探索计算机本身的能力极限。一代一代的人，在思索，人类的智慧的奥秘何在；机器如何完成这项工作，如何做的更好，乃至和人类一样好？    上次说到这个公式的证明：                    

简述：机器证明是使用计算机证明定理，也称为定理的机械证明或自动证明。作为计算机科学的一个重要课题，它的研究与发展至今约有50年的历史。在本文中，将试图向您展示机器证明的基本思路和方法。关键字： 机器证明，演绎推理形式系统p，试探法，判定法，计算机辅助证明，证明算法    各门的科学中，都有推理和论证；尤其是在数学中，要通过推理和证明来建立定理，证明的每一个步骤都是通过逻辑推理的规则推出另一

         程序实现的羊齿叶的图形：               这样类型的叶子，在学校的后山上也经常的见到。每一次打照面的时候，都会为它的优雅而感动……      在学校的东区，化石林内，草地上也可以见到这般的身影的……可虽是在地质大学，又对地质一窍不通，在化石林漫步的时候，就会想，这些古森的化石，曾经的是多么美啊。却都随时间飘逝而去了……       因为爱慕它的美，

简单的，你现在就可以试一试：）。 -----以前学汇编的时候做的测试。第一个程序只是给您个印象，后面还有一个帖子，在详细说说。unit Unit1;interfaceusesWindows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,Dialogs, StdCtrls, ExtCtrls;

       c++博大精深，这是很多了解c++的人的感觉。越是深入，越是觉得她会给你很好的训练---让你成为真正的程序设计者。     我想从她的初始化工作着手，试图展现其一角，希望能有助于您提高学c++和程序设计的兴趣---然后，去发现、开拓吧，当你把你的智慧融入进去以后，一行行程序就不仅是程序了，因为它就有了生命。    关于c中的初始化相关部分，如指针，如全局变量与局部变量默认初始化的

谈以演化计算思想做机器证明与推理的构想-----------说演化证明与推理的可能性        作者：李连华（percylee@126.com）摘要：本文详细讨论由演化计算思想来做机器证明与推理工作的可能性，提出了演化证明与推理的相关概念和初步框架，并由此对演化证明与推理作出了展望。关键字：机器证明与推理，演化计算，演化证明与推理，人工智能 证明与推理，是智能的高级

 摘要：本文试图以活泼的笔调，讨论一个计算机科学难题，SAT问题。并由此展开，展示计算机算法的魅力，与计算机算法分析和设计的一些基本思想。最后，给出一个SAT问题的演化计算的算法和程序实现。关键字：SAT问题，组合爆炸，爬山法，A算法，演化计算                                   SAT问题展开说（2）[上] 问题的解决方案 我们现在

     我所希望的工作，基本上就是自然语言处理了。只是这个方向上，我需要学习的还非常的多。目前我在看些专业书籍；但把以前的几个镜头连一连，觉得还是很有意思的。                                         一，关于分词的一篇短文    我也测试了一下，是以前的一篇文章的首段，很明显的个人风格。如下： 读万卷书，行万里路，便是今生的两个

                   二      线性表 这一次，我们就来看一看线性表。   我们先给出一个线性表的知识图，它或许并不非常准确，但可以帮助您回忆您在您看过的数据结构教材中所学的大部分内容。事实上，在阅读以下的内容之前，我也鼓励您停下来想一想，想一想线性表那些在您封存的记忆中依然闪光的部分。我无意和您对此图的细节划分标准进行辩论，也无意于全部讨论它们，既然是

                                                  数据结构拾遗                                                                 一 序 常感喟大二的日子，初学数据结构的时候，曾有个念头萦绕于心：既然成熟的数据结构，便都如此（诸如线性表、树等），已经定型，为何不送入工具词

                                                      我的大学书架 读万卷书，行万里路，便是今生的两个愿望吧。读书，算是旧习；大学已过多半，一回首，除了师友欢颜，东湖碧波，便是那一册册的书了。可是计算机专业，比不得其他，书也颇是个花费。所以收拾收拾，列个单子，给痴书的伙伴一个参考；然而，我可不是在做广告呀~得说明如下：（1）比起

简序：    大学中，有很多梦想，写一个教学用的小编译器就是一个。也曾就此与我最喜欢的年轻老师之一薛老师进行讨论，后来更是联系了另外两个非常厉害的同学，准备大四一起做这个，运用有关模式，重新设计语言，把它做出来。    可是现在，学校中只我一人，他们都去北京实习去了。而自己要忙的事情也太多，想实践演化证明的思路，想通过内核代码把“进程”理解好，想整理自己数据结构的笔记，想把数学分析看完……

STL 简介，标准模板库（转贴）STL 简介，标准模板库  作者：Scott Field          这篇文章是关于C++语言的一个新的扩展——标准模板库的（Standard Template Library），也叫STL。          当我第一次打算写一篇关于STL的文章的时候，我不得不承认我当时低估了这个话题的深度和广度。有很多内容要