教学课程资源库 更多>>

关键词： 非对称加密   数字签名   认证性   符号模型   形式化方法   Pro   Verif  

摘要： Open ID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注。为增强Open ID Connect协议的安全性,首先引入数字签名及非对称加密技术,对其进行改进,重点关注改进后协议的秘密性和认证性;其次基于符号模型,应用应用PI演算对改进的Open ID Connect协议进行形式化建模;然后为验证改进后协议的认证性和秘密性,分别使用非单射性和query对认证性和秘密性进行建模;最后把改进的Open ID Connect协议的应用PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析。实验结果表明,改进后的Open ID Connect协议具有认证性和秘密性。

关键词： 天基信息网络   天基管控系统   体系结构设计  

摘要： 经过几十年的发展,我国已经建立了包括传输、遥感、导航等各种功能的天基信息系统,截止2015年底,我国在轨卫星177颗。然而,各管控系统由于缺乏统一接口标准,自成体系,难以互联互通,空间资产应用效益不高。针对上述问题,基于统一时空基准和兼容性网络协议,设计天基信息网络星间管控系统,构建全球覆盖的统一管控体系是实现空间资产高效利用、体系能力弹性增强的有效途径。

关键词： 本硕联动   产学一体   软件工程   实践基地建设   建构主义  

摘要： 针对软件工程专业校内基础实践基地和校外专业实践基地建设中存在的各类问题,首先提出"本硕联动"实践基地的总体建设思路,然后从本硕培养模式的改革、合作项目及人才的引进以及管理制度建设3方面说明实践基地建设中的具体举措。

关键词： 基于AOP角度   对象程序   单元测试   分析和阐述  

摘要： 利用AOP编程思想来对系统代码和日志记录进行修改和优化,降低系统板块的依赖性,保证单元测试的正确性,实现软件系统的最大应用目标。基于AOP角度,面向对象程序的单元测试进行分析和阐述,来在增加对AOP编程思想了解,掌握单元测试的方法。

关键词： UML建模   体育比赛   信息管理   Java语言   SSH2架构  

摘要： 系统需求分析作为系统设计的重要组成部分,主要对系统不同使用角色需求进行分析和描述。用例建模作为需求分析常用工具,主要从用户角度对软件功能进行分析。对此,以校园体育比赛信息管理作为研究载体,利用UNL建模工具将系统抽象化,建立用例模型,从而得到系统功能模块;然后利用MVC+Java语言对整体架构和页面进行开发,从而实现了体育比赛的信息化管理,提高了高校体育比赛组织效率。

关键词： 形式化方法   应用   专题   计算系统   国内外   机械化   工具   技术  

摘要： 形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效.本专题主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入评审阶段.每篇稿件经过2位专家的评审,有16篇进入复审阶段,

关键词： 软件工程   UML   Rational Rose  

摘要： 软件工程是一门学科,它是在规范化、系统化等工程原则基础上的,针对软件开发的工程学科。它包括软件开发技术和软件项目管理技术。UML主要是协助用户对项目系统进行整体和不同侧面的描述和模型创建,贯穿从需求分析到实现、测试以及维护的全过程。Rational Rose是一款基于UML语言的建模软件,它非常符合市场需求,并得到广泛应用。

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

摘要： 道路桥梁结构具有复杂性和综合性的特点,其结构设计是一件难度较高的工作,并且在实际设计过程中,还存在很多不确定因素,容易引起道路桥梁质量隐患问题,对道路桥梁正常使用性能造成影响。为了保证道路桥梁结构设计的科学性,提高道路桥梁的应用性能和建设效益,就需要将结构化设计方法科学的应用于道路桥梁设计中,提高道路桥梁设计的经济性、安全性和适用性。基于结构化设计在道路桥梁设计中的众多应用优势,该设计方法已经得到了广泛应用。

关键词： 人才培养模式   CDIO   项目化   创新能力  

摘要： 根据区域发展的需要和信息化产业对软件应用型人才培养的要求,大连科技学院对软件工程专业的人才培养模式进行了一系列改革,提出将CDIO理念引入教学过程,并对教学内容进行模块化、项目化建设,改进教学模式和教学方法,完善教学评价方式。通过人才培养模式的改革,学生的创新能力、实践能力和就业竞争力得到了极大的提高。