学术和产业---在编程之美全国挑战赛颁奖典礼上的讲话.docxVIP

学术与产业---在“编程之美”全国挑战赛颁奖典礼上的讲话 闵应骅 Fellow of IEEE 中国科学院计算技术研究所研究员 开场白 祝贺2012年“编程之美” 全国挑战赛圆满成功。 中国大陆计算机领域第一位IEEE Fellow（1996） 局限于中国大陆 由IEEE Computer Society 推荐 与人交往，坦诚很重要 “逢人且说三分话，不可全抛一片心”，不可 寄语青年学子 鼓励提问 2 IEEE是学术与产业结合的典范。 IEEE不属于政府、大学、科学院、公司，它是独立的 得到各大公司的支持，譬如标准 IEEE 国家、国际 本次活动就是由微软亚太研发集团主办的。 得到学术界大力支持 ----- 顶级刊物 3 学术 产业 硬件 INTEL etc. 软件 Microsoft etc. 系统 IBM etc. 服务 Amazon, Google etc. 4 产业界关心产品更新换代 产业 学术 C.L.Liu关于各种调度算法对多任务实时系统计算机利用率的上界估计，几十年来都被认为是经典； C. L. Liu, James W. Layland: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM 20(1): 46-61 (1973)，被引用次数：7691 - 相关文章 - 所有 130 个版本 J.P.Roth关于集成电路芯片应该测什么故障，他问：你能不能测出某一点固定为0，或者固定为1而不变？这么一个看来很平庸的问题指导了测试界研究了30多年。 Diagnosis of automata failures: A calculus and a method，JP Roth - IBM journal of Research and Development, 1966 - 被引用次数：816 - 相关文章 - 所有 9 个版本 5 学术 软件测试何时了? 软件可靠性模型 软件测试 基于故障模型 6 学术 产业 软件中的玻尔虫和曼德尔虫 玻尔虫（Bohrbug） 很容易改正，但很难发现， 只有对特定的数据或唯一的环境下才会引出错误结果。 例如二进制搜索算法当数组非常大，而被搜对象又接近数组边缘时，就可能出现溢出错。 曼德尔虫（Mandelbug） 软件产生的差错可以累积，经过若干时间就变成失效，或者是由于系统内部环境的偶然性变化。 例如在多线程软件系统中，不合适的同步可能产生竞争状态。程序行为依赖于操作系统调度线程的时间顺序。 又如整个系统基础设计中的缺陷引起的曼德尔虫。 统计表明，获得证书的正版软件中的故障，有15-80%属于曼德尔虫。 7 软件测试何时了? 软件可靠性模型 软件测试 基于故障模型 功能测试 形式验证 ------ model checking 8 学术 产业 芯片成批出同类故障? 纳米集成电路故障多样化了 时延故障 小时延缺陷 布局布线的问题 公司请大学教授研究芯片成批出同类故障的原因 9 学术 产业 公司里出的科学家多得很 IBM Frances E. Allen (Compiler) ATT Robert E. Kahn (TCP/IP) MS James Gray (Data base) 10 学术 产业 Janak Patel: 芯片测试  Sunrise Test Systems  UIUC Illinois Scan Architecture From paper to standard 权威专家到公司作学术报告 11 学术 产业 E.J.McCluskey IEEE CS第一届主席 73 Ph.D students, many academic leaders Workshop celebrating more than 50 years of contributions to teaching and research, 2004 IEEE Test Technology Technical Council (TTTC)s E. J. McCluskey Best Doctoral Thesis Award Quine-McCluskey 方法 N-detection 12 学术 产业 13 Donald E. Knuth The Art of Computer Programming Volume 1 Fundamental Algorithms Volume 2 Seminumerical Algorithms Volume 3 Sorting and Searching Volume 4A Combinatori