- 1、本文档共65页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
从计算机工程教育看
知识、能力与工程方法浅谈马殿富北航计算机学院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-
您可能关注的文档
- 图书馆资源与服务介绍.ppt
- 施工现场用电管理课程课件.ppt
- 市政公用工程管理与实务-冲刺班课件.ppt
- 广告策划-有道搜索推广产品手册.ppt
- 餐饮服务与管理实务第三章 餐厅服务艺术.ppt
- 房地产营销战术小结.ppt
- 数字电子技术基础习题讲解.ppt
- 广告策划-宾川LED广告媒体项目运作方案.ppt
- 集成电路封装工艺流程.ppt
- 遗传因素与临床用药.ppt
- 浙江省临海市白云高级中学2025届高三历史3月月考试题.doc
- 云南拾谷县第一中学2024_2025学年高二物理上学期10月月考试题.doc
- 2025版高考生物总复习第13讲基因的分离定律教案苏教版.doc
- 湖北省黄石实验高中2024_2025学年高一历史下学期期末考试模拟卷.doc
- 通史版2025版高考历史大一轮复习专题七近代化的曲折发展__中日甲午战争至五四运动前4第4讲从维新思想到新文化运动课后达标检测含解析新人教版.doc
- 2024年高考数学考试大纲解读专题04导数及其应用含解析文.doc
- 河南省许汝平九校联盟2024_2025学年高一语文上学期期末考试试题扫描版无答案.doc
- 江西省吉安市吉水县第二中学2024_2025学年高一历史上学期第二次月考试题.doc
- 北京市平谷区2025届高三政治一模考试试题含解析.doc
- 2025届中考物理第四讲物态变化专项复习测试无答案新人教版.docx
文档评论(0)