计算理论
文章平均质量分 72
kujiangzhu
这个作者很懒,什么都没留下…
展开
-
2.给计算机系学生的建议
给计算机系学生的建议 作者: 周思博 (Joel Spolsky)译: Chen Bin 2005年1月2日 虽然大概一两年前我还在夸夸其谈桌面应用程序是将来的潮流,大学生们现在还是偶尔向我请教职业发展的问题。所以我把我的建议写下来。以供学转载 2006-10-20 15:46:00 · 1047 阅读 · 0 评论 -
图灵机杂思(增改)
C++ Template是图灵完备(turing-complete,或者更确切的说,是图灵等价(turing-equivalent))的,关于这一点是没什么悬念的,只是前几天有位朋友问到为什么说C++ Template是图灵完备的,为了找出当初的连接,于是又去搜了一下wiki和standford encyclopaedia,谁之这一搜之下又带出了一大堆内容,于是又花了好几个时辰将图灵机的相关理论复转载 2006-10-25 14:38:00 · 1095 阅读 · 0 评论 -
计算主义质疑(Query Algorithmism)
随着数学和计算机技术的进展,计算的观念越来越显示其在各个领域的威力,从计算的角度审视世界,也已经成为我们在数字化时代生存的一种特殊的思维方式,人工智能的成果更激发了一些认知科学家、人工智能专家和哲学家的乐观主义立场,致使有人主张一种建立在还原论哲学基础上的计算主义,或者更确切地讲,是算法主义(Algorithmism)强纲领,认为从物理世界、生命过程直到人类心智都是算法可计算的(Computabl转载 2006-10-25 14:34:00 · 948 阅读 · 0 评论 -
10.优化算法------开题的文献综述
优化算法------开题的文献综述 老师说我写的不行,重写,呵呵 老师要求比较严格 当然还是严格点好我要好好再修改改了。学位论文题目为《基于聚类分析的启发式优化算法》,论文内容涉及了优化算法(主要是经典优化算法,启发式优化算法),算复杂性理论和聚类分析等相关领域。根据这些领域与论文的相关程度,比较详细的归纳总结启发式优化算法,对计算复杂性理论和聚类分析只做了一般性的总结。最后对这些相关领域未转载 2006-10-20 16:37:00 · 3294 阅读 · 1 评论 -
9.机器智能需要神经科学
机器智能需要神经科学 Colwell, Bob. Machine Intelligence meets neuroscience,Computer, 38(1), 2005, 12-15 史俊译 中科院计算所智能信息处理重点实验室 shij@ics.ict.ac.cn 当我在70年代早期接受高中教育的时候,我们是最接近正规接触计算机的人,我们当时使用转载 2006-10-20 16:15:00 · 779 阅读 · 0 评论 -
0.评论集合
非冯诺伊曼型结构以前就有,比如哈佛结构,现在又有一些新的提出不过尚处于研究阶段,比如量子计算机,但量子计算机颠覆的已不仅仅是冯氏体系,而是图林模型,但这些新模型想投入使用并取代冯氏结构也许几十年内都不可能。 冯诺伊曼体系结构指的就是:“程序存储,和顺序执行”Here is the definition I got from the hyper dictionary: VON NEUMANN A转载 2006-10-20 15:55:00 · 1351 阅读 · 0 评论 -
5.皇帝新脑评述
牛津大学的罗杰·彭罗斯的《皇帝新脑》一书的出版是国际书界的一件大事。剑桥大学前年曾为它专门召开了一次学术会议。 这本洋洋大观的贯穿了电脑科学、数学、物理学、宇宙学、神经和精神科学以及哲学的巨著体现了作者向哲学上最重大的问题之一“精神---身体关系”挑战的大无畏精神。 迄今为止的科学基本上都可纳入形而下学的范畴,而这本书可认为是首次对形而上学进行的严肃尝试。历史上曾重复地出现过还原主义的思潮转载 2006-10-20 15:53:00 · 1073 阅读 · 0 评论 -
3.自动验证
刚才在一本关于系统验证的书里读到关于自动验证(比如在不运行一个程序的情况下验证这个程序不会进入死锁)理论的历史。书里说自动验证的鼻祖是莱布尼兹。他设想了一种语言叫lingua characteristica, 并设想了一种机器叫caculus ratiocinator,可以运行这种语言,推出各种各样的真理。让我对这个大牛佩服的地方是,他的计划横跨三个世纪!!!。这个计划激励了无数牛人前赴后继,导致转载 2006-10-20 15:48:00 · 490 阅读 · 0 评论 -
1.关于冯.诺依曼模型与图灵模型
冯.诺依曼的模型并不是计算模型吧?它只是计算模型的一种具体实现而已,而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下,两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么?而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧:存储单元里的数据既可以是纯的数据,也可以是指示机器操作的命令。只不过一台冯。诺依曼机器有两条带子,一条读写数据,一条模拟操作。不转载 2006-10-20 15:38:00 · 5578 阅读 · 0 评论 -
4.认知心理学的图灵机模型
1936年,英国数学家A. M. Turing提出了一种简单机器的概念,这种机器后被称为图灵机(Turing Machine)。这里的“机器”指的是一种抽象的数学系统或一个抽象的过程,用一些基本的操作能够描述该系统的状态或状态的变化。Turing指出,任何可以由人完成的解决逻辑问题的有效程序,都能够由这种“机器”来实现。图灵机的观念,为现代数字计算机的诞生揭开了序幕。计算机科学是认知心理学产生最重转载 2006-10-20 15:52:00 · 1404 阅读 · 0 评论 -
*Simulate Anneal Arithmetic (SAA,模拟退火算法)
模拟退火算法 模拟退火算法来源于固体退火原理,将固体加温至充分高,再让其徐徐冷却,加温时,固体内部粒子随温升变为无序状,内能增大,而徐徐冷却时粒子渐趋有序,在每个温度都达到平衡态,最后在常温时达到基态,内能减为最小。根据Metropolis准则,粒子在温度T时趋于平衡的概率为e-ΔE/(kT),其中E为温度T时的内能,ΔE为其改变量,k为Boltzmann常数。用固体退火模拟组合优化问题,将转载 2006-10-20 16:26:00 · 1401 阅读 · 0 评论 -
智能算法学习笔记
这是我自己看智能算法的时候的一些笔记,贴出来给大家看一下,如果有理解错误的地方,千万请指出,小生在这里先谢过了^_^一个比方在工程实践中,经常会接触到一些比较“新颖”的算法或理论,比如模拟退火,遗传算法,禁忌搜索,神经网络等。这些算法或理论都有一些共同的特性(比如模拟自然过程),通称为“智能算法”。它们在解决一些复杂的工程问题时大有用武之地。这些算法都有什么含义?首先给出个局部搜索,模拟退火,转载 2006-10-20 16:24:00 · 1007 阅读 · 0 评论 -
6.CYC面面观
CYC技术源于人类的梦想:让机器具有人的智慧。CYC的研发对于信息技术以至人类文明进步都有重要的意义。可以想见,在不远的将来,随着企业对于CYC技术应用的不断深入,各个领域的不同需求将推动CYC技术不断走向成熟。关于CYC技术本身的一些东西,前文已经有很详细的论述,在这里,只简单地列出几个重要的内容。 ·知识库 海量人类基本知识的形式化表现,包括事实、规则,以及用于对日常生活事件进行推理的转载 2006-10-20 16:00:00 · 956 阅读 · 0 评论 -
*禁忌搜索
function StorePage(){d=document;t=d.selection?(d.selection.type!=None?d.selection.createRange().text:):(d.getSelection?d.getSelection():);void(keyit=window.open(http://www.365key.com/storeit.as转载 2006-10-20 16:28:00 · 3106 阅读 · 0 评论 -
9.自然语言理解技术及其应用探讨
随着社会的日益信息化,人们越来越强烈地希望用自然语言同计算机交流。自然语言理解是计算机科学中的一个引人入胜的、富有挑战性的课题。从计算机科学特别是从人工智能的观点看,自然语言理解的任务是建立一种计算机模型,这种计算机模型能够给出象人那样理解、分析并回答自然语言(即人们日常使用的各种通俗语言)的结果。现在的计算机的智能还远远没有达到能够象人一样理解自然语言的水平,而且在可预见的将来也达不到这样的转载 2006-10-20 16:27:00 · 1510 阅读 · 0 评论 -
7.语义网: 更大的数据库还是挑战数据库?
http://blog.csdn.net/mentat/archive/2005/04/15/348375.aspx 语意网: 更大的数据库还是挑战数据库? 数据库社会课程期末报告1什么是语意网?2语意网与数据库的关系3网页/超文本挑战数据库?4从历史的角度来看4从文件与叙事的角度来看6数据库想象的重组8数据库表格、个性化、与个人叙事8个人化 (个性化 personal profile)是好事转载 2006-10-20 16:08:00 · 1019 阅读 · 0 评论 -
西蒙与人工智能
我诚然是一个科学家,但是是许多学科的科学家。我曾经在许多科学迷宫中探索,这些迷宫并未连成一体。我的抱负未能扩大到如此程度,使我的一生有连贯性。我扮演了许多不同角色,角色之间有时难免互相借用。但我对我所扮演的每一种角色都是尽了力的,从而是有信誉的,这也就足够了。 ——1991年,西蒙在自传《我的生活模型》一书中这样描写他自己 西蒙是人工智能和数学定理计算机证明的奠基者之一。他和纽厄尔(A转载 2006-10-27 16:34:00 · 2593 阅读 · 0 评论