Menu
我公司是结合网络技术为家电维修行业服务最早,维修技术最专业的家电维修公司。公司总部设立在北京,各个省份均有我们的维修网点,从事20多年家电行业,值得您的信赖!

当前位置主页 > 计算机教育 >

孙永强 出名筹算机科学家和教养家doc

日期:2019-11-05 03:38 来源: 计算机教育

  下载后只包含 1 个 DOC 格式的文档,没有任何的图纸或源代码,查看文件列表

  孙永强著名计算机科学家和教育家2010-05-15 23:27孙永强著名计算机科学家和教育家

  孙永强,浙江嘉善市人。1955年毕业于交通大学电力系,历任清华大学讲师,上海交通大学副教授、教授。曾担任国务院学位委员会学科评议组成员。从事计算机科学研究50余年,涉及编译原理、函数程序代数理论、软件自动验证、重写技术等多个软件技术分支,在国内外重要刊物和会议发表论文百余篇,培养计算机软件与理论博士30余名,获得国家自然科学奖等多项奖励,是我国著名的计

  1955年毕业于上海交通大学的孙永强被分配到了清华大学工程力学数学系,开始从事计算机科学的教学和研究工作,那时中国的计算机事业刚刚起步,为了配合国产计算机硬件系统的开发,孙永强将研究方向定位为计算机软件。当时算法语言和编译技术的材料还很缺乏,年轻的孙永强带领学生每天扑在实验室,凭借简单的指令手册,日夜调试程序,历经多年攻关,终于在1964年实现了我国第一代编译系统:运行于国产911机器的ALGOL 60编译器。由于911机器只有数KB的内存,程序编译慢,影响了软件的开发速度,经过思考,孙永强大胆提出了分趟编译策略,也就是将编译分成词法分析、语法分析、中间代码生成、优化和目标代码生成等若干阶段,每个子任务完成的阶段性输出存于外存,再在下一个阶段导入内存,借此有效克服了当时计算机内存较小所带来程序编译困难的问题,该技术后在DJS-5机器上加以优化改进,被浙江大学等国内十余家单位采用。为了推广编译技术,孙永强主持编写了《程序设计自动化基础》(科学出版社,1975年)一书,促进了国内早期程序语言编译器的构建,之后又与陈火旺教授和钱家骅教授一起撰写了《程序设计语言编译原理》(国防工业出版社,1978年)一书,该书作为计算机专业教材,二十余年来数度再版,赢得赞誉无数,获得了国家级优秀教材一等奖,推动了计算机编译技术的发展。

  1974年孙永强回到了上海交通大学,他的兴趣也转向了计算机软件理论,他开始思考计算机程序的性质,研究借助程序性质的推导就可以了解程序的执行是否满足给定规范的方法。在他苦苦思索之际,美国的J.Backus教授在图灵奖演说中提出了函数程序代数理论,在该理论中,程序可以看成数学中的函数,而程序的性质可以通过代数的方法推导而出。看到Backus的演讲报告,孙永强立即组织了一个研究组对其可行性进行验证,不久研究组就根据函数式语言FP的代数性质得到了一些重要的基本展开定理,获得了一系列线性方程(组)、非线性方程(组)以及拟双线性方程展开式的求解方法,使用该方法大多数以递归形式表达的函数程序只要根据它的方程形式就可以直接获得相应的时、空效率较高的等价程序,这个研究成果可广泛应用于程序转换、正确性验证等领域。该工作很快就被列入国家自然科学基金资助的重大科技成果,孙永强也于1987年获得了国家自然科学三等奖。研究成果的发表博得了国外著名学者的高度赞赏,FORTRAN语言及FP语言创始人、美国国家科学院院士J.Backus对这项工作非常感兴趣,邀请孙永强赴美访问交流。在访问卡内基-梅隆大学期间,孙永强大胆地将此方法应用于脉动阵列机的验证,并在回国后完成了以FP作为描述语言的多层次的VLSI(超大规模集成电路)自动综合和设计 内容来自淘豆网转载请标明出处.

计算机教育

上一篇:

下一篇: