米兰·(milan)中国官方网站-胡守仁、张景中获2021年「CCF终身成就奖」!他们为中国计算机事业的发展做出了卓越贡献
作者:米兰·(milan)文化
更新时间:2026-04-11 22:14:31
点击数:

1926年出生,浙江山河人,1949年卒业在浙江年夜学机电系,1952年到哈尔滨军事工程学院事情,历任助教、教研室主任、系副主任,1958年最先涉足计较机范畴,40年来一直从事计较机的讲授与研究,主持了多台计较机体系的研究与开发。厥后,他又担当国防科技年夜学传授、计较机研究所副所长,中国计较机学会理事。共获国度级奖励3项,部委级奖励10 多项,出书专著4 部,编有《计较机概论》,合编有《巨型计较机体系布局》等,发表学术论文百篇以上。他得到「CCF终身成绩奖」的理由是:胡守仁传授是我国第一代计较机系统布局的科技事情者,持久从事高机能计较机体系的研究事情,作为卖力人之一完成为了151—Ⅳ百万次年夜型计较机及我国首台亿次巨型计较机「星河Ⅰ」的研制,为我国高机能计较机事业做出了卓着孝敬。1984年,星河机获国防科技结果奖特等奖。
关在胡守仁传授的研究履历,baidu百科有一段感人的描写:胡传授的时间从来因此分秒计较的。40 多年来,他焚舟破釜,殚诚毕虑,于我国计较机科研范畴奋勇开拓并取患上卓着成绩。1951 年,这位浙江年夜学机电系卒业的高材生,于西子湖畔被教员及同窗奉上了隆隆北去的火车,一个礼拜后抵达吉林通化,从此穿上戎衣,最先了于国防科研范畴的艰巨跋涉。1958 年是胡守仁人生的一次迁移转变。他到海上实习, 眼见了我国水师设备的掉队状态。那时,人平易近水师处于创立阶段,咱们从苏联引进的鱼雷快艇,仅靠一个机械式的三角杆作计较器,这类古老陈旧的计较要领底子没法顺应实战、夜战、近战的需要。军队的同道说,鱼雷快艇高速行驶,波动厉害,批示员用拉杆计较方针参数很禁绝确,于夜间险些不克不及批示作战。胡守仁的心被强烈地动撼了, 他悄悄地萌生了本身研制鱼雷快艇批示仪的动机。此时, 中心军委决议研制我国本身的计较机,并把这一使命交给了胡守仁地点的「哈兵工」。黉舍建立了电子数字计较机研制组,胡守仁被录用为该项目的重要卖力人。胡守仁说,其时他连计较机的一般观点都不知道,起步十分艰巨。为了实现零的冲破,他及战友们边进修,边会商,边研究,边实践。怀着对于故国的小儿百姓之心,他们像兵戈的兵士扎营扎寨,吃住都于试验室,事情不分日夜,其实累了就睡一下,爬起来又接着干。颠末半年多的昼夜奋战, 中国第一台计较机终究问世了!砥兵砺伍,众擎易举。今后,胡守仁于计较机范畴一发不成收: 1959 年他卖力筹备我国高档院校第一个计较机专业,最先了我国最早的计较机讲授;1962 年,他主持研制出了我国第一台讲授计较机;1968 年他主持研制出了我国第一台车载靶场———数据登科及处置惩罚计较机;1970 年他到场了我国第一台百万次———“眺望一号”丈量船中央计较机的攻关,并作为计较机系副主任兼任“718”研究室主任及该使命的技能整体组组长,第一次提出了变布局的思惟,年夜年夜提高了计较机的运算速率及靠得住性;1976 年之后,他接踵到场了我国第一台亿次巨型计较机“星河Ⅰ”、第一台数字仿真机“星河仿真Ⅰ”的研制,两次担当技能整体组组长……这一个个“中国第一”,像串珠一般,写照着胡守仁为使我国计较机事业能于世界上据有一席之地而奋斗不息的壮丽人生。2张景中
1936年出生在河南汝南县,本科卒业在北京年夜学数学力学系,历任中国科学技能年夜学数学系讲师与副传授、中国科学院研究员,1993年担当博士生导师,1995年被选中国科学院院士,1996年头开办了广州年夜学(原广州师范学院)计较机教诲软件研究所并担当所长、传授,重要从事呆板证实、教诲数学、间隔几何和动力体系研究。他得到「CCF终身成绩奖」的理由是:张景中传授提出了定理呆板证实的数值并行要领,解决了初等图形于欧氏空间嵌入等问题,创立了几何定理可读证实主动天生的道理及要领,鞭策了呆板定理证实智能化技能的成长。持久致力在科普事情并做出了凸起孝敬。他于几何定理可读呆板证实、教诲数学、间隔几何和动力体系、学科教诲信息技能学科范畴以和数学科普做出了凸起的孝敬。重要结果包括:
计较机主动推理:(1)提出以面积要领为基础的消点法,实现了几何定理可读证实的主动天生,使计较可以或许给出轻易理解及查验的推理演算或者证实历程,被国际偕行誉为「是主动推理范畴三十年来最主要的进展,是计较机处置惩罚几何问题门路上的里程碑」;(2)提出用类似计较获取正确值的理论及基本要领;(3)成立了复系数多项式的彻底判别体系;(4)提出了几何定理可读证实主动天生的点几何要领。器量几何与几何不等式:(1)给出初等图形于欧氏空间实现的充要前提;(2)发明并证实了有限质点组的基本的不等式;(3)证实了高维单形上Bernstein多项式凸性定理的逆定理;(4)解决了古典的单元圆规基本作图问题。动力体系与迭代:(1)给出逐段单调持续函数迭代根存于充要前提;(2)给出单调持续函数天生的迭代半群的独一性准则;(3)给出费根堡函数方程持续解组织要领。教诲数学:提出教诲数学的基本不雅点及理论,致力在经由过程把数学变患上更易而鼎新数学教诲。成立有章可循的几何解题要领及响应的正义系统、提出不消极限观点的微积分学基本理论与要领。教诲信息技能:提出学科智能教诲平台的观点及基本理论要领,并将数学机械化的思惟要领及结果用在教诲软件研发,创作了《Z+Z智能教诲平台》,获中国香港国际发现展览会金奖。张景中传授对峙产学研联合的成长门路。2002年,他于广州年夜学的撑持下创建了广州景中教诲软件有限公司并担当公司董事长。动静链接:https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA
雷峰网(公家号:雷峰网)
雷峰网版权文章,未经授权禁止转载。详情见转载须知。





