教学课程资源库 更多>>

关键词： 安全协议   形式化方法   网络安全   模型检测   状态空间  

摘要： 安全协议是确保网络安全的关键,在现有的技术条件下,已经有许多方法来分析协议的安全性,但是对攻击者建模的方法不够高效,导致协议的检测和分析效率较低。形式化方法是检验协议安全性的一种手段,它能高效地分析验证协议设计中存在的漏洞。模型检测作为形式化方法的一种,具有简洁、高效和自动化程度高的特性,模型检测器SPIN具有强大的检测能力。文章使用SPIN对安全协议进行研究,提出了一种更有效的方法来验证攻击者模型的安全协议,首先对攻击者行为进行分析,获取攻击者初始知识库,根据分解规则和合成规则不断地更新攻击者知识库;其次形式化分析各诚实主体,并建立各诚实主体和攻击者的Promela语义模型;最后使用模型检测器SPIN进行验证。实验结果表明,文章提出的方法能使模型复杂度降低,大幅度减少模型的状态数量,有效地避免状态空间爆炸,提升验证效率。

关键词： 构件库   AutoCAD   C#   二次开发  

摘要： 针对现有高校、企业对建筑构件库的制作需求,对比Visual Lisp、C++/Object ARX、C#/.net API三种二次开发方法,采用了基于C#的Auto CAD建筑构件库二次开发方法。以较为复杂的塔吊和施工电梯为例,阐述构件库程序的基本原理、开发过程和实现结果,该方法三维显示效果令人满意,程序较C++/Object ARX代码简洁、可读性强,较Visual Lisp功能强大,是有效的构件库开发和维护方法。

关键词： 软件人才   教学模式   设计型项目驱动   阶段评审   考核机制  

摘要： 针对软件工程的学科特点,结合河南大学软件学院人才培养模式的实践经验,该文从教学模式、教学环节设计、项目实施、阶段评审、考核机制五个方面对软件工程教学模式进行了积极探索和实践,采用设计型项目驱动的方式,以一个完整的案例为主线贯穿整个教学过程,增强学生的自主学习能力、创新意识和团队合作精神,从而达到提升学生工程应用能力的目的。

关键词： 可靠性测试   UML模型   嵌套组合片段   Markov链  

摘要： 软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要。在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种基于多层嵌套组合片段UML模型的Markov链使用模型的构建方法,最后结合实例对研究提出的模型构建方法做出应用分析,说明了算法的可行性,为更有效地构建Markov链使用模型提供了指导。

关键词： 卓越工程师   实践教学体系   螺旋递进式  

摘要： 以培养"卓越工程师"为宗旨,本着"工程化""系统化""国际化"为目标的人才培养理念,大力推进人才培养实践教学体系的改革和创新。根据学生工程实践动手能力的递进性、综合性、创新性,对实践教学内容进行模块优化,创建了螺旋递进式的实践教学体系。

关键词： 地方普通高校   软件工程专业   实践教学体系  

摘要： 针对地方普通高校的实际情况,仔细分析软件工程专业实践教学体系中存在的问题,有针对性地设计和完善实践教学体系,让学生有目的、有方法地完成实践教学内容,激发学生的学习兴趣,提高学生的综合实践能力,锻炼学生的工程实践能力和创新能力。

关键词： SOA面向服务框架   电子政务平台   体系结构设计   Web   Service   网络服务  

摘要： 本文对我国电子政务平台的建设和发展进行了分析,对SOA面向服务框架技术和Web Service技术进行了介绍,在基于SOA技术的基础之上提出了电子政务平台系统的设计方案,并对系统的功能进行了研究,实现了电子政务的数字化和信息化,为今后电子政务平台的设计提供了借鉴的意义。

关键词： 形式化方法   定理证明   有限域乘法器   时序逻辑电路   HOL4  

摘要： 针对有限域乘法器设计正确性的问题进行研究,阐述了有限域乘法器在高阶逻辑定理证明器HOL4中进行形式化建模和验证的过程。通过分析电路的结构特性和时序特性,提出了结合层次化和基于周期的形式化建模方法,构建4位多项式基有限域乘法器的形式化模型;最后在HOL4系统中完成对其相关性质的验证。实验结果证明了该有限域乘法器设计的正确性,同时表明所提出的建模方法对时序逻辑电路的验证是有效的。

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

摘要： 在公路桥梁快速向复杂化、大型化等方向发展的进程中,传统的桥梁设计方法在实际工作中出现的问题越来越多,已经无法满足实际工作需求,不仅影响设计进度和质量,还会因为方法的单一性而导致设计受阻。因此,在桥梁设计领域应用和发展新方法是十分必要的,其中的结构化方法在近几年得到桥梁设计者的高度重视。

关键词： 结构化设计   桥梁设计   应用原则   应用实例  

摘要： 针对结构化设计在桥梁设计中的应用研究,论文从结构化设计在桥梁设计中的重要作用入手,结合对结构化设计计算模型的分析,对桥梁结构化的设计原则展开说明,并根据结构化设计的应用原则,对结构化设计在桥梁设计中的具体应用展开论述,希望能为提升我国结构化设计在桥梁设计中的应用水平提供参考。