教学课程资源库 更多>>

关键词： JAVA语言   程序设计  

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

摘要： 本教材共分为十一个单元, 主要内容包括: 第一个Java程序 ; Java基本语法 ; 运算符与选择结构 ; 循环结构 ; 对象、类和方法 ; 数组与字符串 ; 面向对象的Java实现 封装、继承、多态等。

ISBN: (纸本)9787560639765

关键词： 游戏化   教学方案   设计  

摘要： 本文深入分析了游戏和教学各自的特点,发现游戏在展示方式、规则设置、目的性、激励机制、交互性等方面占有明显的优势。我根据游戏的这些特点,改变传统的教学方式,结合新兴的计算机技术,以《Java语言程序设计》为例重新设计了一套教学方案。在该教学方案中,全课程贯穿一个项目,使学生有一个统一的目标;除了课堂教学外,录制相关的课程视频供学生随时复习;搭建在线教学平台,记录学生练习的成果,随时评价和反馈,使学生随时可以获得自己的学习效果信息;改变以往的独立实验方式,采用分组实验模式,不仅使学生能完成实验,还可以锻炼学生的交流能力和协作能力;改善交流平台,使学生可以不受身份和时空限制进行沟通。通过这些方面的改变,向游戏学习,使教学更加高效,使学生获益更多。

关键词： PAR   模型驱动   多媒体   本地事务处理   分布式事务处理  

摘要： 当前大数据、云计算、云服务、可信软件和模型驱动软件工程(MDE)等新技术和新概念已经成为计算机和信息领域普遍关注的研究热点。本文指导老师薛锦云主持承担的国家自然科学基金重大国际合作项目“若干软件新技术及其在PAR平台中的实验研究”、基金面上项目“高可靠软件建模语言及模型自动转换方法”的研究目标均是这些热点问题。其中PAR平台中的Apla→Java程序自动生成系统正是这两项国家级课题需要设计实现上述新概念和新技术的主要开发平台。本文的研究目标就是在研发扩充Apla→Java程序生成系统功能时,基于模型驱动的软件工程架构,有效地实现事务处理、异常处理和多媒体数据处理等新技术,使之和原有的Apla—Java程序自动生成系统自然融合。本文首先认真分析研究了事务处理、异常处理和多媒体数据处理的原理、特点和最新Java程序开发平台和支撑工具,提出了和原有建模语言Apla融合的事务处理和异常处理机制,并构建了从Apla事务处理和异常处理模型到Java语言事务处理和异常处理程序的自动转换系统。基于该转换系统可以自动生成本地事务处理和分布式事务处理Java程序,并以两个应用实例进行验证。本文还根据多媒体的大数据特征,探究了将Apla中原有文本数据库处理的简单方法运用于多媒体数据库处理的可能性,获得圆满成功,进而提出和原有文本数据库操作完全融合的多媒体数据操作语言机制,构建了相应多媒体操作构件库,用基于关系代数的文本数据库处理机制,实现了多媒体数据库处理模型到Java多媒体数据库处理系统的自动转换。最后用多个实例验证了该转换系统的正确性和可靠性。本文的主要创新点如下:(1)提出了抽象的事务处理和异常处理的语言机制并将其和Apla语言中的数据库处理机制自然融合,并构建了将自然融合的事务处理抽象程序转换成对应Java程序的系统,使得可以用建模语言Apla便捷地构建十分复杂的本地和分布事务处理应用程序,有利于进行形式化验证。转换系统可以将经过验证的事务处理程序转换成对应的Java程序,大幅度提高了事务处理程序的可靠性和研发效率。这一成果在国际国内均属首创。世界著名计算科学家美国Texas大学Misra教授在他提出的Orc建模语言中十分希望能实现事务处理机制,但至今尚未成功。(2)本文提出的抽象多媒体数据处理语言机制和Apla中基于关系代数的文本处理语言机制自然融合,并构建了将自然融合的语言程序自动转换成对应Java程序的方法和系统,使得可以用Apla语言对多媒体数据便捷地构建十分复杂的多媒体应用程序并对该程序的正确性进行形式化验证。最后可以将经过验证的抽象多媒体应用程序自动转换为具体的多媒体数据处理程序。这一功能和方法国际国内均未见报导。

ISBN: (纸本)9787115418425

ISBN: (纸本)9787111541905

关键词： 复杂网络   Java应用系统   小世界网络   幂律分布   类依赖关系   函数依赖关系  

摘要： 近年来,计算机科学领域发现利用复杂网络理论可以支持复杂的大型开源系统的程序分析,弥补了传统程序静态分析和动态分析方法的缺陷,并且能够以图论的方式实现可视化的程序结构性质分析。本文以复杂网络理论为基础,从小世界网络性质和无标度网络性质两点对Java应用系统进行程序分析,研究内容共有五点：一、对Java应用系统进行了类型调研,选用了符合常规类型的10种开源系统,并各选取3个系统作为样本,以保证实验数据的多样性和全面性；二、基于复杂网络理论,针对Java应用系统构建程序网络,并定义了明确的类依赖关系和函数依赖关系；三、基于以上所构建的程序网络,设计并实现了具体的依赖关系提取和加权算法,获取依赖关系所对应的有向加权网络；四、提取类依赖关系网络及函数依赖关系网络的拓扑特征值,并刻画其小世界网络性质用以分析和判断程序设计的优劣；五、计算有向加权网络中的出度及入度分布,并进一步通过幂律分布模型验证程序网络是否具有无标度特性,用以归纳Java应用系统的整体结构性质。通过一系列的实验分析,我们发现在Java应用系统中,类依赖关系网络具有小世界性质,而函数依赖关系并不具备该性质。此外,对于绝大多数系统而言,无论是出度还是入度分布都可能满足幂律分布。从这两个实验结论可以看出,在Java应用系统中,类结构符合高内聚低耦合的软件工程设计标准,且每一类系统都可能具有鲁棒性和脆弱性。实验表明,通过分析这两种网络拓扑性质既可以简单评判和呈现系统的结构特征,也可以帮助开发和维护人员利用复杂网络分析结论设计并优化开源软件系统,以实现优秀的软件架构和最佳的系统迭代。

ISBN: (纸本)9787121284939

ISBN: (纸本)9787517048749

关键词： Java   Web应用程序   安全技术  

摘要： 随着Java Web技术的发展,其应用程序安全技术也在各个方面进行了完善和改进,目前,应用程序的安全已经发展成为一个综合性的课题,对Java Web技术的进一步发展产生重要影响。Java Web应用程序的安全技术并不是自行运行的,都是通过安全管理器在权衡各方面因素之后所做出并实现的安全策略。安全技术作为Java Web应用程序的一种安全机制,需要得到代码来源的授权及认证,进而保护代码执行的安全性。但是当前的Java Web应用程序中还存在许多的缺陷和不足,在安全技术方面还有很多的漏洞,因此,需要针对Java Web应用程序的安全技术进行详细的技术分析与探讨,提出有效的安全解决措施,为更好的开发安全可靠的Java Web应用程序提供技术支持。