教学课程资源库 更多>>

关键词： 形式化方法   事件逻辑   强认证理论   Neuman-Stubblebine协议  

摘要： 形式化方法是分析网络安全协议的一种重要方法,网络协议安全性也是信息安全领域的研究热点。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于证明网络安全协议的安全性。以事件逻辑为基础,定义强匹配及匹配会话,结合事件逻辑公理和推理规则,提出了强认证理论。利用该理论对有3个主体的Neuman-Stubblebine协议进行了研究,分析得出发送者是安全的而接收者是不安全的,从而证明了该协议是不安全的,说明了强认证理论适用于三方的网络安全协议。该理论适用于类似多方网络安全协议的安全性证明。

关键词： 教学质量   评价系统   UML  

摘要： 教学评价是教学管理的重要环节,也是提高教学质量和办学效益的重要手段,对于远程教育尤为重要。文章针对传统教学质量评价的弊端,研发出基于网络且适用于远程教育的教学评价系统。根据需求分析的结果,将系统划分为用户注册、教学评价和后台管理三个模块。利用UML建模语言对系统进行了静态建模和动态建模,通过建模工具visio 2003,构建了系统的用例图、类图、顺序图、活动图、泳道图和部署图,最后开发完成了基于UML的教学质量评价网站,试运行显示效果良好。

关键词： 软件工程   应用型人才培养   课程体系   教学改革  

摘要： 应用型高校的人才培养应以促进地方经济发展、满足产业和企业需求为导向,以提高学生的实践能力、知识综合应用能力和创新创业能力为目标。应用型高校软件工程专业应根据软件工程行业的技术标准和企业用人标准,以合作企业为支撑,把企业项目转化为课程开发项目,把企业标准、企业元素和企业的新技能与新工艺等引入课堂,并实行"校企双导师制"和"项目驱动教学",让学生在学中做,在做中学,不断提高职业技能和实践能力。

关键词： 连锁经营管理   半工半读   教学模式  

摘要： 连锁经营管理专业作为骨干校建设期间重点建设专业群,教研室对专业课程在"半工半读"模式下的教学改革进行了研究与实践。本文探索了半工半读教学模式,分析了实施过程中的关键点,以期为高职院校同类专业半工半读教学模式的改进提供参考和借鉴。

关键词： 应用型本科院校   人才培养方案   双师型结构教师队伍   创新能力  

摘要： 针对转型发展背景下软件专业人才创新能力的培养和教学改革,开展符合学校转型发展要求的软件工程等专业的教学体系改革,提升软件工程专业的学生社会适应能力和就业竞争力。文章结合黄冈师范学院计算机学院开展培养学生的工程能力和创新能力的实践,对软件专业的课程体系、培养方案、教学方式等方面进行研究,并进行了相关实践改革。

关键词： 软件工程   校企联动平台   实践教学改革   考核方式  

摘要： 针对传统软件工程实践教学过程中存在的问题,提出了以校企联动平台为主要实践平台的教学改革方法,开展校企联动平台构建、实践过程的把控、逆向工程教学方法应用、企业环境模拟、考核方式的改革等一系列教学活动,有利于应用型人才的培养,提高学生的工程实践能力、创新能力及团队合作精神和协调能力。

关键词： UML   医用高值耗材   建模  

摘要： 论述了对基于UML的医用高值耗材管理系统进行分析建模的过程,从需求分析到系统设计运用了类图、用例图、活动图和状态图等UML视图,对不同建模阶段进行了不同层面的描述。

关键词： 校企合作   校企合作实践教学   合作模式   校企合作模式实施  

摘要： 本文对"3+1"培养、课程嵌入、共建实训、第二课堂、共同承接项目等校企合作实践教学模式作了详细的分析,在此基础上总结出:任何一种校企合作的实践教学模式都既有优势也有其局限性。学校在开展校企合作实践教学的过程中,应根据专业人才培养定位和学生的特点选择多种校企合作模式进行运行并实现优势互补。同时,需要认真选择合作企业、合作模式、定位好合作层次,合理制定合作机制,提高学校吸引企业参与合作的能力,这样才能更加有效的开展工作。

关键词： 道路   桥梁   结构化设计   混凝土工程  

摘要： 介绍了结构化设计在道路桥梁设计中的应用原则,从混凝土工程与防水结构设计两方面,阐述了结构化设计在道路桥梁中的应用技术,并探讨了结构化设计的优化措施,从而确保工程的质量。

关键词： 统一建模语言UML   结构型   关联  

摘要： UML的分类分为两类：结构型的UML和行为型的UML。关系的种类分为：1．关联；2．依赖；3．限定关联；4．聚集和组成；5．泛化；6．实现关系。类元是模型中的离散概念，