张钹 [中国科学院院士]

张钹（1935~
），著名计算机学家，中国科学院院士。福建福清市人。现任清华大学计算机系教授。1995年当选为中国科学院院士。在人工智能理论研究、人工神经网络、遗传算法、分形和小波等理论研究以及智能机器人的应用技术研究均取显著成绩。有十多项成果分别获得国家级、部级、和国际奖。
计算机应用专家。1935年3月26日生于福建福清。1958年毕业于清华大学自动控制系。清华大学教授。1995年当选为中国科学院院士。
早期从事自动控制理论与系统研究，1979年开始计算机科学与技术研究。提出人工智能问题求解的商空间理论，解决不同粒度空间的问题描述、它们之间的相互转换以及复杂性分析等理论问题。以该理论为指导，提出多层信息综合、多层规划与搜索等新的研究方法，形成新的算法，如基于拓扑的规划算法、基于关系矩阵的时间规划方法和统计启发搜索算法等，对降低计算复杂性很有成效。从多粒度的商空间理论出发，还提出了研究不确定性处理、定性推理、模糊分析的信息融合的新原理。此外，还指导和参加了人工神经网络理论及应用、知识工程、智能机器人、智能控制以及人机交互技术等应用技术研究，完成多项高技术研究任务。
在过去30多年中，他提出问题求解的商空间理论，在商空间数学模型的基础上，提出了多粒度空间之间相互转换、综合与推理的方法。提出问题分层求解的计算复杂性分析以及降低复杂性的方法。该理论与相应的新算法已经应用于不同领域，如统计启发式搜索、路径规划的拓扑降维法、基于关系矩阵的时间规划以及多粒度信息融合等，这些新算法均能显著降低计算复杂性。该理论现已成为粒计算的的主要分支之一。在人工神经网络上，他提出基于规划和基于点集覆盖的学习算法。这些自顶向下的结构学习方法比传统的自底向上的搜索方法在许多方面具有显著优越性。