鄒曉輝研究員（《軟件》特約撰稿人）與潘云鶴院士（《軟件》首席顧問）在中國工程院交流之后愉快合影,。兩人前面筆記本電腦上展示的雙矩陣序位對稱數(shù)理結構和雙重形式化路徑（算法-操作）方式受到了潘云鶴院士（時任中國工程院常務副院長）的肯定：“這樣的數(shù)理表達是英美學界所認可和接受的”（對時任《軟件》雜志負責人說）。

具體交流的學術內(nèi)容分別正式發(fā)表在《軟件》雜志2011第5期和第6期,，見：

【摘要】 關鍵詞本研究工作目的是揭示計算機數(shù)據(jù)與自然人知識兩類信息處理方式基礎之上派生的協(xié)同智能觀及其指導下的協(xié)同智能計算系統(tǒng)的理論模型及其應用,。它涉及的可驗證方法，一方面,，在n2矩陣范圍內(nèi),，以等價于2n的發(fā)散方式枚舉和以等價于1/2n的收斂方式搜索兩類基本算法可用作處理純數(shù)字計算的任務,其特征是滿足n的取值不影響計算效率的間接計算任務；另一方面,，在與n2矩陣各個格子一一對應的范圍對單音節(jié)漢字進行間接形式化處理,，其特征不僅在于單音節(jié)字，即言,，可間接計算,，而且，還在于雙音節(jié)和多音節(jié)的字組,，即語,，也可間接計算，同時,，言和語的復用頻率均可以且便于間接計算和統(tǒng)計,。其結果是：不僅中文的自然語言理解的雙重技術路線被揭示，而且,，支配這類間接計算模型與間接形式化方法的信息基本定律假說也可被驗證,。最終可得出這樣的結論，即：在前述兩方面可驗證的兩種實證方法,，遠不僅僅是計算機數(shù)據(jù)信息處理方式與自然人知識信息處理方式這兩類信息處理方式的簡單相加,，而是這兩者合理分工、高度協(xié)作所產(chǎn)生的協(xié)同智能計算系統(tǒng)的理論模型或第三類信息處理方式及其應用,，例如：國內(nèi)外學術前沿的各類期刊及會議論文摘要,、各種軟件的常用問題解答以及幫助文件、協(xié)... 更多

【摘要】 ： 本文旨在從人機交互界面與協(xié)同計算程序結合而構成協(xié)同智能計算系統(tǒng)的角度,，論述間接計算模型和間接形式化方法結合所支持的優(yōu)化云計算技術原理,。本文在系統(tǒng)回顧圖靈可計算理論、克萊尼小字符串形式理論,、馮諾依曼數(shù)字計算機體系結構和圖靈人工智能判定假設等前人理論研究成果對主流數(shù)字計算機通用范式影響的基礎之上,，著重介紹了筆者設計的間接計算模型和大、小字符串兼容的間接形式化理論,，并以中文信息數(shù)據(jù)為例介紹了協(xié)同智能計算系統(tǒng)原型的設計構想,。其意義是該成果有利于從數(shù)據(jù)中心到知識中心優(yōu)化云計算,。