何積豐

平安彩票开奖结果查询-北京赛车pk10网上投注

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

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

展開 收起

平安彩票开奖结果查询-北京赛车pk10网上投注

  • 何積豐︰高頻彩開獎導航安全隱私問題值得探討

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

    2015-06-24 23:06:46 瀏覽量︰487 0
  • 何積豐︰高頻彩開獎導航發展中的四大問題

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

    2015-06-24 23:06:46 瀏覽量︰434 0
  • 何積豐︰高頻彩開獎導航產業形成規模還需5-10年

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

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

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

    2015-06-24 20:06:32 瀏覽量︰110 0
在線客服