教学课程资源库 更多>>

关键词： 低轨星座   体系结构   算法研究  

摘要： 低轨卫星具有成本低、重量轻、时延短等优点,通过星座组网可实现全球无缝覆盖。低轨卫星星座近几十年来受到了广泛的关注,在民用、商业领域得到了快速发展和广泛应用。本文提出了基于软件定义思想的低轨星座体系结构,实现了低轨星座控制功能和转发功能的解耦,并提出了基于模拟退火的低轨星座动态资源调度算法,对构建我国低轨星座具有积极的推动作用。

关键词： Web服务   服务组合   代数规约   形式化方法  

摘要： 现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的"实现"关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。

关键词： 高职烹饪专业   工作过程系统化   课程体系   结构设计  

摘要： 在明晰工作过程系统化课程开发基本原理的基础上,对高职烹调工艺与营养专业和中西式面点专业课程体系结构进行了设计。即从厨房菜点制作中确定典型工作任务并加以整合,归纳出行动领域即课程的初始结构,将行动领域转化成由学习领域组成的课程体系。烹调工艺与营养专业由11个行动领域转化为15个学习领域即15门课程。中西式面点专业由11个行动领域转化为12个学习领域即12门课程。

关键词： 软件工程   实践训练   实验教学   校企合作  

摘要： 针对现有软件工程专业教学"理论多、实践少"的现状,基于前人对软件工程专业教学的研究和清华大学软件工程课程的教学实践经验,提出了一套引入企业工程师和模拟客户参与的软件工程实践训练教学方案,并通过在南开大学软件学院的实践,论证了这项工作提出的软件工程实践教学方案的有效性。

关键词： 联锁表   Event-B方法   形式化方法   机车   证明义务  

摘要： 人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输信号平面布置图、进路联锁表和机车车辆运输信号设计规范进行建模,模型生成的证明义务通过与否验证了进路联锁表建立过程是否符合平面布置图和设计规范的要求,利用该种思路解决了人工检查联锁表存在的效率低和不确定性等问题。

关键词： 软件工程   实践教学   工程教育  

摘要： 在工程教育人才培养的新模式要求下,提出了"软件工程"实践教学整体框架,该框架构建四位一体的实践教学体系,从实践内容、实践组织方式、实践教学方法和实践结果评价四个方面,结合微课和线上线下教育模式,构建可量化的实践教学质量保障机制,全方面提高学生的项目开发实践能力。对新的实践教学模式进行试点研究和效果问卷调查,研究结果表明90%学生对新的实践教学模式表示满意,新的实践教学模式有助于调动学生的学习积极性,加强学生对知识的理解和掌握。

关键词： 高职院校   软件工程   项目教学法   小型图书馆管理系统  

摘要： 《软件工程》是计算机学科及相关专业的核心课程之一。高职院校的《软件工程》教学内容理论性较强,学生难以理解和掌握。以小型图书馆管理系统的开发为实例,探索项目教学法在《软件工程》教学中的具体应用。将《软件工程》相关理论与项目的开发实践相结合,引导学生在实际项目开发的实践中理解并掌握软件工程的相关理论和方法,探索《软件工程》课程教学的新思路。

关键词： 城市轨道交通   CBTC   计算机联锁系统   形式化方法   通信顺序进程   B方法  

摘要： 针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实现通信顺序进程和B方法之间的同步。以1个实际站场为例,采用B方法对具有复杂状态空间的CBTC联锁系统的逻辑状态运算建立抽象机,采用通信顺序进程对CBTC联锁系统与外部系统的并发交互行为建立进程,并通过映射关系使CBTC联锁系统的抽象机与外部交互行为进程同步,由此建立基于通信顺序进程与B方法的CBTC联锁系统的形式化模型。采用ProB工具对建立的CBTC联锁系统模型的安全性、无死锁性进行验证。发现并修改模型中的不一致、不完全、歧义等错误,从而验证了CBTC联锁系统的安全性和无死锁性,保证了系统的最终实现。

关键词： 旅游CRM   决策树ID3   三层架构   UML建模  

摘要： 针对旅游公司CRM系统的实际需求,采用面向对象的分析设计思想,使用***动态网页开发技术,结合SQL Server 2008数据库技术,实现旅游CRM系统的主要功能。该系统采用决策树ID3分类算法,实现对不同客户的区分,从而为其推荐个性化的旅游产品服务。系统基于B/S模式的三层架构方式,运用UML建模语言,建立系统的用例模型和结构模型,提高开发的效率。系统具有操作简单,方便快捷、便于维护的特点。

关键词： 建筑设计   教学法   瑞士建筑教育   体系化   赫伯特·克莱默  

摘要： "基础设计"是赫伯特·克莱默(Herbert Kramel)教授于1984~1996年间在苏黎世联邦理工学院(ETH-Z)建筑系发展的一套结构有序、高度综合的建筑设计基础教学法,并通过与东南大学之间的"南京交流"(1986-2011)计划显著地影响了中国的若干所建筑院校。本文结合克莱默的生平及其所处时代的各种思潮推演其教育思想与建筑观的形成,并展现其在特定环境下对教学的体系化建构。