教学课程资源库 更多>>

关键词： 技术   移动终端  

关键词： J2ME   无线应用   资源受限设备   KVM   性能  

摘要： 目前在手机市场上，J2ME已经开始被广泛应用，几乎所有著名的手机制造商都推出了基于Java的手机产品。在日本，NTT推出的i-Mode的用户数量一直在直线上升，数据服务功能已经代替话音服务功能成为其营利的重点。在未来，手机、PDA等移动设备将成为我们日常生活和工作中的必备工具，下载程序、发送邮件、玩游戏等功能，都离不开J2ME的支持。 本文研究的主要内容有： 1．资源受限设备、嵌入式系统和无线数据应用平台的特点 解释了资源受限设备、嵌入式系统和无线数据应用平台的一些基本概念和特点；比较了目前比较流行的无线应用开发技术J2ME和BREW，充分说明了J2ME技术的美好前景。 2．J2ME技术的特点 包括J2ME的体系结构、J2ME的描述与配置、J2ME程序的运行基础——KVM、J2ME的安全性以及J2ME与Java 2的其它各个版本之间的关系等。 3．基于J2ME的无线数据应用系统的设计与实现 西安森特公司的移动警务系统的设计与实现。此系统的实现有两种可选的技术方案：基于短信技术的方案和基于HTTP协议的方案。作者经分析后最终选择了基于HTTP协议的方案来实现。 4．J2ME系统的性能改善 作者首先用代码优化的方式来减少程序占用的内存大小，然后尝试将部分J2ME的APIs native化，并比较了native化前后程序的执行速度。

ISBN: (纸本)7111113810

关键词： 不变式   Daikon   动态分析  

摘要： 软件项目管理的不规范性，软件产业人员的高度流动性，使得留下了很多基线不一致的，不好读懂的程序，这些程序往往造价高昂，其中很多还有重用价值，这时就迫切需要有一种工具可以帮助人们分析程序，甚至自动给程序添加注释，在提高可理解性的同时，减少程序员的工作量。Daikon是国外一种把动态分析技术和静态分析技术相结合的程序分析开源工具，功能强大，但是国内还没有人研究。大多数现有的软件分析工具或者是使用静态分析技术，或者是使用动态分析技术，很少有把两种技术的优点集中起来的分析程序。Daikon使用了程序分析的很多原理和技术，可以向程序中自动添加注释，也可以得到关于程序的形式化的规格说明，并可以用来进行程序退化测试。本文对Daikon中包含的各种原理，技术和实现进行了阐述，并提出了一些改进思想。 Daikon工具的各种语言前件在不同程序语言和Daikon之间架起了一座桥梁，对不同的程序语言编写的源程序进行处理，向源程序中添加了观察语句，观察每个程序点样本的值并把程序中各个变元的类型信息传递给Daikon。 Daikon对所推导的不变式的置信度问题进行了处理，判断每个不变式的偶然性概率，偶然性概率太大的不变式就会被否定，另外有些不变式虽然偶然性概率不大，但是程序点范围内可见的不同样本值元组太少，不足以支持该不变式，也被否决。 Daikon对分析出来的互相矛盾的不变式进行了解决，就是从这个矛盾不变式集合中随机的抽取一条不变式，直到剩下的不变式集合不矛盾为止，针对这点本文提出了利用启发式属性约简策略去替换这种随机策略，以得到更加优化的不变式集合。 Daikon推导不变式时使用了“权威性变元”策略，相等变元中的一个被选择作为“权威变元”，它代表了所有和它相等的变元所拥有的关系。使用这种思想推导出的不变式需要人工进行等量替换，影响了所产生的注释的直观性，用户可以屏蔽相应的“权威性变元”策略。 Daikon 利用面向对象的程序分片思想来实现其体系架构，本文对其架构给出了详细分析。Daikon使用数据流层次结构思想使其能更好地对 面向对象的语言进行分析。本文对Daikon的整个分析流程给出了描述。 本文测试发现Daikon能够很好地对面向对象语言编写的源程序进行分析（包括多态，多重继承，递归，异常等机制都有不错的效果），Daikon也可以对面向过程的语言进行处理。 本文对Daikon的时空复杂度问题进行了讨论，描述了它的影响因素。对于变元之间一些很重要的关系（比如4变元不变式，还有一些非线性不变式等），Daikon没给出相应的实现，就是受时空复杂度的局限，系统设计的思想也是有意识的牺牲完备性来换取系统的效率。 Daikon本身也有一些缺陷，例如对类集的支持不太好；执行离线操作以致对类频繁被调用的系统（比如实时系统）的支持不好；其所使用的外部程序Ajax（衡量变元间的可比较性）对一些大程序会失败等。 本文实现了一种对于Daikon工具的改进，把多个测试人员使用Daikon工具得出的不变式集，进行合并比对；当两个测试人员得到了相同的不变式时，选取偶然性概率比较小的不变式作为合并以后的不变式。也可以把得出的结果插入到待分析的源程序中，得出关于程序的更加精确而完备的描述。通过此改进减少了Daikon单人测试的工作量，有利于Daikon工具的进一步实用化。 本文为了合并不变式创建了一个中间树型，并使用访问者模式访问树型，进行相应程序点节点和不变式节点的合并操作，写入到一个新的InvMap映射对象中。访问者模式的实现使得这个改进具有很强的可扩展性，可以进一步扩展其它的功能。 本文对相关程序分析系统，Houdini和类规格生成器进行了分析，对它们的实现原理也进行了描述，比较了它们和Daikon的优缺点。 　　论文还提到了今后可以继续开展的课题，比如进一步减少系统时空开销从而可以分析变元之间更多的关系；用属性约简策略得到矛盾不变式的一个最优化子集，作者只是给出了一个思想，有待于进一步实现；进一步封装Daikon，使得Daikon可以利用图形界面更方便的对一个工程进行分析。

