我科学家首次提出“类脑计算完备性”

Written by on 2021年1月20日 in 手机网页版万博

本报北京10月15日电(记者邓晖)我科学家在类脑计算体系结构领域再获突破性进展。清华大学计算机科学与技术系张悠慧团队、精密仪器系施路平团队与合作者首次提出“类脑计算完备性”以及软硬件去耦合的类脑计算系统层次结构,填补了类脑研究完备性理论与相应系统层次结构方面的空白,利于自主掌握新型计算机系统核心技术。该成果于10月14日以《一种类脑计算系统层次结构》为题发表在《自然》杂志上。

类脑计算是借鉴生物神经系统信息处理模式和结构的计算理论、体系结构、芯片设计以及应用模型与算法的总称。近年来,类脑计算研究受到越来越多的关注。欧盟人脑旗舰研究计划项目指出:“在未来10到20年内,谁要引领世界经济,谁就必须在这个领域领先。”

男子组比赛随后进行,连续打破5000米和10000米世界纪录的切普特盖备受关注,本次比赛他也将向半马世界纪录发起冲击。

据悉,未来在理论层面,团队将更关注类脑应用的“神经形态特性”;在系统层面,团队将研发受脑启发的支持通用计算的新型计算机系统结构与芯片。

张悠慧介绍,在通用计算机领域,图灵完备性和冯・诺依曼体系结构是其能够飞速发展并持续繁荣的关键因素,前者用来判断计算系统能否用来解决任何计算性问题,后者则是通用计算机应用运作的体系结构:“两者使通用计算领域在软件层、编译层和硬件层有了统一范式,使不同层次各自发展而又可以无缝兼容。”

与会人员现场观摩学习了赤峰市新的社会阶层人士统战工作实践创新基地示范点:赤峰星之路自闭症儿童康复中心、松山区天王商务楼宇、拓海文化传媒有限公司、赤峰市科普教育基地以及兴安街道临潢家园社区。5个试点城市市委统战部负责同志从不同角度交流了新的社会阶层人士统战工作实践创新基地建设和网络人士统战工作做法和经验。

会议强调,新的社会阶层人士统战工作是党和国家全局工作的重要组成部分,是新的社会阶层工作的重要方面,是统一战线工作新的着力点。

(责编:何淼、熊旭)

为此,上述研究团队提出了“类脑计算完备性”概念。相对于通用计算机,这一定义放松了对系统计算过程和精度的约束,并提出了相应的系统层次结构:图灵完备的软件模型,类脑计算完备的硬件体系结构,以及位于两者之间的编译层。通过构造性转化算法,任意图灵可计算函数都可以转换为类脑计算完备硬件上的模型,这意味着类脑计算系统也可以支持通用计算,极大地扩展了类脑计算系统的应用领域,使类脑计算软硬件各自独立发展成为可能。

会议强调,一要提高政治站位,深刻认识做好新的社会阶层人士统战工作的重要意义。二要切实担当作为,促进新的社会阶层人士统战工作从思想政治引领、代表人士队伍建设、打造工作载体品牌等方面提质增效,在把握总体要求、总结经验规律、分析存在问题的基础上,进一步规范健全工作机制,拓展工作覆盖范围,深化实践创新。三要加强组织领导,调动和压实党委统战部牵头协调作用,发挥各级党组织的主体作用,建立健全工作联系协调机制,构建分工负责、协同配合的社会化大统战工作格局,努力形成做好新的社会阶层人士统战工作的合力,推动全区新的社会阶层人士统战工作再上新台阶。

在支持打造黄河机场群方面,山东筹集资金6亿元,通过投资补助、财政补贴、贷款贴息等方式,支持济南、菏泽机场建设,将山东省黄河流域运输机场数量提高至4个。对1家公共航空运输企业及8家通用航空运输企业进行补助,鼓励发展支线航空、通用航空,提高民航辐射范围。

在支持黄河周边水运发展方面,山东筹集资金2.8亿元,支持小清河复航工程建设,为济南、淄博开辟了出海通道,为滨州、东营新增了出海口;筹集资金5亿元,支持东营港及京杭运河湖改造工程建设,促进黄河流域地区海河联运发展。

审稿人认为,“这是一个新颖的观点,并可能被证明是神经形态计算领域以及对人工智能的追求的重大发展”。

在支持构建黄河公路网方面,山东筹集资金42亿元,支持73个黄河沿岸普通国省道项目建设,提高黄河流域公路通达能力和服务水平。目前,山东横跨黄河公路桥国省干线达9条,对联通两岸、带动周边经济发展起到了重要推动作用。

上个月刚刚打破“纯女子竞赛”半马世界纪录的肯尼亚选手杰普契奇尔在冲刺中脱颖而出,以1小时05分16秒率先撞线,将自己的纪录再次提升了18秒。

但现有类脑计算系统方面的研究多聚焦于具体芯片、工具链、应用和算法的创新实现,对系统基础性问题,如计算完备性、系统层次结构等思考不足,没有形成公认的技术标准和方案,导致软硬件紧耦合、应用范围不明确等一系列问题。

呼和浩特、包头、通辽、赤峰、乌海市委统战部分管副部长和科室负责人,自治区新的社会阶层人士统战工作联席会议有关成员单位负责人共21人参加会议。(完)

切普特盖在10公里处排在首位,但第一集团紧紧跟随,15公里处第一集团提速,切普特盖没有突围跑在了第11位。

“通俗来讲,‘完备性’可以回答系统能够完成什么、功能边界在哪里等问题。”张悠慧介绍,如果说“图灵完备性”是通用计算机领域的“圭臬”,“类脑计算完备性”则希望能为类脑计算系统领域的发展提供一个“准绳”。

​切普特盖的队友基普里莫在17公里时冲到首位,最终以58分49秒夺冠。切普特盖半马首秀以59分21秒完赛,获得第四名。(完)

«