计算机未来发展纲要

《计算机未来发展纲要》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、从计算机工程教育看知识、能力与工程方法浅谈马殿富北航计算机学院dfma@buaa.edu.cn2015-12-19主要内容技术发展能力要求工程方法能力培养从PITAC2005看美国总统信息技术顾问委员会报告（PITA）通过将理论和实验相结合，计算科学现在已成为科学探索重要的第三支柱，它使得研究者能够建立和测试复杂现象的模型21世纪最有经济潜力和技术重要性研究领域先进材料（包括超导体和半导体）、可选能源、生物技术、高性能计算、微电子系统、纳米技术、光电子学、传感器和无线通讯。具有共同的本质特征：每一个领域的突破和创新都离不开先进的计算机系统和科学计算应用软件。21世纪的科技是属于可计算、

2、多学科的，需要不同的学科之间进行科技合作。计算科学：确保美国核心竞争力第四范式关于一种新的基于数据密集型计算的科学—第四模式。第四模式：聚焦数据密集型的系统和科学交流数据密集型科学主要包括三个基本的部分：捕捉，管理和分析。地球和环境、健康和安乐、科学基础设施、学者间的交流传感器获取海量数据；基于基础设施实现海量数据的有效利用，通过服务与工作流技术的使用实验的可重复性。TonyHey软件：工业的未来概念第四次工业革命信息物理融合系统智能技术系统物联网工业革命1784年（机械）1870年（电力）1969年（电子与信息）信息物理融合工业未来通过软件、电子和环境的结合，生产出全新的产品和服务。

3、国际工业标准规范飞机及系统开发(ARP-4754A)安全评估(ARP-4761)集成模块化航空电子(DO-297)航空电子硬件(DO-254)航空软件(DO-178B/C)地面系统(DO-278A)ARINC653CommonCriteriaDO-178C软件开发过程美国航空无线电委员会（RTCA）制定的DO-178C系列标准2011年颁布。DO-178C系列标准包括：DO-178C(机载软件的审定考虑）DO-330（工具鉴定要求标准）DO-331（基于模型的设计和开发补充文档）DO-332（面向对象技术补充文档）DO-333（形式化方法补充文档）DO-248C（178C的说明性文件）

4、过程子过程软件计划过程软件开发计划软件验证计划软件配置管理计划软件质量保证计划软件审定计划3个标准软件开发过程软件需求过程软件设计过程软件编码过程集成过程软件综合过程软件验证过程软件配置管理过程软件质量保证过程审定联络A级软件开发与验证（DO-178C）及CC安全需求严重性说明接受频率(发生的风险)系统开发安全等级高低灾难X<10-9LevelA危险10-910-3LevelD无无LevelE国际信息技术安全评估通用标准CommonCriteriaISO/IEC15408软件规范理论及软件验证问题Martin-LÖ

5、f类型理论：集合即是命题，也是问题描述；集合是一个规范说明Jean-RaymondAbrial的B方法在程序与证明之间存在着一种重要的差别。虽然程序和证明都是形式化的文本，但是在为证明提供了一个充分详尽的基础，总可以机械地检查这类证明的正确性。对程序就不可能做到这一点。TonyHoare大规模复杂软件验证的问题Verifiedsoftware:theories,tools,experiments(2005)Thelong-termvision(20~50).long-termfutureofreliableprogrammingonemillionlinesofverifiedcode

6、64位RISC技术及高速网络赛灵思（Xilinx）预测未来10网络延时达ms级信息物理系统（CyberPhysicalSystem）应用将具有更广泛的前景。指令集指令数目MIPS171PowerPCE500335ARMv8446SPARC563标准ASIC/FPGA设计流程沈海华（PPT）原龙芯测试负责人主要内容技术发展能力要求工程方法能力培养知识与能力“知识是得到论证的真的信念”,知识三个特征：被相信的、被证实的、真的柏拉图《泰阿泰德篇》“求知是人类的本性”亚里斯多德《形而上学》能力（百度百科）能力 是完成一项目标或者任务所体现出来的素质。能力,就是指顺利完成某一活动所必需的主观条件

7、。能力素质指在任务或情景中表现的一组行为。拥有知识就具有能力吗？工程教育认证为了推进工程教育加入华盛顿协议（WA）的国际互认，2006年我国组建“全国工程教育认证专家委员会”，开始在计算机、机械类等13个领域进行专业认证，截止2012年底，已认证了171个专业点（专业点11204个）。2012年我国组建“中国工程教育认证协会（筹）”，是中国科协成立的认证机构。下设各专业类认证委员会、学术委员会、结论审议委员会等。2013年6月19日，在韩国首尔