中國科學院數學與系統科學研究院院長、研究員
郭雷院士

探索具有博弈行為的控制系統理論

在社會經濟和日常生活中存在大量的複雜系統可以用具有博弈行為的多自主體系統來描述，其中一個顯著特徵是每個自主體(或子系統)所追求的目標與系統的整體調控目標可能不一致，這超出了傳統控制系統理論的研究範圍。作為研究這類系統的出發點，我們考慮一類具有兩個異質參與者的非平衡重複博弈問題，發現了傳統框架下沒有的一些有意義現象，並指出一些需要進一步研究的問題。

中國科學院數學與系統科學研究院研究員
陳翰馥院士

Solving Problems from Systems and Control by
Root-Seeking Method for Functions

下載講座摘要

中國科學技術大學量子信息重點實驗室主任
郭光燦院士

量子信息技術

量子信息技術是後莫爾時代的新技術，基於量子力學的特性，可以開發出現代信息技術無法實現的新的信息功能。本報告將簡述量子信息的基本原理，著重介紹量子計算機和量子密碼的研究現狀和發展前景。

清華大學計算機科學與技術系教授
張鈸院士

計算機視覺研究並無捷徑

讓計算機具有人類視覺的能力是人工智能的主要目標之一，可是至今通向這個目標的道路依然很長。以物體識別為例，上個世紀80年代，人們主要採用三維重構的方法，即從二維圖像的三維重構來識別物體。由於該方法遇到極大的困難，到了90年代，很多人放棄了這種努力，而轉向基於二維的方法，即直接從二維圖像識別物體。然而，新的道路依然不平坦。

報告將涉及新的基於二維圖像識別(分類)方法的原理、發展過程、取得的成果以及面臨的困難。從數碼相機輸入的是大量的二維圖像數據，在物體識別(或分類)中，應該將這些數據轉換為具有"物體不變性"的表示。為了解決這個問題，我們需要兩個關鍵技術，即魯棒的檢測子與具有物體不變性的描述子。對於這兩個關鍵問題，人們已經做出了巨大的努力，但至今仍然未能找到有效的解決辦法。作為未來的發展方向，計算機科學應該向神經科學與腦科學學習，我們將討論計算機視覺能夠從人類視覺原理中學到什麼，以及新的交叉學科研究將會對它起怎樣的影響作用。展望未來，計算機視覺研究的道路依然困難重重。

關鍵字：計算機視覺，圖像分類，圖像檢索，神經科學

北京航空航天大學軟體發展環境國家重點實驗室主任
李未院士

Logical Verification of Scientific Discovery

This talk shows that the discovery processes of Einstein's special theory of relativity and Darwin's theory of evolution of species can be described and formally verified by R-calculus. The calculus is a logical inference system, whose aim is to delete the principles of scientific theories which contradict empirical evidence. The talk shows that the special theory of relativity is the only and correct choice for mechanics given the experimental evidence at the time.

As far as the biology of Darwin's time is concerned, however, the R-calculus has derived three logically correct but different theories, which are consistent with the empirical evidence provided by Darwin and his principle of natural selection. Darwin's theory of evolution matches one of these theories derived by R-calculus, and he further enriched it by asserting a new conjecture on the origin of species that "each species has been independently created is erroneous". But the other two theories support the negation of this conjecture. The fact that there are two other theories which are also logically consistent with the observed facts may be the reason that the controversies over Darwin's theory of evolution have lasted for 150 years.

中國科學院上海技術物理研究所研究員
褚君浩院士

極化材料和器件若干研究工作

本講座介紹褚院士所在課題組關於極化材料和器件近年來若干研究工作。主要內容包括基於電荷極化的鐵電薄膜材料器件和若干自旋極化物理現象和自旋器件研究思路。