- 博客(13)
- 收藏
- 关注
原创 操作系统(UNIX与Linux内核信息输出过程比较)[2]
Ⅱ . Linux部分(printk) 在Linux中,完成类似工作的,是 linux/kernel/printk.c 中的过程 printk。这个过程,相对来讲,就复杂的多。其中程序代码为(在过程代码之前,有些全局变量的定义省略,需要指出时我们再指出):/* * linux/kernel/printk.c * * Copyright (C) 1991, 1992
2003-09-30 00:25:00 1189
原创 操作系统(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 1679
原创 自然语言处理新天地(之三[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
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人