YOCSEF

YOCSEF创建十周年了。十年来，它从北京一地扩展到了分布广阔的全国十二个城市设立分论坛，开展了从学术前沿、产业发展、国家方针政策到人才培训等内容宽广的几百次学术活动，展示YOCSEF已成为全国广大青年计算机专家学者为国家和计算机事业贡献睿智才学的共同需求，也反映YOCSEF具有宽广的学术空间和社会基础，看到了未来十年发展前景。

YOCSEF创建转眼10周年了，没有想到是这样的快。10年前，由于这个小小组织的成立，年轻的我国计算机工作者们，是否有点改变了那种无处画丹青的局面，不得而知。作为第一任YOCSEF的主席，对于这个组织对青年人的吸引和受青年人欢迎的热烈程度，我记忆犹新。那时候，人们是争先恐后地争取服务机会、争先恐后地争取举办活动、争先恐后地提供支持，无论是老一辈计算机界的大家、还是后起之秀，无论是企业、还是个人，都是非常积极的。我这个主席，一是可能不太称职、二是大家积极性太高，当时颇有一点事情都早有人做得差不多了，不用多努力的味儿，以致于很少有人知道我在YOCSEF工作过（玩笑）。

YOCSEF成立时，我已50多岁，早已超出青年人的年龄范围。但我回国不久主持一次国际青年计算机大会，看到主席台坐的几乎都不是青年，感慨良多，深感中国的青年学者需要发表意见的舞台。过去十年中，我参加过几次YOCSEF的论坛，总的来讲，贡献不大。这几年里，YOCSEF举办了许多有影响的论坛和学术报告会，并在全国部分城市建立了分论坛，影响不小，已成为中国计算机学会的知名品牌。

早在1991年，应中国计算机学会的邀请，我第一次参加国内的青年计算机学者活动，记得是在北京香山，那时，我的头发还是黑色的。1998年，中国计算机学会青年计算机科技论坛（YOCSEF）正式创立，甚感欣慰。到今天，整整十年过去了。十年的岁月是漫长的，年华老去，它让一个人不再年轻；十年的岁月却也是短暂的，时光穿梭，它见证了内地计算机业界的蓬勃发展。十年之前，论坛由中国计算机学会创立之初，其宗旨即根据IT发展的需求开展活动，为业界创造更多的机会，为年轻的科技工作者创造展示才能的平台。十年的磨砺，让论坛真正成为了业界计算机工作者广泛交流的场所，无数的才智与灵感在这里碰撞出了思想的火花，许许多多曾经的年轻教师最终成为了享誉国内外的知名教授、学者。在这十年之中，我也与论坛结下了深厚的渊源。

光阴似箭，日月如梭] YOCSEF即将迎来她的十周年庆典，YOCSEF长沙现已步入第九个年头，我与YOCSEF已结缘八年之久。。。回首过去，而这一切仿佛就在眼前。。。

春种秋实，万物之理。沐京都五月之润气，吾辈同侪将贺周年庆典。十载时光，犹如历史长河中之小涟漪，却也为个人生命中最华彩，最绚烂的篇章。此地有带不走的苦乐，酸甜，荣辱。个人之生命，已与论坛紧接一处，YOCSEF，实乃余第二单位。

9月20日，中国计算机学会青年计算机科技论坛（YOCSEF）在北京召开。本届YOCSEF邀请了来自谷歌，IBM，微软，华为，Platform以及清华大学的诸位资深经理、开发主管以及学者来共同就云计算进行深入讨论。试图从多个角度探寻目前火热的云计算究竟是什么，有哪些独特的技术，有没有已经成熟的应用，是否可以改变现有的经济模式乃至整个生活。

今年5月，教育部下发了2009年起对全国硕士研究生统一入学考试计算机科学与技术学科的初试科目进行调整及命题形式进行改革的通知。自此，已有计算机科学与技术、教育学、历史学、医学和农学及心理学等多门学科专业课实行全国统考。 对于近年来研究生入学考试改革力度最大的一次改革，引起了各界的强烈反应。是教育公平的需要，还是利益的驱动？是有利于选拔出综合素质优秀的人才，还是对学生创造力和大学个性的扼杀？有人认为该举措能给出一个比较客观的标准，便于统一选拔同一专业的人才，同时杜绝招生考试腐败现象，也有人认为是第二次高考，是招生制度的倒退。有人拍手称快，呼吁、倡导；有人深恶痛绝，罢招、辞职……

