教学课程资源库 更多>>

关键词： 交通工程   网格技术   分布式系统   Web服务  

摘要： 对未来高速公路实现有效管理和实时控制,需要一个真正意义上的开放、集成和灵活的分布式控制中心系统,实现这一系统其实质就是要解决不同领域复杂科学计算与海量数据服务问题。将网格计算与Web服务相结合的网格服务技术为解决这个问题带来可能。通过对网格技术的了解,对建立未来高速公路控制中心提出了概念模型,并通过实现条件的可行性分析,证明了网格技术在未来高速控制中心实现的可行性,并对其研究方向提出了进一步的建议。

关键词： Visual   Basic   6.0   结构化   程序设计  

摘要： Visual Basic 6.0编程语言中,程序结构的控制是学好编程语言的基础。在学习结构化程序设计的过程中,学生经常会遇到一些共性问题。本文主要研究了学生在编程理论课和实践课中遇到的问题,并结合教学实践给出了有针对性的解决方案。在教学这个双边活动中,把抽象的程序代码直观化,让学生达到更好的学习效果。

关键词： 基于模型的系统工程   航船电子对抗系统   体系结构设计  

摘要： 针对舰船电子对抗系统设计与集成的难度日益加大的情况,介绍了一种应对复杂系统研发需求的基于模型的系统工程方法,并阐述了需求分析、功能分析以及体系架构设计三个阶段的设计流。最后以水面舰船电子对抗系统体系架构的设计和验证为例对该方法的应用进行了说明,为从事舰船电子对抗总体设计提供支撑。

摘要： 形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．

关键词： 列控系统   形式化方法   RBC切换协议   正确性与实时性  

摘要： 在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。

关键词： 结构化面试   随机化设计   统计分析  

摘要： 统计学是保证面试有效进行的重要工具,在面试方法设计和面试结果分析中有着重要的作用。在设计面试方法时应当遵循统计学中的基本思想,即随机、对照、重复,将统计学中的随机化思想与实验设计思想结合起来。由于具有较高的信度和效度,结构化面试已经成为一种最流行的面试手段。但随着这种手段的广泛应用,其内在一些问题也逐渐暴露出来。本文将随机化设计的思想应用到结构化面试中,得出了评价者与被评价者的数量关系,并且对结构化面试的结果进行了统计检验,最后提出随机化设计在结构化面试中的应用规则。结论表明,随机化设计可以优化面试流程,节约面试资源。运用方差分析可以对面试结果进行统计检验。

关键词： UML   教务管理系统   考务管理系统   建模  

摘要： 教务管理系统是高等院校数字校园建设的组成部分,而考务管理是教务管理系统中一个非常重要的模块。考务管理系统的实现为教务管理工作大大地节省了时间,提高了效率。在需求分析的过程中,将考务管理系统分为试题管理模块、试卷管理模块、考试文件管理模块、考场管理模块、考试单据管理模块5部分,使用UML对高校考务管理系统进行了分析和建模,实现了静态建模和动态建模。

关键词： UML   案例教学   任务驱动   项目驱动  

摘要： 统一建模语言UML教学效果的好坏直接影响学生利用UML做面向对象的分析和设计能力的培养.针对该课程的教学现状与不足,对该课程的可视化教学方法进行研究和实践,从课堂教学和实践教学等方面进行了详细的探讨,取得较好的成效.