计算机未来发展纲要.pptVIP

从计算机工程教育看

知识、能力与工程方法浅谈马殿富北航计算机学院2021-12-19

主要内容

从PITAC2005看计算科学：确保美国核心竞争力

第四范式TonyHey

软件：工业的未来

国际工业标准标准飞机及系统开发(ARP-4754A)平安评估(ARP-4761)集成模块化航空电子(DO-297)航空电子硬件(DO-254)航空软件(DO-178B/C)地面系统(DO-278A)ARINC653CommonCriteria

DO-178C软件开发过程过程子过程软件计划过程软件开发计划软件验证计划软件配置管理计划软件质量保证计划软件审定计划3个标准软件开发过程软件需求过程软件设计过程软件编码过程集成过程软件综合过程软件验证过程软件配置管理过程软件质量保证过程审定联络

A级软件开发与验证〔DO-178C〕及CC安全需求严重性说明接受频率(发生的风险)系统开发安全等级高低灾难X10-9LevelA危险10-9X10-7LevelB重要10-7X10-5LevelC次要X10-3LevelD无无LevelE

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

赛灵思〔Xilinx〕预测未来10网络延时达ms级信息物理系统〔CyberPhysicalSystem〕应用将具有更广泛的前景。指令集指令数目MIPS171PowerPCE500335ARMv8446SPARC563

标准ASIC/FPGA设计流程沈海华〔PPT〕原龙芯测试负责人

主要内容

知识与能力“知识是得到论证的真的信念〞,知识三个特征：被相信的、被证实的、真的柏拉图?泰阿泰德篇?“求知是人类的本性〞亚里斯多德?形而上学?能力〔百度百科〕能力?是完成一工程标或者任务所表达出来的素质。能力,就是指顺利完成某一活动所必需的主观条件。能力素质指在任务或情景中表现的一组行为。拥有知识就具有能力吗？

工程教育认证

“复杂工程问题〞特征

毕业要求〔1/3〕1.工程知识：能够将数学、自然科学、工程根底和专业知识用于解决复杂工程问题。2.问题分析：能够应用数学、自然科学和工程科学的根本原理，识别、表达、并通过文献研究分析复杂工程问题，以获得有效结论。3.设计/开发解决方案：能够设计针对复杂工程问题的解决方案，设计满足特定需求的系统、单元〔部件〕或工艺流程，并能够在设计环节中表达创新意识，考虑社会、健康、平安、法律、文化以及环境等因素。4.研究：能够基于科学原理并采用科学方法对复杂工程问题进行研究，包括设计实验、分析与解释数据、并通过信息综合得到合理有效的结论。

毕业要求〔2/3〕

毕业要求〔3/3〕9.个人和团队：能够在多学科背景下的团队中承担个体、团队成员以及负责人的角色。10.沟通：能够就复杂工程问题与业界同行及社会公众进行有效沟通和交流，包括撰写报告和设计文稿、陈述发言、清晰表达或回应指令。并具备一定的国际视野，能够在跨文化背景下进行沟通和交流。11.工程管理：理解并掌握工程管理原理与经济决策方法，并能在多学科环境中应用。12.终身学习：具有自主学习和终身学习的意识，有不断学习和适应开展的能力。

计算机专业知识体系知识体系按知识领域、知识单元和知识点组织。知识领域〔18〕、知识单元〔163〕、知识点〔1105,1618〕对于知识点，按了解、理解、实现及应用进行划分。教学方法了解：讲解历史理解：分析方法实现：综合方法应用：综合应用能力培养系统设计和实现能力综合应用所学知识解决实际问题能力

2021ACM/IEEE课程体系〔18〕KnowledgeAreaCS2013Tier1CS2013Tier2CS2008CoreCC2001CoreAL-AlgorithmsandComplexity1993131AR-ArchitectureandOrganization0163636CN-ComputationalScience1000DS-