关键词： 中国   技术   应用   学术交流会  

关键词： Java3D,WebGIS,3DGIS,网络三维  

摘要： 随着地理信息系统应用的日益普及，它现在已经渗透进各个行业，人们对它的技术需求不断提高。以往单机运行的二维地理信息系统不再能满足人们对其应用的要求，而三维的网络地理信息系统正受到强烈的关注。当前，国内外对这方面的研究正处于起步阶段，技术尚不成熟，在这样的环境下，本文在以往已经形成的WebGIS和3DGIS的理论基础之上探讨了一种基于Java3D实现网络三维化的途径，并通过某小区三维场景网上发布的实验来验证这种方法的可行性。 由于网络三维地理信息系统是网络技术和三维技术的结合体，因此，本文首先介绍了WebGIS的相关理论，包括它的特点、构造方法、构造模型以及发展趋势。随后介绍了3DGIS技术：列举了它的数据模型、三维可视化技术以及数字城市的相关概念。最后本文讨论了网络三维的实现技术，比较了各种实现技术方法，并通过比较的结果分析总结，最终选择了Java3D技术。接着，论文介绍了Java3D在网络方面的优势和其实现机理。论文的最后详细说明了实验系统的设计流程，实现技术和结果。

关键词： Java,J2EE,JAAS,JCE,JSSE,RMI,Java Web,EJB,安全  

摘要： 在Java短短几年的发展历程中，它从一个被硬件公司感兴趣的项目，成长为面向服务器端、中间件编程的流行语言。它是平台独立、类型安全和紧凑的语言，有一个丰富的开发库，Java开发工具箱(JDK)和开放源码项目里提供了这些资源。但是，随着Java应用程序的广泛应用，Java安全问题日益错综复杂。本文通过暴露黑客攻击Java应用程序的方法和手段，提出了一些防御措施与方案。 本文面向熟悉Java语言及其主要概念的Java开发人员，主要从以下几个方面对Java安全技术进行了论述： 1) Java安全基础，J2EE的体系结构与安全； 2) Java应用以及网络安全，内容包括黑客常用攻击、防范对策以及RMI安全应用； 3) Web层和业务层的J2EE安全性，涉及Java Web应用、服务和EJB的安全。 本文研究的目的就是为了帮助应用程序开发者选择恰当的安全工具，并正确地使用它们，以保护自己的应用程序。

关键词： Java   会议   首席技术   JaVa  

摘要： Java Pro 杂志主办的第四届技术年会圆桌会议,在六月的 JavaOne 大会上举行。聚集了11位业界权威人士,一起探讨了 Java 的过去,现在和未来以及如何走向未来。会议由 Simon Phipps——Sun 公司的首席技术大师主持。两个小时的讨论涉及了

ISBN: (纸本)7115122334

关键词： 虚拟现实,增强现实,虚拟演播室,视频处理,虚实合成  

摘要： 随着生活水平提高，人们对影视节目的期望值也越来越高，提高电视节目的收视率对电视节目制作工作是一种新的挑战。虚拟演播室技术应运而生，它主要综合了计算机图形技术、多媒体技术、传感器技术、显示技术及仿真技术等多种技术为一体，将现场视频实时地与计算机绘制的三维场景结合在一起，制作出更精彩的电视节目。 目前，国际上的虚拟演播室系统已达到了商品化程度，但这些系统基本上是基于工作站的独立系统，其价格昂贵，一般都在100—300万元左右，在中国很难普及。为此本文以与辽宁电视台数字互动频道合作项目为依托，创建了一个基于PC机及Java技术的虚拟演播室系统，使中小电视台采用虚拟演播室技术、提高节目制作水平成为可能。 本文详细地介绍了基于Java3D和JMF技术的虚拟演播室系统的理论与技术；提出了基于PC机和Java技术的虚拟演播室系统的解决方案；实现了基于JMF API技术的视频格式文件(．MPG)读取，并应用多线程技术和生产者—消费者算法对离散后的视频和音频的轨道进行连续读取和控制，同时实现了对每一轨道图元进行提取有用像素和去除无用像素点集合的处理，并将处理后的视频轨道图元作为一种动态纹理添加到由计算机实时绘制的虚拟场景中；实现了基于多线程技术和键盘交互技术的虚拟演播室动态滚动字幕和静态字幕的设计；实现了基于线性插值的数学模型逼近切面圆，并用三角面片逼近法构造出具有良好光顺性和切矢量连续性的球缺及球冠等不规则几何形体，并对这些几何形体进行了相应的真实感处理；实现了基于Java3D技术的多种动画及交互式程序的开发；实现了基于Java3D的高级键盘与鼠标交互技术。 虚拟演播室系统研究与实现中的创新点为：提出了基于PC机与Java，Java3D及JMF技术的虚拟演播室系统的总体设计方法及解决方案，且该方案切实可行；解决了基于Java3D及JMF技术的视频读取、处理与动态纹理控制；创建出了基于三角面片逼近及Java3D技术的具有良好光顺性与切矢量连续性的不规则三维几何形体，并进行了相关的真实感处理技术，并将这些技术应用到虚拟演播室系统中，取得了良好的效果。