2015成都电子科大学术报告copy.pptx

软件新技术趋势与挑战;内容目录;辉煌的背后？;辉煌的背后？;辉煌的背后？;辉煌的背后？;辉煌的背后？;辉煌的背后？;辉煌的背后？ ;辉煌的背后？;内容目录;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;;;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解;软件的理解？;;第一台存储程序式电子计算机EDSAC：1949年5月;第一个微处理器4004，1971年;Maximilien Brice, ? CERN;Internet的拓扑结构-1;网络就是计算机;If you include data centers that are under construction, Google has 19 locations in the US where they operate data centers, 12 in Europe, one in Russia, one in South America, and three in Asia.;;“网”;GUC;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;软件的理解？;“支撑”：Internet+局域网 安全;软件的理解？;软件的理解？;软件的内涵？;平台为中心;内容目录;趋势与挑战;趋势与挑战;;趋势与挑战;趋势与挑战;破墙开店举例：Grand Challenges;围墙建房举例;围墙建房的归纳;“住房体验”的例：人机物融合;每人一台PC;趋势与挑战;融合的境界：无处不在+Disappear;Disappear ? Appear;APPEAR;软件工程 与 复杂系统;内容目录;框架体系：学科特征 = Arts + Science + Eng.;微观解读的主线;未来的走向？;举例1：图灵计算可挑战吗;A conservative conclusion;举例1：图灵计算可挑战吗;举例2：因特网与复杂性理论;举例3：大数据与复杂性理论;传统复杂性度量需要重新思考;举例4：转换=〉搜索的复杂性;举例5：语义理论的发展（1）;举例5：语义理论的发展（2）;举例6：软件正确性=》软件可信性;举例8：基础软件的变化？;举例9：生产方式的变化？;举例10：软件范型的变化？;;举例11：软件规律的探寻？;宏观解读的主线;驱动力的变化与翻转;网络; ;应用系统; ;辉煌的背后？;SDX提供的若干启示;宏观解读的主线;SDX提供的若干启示;SDX提供的若干启示;SDX提供的若干启示;SDX提供的若干启示;宏观解读的主线; ;;;; ;举例1：图灵计算可挑战吗;举例2：因特网与复杂性理论;举例3：大数据与复杂性理论;举例5：语义理论的发展;举例6：软件正确性=》软件可信性; ;举例8：软件方法学（1）;;;;;若干现象举例;主要难点;技术挑战;;智能化软件定义应用价值;智能化软件定义应用价值;;;;; ; ;研究对象 “软件理论方法技术系统” “平台与应用结合场景” 研究目标 ; ;宏观解读的主线;新型软件体系设想;新型软件体系设想;新型软件体系设想;可能存在的机遇;大数据 软件工程 人工智能;转变方式;;经济基础与需求;需要新环境;需要新环境;评价方式;;需要新思维;Dream=〉Reality;