血流成河换三张下载
院士專家
  

 

 

  董韞美院士,我國計算機軟件先驅者之一,在軟件理論、技術、工具和漢字信息處理等多個領域做出了系統的、創造性的工作。上世紀六十年代初至中期,主持研制的國內最早的實用高級程序語言BCY, 曾在實際中長期應用并發揮了重大作用。曾先于國際上的一些著名工作,在形式文法、語法檢查和程序測試等方面解決了相同的問題。八十年代初首先提出用計算機設計高質量漢字字形的方法及實現技術。八十年代中期以來率先在國內開展軟件復用技術研究。目前從事軟件規約與軟件設計方法研究。

 

 

  周巢塵院士,我國分布式程序設計理論研究的先驅者和開拓者之一,近年提出的時段演算,為實時系統的形式化設計和驗證做出了開創性的工作,得到國際同行的公認,已經帶動了國際上二十幾個國家的科學家參與這一方面的研究。1997年8月至2002年9月間任聯合國大學國際軟件技術研究所所長。

 

 

  林惠民院士,長期從事并發理論及形式化方法的研究。他設計并實現了世界上第一個通用的進程代數驗證工具;與國際同行合作提出、并獨立發展了傳值并發進程的“符號互模擬”理論;解決了π-演算和時間自動機的有窮公理化問題。這些成果已為國內際同行在公開發表的文獻中所廣泛引用。

 

 

  

 

 

 

  胡世華院士(1912-1998)我國數學的分支——數理邏輯的奠基人、計算機科學的開拓者。在數理邏輯、基礎數學和計算機科學等領域開展了多方面深入的研究工作,取得了多項富于開創性的科學成果,建立了多項科學概念、理論和定理:建立了一些多值邏輯系統;創建了字上遞歸函數論;提出了構造簡單功能很強的核函數概念,并應用于字上遞歸函數的范式;提出了程序(算法)語言的描述方法和“原形文法”概念和理論;發表了高水平的論文四十余篇,有的結果被國外同行寫進書中或在文章中引用;與他人的合著《數理邏輯基礎》上下冊,于1988年被評為國家教委高等學校優秀教材。

 

 

  唐稚松院士(1925-2008)計算機科學與軟件工程專家。60年代中從事自動機理論研究,證明計算機轉移命令的許多結構性性質,如轉移命令可用循環代替,它比Bohm-Jacopi定理早一年。70年代中從事結構程序設計與結構化語言的研究,推動了國內這方面工作的開展。80年代初開始從事時序邏輯語言XYZ/E及以它為基礎的軟件工程工具與環境系統XYZ系統的研究,將時序邏輯理論與軟件工程技術有機結合起來,以提高軟件開發自動化的水平,從而提高其生產率。其中時序邏輯語言XYZ/E是世界上第一個可執行的時序邏輯語言。

 

血流成河换三张下载 老快3基本走势图 百度百科 欢乐升级apk下载 股票涨跌的原理 福彩3d绝杀5码公式 nba胜分差可以穿几场 黑龙江福彩网 移动棋牌不能登录 澳门百家乐怎么玩 辽宁11选五一定牛 qq分分彩计划手机版