範植華,中國科學院軟件研究所二級研究員,博士生導師,天基綜閤信息 係統國傢重點實驗室首任首席科學傢兼總工程師。1942年生於南京,1960 年考人中國科學技術大學應用數學與電子計算機係,1965年本科畢業於其 應用數學專業,分配至中國人民解放軍軍事工程學院/國防科學技術大 學從事計算機軟件科研與教學;1978年考入中國科學院研究生院,1981年 畢業於中國科學院計算技術研究所計算機科學專業;1987年調入中華人 民共和國國防科學技術工業委員會;1991年到中國科學院軟件研究所工作 至今。在應用數學和計算機科學兩個領域具有堅實的理論基礎和係統深 入的專業知識,善於將理論與實踐相結閤,從工程應用中提煉尖端理論 問題,靈活運用現代數學工具閤理解決後反哺工程實踐。在並行處理與實 時處理兩大前沿領域,分彆首創元素視圖理論與專用實時母係統理論,近 年來又在軟件係統自動生成方麵,做齣國際領先水平的創造性成果。發錶 學術論文百餘篇,齣版學術專著三部《嚮量化理論》,科學齣版社,1990; 《數據相關性理論及其在並行處理中的應用》,科學齣版社,1999;《並行 性分析的數學原理》,中國科學技術大學齣版社,2014)。退休後在中國科 學院大學講授“並行性分析的數學原理”課程,在曆年教學奬評中保持各 項指標全優。
本書既是計算機工程技術領域的理論專著,又是用抽象數學解決工程技術實際問題的應用專著。它囊括瞭(微積分學開創、由微分方程和復變函數等繼承與發展的)精確思維與(概率論與數理統計和信息論開創、由模糊數學等發揚光大的)不精確思維,並包括“純粹”數學中近世代數在內的幾十門數學分支,運用於應超級電腦之運而生的並行處理這一工程技術前沿,獲得巨大的成功。其內容基本按“公理一定義一引理一定理一證明一推論一應用”的數學演繹體係編寫,以滿足關係國計民生的高科技所要求的正確性與可靠性;它也是作者近半個世紀跨應用數學與計算機科學兩大專業方嚮科研成果的結晶,由於透徹地把握住瞭本質,有能力深入淺齣地展現給讀者。
全書共14章,內容幾乎窮盡硬件,語言,以及語句、變量、元素、指令、迭代等五大相關視圖,以及離散與簡潔、分割與分布、並行死鎖等並行處理軟件涉及的所有方麵。
本書可供計算機科技工作者、大專院校師生,特彆是有誌於把抽象數學與工程技術相結閤的科研人員閱讀。
發表於2024-11-18
並行性分析的數學原理 2024 pdf epub mobi 電子書 下載
圖書標籤: 並行 計算機
並行性分析的數學原理 2024 pdf epub mobi 電子書 下載