原创 *Simulate Anneal Arithmetic (SAA,模擬退火算法)

模擬退火算法   模擬退火算法來源於固體退火原理,將固體加溫至充分高,再讓其徐徐冷卻,加溫時,固體內部粒子隨溫升變爲無序狀,內能增大,而徐徐冷卻時粒子漸趨有序,在每個溫度都達到平衡態,最後在常溫時達到基態,內能減爲最小。根據Metropo

原创 *禁忌搜索

<script type="text/javascript">function StorePage(){d=document;t=d.selectio

原创 1.NEO和Architect之間

電影中NEO和Architect之間的那段玄之又玄的對話                The Architect - Hello, Neo.     建造者:你好,Neo          Neo - Who are you?     

原创 9.機器智能需要神經科學

機器智能需要神經科學   Colwell, Bob. Machine Intelligence meets neuroscience,Computer, 38(1), 2005, 12-15 史俊譯 中科院計算所智能信息處理重點

原创 2.關於黑客帝國的進一步思考

關於黑客帝國的進一步思考(轉貼)轉貼自麥課一班,原作:小貝如果沒有好好地理解一下Matrix的新理論,去看這部戲肯定是浪費時間。引言  看完Matrix Reloaded,裏面很多的懸念引起人困惑和思索。原先看完Matrix1得到的一層

原创 智能算法學習筆記

這是我自己看智能算法的時候的一些筆記,貼出來給大家看一下,如果有理解錯誤的地方,千萬請指出,小生在這裏先謝過了^_^ 一個比方在工程實踐中,經常會接觸

原创 3.人工智能技術的走向

人工智能技術的走向—— 對“新觀察論壇”討論人工智能回帖的評述 文章作者: 魯汶 發表日期: 2/21/03 文章編號: 20030025      

原创 7.語義網: 更大的數據庫還是挑戰數據庫?

http://blog.csdn.net/mentat/archive/2005/04/15/348375.aspx  語意網: 更大的數據庫還是挑戰數據庫? 數據庫社會課程期末報告1什麼是語意網?2語意網與數據庫的關係3網頁/超文本挑戰

原创 3.自動驗證

剛纔在一本關於系統驗證的書裏讀到關於自動驗證(比如在不運行一個程序的情況下驗證這個程序不會進入死鎖)理論的歷史。書裏說自動驗證的鼻祖是萊布尼茲。他設想了一種語言叫lingua characteristica, 並設想了一種機器叫cacul

原创 6.CYC面面觀

CYC技術源於人類的夢想:讓機器具有人的智慧。CYC的研發對於信息技術以至人類文明進步都有重要的意義。可以想見,在不遠的將來,隨着企業對於CYC技術應用的不斷深入,各個領域的不同需求將推動CYC技術不斷走向成熟。關於CYC技術本身的一些東

原创 2.給計算機系學生的建議

給計算機系學生的建議 作者: 周思博 (Joel Spolsky)譯: Chen Bin 2005年1月2日 雖然大概一兩年前我還在誇誇其談桌面應用程序是將來的潮流,大學生們現在還是偶爾向我請教職業發展的問題。所以我把我的建議寫下

原创 4.認知心理學的圖靈機模型

1936年,英國數學家A. M. Turing提出了一種簡單機器的概念,這種機器後被稱爲圖靈機(Turing Machine)。這裏的“機器”指的是一種抽象的數學系統或一個抽象的過程,用一些基本的操作能夠描述該系統的狀態或狀態的變化。Tu

原创 5.皇帝新腦評述

牛津大學的羅傑·彭羅斯的《皇帝新腦》一書的出版是國際書界的一件大事。劍橋大學前年曾爲它專門召開了一次學術會議。   這本洋洋大觀的貫穿了電腦科學、數學、物理學、宇宙學、神經和精神科學以及哲學的鉅著體現了作者向哲學上最重大的問題之一“精神-

原创 1.關於馮.諾依曼模型與圖靈模型

馮.諾依曼的模型並不是計算模型吧?它只是計算模型的一種具體實現而已,而且這個模型恰恰有效率地實現了圖靈機的計算模型。簡單對比一下,兩者都依賴於狀態的改變。我記得圖靈機不就是用讀寫頭去改變帶子上的狀態麼?而帶子上的狀態也可以指示讀寫頭到底怎

原创 0.評論集合

非馮諾伊曼型結構以前就有,比如哈佛結構,現在又有一些新的提出不過尚處於研究階段,比如量子計算機,但量子計算機顛覆的已不僅僅是馮氏體系,而是圖林模型,但這些新模型想投入使用並取代馮氏結構也許幾十年內都不可能。 馮諾伊曼體系結構指的就是:“程