并发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套接字进行分布式数据库之间数据的传输的实现。

Constitutive plasma membrane targeting and microdomain localization of Dok5 studied by single-molecule microscopy

In the present study, single-molecule fluorescence microscopy was used to examine the characteristics of plasma membrane targeting and microdomain localization of enhanced yellow fluorescent protein (eYFP)-tagged wild-type Dok5 and its variants in living Chinese hamster ovary (CHO) cells. We found that Dok5 can target constitutively to the plasma membrane, and the PH domain is essential for this process. Furthermore, single-molecule trajectories analysis revealed that Dok5 can constitutively partition into microdomain on the plasma membrane. Finally, the potential mechanism of microdomain localization of Dok5 was discussed. This study provided insights into the characteristics of plasma membrane targeting and microdomain localization of Dok5 in living CHO cells. (C) 2008 Elsevier B.V. All rights reserved.

Heterodimerization of integrin Mac-1 subunits studied by single-molecule imaging

Heterodimerization of integrin Mac-1 (alpha(M) beta(2)) Subunits plays important role on regulating leukocytes adhesion to extracellular matrix or endothelial cells. Here, using total internal reflection microscopy, we investigated the heterodimerization of integrin Mac-1 subunits at the single-molecule level in live cells. Individual alpha(M) subunit fused to the enhanced yellow fluorescent protein (eYFP) was imaged at the basal plasma membrane of live Chinese hamster ovary (CHO) cells. Through analysis of mean square displacement (MSD), diffusion coefficient, the size of restricted domain and fraction of molecules undergoing restricted diffusion, we found that as compared with the diffusion in the absence of beta(2) subunit, the diffusion of single-molecule of alpha(M)-YFP was suppressed significantly in the presence of beta(2) subunit. Thus, based on the oligomerization-induced trapping model, we suggested that in the presence of beta(2) subunit, the am subunit may form heterodimer with it. (C) 2008 Elsevier Inc. All rights reserved.

Detection of constitutive heterodimerization of the integrin Mac-1 subunits by fluorescence resonance energy transfer in living cells

Macrophage differentiation antigen associated with complement three receptor function (Mac-1) belongs to beta(2) subfamily of integrins that mediate important cell-cell and cell-extracellular matrix interactions. Biochemical studies have indicated that Mac-1 is a constitutive heterodimer in vitro. Here, we detected the heterodimerization of Mac-1 subunits in living cells by means of two fluorescence resonance energy transfer (FRET) techniques (fluorescence microscopy and fluorescence spectroscopy) and our results demonstrated that there is constitutive heterodimerization of the Mac-1 subunits and this constitutive heterodimerization of the Mac-1 subunits is cell-type independent. Through FRET imaging, we found that heterodimers of Mac-1 mainly localized in plasma membrane, perinuclear, and Golgi area in living cells. Furthermore, through analysis of the estimated physical distances between cyan fluorescent protein (CFP) and yellow fluorescent protein (YFP) fused to Mac-1 subunits, we suggested that the conformation of Mac-1 subunits is not affected by the fusion of CFP or YFP and inferred that Mac-1 subunits take different conformation when expressed in Chinese hamster ovary (CHO) and human embryonic kidney (HEK) 293T cells, respectively. (c) 2006 Elsevier Inc. All rights reserved.

Detection of constitutive homomeric associations of the integrins Mac-1 subunits by fluorescence resonance energy transfer in living cells

Integrins alpha(M)beta(2) plays important role on leukocytes, such as adhesion, migration, phagocytosis, and apoptosis. It was hypothesized that homomeric associations of integrin subunits provide a driving force for integrins activation, and simultaneously inducing the formation of integrins clusters. However, experimental reports on homomeric associations between integrin subunits are still controversial. Here, we proved the homomeric associations of the isolated Mac-1 subunits in living cells using three-channel fluorescence resonance energy transfer (FRET) microscopy and FRET spectra methods. We found that the extent of homomeric associations between beta(2) subunits is higher than alpha(M) subunits. Furthermore, FRET imaging indicated that the extent of homomeric associations of the Mac-1 subunits is higher along the plasma membrane than in the cytoplasm. Finally, we suggested that homomeric associations of the transmernbrane domains or/and cytoplasmic domains may provide the driving force for the formation of constitutive homomeric associations between alpha(M) or beta(2) subunits. (c) 2006 Elsevier Inc. All rights reserved.

The autocorrelation of speckles in deep Fresnel diffraction region and characterizations of random self-affine fractal surfaces

This paper studies the correlation properties of the speckles in the deep Fresnel diffraction region produced by the scattering of rough self-affine fractal surfaces. The autocorrelation function of the speckle intensities is formulated by the combination of the light scattering theory of Kirchhoff approximation and the principles of speckle statistics. We propose a method for extracting the three surface parameters, i.e. the roughness w, the lateral correlation length xi and the roughness exponent alpha, from the autocorrelation functions of speckles. This method is verified by simulating the speckle intensities and calculating the speckle autocorrelation function. We also find the phenomenon that for rough surfaces with alpha = 1, the structure of the speckles resembles that of the surface heights, which results from the effect of the peak and the valley parts of the surface, acting as micro-lenses converging and diverging the light waves.