何积丰

何积丰

中国科学院院士,华东师范大学教授 ,上海开源大数据研究院理事长

1.提出数据精化的完备理论针对当时数据精化方法上存在不完备以及只能处理确定性程序语言等缺陷,何积丰和合作者在论文“DataRefinementRefined”和“PrespecificationinDataRefinement”中给出了一个处理非确定程序语言数据精化的方法,使用“上下仿真映照对”来获得程序模块中各过程的函数说明,给出了完备演算规则。 2.建立程序和软件规范的统一数学模型1986年,他与合作者提出了程序分解算子,并将规范语言与程序语言看成是同一类数学对象。 3.提出编程统一理论和连接各类程序理论的数学法则。 4.用形式化界面理论沟通几种程序语言 5、研究软硬件协同设计系统的数学模型

展开 收起
  • 何积丰:物联网安全隐私问题值得探讨

    “现在的物联网应用才刚起步,”何积丰说,我国的物联网产业要发展,还有更紧迫的问题要解决。我们还必须面对不容回避的艰难:关键技术有待突破、龙头企业匮乏、缺乏国家层面的顶层设计,以及力争国际标准的话语权等。“我们的基础材料、芯片十分薄弱,此外还需探索商业模式,可谓任重道远。”

    2015-06-24 23:06:46 浏览量:465 0
  • 何积丰:物联网发展中的四大问题

    10月28日消息,在今日举行的2010中国国际物联网(传感网)大会上,中国科学院院士何积丰做了主题为“物联网中的诺干问题”的演讲。

    2015-06-24 23:06:46 浏览量:415 0
  • 何积丰:物联网产业形成规模还需5-10年

    作为中国科学院院士、计算机软件易发娱乐网、华东师大软件学院院长,何积丰在软博会上就眼下最热门的“物联网”产业进行了展望与分析,并为南京软件业发展把脉,提出了建议。

    2015-06-24 22:06:50 浏览量:64 0
  • 何积丰:智能城市信息化破解经济发展难题

    物联网已经成为未来智慧城市的DNA,何积丰院士的演讲也为物联网在城市发展中的应用拓宽了思路。不用等到2015年,这样的生活场景相信就会出现在我们的身边:一个个移动互联的信息化触角,正由点连成线,由线连成面,勾勒出一个智慧城市、一个智慧满溢的生活。

    2015-06-24 20:06:32 浏览量:97 0
在线客服
博聚网