天津快乐十分走势图连线
何積豐

何積豐

中國科學院院士,華東師范大學教授 ,上海開源大數據研究院理事長

1.提出數據精化的完備理論針對當時數據精化方法上存在不完備以及只能處理確定性程序語言等缺陷,何積豐和合作者在論文“DataRefinementRefined”和“PrespecificationinDataRefinement”中給出了一個處理非確定程序語言數據精化的方法,使用“上下仿真映照對”來獲得程序模塊中各過程的函數說明,給出了完備演算規則。 2.建立程序和軟件規范的統一數學模型1986年,他與合作者提出了程序分解算子,并將規范語言與程序語言看成是同一類數學對象。 3.提出編程統一理論和連接各類程序理論的數學法則。 4.用形式化界面理論溝通幾種程序語言 5、研究軟硬件協同設計系統的數學模型

展開 收起
  • 何積豐:物聯網安全隱私問題值得探討

    “現在的物聯網應用才剛起步,”何積豐說,我國的物聯網產業要發展,還有更緊迫的問題要解決。我們還必須面對不容回避的艱難:關鍵技術有待突破、龍頭企業匱乏、缺乏國家層面的頂層設計,以及力爭國際標準的話語權等。“我們的基礎材料、芯片十分薄弱,此外還需探索商業模式,可謂任重道遠。”

    2015-06-24 23:06:46 瀏覽量:479 0
  • 何積豐:物聯網發展中的四大問題

    10月28日消息,在今日舉行的2010中國國際物聯網(傳感網)大會上,中國科學院院士何積豐做了主題為“物聯網中的諾干問題”的演講。

    2015-06-24 23:06:46 瀏覽量:423 0
  • 何積豐:物聯網產業形成規模還需5-10年

    作為中國科學院院士、計算機軟件專家、華東師大軟件學院院長,何積豐在軟博會上就眼下最熱門的“物聯網”產業進行了展望與分析,并為南京軟件業發展把脈,提出了建議。

    2015-06-24 22:06:50 瀏覽量:73 0
  • 何積豐:智能城市信息化破解經濟發展難題

    物聯網已經成為未來智慧城市的DNA,何積豐院士的演講也為物聯網在城市發展中的應用拓寬了思路。不用等到2015年,這樣的生活場景相信就會出現在我們的身邊:一個個移動互聯的信息化觸角,正由點連成線,由線連成面,勾勒出一個智慧城市、一個智慧滿溢的生活。

    2015-06-24 20:06:32 瀏覽量:107 0
在線客服
天津快乐十分走势图连线 意大利pk10软件怎么玩 三公扑克牌作弊 重庆时时彩杀一位 三公棋牌位置 pk106码倍投计划表 时时彩平台 圆角分模式彩票平台 一句真言图 麻将游戏下载 手机apk软件开发