教学课程资源库 更多>>

关键词： 概率模型检测   网络传播干预策略   近似模型检测方法   形式化方法  

摘要： 网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.

关键词： 计算机科学   程序证明   形式化方法   Hoare   triple   logic  

摘要： 《计算机科学》(Computer Science)课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂教学,针对中外合作办学生源的具体情况,在实际的教学过程中对原有的教学模式和教学内容作了调整,明确教学重点难点,很好地改善了教学效果。

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

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

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

摘要： 近年来,我国社会主义市场经济得到快速发展,有效推动了我国交通系统建设发展,道路桥梁作为交通系统中尤为重要的一部分。为保障我国交通行业的发展,有必要重视道路桥梁施工质量。道理桥梁设计直接关系到道路桥梁施工质量,结构化设计在道路桥梁设计中的应用,有效保障了道路桥梁施工质量。本文在阐述结构化设计模型构建的基础上,进一步分析了结构化设计原则,并对结构化设计在道路桥设计中的应用进行深入探究,以期为结构化设计在道路桥梁设计中的应用价值的提升提供具有参考价值的建议。

关键词： 工程实践   软件工程   CDIO  

摘要： 提出将CIDO教育模式应用到软件工程专业工程实践类课程教学中,详细介绍基于CDIO的工程实践类课程培养标准的制订、课程体系的构建、课程教学内容和实施、考核方式,根据实践结果说明基于CDIO的工程实践类课程教学模式是可行的,毕业生的能力能够达到CDIO培养标准要求。

关键词： 桥梁   结构化   优化设计   斜拉桥  

摘要： 首先对公路桥梁结构化设计的基本原则进行简要介绍,在此基础上以独塔斜拉桥为研究对象,对结构化设计方法的应用实践进行论述。

关键词： 软件工程专业   工程教育认证   人才培养模式   教学过程质量监控体系   课程设置  

摘要： 工程教育专业认证是为了构建我国高等工程教育质量监控体系,提高工程专业教学质量而推行的一项重要措施。基于工程教育认证,软件工程专业应从招生、专业培养目标、毕业要求、教学质量评价监控机制、课程设置等方面进行全面改革与实践,明确专业定位,凸显专业特色,确立一套行之有效的人才培养制度。

关键词： 基于通信的列车控制系统   安全攸关   可信构造   形式化方法  

摘要： 基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道交通运输的效率和安全性.尽管CBTC能够精确地实施实时控制,但由于CBTC涉及计算、通信与控制这3个方面的实时协同,系统设计与实现异常复杂.由设计缺陷而导致严重的灾难、事故和损失屡见不鲜.作为一个典型的安全攸关系统,如何保证CBTC的可信构造已成为领域研发人员关注的焦点与面临的最大挑战.鉴于在软硬件领域的成功经验,形式化方法目前已被公认为是保障CBTC可信性的一种有效方案.围绕CBTC的可信构造,从其生命周期的3个重要阶段,即系统需求分析、设计建模与底层实现入手,针对CBTC在可信方面的典型特征,梳理分析了CBTC系统在可信构造方面面临的挑战、国内外研究现状和发展趋势,全面介绍了形式化方法在CBTC可信构造中扮演的角色.

关键词： C#程序设计   项目驱动法   实践教学  

摘要： 针对计算机类专业C#程序设计课程教学,提出提升本专业学生C#程序设计实践能力的教学改革办法。以南华大学计算机学院软件工程卓越工程师计划班C#程序设计课程为例,阐述本课程教学模式改革、教学内容整合、教学效果评价等方法措施。这些举措在2017春季学期实施2015级软件工程卓越1班,实践教学效果得到了明显提升,受到学生的欢迎。

关键词： 列车控制系统   车载ATP系统   UML   建模   验证  

摘要： 分析CTCS-1级车载ATP的硬件结构和功能需求,建立系统的用例模型;从系统运营场景出发,划分系统功能的参与者,定义参与者的属性和行为,由此建立了场景类图模型和系统类图模型;利用活动图和时序图,从不同角度描述了系统功能参与者间的交互情况;借助编程语言对所建功能模型进行了验证。