教学课程资源库 更多>>

ISBN: (纸本)9787302237556

关键词： 软件保护   软件胎记   加权k-gram   引用定值链   支持向量机   语义保持变换  

摘要： 软件胎记作为软件中的固有属性,可用来对软件进行疑似盗版判定,从而对软件版权进行保护。本文针对软件胎记技术展开研究,在总结研究现状的基础上,提出了多种软件胎记的描述方法,具体而言,本文的研究成果主要包括以下三个方面: 1)针对k-gram静态软件胎记鲁棒性不高的问题,从k-gram碎片统计频率出发,计算所有k-gram碎片在不同语义保持变换下的平均变化率,以k-gram指令碎片抵抗语义保持变换强度作为权值来衡量指令碎片的重要程度,提出一种基于加权k-gram静态软件胎记。相比k-gram静态软件胎记和k-gram频率静态软件胎记,该胎记在抵抗语义保持变换攻击的性能上得到了有效地提升,且可信性仅少量降低。对于同种软件不同版本,同一类别不同软件之间的区分性能基本保持稳定。达到了较大幅度提高鲁棒性,少量或不降低可信性的要求。 2)针对基于k-gram思想的系列静态软件胎记对代码重排,冗余代码插入等语义保持变换抵抗程度低的问题,运用数据流分析技术,抽取对变量进行引用或定值的相关指令以及之间的依赖关系,提出一种基于“引用定值链”的静态软件胎记。其在一定程度上反映了程序语义,并对不影响数据流信息的语义保持变换抵抗效果优良。基于方法级别的相似度描述细化了比较粒度,增强了胎记对于模块盗版的检测和定位性能。 3)基于单一程序属性的软件胎记对于程序刻画具有局限性,相似性阈值设定依赖人工经验影响判定结果的准确性。针对这些问题,结合软件综合属性和机器学习分类的思想,提出一种基于多属性综合的静态软件胎记,并运用支持向量机进行分类判别。该研究思路通过从软件不同层次上分析和提取软件属性,对程序进行全面刻画,并通过SVM机器学习方法,克服了相似度比较模型及阈值选择时依赖人工经验的问题。最后,总结本文工作,并对下一步的研究进行了展望。

ISBN: (纸本)9787118074611

关键词： Java   教学改革   工作过程   学习情境  

摘要： 以企业对人才的需求为导向,结合教学实践经验,按照基于工作过程的改革思路,确定教学内容,并探讨了相应课堂学习情境的设计、教学方法和教学手段的革新,通过改革提高了学生的学习兴趣、培养了学生良好的编程思维和较强的动手能力,能够更好地适应企业的要求。

ISBN: (纸本)9787040319088

关键词： Grid computing   gridification   parallelism   Grid middlewares   Satin   resource-intensive applications   Java bytecode  

摘要： Exploiting Grids intuitively requires developers to alter their applications, which calls for expertise on Grid programming. Gridification tools address this problem by semi-automatically making user applications to be Grid-aware. However, most of these tools produce monolithic Grid applications in which common tuning mechanisms (e.g. parallelism) are not applicable, and do not reuse existing Grid middleware services. We propose BYG (BY tecode Gridifier), a gridification tool that relies on novel bytecode rewriting techniques to parallelize and easily execute existing applications via Grid middlewares. Experiments performed by using several computing intensive applications on a cluster and a simulated wide-area Grid suggest that our techniques are effective while staying competitive compared to programmatically using such services for gridifying applications.

关键词： 移动代码安全   静态分析   模型生成   扩展的下推自动机(EPDA)   面向对象   上下文感知  

摘要： 随着Java应用程序的广泛应用,移动代码安全问题越来越引起人们的关注,关于移动代码安全问题的研究也成为当前计算机科学中的热点之一。目前研究人员已经提出了很多方法来解决这一问题,尤其是在入侵检测领域,研究人员提出的一些方法都能从某些角度解决移动代码的安全问题,但都存在着各自的问题。在这些解决方法中,R. Sekar提出的携带模型代码(Model-carrying code)方法对于非确信的移动代码的安全执行提供了系统、全面的解决该问题的框架,但仍存在需要完善的方面。 本文采用扩展后的下推自动机(EPDA)作为核心模型,以MCC方法为研究背景,在此方法基础上,对MCC方法做了进一步的改进,给出了基于扩展后的下推自动机(EPDA)的Java源代码的安全相关行为模型的形式化定义和抽象表示,并且介绍了对于方法间控制流和数据流的分析方法。这些改进都大大的提升了静态分析的能力使之更适用于面向对象的语言。除此之外,我们还一并对面向对象语言的其他一些特性,如异常、多态性、类、对象等做了处理。

关键词： Moodle   任务驱动式教学   JAVA网络课程  

摘要： 课程管理系统(CMS)自从20世纪八十年代后在发达国家得到发展以来,截止到2007年六月已出现60多种,其中最著名的有Blackboard Learning System,Sakai和Moodle。Moodle由于其强大的功能,开源的平台和免费使用的特点,在我国得到了一些发展。 JAVA是一门面向对象的编程语言,这种计算机语言深入到Web制作、程序开发、移动互联、电脑游戏等方面,因此也成为了一门高校计算机专业课。作为一门计算机语言,在教授过程中,仅仅依靠课堂的讲解不能很好的使学生理解和掌握。教师和学生都需要一种适合JAVA语言辅助教学的课程管理系统(CMS),Moodle是最好的选择之一。 本文尝试运用任务驱动式教学方法,根据JAVA语言的特点,依托Moodle的强大功能,设计出辅助学习的《Java程序设计》网络课程,并以北华大学师范分院现代教育技术系大三091班专科师范生为实验班,将该网络课程应用于实践,取得了一定的实验数据,达到了培养学生的自主学习和创新能力,培养学生学习计算机语言的方法、掌握计算机编程的思想以及运用计算机语言进行独立编程能力的预期效果。

关键词： Java应用程序   Java程序   Java虚拟机   class   文件组成   扩展名   浏览器  

摘要： Java程序可以是独立的应用程序（Application）和能在浏览器上执行的小应用程序（Appleto两种Java程序都由一个或多个扩展名为“class”的文件组成，都需要Java虚拟机（JVM）载入并翻译。

关键词： Java程序设计   双语教学  

摘要： 该文结合计算机专业双语教学的现状,分析了开展双语教学的可行性。从课程选择、可行性分析、教材选择、教学方法、教学手段和教学效果等方面,阐述了在Java程序设计中实施双语教学的实践过程。