神马文学网电子科技大学计算机科学与工程学院欢迎您m
来源：百度文库 编辑：神马文学网 时间：2024/05/02 06:48:44
72岁中科院院士受聘电子科大
2009年1月6日 《成都商报》 04版要闻
http://e.cdqss.com/html/2009-01/06/node_5.htm
成都商报讯 头戴褐色鸭舌帽，脚蹬耐克运动鞋，72岁的中科院院士、中国著名计算机科学家和数学家张景中正式受聘电子科技大学，建立“电子科技大学计算机推理和可信计算实验室”并出任实验室主任。昨（5）日，在为实验室揭牌时，这位精神矍铄的老人表示，他有意开门招生，组建研究团队。
什么是计算机推理和可信计算？据张景中的“徒弟”、电子科大计算机学院教授符红光介绍，这是一个新兴的重要研究方向。“现在编程的很多，你怎么知道哪个程序是正确可信？一个小程序出错可能导致大问题的发生。比如，欧洲阿里亚娜火箭为什么发射失败？研究人员后来发现，原来是里面的一个程序出了问题。”他说，该实验室就是致力于研究出一套理论，使其成为检验程序的“试金石”。
张景中说，去年，日本出了很多诺贝尔奖得主。“有人问过我，为什么中国还没出诺贝尔得主。我觉得，日本和中国不一样。”他感慨地说，日本的科学家有个新想法，登记备案就可以获得适当的资金支持。“但在中国，要资金就要先申报，等待专家评委审批立项。每年大概有80%的人因此被排斥掉了。”他还说，立项这一程序也让科学研究呈现出本末倒置的状况，“很多人把精力放在了跑关系、写报告上，拿项目所花的力气远远超过了做项目。”
2009年1月6日 《成都商报》 04版要闻
http://e.cdqss.com/html/2009-01/06/node_5.htm
成都商报讯 头戴褐色鸭舌帽，脚蹬耐克运动鞋，72岁的中科院院士、中国著名计算机科学家和数学家张景中正式受聘电子科技大学，建立“电子科技大学计算机推理和可信计算实验室”并出任实验室主任。昨（5）日，在为实验室揭牌时，这位精神矍铄的老人表示，他有意开门招生，组建研究团队。
什么是计算机推理和可信计算？据张景中的“徒弟”、电子科大计算机学院教授符红光介绍，这是一个新兴的重要研究方向。“现在编程的很多，你怎么知道哪个程序是正确可信？一个小程序出错可能导致大问题的发生。比如，欧洲阿里亚娜火箭为什么发射失败？研究人员后来发现，原来是里面的一个程序出了问题。”他说，该实验室就是致力于研究出一套理论，使其成为检验程序的“试金石”。
张景中说，去年，日本出了很多诺贝尔奖得主。“有人问过我，为什么中国还没出诺贝尔得主。我觉得，日本和中国不一样。”他感慨地说，日本的科学家有个新想法，登记备案就可以获得适当的资金支持。“但在中国，要资金就要先申报，等待专家评委审批立项。每年大概有80%的人因此被排斥掉了。”他还说，立项这一程序也让科学研究呈现出本末倒置的状况，“很多人把精力放在了跑关系、写报告上，拿项目所花的力气远远超过了做项目。”
电子科技大学计算机科学与工程学院欢迎您m
电子科技大学计算机科学与工程学院欢迎您
仪器科学与技术（一级学科）培养方案-光电工程学院-重庆大学·光电工程学院
清华大学环境科学与工程系欢迎您！
|- 欢迎您来到《科学与技术》网络课程.. - - -
清华大学环境科学与工程系 王毅 欢迎您！
【珍藏】清华大学计算机全套教程m
武警工程学院
美国大学 2009年排名 计算机工程-最佳工程学院-研究生院-教育-美国新闻与世界报道
周恩来与哈尔滨军事工程学院“东方红”战斗团座谈记要 - 领导批示 - 文革十年 - 宣讲家
[转帖]M的密友朝鲜的所作所为_应当彻底否定M的外交路线[炎黄论坛欢迎您，请先登录或注册]
合肥菲利浦斯电子科技
合肥菲利浦斯电子科技
北京电子科技学院网站
《易经》与人生m
情商与影响力m
爱人与情人m
背单词最科学方法m
“人文、科学、教育”杂谈（二）m
不确定数据库管理（香港大学计算机学院）-黄富强的博客-科学网
【迎新系列报道之九】开学典礼食院喜迎新生 谆谆教诲堪称指路明灯 - 食品科学与营养工程学院
2010年各地装修样本，欢迎大家转载m
华中科技大学化学与化工系--欢迎您的光临！
技术内容 - 朗腾电子科技