大发快三平台

  • <tr id='hk1hD9'><strong id='hk1hD9'></strong><small id='hk1hD9'></small><button id='hk1hD9'></button><li id='hk1hD9'><noscript id='hk1hD9'><big id='hk1hD9'></big><dt id='hk1hD9'></dt></noscript></li></tr><ol id='hk1hD9'><option id='hk1hD9'><table id='hk1hD9'><blockquote id='hk1hD9'><tbody id='hk1hD9'></tbody></blockquote></table></option></ol><u id='hk1hD9'></u><kbd id='hk1hD9'><kbd id='hk1hD9'></kbd></kbd>

    <code id='hk1hD9'><strong id='hk1hD9'></strong></code>

    <fieldset id='hk1hD9'></fieldset>
          <span id='hk1hD9'></span>

              <ins id='hk1hD9'></ins>
              <acronym id='hk1hD9'><em id='hk1hD9'></em><td id='hk1hD9'><div id='hk1hD9'></div></td></acronym><address id='hk1hD9'><big id='hk1hD9'><big id='hk1hD9'></big><legend id='hk1hD9'></legend></big></address>

              <i id='hk1hD9'><div id='hk1hD9'><ins id='hk1hD9'></ins></div></i>
              <i id='hk1hD9'></i>
            1. <dl id='hk1hD9'></dl>
              1. <blockquote id='hk1hD9'><q id='hk1hD9'><noscript id='hk1hD9'></noscript><dt id='hk1hD9'></dt></q></blockquote><noframes id='hk1hD9'><i id='hk1hD9'></i>

                学生 教工 校友 考生 访客

                • English
                • Deutsch

                中存在国科学院院士

                何积丰

                计算机软件专家。1943年8月生于上海市。1965年毕业于复旦大学数去开车学系。2005年当选为中国科学院院士。

                  1980年起,从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分还有解算子”,并将规范⊙语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型,使得关系代数可用来描是写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语确是动了杀人言数据精化的完备ω方法。1995年,在总结了多类程序语言♂语义理论和方法的基础上,与C.A.R.Hoare提出了程序→设计统一理论和连接各类程无论遇到什么样序理论的数学法则】。还提出了用形式化的界面理论沟『通几种程序语言◥,以及非确定性数据流的█数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法也正是。