教学课程资源库 更多>>

关键词： 《软件工程实践教程:基于开源和群智的方法》  

摘要： ·一流大学计算机类专业核心课程教材基于智群方法的软件工程实践邀约本书特色以培养解决复杂工程问题能力和软件工程素质为目标,改革软件工程课程实践内容、实施方法和考评方式。基于循序渐进的理念,设计实践任务,结合"小米便签"开源软件等应用案例,翔实阐明实施方法、策略和结果。采用依托社区、基于群智、迭代开发的方法,为实践任务提供有效技术手段。

关键词： 靶场   结构设计   研究  

ISBN: (纸本)9787030637505

摘要： 本书针对跨靶场、跨军种、跨区域的联合试验鉴定需求，结合基于实战化考核的试验鉴定理论，系统阐述逻辑靶场在试验鉴定领域的作用以及逻辑靶场公共体系结构对联合试验鉴定的意义；分析靶场存在的问题和装备发展对试验鉴定的现实需求，提出逻辑靶场公共体系结构多维视图总体框架，重点设计系统视图、软件视图、技术视图、运行视图、应用视图，提出关键技术；列举海上靶场典型工程应用，验证逻辑靶场公共体系结构在方法上具有可操作性，在应用上具有可行性。本书对于逻辑靶场在试验鉴定领域的推广应用具有指导意义和引领作用。本书可为联合试验鉴定领域的指挥员、管理者和工程技术人员提供参考。

关键词： 软件工程   专业认证   SFIA框架   OBD模型  

摘要： 本文讨论了关于软件工程专业教育以及从OBD目标导向模型出发,结合国际先进的能力评价框架(SFIA)来构建本学科的实践能力培养体系,根据实践能力培养体系与个体学生在各阶段的实践能力数据提出了一个软件工程专业人才实践能力培养可度量(达成度)和可预警以及提前的目标和方式,并在实际的专业工程认证建设中进行了实践论证。

关键词： 物流园区   执法案件处理   执法卷宗管理   UML建模  

摘要： 随着信息技术的不断发展,信息化管理已经成为当前政务管理的重要管理模式与管理理念。在行政执法部门中,内部信息管理主要是对纸质资料等的管理,过去主要以人工管理模式为主,不仅效率低下,还容易因疏忽导致错误。随着行政管理任务越来越重,工作量越来越多,传统的人工管理模式已经难以适应新时代下行政管理的需求。本文将结合大同市云中商贸物流园区日常执法工作需求,开发出一套适合于园区内的执法管理系统具有重大意义。在对整个大同市云中商贸物流园区执法系统具体设计与实现过程中,充分结合园区实际执法以及用户需求,对整个系统的业务与功能需求进行了详细的分析,在此基础上,通过UML建模方式完成了系统所包括的执法案件受理、执法案件处理、执法卷宗管理以及执法公告与评价四大功能模块设计,利用SQlite数据库技术以及MySQL数据库技术相互结合实现了整个执法系统数据库的搭建,在对整个系统架构进行设计时选取的是SOA架构技术进行,并利用Java语言进行开发。结合系统实际功能需求分析,在进行系统功能模块设计过程中,对系统的功能模块进行了划分和设计,在进行各个功能模块的设计时,完成了的功能结构图、工作时序图、工作流程图以及类图的设计。根据功能模块的设计,完成了论文系统的数据库总体E-R图设计,并设计了对应的数据信息表。最后对设计的四大功能模块进行了实现与系统测试。系统的功能测试和性能测试结果表明该执法系统完全满足预期设计要求,各项性能指标均满足要求。目前整个执法系统已经完全步入实际运营阶段,在大同市云中商贸物流园区进行全面部署。本系统的应用将有效提高大同市城市管理局行政执法工作的规划性,确保工作的制度化,理顺业务的逻辑,对提高行政执法工作效率,提高内部管理效率等都有着积极的作用。另外,信息化管理能够便于决策者及时了解掌握行政执法的现状,能够为决策提供有力的支撑。

ISBN: (纸本)9787030621078

关键词： 推荐免试   软件工程硕士   招生   实践   思考  

摘要： 推荐免试是国家加大拔尖创新人才选拔培养力度、提高研究生培养质量的重要举措。在现行推免政策下要探索推免生招生工作的新形式和新方法。提高软件工程硕士推免生招生工作质量,一要多途径做好招生宣传,吸引更多的优秀考生申请;二要科学组织招生复试,择优确定优秀考生;三要提高招生录取效率,深层服务争取优秀考生。

关键词： 形式化验证   Reluplex算法   对抗鲁棒性  

摘要： 近年来，随着人工智能技术的应用越来越广泛，人工智能的安全问题也开始受到关注，特别是在神经网络被发现存在对抗样本以后，由此引发的安全问题已经成为一个新的研究热点。对抗样本是指在干净样本上添加不易察觉的扰动后诱骗分类模型做出错误判断的一种样本，对抗样本的存在意味着人工智能模型的鲁棒性还不够强，存在被恶意攻击的可能。为了进一步研究对抗样本与鲁棒性之间的关系，本文将形式化方法与神经网络模型进行了结合，从形式化验证的角度研究神经网络的对抗样本问题。　　本文的主要工作及研究成果有以下三点：　　(1)本文基于已有的形式化验证算法Reluplex进行了修改和扩展，提出了新的扩展算法Leaky-Reluplex。扩展前，原算法仅支持验证以ReLU为激励函数的深度神经网络;扩展后，新算法中增加了对LeakyReLU函数的验证支持，可用于验证以LeakyReLU为激励函数的深度神经网络，在一定程度上拓宽了验证算法的应用范围。　　(2)本文介绍了如何利用Reluplex和Leaky-Reluplex验证深度神经网络的对抗鲁棒性，并在对抗鲁棒性不成立时生成一个以物理量为特征的对抗样本。为了能够快速生成大量对抗样本，本文根据验证算法的推导特点对Reluplex和Leaky-Reluplex算法进行了改进，使它们可以在一次验证中生成多个不同的对抗样本，极大地提高了生成效率。　　(3)本文分析了卷积神经网络的结构特点，并在Reluplex算法的基础上提出了另一个扩展算法Conv-Reluplex。该算法专门用于验证卷积神经网络，并在验证性质不成立时生成图片类型的对抗样本。之后本文还利用Conv-Reluplex生成的大量对抗样本进行了对抗训练实验，实验结果表明，适度的对抗训练可以大幅提升模型预测对抗样本的准确率，增强模型的对抗鲁棒性，同时不会对原始样本的预测准确率造成太大影响。

关键词： Cyber-Physical systems   Formal methods   Logic specifications   Symbolic models  

摘要： There is a growing interest in Industry and Academia in large scale composite systems where a number of physical processes are interfaced with intelligent units that control them and govern their interactions. Examples are manufacturing plants, drone swarms, and autonomous connected cars. These systems belong to the category of Cyber-Physical Systems (CPS), where the physical components interact with the digital world. Designing and managing CPS safely and securely is extremely difficult given their heterogeneity, i.e., the presence of multiple physical and logical domains, and their scale, i.e., number of components and of interconnections. To cope with these difficulties, mathematical approaches have been proposed but few if any can deal with all the above mentioned challenges. This tutorial surveys our work based on formal methods, which attempts at dealing with the heterogeneity and complexity of CPS. (C) 2019 Elsevier Ltd. All rights reserved.

关键词： 结构化设计   道路桥梁   设计  

摘要： 本文通过对优化设计在道路桥梁设计当中的实际应用情况进行了一定程度的研究和分析,以求探讨出结构化设计在道路桥梁的设计当中的具体运用。