2003年09月_PercyLee

原创操作系统（UNIX与Linux内核信息输出过程比较）[2]

2003-09-30 00:25:00 1188

原创操作系统（UNIX与Linux内核信息输出过程比较）[1]

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

2003-09-30 00:21:00 1199

原创谈以演化计算思想做机器证明与推理的构想[1]

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

2003-09-26 22:53:00 1358

原创谈以演化计算思想做机器证明与推理的构想[2]

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

2003-09-26 22:53:00 1261

原创由SAT问题展开说（2）[演化计算c#实现上]

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

2003-09-20 00:59:00 1879

原创由SAT问题展开说（2）[演化计算c#实现下]

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

2003-09-20 00:59:00 1316

原创由SAT问题展开说（3）[附录]

由SAT问题展开说（3）附录：1， SetTime函数如下：private void SetTime() { double _h,_m,_s,_ms; _h=DateTime.Now.Hour-hh; _m=Dat

2003-09-20 00:59:00 1614

原创自然语言处理新天地（之三[1]）

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

2003-09-10 11:28:00 1608

原创自然语言处理新天地（之三[2]）

3、语言概念空间的概念基元符号体系（第一组“M i”）各种数学空间的研究，形成了空间基元的重要思想。一个空间如果找到了一组完备的基元，那么这个空间的特性就可以精确表达了。把基元的思想明确引入语言研究的是美国的山克先生（R.C.Schank），由于这位先生过于“离经叛道”，在中国语言学界没有什么名气，不过在拙著的参考文献中却予以特殊优待，选了他的5部著作。山克先生对“转移”这个

2003-09-10 11:28:00 1853

原创自然语言处理新天地（之收藏者言）

我的面前，有一本书，《HNC（概念层次网络）理论》。黄曾阳先生的著作，含他的同事和学生的部分论文。系统介绍了HNC理论。黄先生开创的HNC理论，作为自然语言处理的新理论，越来越显示出了它的生命力。我尚年幼，本不懂得什么，但作为计算机科学的爱好者，与正在成长的准程序员，准计算机科技工作者，自从接触到这个理论，与其开创过程后，常为之感动、振奋不已。自然语言的理解与处理，作

2003-09-10 11:28:00 1754

原创自然语言处理新天地（之三[3]）

4、语言概念空间的语句基元符号体系（第二组Mi）在973项目的一次论证会上，当我第一次公布57个基本句类表示式的时候，项目首席科学家、中科院自动化所所长马颂德教授（现任科技部副部长）在场下大声说，“我在你那本书上到处找这些表示式，就是没有找全，原来你保密。”这是马教授的过人之处，他并不是语言学家，而是图像信息处理专家，但他一下子抓住了HNC的要害。 “语义块是句类的函数—句类

2003-09-10 11:09:00 1677

原创自然语言处理新天地（之三[4]）

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

2003-09-10 11:09:00 1735

原创自然语言处理新天地（之一）

语义及概念体系在NLP中的作用* 黄曾阳中科院声学所HNC语言知识处理实验室 100080 摘要本文首先对语义及概念体系研究的基本历史状况作简单回顾，随后介绍HNC的语义及概念体系，最后给出一个句类分析的示例。1. 引言围绕着项目专家组为这次研讨会所确定的论题之一“语义及概念体系在NLP的作用”，下面分3节进行论述。第一节回顾一下语义和概念体

2003-09-09 22:51:00 2258

水天一色