简介编辑本段回目录
非冯概念 编辑本段回目录
新型编程20世纪70年代,以非冯·诺依曼体系结构为基础的新型程序设计系统,已成为十分活跃的研究领域,相应的工作集中在函数式、逻辑式与对象式这三种风格上,并注意多种程序设计风格的有机结合,以适应新一代智能计算机系统知识信息处理的需要。
1981年,徐家福教授在南京大学领导了一个研究函数式语言程序设计以及新型设计算机体系结构的小组。1984年,他在国内率先研制出一个基于函数式语言FP的数据驱动并行多线归约机模型FPMND,给出了并行性和系统运行性态分析,该系统较好地解决了时空冲突和性能与开销之间的矛盾。虽然该模型机是实验性的,其宿主机是 M-16微型计算机,处理部件是ibs86/12A单机片,但其运行数据已显示出FP语言的固有优越性。在同年11月的鉴定会上,专家们一致认为,“该系统具有独创性,在国内属首创,与国外同类模型相比,也具有简明、高效等特点,这是一项很有意义的、开拓性、方向性的工作。”
1984年,徐家福教授又开始研究逻辑式语言及其程序设计。指导博士生章萃、赵沁平在分析新一代计算机系统对核心语言需求的基础上,设计了一个基于一阶谓词演算的核心语言KLND及相应的并行推理系统NDPIS模型机,并进行了性能评估。系统于1986年实现。该语言具有模块性,结合了逻辑式与函数式两种程序设计风格,引进了类型概念,分别开发了与/或两种并行性。NDPIS系统由主机和一组推理部件,以及连接它们的异步通信网络组成。为了解决程序并行执行中存在的输入输出的不确定性和子句选择的不确定性,提出了行之有效的“置换驱动”方式。这些都是非冯·诺依曼的新型程序设计方面的主要成果。前者是基于函数式语言FP的归约机模型;后者是基于逻辑式语言的推理机逻辑。它们具有重要的科学意义和实际价值。
来源:《计算机大师风采录》
铁骨铮铮一代鸿儒编辑本段回目录
谡飛(谡飛)
徐家福先生,字筱棠,江苏南京人,我国计算机软件奠基人之一。生于1924年11月18日(农历)。1937年小学毕业,考入南京一中,值八·一三事变,抗日战争爆发,辍学在家,翌年在武汉考入国立东北中学,隻身离家,随校至湖南宝庆桃花坪。是年冬,日寇陷武汉,逼长沙,东中决定迁川,辗转数月,1939年9月续弦歌于四川自流井静宁寺。1941年初中毕业,学校被迫解散,步行600余里,至川北三台,就读于国立第十八中学。1944年高中毕业,考入国立中央大学理学院数学系,1948年毕业,留校任助教,1953年任南京大学讲师。1957年赴苏联莫斯科大学修习程序设计,师从M. P. шypa-Бypa(舒拉布拉)教授,1959年回国,1981年任南京大学教授,成为当时全国两名计算机软件专业博士生导师之一。
徐师从20世纪50年代后期起即致力于计算机软件研究,主要侧重"软件语言"、"新型程序设计"以及"软件自动化"等方面。曾主持并参与研制成14个软件系统,发表学术论文158篇,出版著作8本,获奖20次。
在软件语言方面,主要成果有:J-501机上的Algol语言编译系统,103机上的Algol语言编译系统,Algol国标、Cobol国标的制定,系统程度设计语言XCY的设计与实现,软件设计规约语言GSPEC,软件功能规约语言FGSEC,软件需求定义语言NDRDL,以及软件需求定义语言NDORL。
J-501机上的Algol编译系统是国内第一个可用的Algol编译系统。根据使用低级语言编程的切身体验,徐师决心研究高级语言,使程序人员解脱低级语言程序设计的烦锁细节。1964年8月领导由南京大学与华东计算所共8人组成的研制组(我有幸为8人之一)合作研制,于1965年6月调试完毕,这是一项成功的合作范例。工作中贯彻了领导统一,意志集中,力量集中;技术上体现了严格要求,矛盾分散,着眼实用三原则。系统完成后,用于国防建设与国计民生中各种计算问题,起了颇为重要的作用。
系统程序设计语言XCY的设计源于提高系统程序人员编程之实效,使编译程序与操作系统亦能用高级语言书写。1978年徐师与中科院计算所仲萃豪、北京大学杨芙清合作设计并实现了XCY。其特征是,概念简明,规模适度;兼顾顺序程序设计与并发程序设计;和机器有关的部分尽可能局部化,以便于扩充和移植。徐师曾代表研制组在第八届世界计算机大会(即IFIP' 80, 1980年10月, 日本东京)上报告"On the Design, Implementation and Use of the Systems Programming Language XCY"一文(这是我国首次在Information Processing上发表的文章),苏联科学院院士A. п. Εрш??(叶尔绍夫)说:"这项工作不论在理论上还是实践上都是很有意义的,其中模块的定义与处理很有特色。"
软件规约语言GSPEC与FGSPEC是为了书写设计规约与功能规约,以实现软件自动化而设计的。工作中结合指导博士论文,成立了研制组。GSPEC用以书写设计规约,FGSPEC用以书写功能规约。前者兼顾图形与正文,形象易读,表达力强,后者是在GSPEC的基础上,坛添前、后断言等函数功能描述设施,扩充成既能书写设计规约又能书写功能规约的语言,二者均已在SUN工作站上实现。
需求定义语言NDRDL与NDORL均用于书写软件需求定义。前者基于功能分解风范,具层次性,综合应用非形式、半形式、形式三种表示,后者为一面向对象语言,二者均具形象易读、表达力强、便于转换等特点,于1995年在SUN工作站上实现。
在新型程序设计方面,主要成果有:数据驱动式并行归约机模型FPMND与并行推理系统NDPIS。前者是基于函数式语言FP的归约机模型。其宿主机是M-16微机,处理部件是ibs86/12A单片机,但其运行数据已显示出FP语言的固有优越性。后者实现了自行设计的核心语言KLND,并提出了"置换驱动"、"超程序"等新概念,具有重要的科学意义和实际价值。
在软件自动化方面,主要成果有:软件自动产生系统NDHD,软件自动化系统NDAUTO,NDAUTO/SUN,元级转换系统NDTPS,算法设计自动化系统NDADAS,归纳程序综合系统NDIPS,自学习软件自动化系统NDSAIL,层次式面向对象需求模型NDHOOM及其支撑系统,基于NDRDL语言的软件需求分析自动化系统,以及面向对象软件需求分析支撑系统NDORASS。其中NDHD是和华东计算所合作研制的一个基于自编译思想、主要用于书写编译程序的系统,1978年在655机上实现。实践表明,使用该系统开发编译程序,生产率可显著提高。NDAUTO、NDAUTO/SUN均以自行设计的设计规约语言GSPEC为基础,采用转换与过程化相结合的途径,实现从设计规约到Pascal代码间的自动转换。NDTPS以元语言 Trapml为基础,面向多种语言与多种转换策略,实现自动转换。NDADAS以功能规约语言FGSPEC为基础,采用演译与转换相结合的途径,兼以启发性设施,实现从非算法性的功能规约到算法性的设计规约之间的自动/半自动转换。NDIPS是一个采用交互方式,在SUN工作站上实现的从反映程序性态的输入/输出实例到完整的Prolog程序的自动生成的系统。NDSAIL具有自学习功能,系统的知识与解题能力可在与用户交互中不断扩充。NDHOOM是介于非形式需求定义和软件形式功能规约之
徐师自1948年秋起,在中大、南大任教达55年。先后主讲过微积分、微分方程、数学分析、计算方法、舍入误差、电子计算机、程序设计、程序设计自动化、算法语言、编译技术、系统程序设计语言、软件自动化等课程。所授各课无不精选内容,精心备课,注意交代来龙去脉,尤其注重基本概念,讲解能深入浅出,引人入胜,除讲授知识、启发自学外,并能身教、言教,晓以为人之道,堪称良师。自1981年起,先后共招收博士研究生24名,而毕业获博士学位者仅16人,淘汰率之大,国内实属罕见。其门弟子于今均为各单位之骨干。"师严然后道尊",言之不虚也。
徐师为人重气节,爱憎分明,刚正不阿,对人诚信忠厚,好与人争。八年抗战,全国同胞深受日寇侵华之苦。1945年8月15日,日本无条件投降,全国军民欣喜若狂。徐师当时在重庆国立中央大学就读,立即赋诗为念,其诗曰:"倭奴投降日,举国尽欢腾,引领高歌罢,奋读慰忠魂。"1985年日本一机构邀请徐师一行去日本合作,在福冈游览时,日人曾将汽车停在一标以"破元寇处"之石碑下,妄图使我等在此石碑下留影,徐师顿时火从中来,挥手命朝石碑往者止步返回,对方悟其鬼计已被识破,立即登车而往它处。类似事件不一而足。徐师之为人可见一斑。
聆听大师的教诲--听徐家福老人讲座有感编辑本段回目录
发表时间:2008年05月21日
周二下午,有幸聆听计算机界泰斗徐家福先生关于量子程序设计语言的学术报告。说来徐老可是台下我们这些研究生的导师导师导师辈的人物。
徐老的演讲很特别,他没有像别的专家报告的时候那样站在(或者是坐在)演讲台后面。其实以徐老的年纪和身份,就算他坐着讲,谁也不会认为不妥,但是徐老没有。两个多小时的报告徐老就一只手拿着扩音器,在听众之中边走边讲,语气慷慨,语言幽默。他对科学的热爱和投入学问中的那种激情让人钦佩和感动。当涉及一些很平常的概念的时候,徐老就要提问了。徐老提问是渐近式的。只要学生的回答有一丝对的地方,他就会诱导学生继续回答下去。我觉得这才是真正的师者风范。
徐老今年84岁了,经历过许多风风雨雨。讲起过去的经历他总是会告诉你,他是“少帅门生”。因为他当年读的是张学良创办的中学,年少的他聆听过很多少帅的教诲。也许正是因为这样,他是我见过的最爱国的人。已过耄耋之年的他五年前开始承担国家攻关量子程序设计的重任。其态度之严谨、治学之执着当为年轻学者的楷模。
徐老1981年任南京大学,成为当时全国两名计算机软件专业博士生导师之一。自1981年起,先后共招收博士研究生24名 ,而毕业获博士学位者仅16人,淘汰率之大,国内实属罕见。其门第子于今均为各单位之骨干。最值得一提的是徐家福先生的女弟子章萃博士,就凭着跟徐先生的中国博士学历,获得了美国加州州立大学Sacramento分校的Full Professor职位,并承认其博士学位。"师严然后道尊",言之不虚也。
徐老为人重气节,爱憎分明,刚正不阿,对人诚信,好与人争。八年抗战,全国同胞深受日寇侵华之苦。1945年8月15日,日本无条件投降,全国军民欣喜若狂。徐老当时在重庆国立中央大学就读,立即赋诗为念,其诗曰“倭奴投降日,举国尽欢腾,引领高歌罢,奋读慰忠魂。”1985年日本一机构邀请徐老一行去日本合作,在福冈游览时,日人曾将汽车停在一标以“破元寇处”之石碑下,妄图使徐老等在此石碑下留影,徐老顿时火从中来,挥手命朝石碑往者止步返回,对方悟其诡计已被识破,立即登车而往它处。类似事情不一而足。
不过,或许正是徐老的刚正不阿,作为中国计算机软件学先驱、中国计算机科学奠基人之一的徐老居然未能被评为院士,这不能不说是我国计算机界的损失。但徐老的为人和人格魅力却更加令人敬仰。
南京大学徐家福教授育人有新招编辑本段回目录
我国著名计算机专家、南京大学计算机科学系教授徐家福,以承担国家重点攻关项目为主要手段去培养研究生,取得育人科研双丰收。研究生戴敏、袁峰等研制的国内第一个实验性软件自动化系统,近日通过电子工业部鉴定,与国外同类工作相比,有特色,有创新。
自1978年以来,徐家福已经培养了6名博士生,目前正在学习的还有9人。他带研究生,尽可能把研究生的毕业论文与国家重点攻关项目结合起来。用压担子的方法,通过完成任务培养人才,既照顾到理论知识,又兼顾实践技能。在具体指导过程中,他掌握大方向,具体设计工作全部由研究生自己完成。他还注意发挥博士生的攻关作用和硕士生的辅助作用,让博士生带硕士生,高年级学生带低年级学生,形成了一个环形人才培养链。这样,不仅缩短了完成科研任务的周期,而且加快了人才的培养,同时保证了论文的质量。他所带的博士生许满武,在参加“数据驱动的并行多栈归约机模型”研究中为我国研制第五代计算机作出了可贵的贡献,现在许满武已晋升为副教授。
软件是目前信息科学技术中与通讯、大规模集成电路、计算机并行的四大重点之一,在徐家福教授的指导下,博士研究生戴敏、袁峰等承担了设计国内第一个实验性软件自动化系统的任务。他们奋发努力,仅戴敏一人查阅的资料叠起来几乎和她的人一样高。今年8月,终于完成设计制造任务。该系统实现了从图形化规格说明语言书写的软件规格说明到可执行程序代码的自动转换,直观易读,功能较强,既便于扩充、修改,又利于提高自动化程度,并能保证软件规格说明的正确性,实现了正确性自动验证,成为我国计算机科学领域完成的第一个“七五”重点攻关项目。 (方延明) 1987年10月7日
参考文献编辑本段回目录
http://forum.netbig.com/bbscs/read.bbscs?bid=1&id=6425557