教学课程资源库 更多>>

关键词： 形式化方法   模型检测   Java路径探测器   深度优先搜索   启发式搜索  

摘要： 形式化方法是提高并发系统的安全性与可靠性的重要手段。JPF(Java Pathfinder)是一种精确的Java字节码状态模型检测工具。在阐述JPF工作原理的基础上,提出了一种适用于JPF的Java程序模型检测方法,包括Java程序模型的建立、状态空间搜索算法的扩展和配置,开发了Java程序反例轨迹轻量级的输出监听器。对Java程序实例进行验证,结果表明:该方法能有效地检测出多线程Java应用程序中难以检测到的并行漏洞。

关键词： 网络编程   语法规则   JavaIO   TCP   UDP  

摘要： 网络编程是Java程序设计课程的重要组成部分,它能够把学生所学基础知识进行系统化、合理化的集成。本文针对在教学中如何更好的开展网络编程的教学进行论述,以期对广大教师有一定的借鉴作用。

关键词： Java内存模型   模型检测   Java并发程序   多线程   软件测试  

摘要： 为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。

关键词： Java语言程序设计   阅读案例程序   项目设计学习   学习档案  

摘要： 从注重培养高职学生的实践应用能力、创新能力、自主探究能力出发,本文对高职高专Java语言程序设计的教学进行了有益探索。在实践中探索出了阅读案例程序、项目设计学习、学习档案袋等有效的教与学方法。

关键词： Java程序设计   项目驱动   教学改革  

摘要： 本文从高职学生的知识背景和实际接受能力出发,明确了"Java语言程序设计"课程的教学目标,提出了"三层次、八模块"的教学内容体系.本文还尝试使用"四步教学法"和"项目驱动教学法"进行教学实践,取得了良好的教学效果.

关键词： 无损压缩   Huffman编码   LZ77   DEFLATE   LZW   GZIPJAVA  

摘要： 随着知识爆炸式的发展,数据压缩在计算机领域起到举足轻重的作用。Huffman编码是一种常用的压缩方法,其原理是将使用次数多的代码转换成长度较短的代码,而使用次数少的可以使用较长的编码,并且保持编码的唯一可解性。LZ77算法通过使用已经出现过的相应匹配数据信息替换当前数据从而实现压缩功能。LZW算法是基于LZ77思想的一个变种。由于专利权原因,LZW没有得到像LZ77一样的流行。DEFLATE方法是LZ77算法与Huffman编码的组合,具有LZ77与Huffman编码的优势。DEFLATE方法具有开源通用高压缩率的优势,因此,得到了广泛的应用。将采用DEFLATE方法的GZIP压缩应用到B/S架构的企业应用中可以减小网络传输的数据量,进而提高系统的整体性能。

关键词： Java   JNT   C   DLL  

摘要： 本文介绍如何利用Java提供的c语言接口在Java中调用c函数，解决了在实际调用过程中可能碰到的技术问题，并通过实例给出了具体编程方法。

关键词： Java课程   理论教学   实践教学   教学模式  

摘要： 本文通过对Java课程理论教学、实践教学与“学-做-工”教学模式相结合的研究，提出了对提高学生对Java的应用能力，丰富项目开发经验，最终实现教学与IT企业人才需求对接的建议。

关键词： 高职高专院校   Java平台   程序设计基础   入门课程  

摘要： 针对高职高专课程改革思想,贯彻以技能为主导方针,对传统课程《程序设计基础》的教学思想及教学方法提出新的看法。根据高职高专实际情况,以市场为导向,突破传统,提出以Java语言为平台讲授《程序设计基础》,并作出相应的偿试。

关键词： CDIO   JAVA   做中学   案例教学  

摘要： 文章将CDIO工程教育理念引入到《JAVA程序设计》课程的教学过程中,论述了其在课程应用中的方案,通过"做中学"、"案例教学"及组建课外兴趣活动小组,激发了学生的学习兴趣,培养了他们的团队协作精神,提高了其学习的自觉性及程序设计能力,提高了课程的教学效果。