教学课程资源库 更多>>

关键词： Java程序设计   教学模式   竞赛驱动  

摘要： 基于蓝桥杯软件设计大赛,针对当前“Java程序设计”教学现状,“以赛促教、以赛促学、以赛促改、以赛促建”形成教学做赛一体化的教学模式,不仅激发了学生学习软件设计的兴趣,也很好地培养了学生编程的思维能力和动手实践能力。

关键词： JAVA语言-程序设计  

ISBN: (数字)9787030625076 ISBN: (纸本)9787030625076

摘要： 本书的内容大体可分为两个部分。第1章一第4章为第一部分，着重介绍java面向对象的基本知识点，主要有java的基本环境、java语言基础、java工程规范、面向对象基本概念、基本特征、概念深化、异常处理等，读者通过这部分的学习可以用java语言建立起面向对象思维的能力，其中第3章-第4章是本部分的重点；第5章-第9章为第二部分，着重介绍java语言的应用，主要有java常用类库与工具、线程、集合类框架、awt与swing图形用户界面，读者通过这部分的学习可以了解java工程应用的基础知识，其中第5章是本部分的重点。

关键词： Program verification   Time semantics   Timed automata  

摘要： The automatic verification of time properties of models extracted from programs is challenging, mainly because modern programming languages, such as Java, represent time without a proper semantics. Current approaches to extract time models from source code either represent time only as a tree-like sequence of events or require developers to manually provide a formal model of the time behavior. This makes it difficult for software developers to verify various aspects of their systems, such as timeouts, delays and periodicity of the execution. In this paper, we introduce a formal definition of the time semantics for the Java programming language. Based on the semantics, we present an approach to automatically extract timed automata and their time constraints from Java programs at method level. First, our approach detects the Java statements that involve time, from which it then extracts the timed automata. Our extracted automata are directly amenable to the verification of time properties of the corresponding Java methods. We evaluated the accuracy of our approach on twenty open source Java projects that implement time behavior in their source code. The results show that our approach achieves 100% precision and recall in identifying time related information. They also show that 95% of the timed automata extracted from source code correctly model the time behavior of the method. Finally, we show the applicability of our timed automata to identify eight real errors in four open source Apache systems.

关键词： EAST   MDSplus   Real-time monitoring   AC loss  

摘要： The Experimental Advanced Superconducting Tokamak (EAST) Device has been in operation since 2006. The convenient real-time data monitoring and analysis tools are very important for engineering and physicists' experts to observe the operational status of the device during the experiment. This paper presents a new Java web application that creates a system combining signal real-time monitoring and EAST magnets stability judgment by writing Java Server Pages (JSP) and JavaScript code. The application is composed of three modules: data visualization, data monitoring and offline data analysis. The data visualization and monitoring modules are Java-based open source architecture and Highcharts display module, whose data is obtained from MDSplus. Several new algorithms are embedded in the system to calculate the alternating current (AC) loss of the superconducting poloidal field (PF) coils and evaluate the electromagnetic (EM) loads of the EAST magnets. In these algorithms, the EM loads and AC loss can be obtained by a linear transform of given currents using the pre-computed interaction matrix. The system is successfully applied on EAST experiment.

关键词： 教学改革   差异化   过程化考核  

摘要： 论文分析了目前Java语言教学模式存在教法传统、理论和实践不一致、考核方式单一等问题。针对这些不足,提出了新的教学部署,根据专业差异化的安排理论和实践课程、过程化考核等改革措施,来全面提升学生的自主能力和探索能力。

关键词： 教学改革   项目导向   Java   Web  

摘要： 《Java Web程序设计与开发》课程是在学生具有一定Java语言、数据库和HTML知识的基础上开设的一门实践性较强的课程。该课程使学生掌握JSP的基础知识、Servlet技术基础及应用,以及使用MVC模式进行系统开发的能力。据此提出课程应以项目实战为导向,按照项目开发的实际工作过程,将项目分解为若干个子项目,并按照任务实施的需要来进行相关知识和技能的培养和训练。通过项目教学法,能充分调动学生的学习积极性,培养其编程能力和实践开发能力,显著提高了教学效果。

关键词： 课堂教学   互联网+   翻转课堂   教学模式   学习主动性  

摘要： 传统的课堂教学模式是以教师为主导,学生被动学习,学习积极性和学习效果都不理想;随着“互联网+”行动计划的开展,在微课、网络教学平台等的辅助下,《Java程序设计》课程进行了课堂教学的改革,尝试采用“翻转课堂”教学模式,学生成为课堂的主角,学习的主动性和学习效果都明显提高。

关键词： 工程教育认证   面向应用   Java程序设计   教学改革  

摘要： 工程教育认证背景下,人们对软件工程专业如何培养学生解决实际应用问题的能力提出了更高的要求。针对这一要求,文章从《Java程序设计》课程教学的现状分析入手,厘清传统教学模式在该课程教学中存在的问题,然后对课程组从事课程教学改革研究的内容、方法和过程进行了详细介绍。此次教学改革以面向应用为出发点,将原有教学内容进行了重新调整,重点突出实践教学部分,利用成熟的在线教学平台,结合丰富的实践案例,采用全新的教学模式,强化了学生在实际应用场景下分析问题、解决问题能力的培养。

关键词： 信息化教学   项目式教学   课程设计   课程改革  

摘要： 项目式教学改革的推广使得高职院校的某些课程取得了一定成绩,学生和老师更了解企业实际完成项目的流程、要素和关键点。但笔者在实施项目式教学的过程中发现,受到项目、老师、学生等多方面因素会影响项目式教学的效果。信息化的教学资源和手段为教学注入了新的活力,当信息化教学与项目式教学相融合进行课程改革时,产生了很多变化。本文以“JAVA程序设计基础”课程为例,从课程的总体设计、实施细节、关键内容、课程变化等几方面阐述信息化教学与项目式教学是如何融合进行课程改革的。