Author | Sisi
Edit | Chen Caixian
Yesterday, the Chinese Computer Society (CCF) released the announcement of the results of the 2021 "CCF Lifetime Achievement Award", and Professor Hu Shouren of the National University of Defense Technology and Professor Zhang Jingzhong of Guangzhou University were selected!
The "CCF Lifetime Achievement Award" was established in 2010 and is awarded to senior Chinese computer science and technology workers over the age of 70 who have made major breakthroughs in the field of computer science, technology and engineering, with outstanding achievements and great contributions, and the CCF Chairman Meeting recommends candidates and selects them once a year, not more than 2 people at a time.
From 2010 to the present, the winners of the CCF Lifetime Achievement Award are all well-known scientists who have promoted the development of China's computer industry, and their list is as follows:
- 2010: Academician Zhang Xiaoxiang presided over the successful development of the first large-scale general electronic computer in the mainland - 104 machine at the end of the 1950s; Academician Xia Peisu, in 1960, supported the successful development of the first self-designed general electronic digital computer in the mainland - 107 machine;
- 2011: Professor Xu Jiafu, one of the first two computer software doctoral supervisors in mainland China, developed China's first ALGOL compilation system on the J-501 machine developed by himself in China; Academician Yang Fuqing, one of the founders of China's software field, supported the development of China's first million-time integrated circuit computer 150 machine operating system;
- 2012: Academician Jin Yilian presided over the development of the first large-scale computer with dual-processor architecture in China in the 1970s, and led the development of the first 1 billion giant machine in the mainland in the mid-1980s; Wang became an academician, an important member and outstanding contributor to the mainland 863 program and the national defense 973 program;
- 2013: Academician Chen Junliang, one of the main developers of wired 600/1200 baud and wireless 600 baud data transmission equipment, developed the first "DS-2000 program-controlled digital local call switch" in mainland China; Academician Dong Yunmei presided over the development of the earliest practical high-level programming language BCY in China in the mid-1960s;
- 2014: Academician Lu Ruzhao, the founder of the field of knowledge engineering and knowledge-based software engineering in mainland China, designed and presided over the development of the knowledge engineering language TUILI and the large-scale expert system development environment "Tianma", introduced heterogeneous DAI and machine debate into the field of artificial intelligence for the first time, and published the world's first heterogeneous distributed artificial intelligence article; Academician Zhang Cymbals, introduced mathematical methods into artificial intelligence, proposed heuristic search based on statistical inference, topology-based spatial planning, Time programming based on relationship matrix, and new methods such as neural network learning based on planning;
- 2015: Academician Ni Guangnan, participated in the development of the first electron tube computer (119 machine) designed by the mainland itself, proposed and realized the application of association functions in Chinese character input, and presided over the development of the associative Chinese character system to better solve many technical problems in Chinese character processing; Academician Zhou Xingming presided over the development of the first all-digital real-time simulation computer "Galaxy-Imitation 1" in the mainland and the first 1 billion secondary "Galaxy-II" parallel giant computer system for scientific/engineering computing in the mainland; Academician Zhou Xingming presided over the development of the first all-digital real-time simulation computer "Galaxy-Imitation 1" in the mainland and the first 1 billion secondary "Galaxy-II" parallel giant computer system for scientific/engineering computing;
- 2016: Academician Shen Xubang, pioneer and advocate of China's chip computer, successfully developed a large-scale integrated circuit 16-bit microcomputer in the 1970s, achieving a historic breakthrough in China's chip computer; Professor Tang Tang Zesheng, a pioneer and leader in China's computer graphics and related fields, took the lead in carrying out research on computer graphics and CAD technology and scientific computational visualization in China in the 1980s;
- 2017: Academician Hu Qiheng, one of the earliest explorers in the field of pattern recognition and artificial intelligence in China, an important promoter of the early development of the Internet in China; Academician Li Bohu, one of the pioneers of computer simulation technology and manufacturing informatization in the mainland, participated in the development of the first M2 large-scale simulator for aerospace in the mainland, and led the development of the automatic optimization machine of the M6 hybrid machine;
- 2018: Academician He Xingui, who successfully developed a number of FORTRAN compilation systems on domestic computers in the 1970s, and made outstanding contributions in the fields of compilation, database, fuzzy logic, optimal processing and military software; Academician Zhou Chaochen, one of the pioneers and pioneers of the research of distributed program design theory in mainland China, the time-period calculus theory proposed in the 1990s created a new way for real-time system form design;
- 2019: Academician Shen Changxiang, who made systematic and creative significant contributions to the development of information security and trusted computing technology in the mainland; Professor Wei Daozheng, one of the pioneers in the field of computer circuit testing and fault-tolerant computing in mainland China, proposed the main path sensitization method is a landmark achievement in the field of electronic testing technology in the 1970s, and has made systematic and creative major contributions in the field of computer circuit testing;
- 2020: Academician Chen Guoliang, who has made outstanding contributions in the theoretical research, engineering application and teaching of parallel computing, founded China's first National High Performance Computing Center; Professor Sun Yongqiang, the first generation of computer software researchers in mainland China, led the realization of the first batch of high-level programming language compilers in China in the 1960s - 911 compilation program system
It can be seen that the winners of the 2021 CCF Lifetime Achievement Award are also the dragon phoenix among people.
1
Hu Shouren
Born in 1926, Jiangshan, Zhejiang, graduated from the Department of Electrical Engineering of Zhejiang University in 1949, worked in Harbin Military Engineering College in 1952, successively served as a teaching assistant, director of the teaching and research office, deputy director of the department, began to get involved in the field of computers in 1958, has been engaged in computer teaching and research for 40 years, and presided over the research and development of multiple computer systems.
Later, he served as a professor at the National University of Defense Technology, deputy director of the Institute of Computer Science, and director of the China Computer Society. He has won 3 national awards, more than 10 ministerial awards, published 4 monographs, compiled "Introduction to Computers", co-edited "Structure of Giant Computer Systems", etc., and published more than 100 academic papers.
He received the CCF Lifetime Achievement Award for:
Professor Hu Shouren is a scientific and technological worker of the first generation of computer architecture in the mainland, who has been engaged in the research of high-performance computer systems for a long time, and as one of the leaders, he has completed the development of 151-IV million mainframe computers and the first billion-time supercomputer "Galaxy I." in mainland China, making outstanding contributions to the cause of high-performance computers in the mainland.
In 1984, Galaxy won the special prize of the National Defense Science and Technology Achievement Award.
Regarding Professor Hu Shouren's research experience, Baidu Encyclopedia has a moving description:
Professor Hu's time is always measured in minutes and seconds. For more than 40 years, he has been working hard to open up and achieve outstanding achievements in the field of computer science research in the mainland. In 1951, this high-caliber student who graduated from the Department of Electrical Engineering of Zhejiang University was sent by his teachers and classmates to the rumbling north train on the shore of Xizi Lake, and arrived in Tonghua, Jilin Province a week later, put on a military uniform, and began a difficult trek in the field of national defense scientific research.
The year 1958 was a turning point in Hu Shouren's life. He went to the sea for an internship and witnessed the backwardness of the mainland navy's equipment. At that time, the People's Navy was in the creation stage, and the torpedo boats we imported from the Soviet Union relied only on a mechanical triangular rod as a calculator, and this old and old calculation method could not meet the needs of actual combat, night combat, and close combat. Comrades in the unit said that the torpedo boats were traveling at high speeds and had severe bumps, and that the commanders were very inaccurate in calculating the target parameters with levers, and that they could hardly command operations at night. Hu Shouren's heart was strongly shaken, and he secretly germinated the idea of developing his own torpedo boat conductor.
At this time, the Central Military Commission decided to develop the mainland's own computer and entrusted this task to Hu Shouren's "Kazakh Military Industry". The school set up an electronic digital computer development team, and Hu Shouren was appointed as the main person in charge of the project. Hu Shouren said that at that time, he did not even know the general concept of computers, and it was a very difficult start. In order to achieve a breakthrough of zero, he and his comrades-in-arms studied, discussed, studied, and practiced. With a pure heart for the motherland, they are like warriors who fight in the war, camped in the village, eat and live in the laboratory, work day and night, really tired to sleep, get up and continue to work. After more than half a year of day and night fighting, China's first computer finally came out!
Soldiers and soldiers, all together. Since then, Hu Shouren has been unstoppable in the field of computing: in 1959, he was responsible for organizing the first computer major in mainland colleges and universities, and began the earliest computer teaching in the mainland; in 1962, he presided over the development of the first teaching computer in the mainland; in 1968, he presided over the development of the first on-board shooting range ——— data admission and processing computer in the mainland; in 1970 he participated in the research of the computer of the "Yuanwang No. 1" survey ship center of the first million-——— in the mainland, and concurrently served as the deputy director of the computer department The director of the "718" research office and the leader of the technical general group of the task for the first time put forward the idea of changing the structure, which greatly improved the computing speed and reliability of the computer; after 1976, he successively participated in the development of the first billion-time supercomputer "Galaxy I." and the first digital simulation machine "Galaxy Simulation I." on the mainland, and twice served as the leader of the technical overall team... This "China First" is like a string of beads, portraying Hu Shouren's magnificent life of unremitting struggle to make the mainland computer industry occupy a place in the world.
2
Zhang Jingzhong
Born in 1936 in Runan county, Henan Province, graduated from the Department of Mathematical Mechanics of Peking University, successively served as a lecturer and associate professor of the Department of Mathematics of the University of Science and Technology of China, a researcher of the Chinese Academy of Sciences, served as a doctoral supervisor in 1993, was elected as an academician of the Chinese Academy of Sciences in 1995, and founded the Institute of Computer Education Software of Guangzhou University (formerly Guangzhou Normal University) in early 1996 and served as the director and professor, mainly engaged in machine proof, educational mathematics, distance geometry and dynamic system research.
Professor Zhang Jingzhong proposed the numerical parallel method of machine proof of theorem, solved the problems of elementary graph embedding in Euclidean space, created the principle and method of automatic generation of readable proofs of geometric theorems, and promoted the development of intelligent technology for machine theorem proof. He has long been committed to the popularization of science and has made outstanding contributions.
He has made outstanding contributions to the field of readable machine proofs of geometric theorems, educational mathematics, distance geometry and dynamical systems, subject education information technology, and mathematical science. Key results include:
- Computer automatic reasoning: (1) proposed the elimination point method based on the area method, realized the automatic generation of readable proofs of geometric theorems, so that the calculation can give easy to understand and test the reasoning calculus or proof process, praised by international peers as "the most important progress in the field of automatic reasoning in the past thirty years, is a milestone on the road to computer processing geometry problems" ;(2) proposed the theory and basic method of obtaining accurate values with approximate calculations; (3) established a complete discriminant system of complex coefficient polynomials ;(4) proposed a geometric theorem readable proof of automatically generated point geometry.
- Metric geometry and geometric inequalities: (1) give the charging conditions for the implementation of elementary graphs in Euclidean space; (2) discover and prove the basic inequalities of finite groups of particles; (3) prove the inverse theorem of Bernstein's polynomial convexity theorem on high-dimensional monomorphs; (4) solve the classical problem of basic graphing of unit compasses.
- Dynamical systems and iterations: (1) give the existence of sufficient conditions for the existence of iterative roots of segment-by-segment monotonic continuous functions; (2) give the unique criterion for the iterative semigroup generated by monotonic continuous functions; (3) give the method of constructing the continuous solution of the Feugenburg function equation.
- Educational Mathematics: Proposes basic ideas and theories of educational mathematics, and strives to reform mathematics education by making mathematics easier. Establish a geometric problem solving method and corresponding axiomatic system with rules to follow, and propose the basic theories and methods of calculus without limit concepts.
- Educational Information Technology: Put forward the concept and basic theoretical methods of the discipline intelligent education platform, and use the ideas and achievements of mathematical mechanization for the research and development of educational software, and created the "Z+Z Intelligent Education Platform", which won the gold medal of the Hong Kong International Invention Exposition.
Professor Zhang Jingzhong adheres to the development path of combining production, education and research. In 2002, he founded Guangzhou Jingzhong Education Software Co., Ltd. with the support of Guangzhou University and served as the chairman of the company.
Message Link:
https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA
Leifeng Network