并发Java���序同步操作的有效删除

同步操作是并发Java���序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java���译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.

基于素数序列的Java���希表性能优化

分析了Java���希表的实现特点并给出了导致其性能恶化的一种数据模式.针对这种数据模式的特点,提出了基于素数序列的哈希表优化方法,从而几乎完全避免了该模式下哈希表的性能恶化.实验与理论结果表明:对提出的模式数据,优化方法产生的Hash碰撞比JDK中的方法下降接近100%,而且对随机数据下的Java���希表性能也有改善.

Java���序中数组越界和空指针错误的静态分析

介绍了静态分析的相关背景知识,对Java���序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java���态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论.

一种用于APLA→JAVA���统可靠性评估模型

软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA���统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案.数据分析表明该模型具有合理性和可行性.

Jeode让Java���嵌入式系统中运转如飞

随着Ｊａｖａ技术在嵌入式系统中的应用，它的缺点不断暴露，针对这种情况，本文介绍了一种能提高Ｊａｖａ性能的嵌入式虚拟机（Ｊｅｏｄｅ），以此来促进嵌入式系统的应用。

JUTA:一个Java���动化单元测试工具

描述了一个Java���动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java���法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java���元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.

用JAVA���发的机器人遥操作系统

基于WEB服务器的机器人控制把传统机器人控制技术和最近数十年兴起的INTERNET技术结合到了一起。由于现在INTERNET技术的普及,这种技术结合消除了传统机器人在普通大众前的神秘感,使机器人的应用层次达到了普通百姓的认识层次。文章着重介绍了如何用Java���言开发遥操作系统。在设计该技术时充分考虑了机器人控制的实用性以及所采用的各种INTERNET通讯技术以满足传统机器人的控制要求。

基于Java RMI的分布式数据库应用系统的实现

Java���供了对象序列化技术，利用此技术把数据对象序列化在网络上传输，从而实现多层分布式数据库应用中数据对象的迁移. Java���RMI 大大增强了Java���发分布式应用的能力，是开发纯Java���的网络分布式应用系统的核心解决方案之一。本文以一个简单的三层分布式应用系统为例，详细介绍利用Java RMI。及对象序列化技术来实现多层分布式数据库应用。

利用Java���接字技术实现分布式数据库间数据传输

分布式数据库是成熟数据库技术与网络技术的产物，是构建新的管理信息系统或重重且已有集中式系统的实用的体系结构。由于其分布性，必须要有数据库之间的数据相互访问与传输。讨论了利用java���接字进行分布式数据库之间数据的传输的实现。

SNPNB: analyzing neighboring-nucleotide biases on single nucleotide polymorphisms (SNPs)

SNPNB is a user-friendly and platform-independent application for analyzing Single Nucleotide Polymorphism NeighBoring sequence context and nucleotide bias patterns, and subsequently evaluating the effective SNP size for the bias patterns observed from the whole data. It was implemented by Java and Perl. SNPNB can efficiently handle genome-wide or chromosome-wide SNP data analysis in a PC or a workstation. It provides visualizations of the bias patterns for SNPs or each type of SNPs.

基于JMF的跨平台视频点播系统的设计与实现

利用Java���体框架(JMF)开发的视频点播系统具有开发简单、跨平台、提供QoS保证和交互性好等优点,具有广泛的应用前景.介绍了JMF应用编程接口的特点和结构,阐述了基于JMF开发的跨平台的视频点播系统的整体结构设计,并详细介绍了基于RTP的实时媒体传输、基于RTCP的拥塞控制、完整VCR操作和穿越NAT等关键技术的具体实现.

多线程程序数据竞争的静态检测

多线程并发程序的广泛使用带来了更多的数据竞争错误．传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误．因此，提出了一个精确有效的静态检测框架：分析应用了精确的别名分析并静态模拟了访问事件发生序；为提高分析效率，检测算法提出了一个以对象为中心，结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示．检测框架在一个静态Java���译器JTool上做了实现，对于测试程序取得了很好的分析结果．

JNI技术实现跨平台开发的研究

在实践开发网格计算服务的过程中遇到了跨平台与服务运行效率的问题,在解决问题的过程中对Java���JNI技术进行了较深入的研究.对开发过程中使用JNI技术的重点和难点所作研究后的一个归纳和总结,并结合具体的开发实例由浅入深地介绍了有效使用JNI技术实现跨平台开发同时兼顾效率的有效方法.

一种任务类型敏感的J2EE事务调度算法

J2EE(Java 2 platform enterprise edition)是构建分布式企业应用的基础中间件平台,当前的J2EE事务对资源的访问调度仍然是简单的先来先服务策略,导致服务器负载很重时,次要任务和关键任务争夺有限的资源,降低了关键任务的性能与成功率.为此,有必要识别任务类型,在资源不足时优先保证关键任务事务的执行.但提交给J2EE的事务基于交互方式执行,且缺乏必要的调度信息,因而不能简单地沿用已有的优先级驱动调度算法.提出一种新的事务调度算法TMPBP(threaded multi-queue priority-based protocol),该算法能够安全、有效地提高系统重负载情况下关键事务的服务质量,防止饥饿和优先级倒置.TMPBP包含了一种新的启发式优先级分派算法HRS(heuristic resource statistics),可以在调度信息缺乏的J2EE环境下动态识别关键事务.结果表明,通过合理地选择参数,TMPBP算法能够显著地提高关键事务的服务质量.

一种支持JSR286的Portlet容器的设计与实现

门户可以将各种异构应用和数据资源集成到同一用户界面下，并根据用户或角色的不同，形成个性化访问页面，进而实现信息的有效传递。门户作为信息集成与发布的有效手段已经获得了广泛的认可。 门户采用基于组件化的方式进行构建。Portlet容器是其重要组成部分，负责管理Portlet组件的生命周期，提供Portlet组件的运行环境，同时提供容器访问接口接受来自门户服务器的容器请求，并将Portlet产生的标记片段返回给门户系统以聚合形成门户显示页面。 Portlet容器的需求来源于Portlet规范和门户两方面。门户的广泛应用对门户系统提出了新的要求，2008年3月JCP组织(Java Community Process)提出了新的Portlet规范即JSR286规范，门户系统需要修改其Portlet容器以适应这种变化。 本文从JSR286规范和门户需求出发，设计并实现了一个Portlet容器。首先根据JSR286规范对Portlet组件、界面和个性化三方面的特征进行分析；其次总结了Portlet容器的核心功能、系统边界，并给出了Portlet容器的模块设计；然后为满足生命周期状态控制和门户构建中协作重组的应用需求，对Portlet容器在这两方面进行了扩展，分别提出了容器中多粒度的生命周期状态控制以及Portlet协作时的事件转换机制；最后基于以上分析和设计，实现了一个Portlet容器，并将其应用在中科院软件所自主研发的门户产品OncePortal中。