原创 形式化方法(當時我就只翻譯了這一段,因爲我認爲還是直接讀原文更好)
在計算機科學和軟件工程領域,形式化方法是基於數學的特種技術,適合於軟件和硬件系統的描述、開發和驗證。[1] In computer science and software engineering, formal methods
原创 本文涉及融智學強調的第二個不等式,即:言≠語
http://aaas.confex.com/aaas/2012/webprogram/Paper7340.html Speaker Inde
原创 Software Engineering: Theory and Practice
Why Software Engineering? Modeling the Process and Life Cycle Planning and Managing the Project Capturing the Requir
原创 漢語在結構形式上有獨特優勢:漢語的言和語均有明顯的形式區分標記
from: 鄒曉輝,鄒順鵬. 協同智能計算系統——理論模型及其應用[J]. 軟件. 2011(06) http://www.cnki.net/kcms/detail/12.1151.TP.20111004.1537.001.htm
原创 中國IT服務創新企業及項目數據庫(基本架構及其相應的多組關鍵技術)
中國信息技術服務創新大會2011-12-9京儀大酒店 中國IT服務創新企業及項目數據庫 (基本架構及其相應的多組關鍵技術) http://blog.sina.com.cn/s/blog_65197d930100w4ly.
原创 融智學系列課程直播回放路徑2020-04-15
清華大學雨課堂融智學系列課程主講嘉賓鄒曉輝已開講課程直播回放: 清華大學雨課堂融智學導論直播回放 ▶️ https://www.yuketang.cn/v/index/course/normalcourse B網轉發一鍵
原创 今年春季清華大學雨課堂主講嘉賓鄒曉輝講授了融智學系列公益課:
今年春季清華大學雨課堂主講嘉賓鄒曉輝講授了融智學系列公益課: 部分錄屏回訪可從頭條號西瓜視頻可見推薦數和觀看數的統計數字;部分在B網可直接觀看回放。俗話說:教學相長。大學理念則告訴我們:教學、研究和社會服務三大基本職能及其理念,進一
原创 鄒曉輝融智學文選
鄒曉輝融智學文選 關鍵詞語: 人工智能;人類智力;神的智慧 文輯簡介: 本文集分上冊中文和下冊英文,其特徵是專注於大跨界問題的認知探索,其應用首選科技情報信息分析和高等教育跨學科知識中心的建構並落地到智能化文本分析和知識模
原创 Virtual Twin Turing Machine: Bilingual Information Processing as an Example
SOFTWARE(Published monthly since 1979) Vol.32 No.8 Aug.2011ISSN 1003-6970 CN12-1151/TP Experts Forum Virtual Twin T
原创 The Uniqueness of Software Engineering: The Dual Formalizations
SOFTWARE(Published monthly since 1979)Vol.32 No.7 Jul.2011ISSN 1003-6970
原创 計算機科學家(麥肯錫)敲定“人工智能”這個術語
註釋: Coined 【杜撰=生造】 筆者認爲:可翻譯爲“敲定”或“欽定”。 字典 coin 名詞 硬幣 錢幣 錢 金錢 鑄幣 動詞 生造 模壓 衝制 Computer Scientist Coined 'Artifi
原创 軟件工程基本路徑的拓展,爲何可帶來軟件產業的重新洗牌?
說明:以下就是我昨天報告正文部分的三組圖解。 http://blog.sina.com.cn/s/blog_65197d930100uxrc.html
原创 (協同智能計算系統)軟件≥程序+ 界面
軟件工程(Software Engineering)作爲一級學科的軟件理論知識和學術基礎研究 (協同智能計算系統)軟件≥程序+ 界面 (協同智能計算系統)程序≥算法+ 數據結構 (協同智能計算系統)界面≥知識本體+ 對象 from: 中
原创 學術報告會: 軟件工程學科發展與創新研究
時間:本週六(10月15日)2:00~6:00 目的: 瞭解軟件工程學科及其發展,更好地把握職場空間定位;瞭解形式化方法研究的價值,拓展創新思維能力 報告1:(2小時) “第三腦智”與“自然語言理解”—如何在軟件工程領域開展間接
原创 Foundations of Software Engineering 和 Software Engineering Concepts
Course Description This is a foundation subject in modernsoftware development techniques for engineering and inform