NOx emission and thermal efficiency of a 300 MWe utility boiler retrofitted by air staging

Full-scale experiments were performed on a 300 MWe utility boiler retrofitted with air staging. In order to improve boiler thermal efficiency and to reduce NOx emission, the influencing factors including the overall excessive air ratio, the secondary air distribution pattern, the damper openings of CCOFA and SOFA, and pulverized coal fineness were investigated. Through comprehensive combustion adjustment, NOx emission decreased 182 ppm (NOx reduction efficiency was 44%), and boiler heat efficiency merely decreased 0.21%. After combustion improvement, high efficiency and low NOx emission was achieved in the utility coal-fired boiler retrofitted with air staging, and the unburned carbon in ash can maintain at a desired level where the utilization of fly-ash as byproducts was not influenced.

Utility of ITS1-5.8S-ITS2 sequences for species discrimination and phylogenetic inference of two closely related bucephalid digeneans (Digenea : Bucephalidae): Dollfustrema vaneyi and Dollfustrema hefeiensis

The complete internal transcribed spacer 1 (ITS1), 5.8S ribosomal DNA, and ITS2 region of the ribosomal DNA from 60 specimens belonging to two closely related bucephalid digeneans (Dollfustrema vaneyi and Dollfustrema hefeiensis) from different localities, hosts, and microhabitat sites were cloned to examine the level of sequence variation and the taxonomic levels to show utility in species identification and phylogeny estimation. Our data show that these molecular markers can help to discriminate the two species, which are morphologically very close and difficult to separate by classical methods. We found 21 haplotypes defined by 44 polymorphic positions in 38 individuals of D. vaneyi, and 16 haplotypes defined by 43 polymorphic positions in 22 individuals of D. hefeiensis. There is no shared haplotypes between the two species. Haplotype rather than nucleotide diversity is similar between the two species. Phylogenetic analyses reveal two robustly supported clades, one corresponding to D. vaneyi and the other corresponding to D. hefeiensis. However, the population structures between the two species seem to be incongruent and show no geographic and host-specific structure among them, further indicating that the two species may have had a more complex evolutionary history than expected.

Characterization of a highly conserved microsatellite marker with utility potentials in cyprinid fishes

A microsatellite locus, MFW1, originating from common carp is highly conserved in flanking nucleotides but variable in repeat length in some fishes from different families of the Cypriniformes. This orthologous locus is polymorphic in approximately 58% of the species tested in the order and is inherited by Mendelian law. It proved to be a potentially good marker in population genetics and in the cyprinid species-breeding programme in which no microsatellite markers were available.

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