微软公司为了“打击盗版行为，维护知识产权”，使用“黑屏”手段实施其操作系统和办公软件的正版验证计划，此举引起国内社会各界的强烈反应，纷纷对微软公司的这种“黑屏”行为提出了质疑：微软这种“黑屏”行为是否合法？是否属于非法侵入用户系统并非法改变用户信息？这种“黑屏”行为的危害何在？是否侵犯了用户的财产权和隐私权？是否会带来用户的系统安全问题？为此，中国计算机学会已经公开发表声明，倡导中国用户使用正版软件，维护包括微软公司在内的软件产品的知识产权，但反对微软的这种“黑屏”做法。

YOCSEF于2008年7月12日在北京外国专家大厦举办专题论坛，研讨电信重组之机遇与挑战。北京邮电大学经济管理学院教授曾剑秋博士、中国社科院信息化研究中心徐立博士、中国通信业专业门户飞象网CEO项立刚先生分别作了主题演讲，就上述话题展开讨论与思辨。

自动地验证一个系统（硬件、软件等）的行为是否与预期的性质相符合是计算机领域的一个根本问题。模型检验（Model Checking）技术就是针对这个问题提出的解决方案之一。自1981年问世以来，模型检验技术已取得了许多突破性的进展。今天的模型检验技术已广泛应用于硬件工业和通信协议，并在诸如实时嵌入式系统、安全算法等软件验证方面取得了长足的进步，逐渐成为保证计算机系统可信的重要手段。为此，ACM 将 2007 年的图灵奖（Turing Award）授予了对模型检验技术的奠基人美国科学家 Edmund M. Clarke、Allen Emerson 和法国科学家 Joseph Sifakis。

从发达国家到发展中国家，从虚拟经济到实体经济，一场彻骨的寒流正在席卷整个世界，IT业也无法独善其身。从中关村电子市场的日渐冷清、著名风险资本的悲观预期，到IT企业的裁员风暴，人们在问IT业的严冬是否已经来临，这个冬天到底有多冷？有多久？

计算技术的发展，体现出计算普适化与网络泛在化的特点。云计算模式，通过泛在的高速网络，将轻小的客户端系统与高性能服务器结合起来，为用户提供前所未有的功能与便利。新的计算模式对系统软件提出了许多新的挑战：如何在高性能多核服务器上高效、安全地运行多种网络应用？如何支持数以亿计的并发用户访问？如何在智能手机和上网本这些轻小的设备上获得多种多样的网络服务？如何让开发者方便地开发云计算模式下的应用程序....

两千年初的IT业界惊呼:“免费的午餐没有了”! 当处理器的性能提升不能再继续通过主频的提升沿着摩尔定律飞速发展的时候, IT业界感觉无所适从。如何延续摩尔定律？摩尔定律是否终结了？多核甚至众核处理器的出现，从处理器核数增长的角度使得摩尔定律能够继续延续。众核技术的出现，使一度沉寂的计算机体系结构和并行计算研究再次成为研究热点。如何在方寸面积上布局数以亿计的半导体，使其获得性能、功耗、成本、可编程性、可靠性、兼容性和散热等诸多因素的平衡。CPU、GPGPU和FPGA等究竟哪一个体系结构最终胜出？还是会逐渐走向融合？如何为体系结构复杂的众核处理器设计高效的并行程序？众核处理器是否就是延续摩尔定律的唯一终极出路？众核处理器的出现是否会成为国产处理器的新机遇？

2009年2月27日下午，“可信软件”YOCSEF学术报告会在北京航空航天大学新主楼会议中心第二报告厅举行。本次学术报告会经过YOCSEF学术委员会的精心组织和广泛宣传，共吸引了约280多名观众参会，能容纳200人的会议室座无虚席，在下午2点报告会正式开始时，会场门口签到的观众仍然排着长队等待进场，近80名与会者站了2小时聆听特邀讲者的精彩演讲，现场气氛格外火爆，观众提问踊跃，属近来少有。

YOCSEF—－青年计算机科技论坛（CCF Young Computer Scientists & Engineers Forum）是由中国计算机学会(China Computer Federation)于1998年创建的一个系列性学术活动，它的宗旨就是根据IT发展的需求开展活动，为计算机工作者提供一个交流的场所，为业界创造更多的机会：为IT领域很有活力的年轻的科技工作者创造展示才能的机会；为对IT发展很有见地的业内人士提供发表高见、相互交流的机会；为关心公益性活动的企业展示企业形象的机会；为专业媒体提供鲜活的素材；为参加者获取最新信息和业界动态；创办YOCSEF分论坛将最新的IT信息传到更多的地方。

上周末，由中国计算机学会主办，IT168协办的青年计算机科技论坛YOCSEF在中科院计算所举行了主题为《低排放绿色计算》的主题报告。与会的有来自英特尔、曙光、百度和浙江大学的产业界、学术界专家，共同就绿色计算的趋势和面对的问题作出阐释，并结合自身研究方向谈了与绿色计算相关的技术。