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.

A differential recursive scheme for suppression of Peak to average power ratio for OFDM

A differential recursive scheme for suppression of Peak to average power ratio (PAPR) for Orthogonal frequency division multiplexing (OFDM) signal is proposed in this thesis. The pseudo-randomized modulating vector for the subcarrier series is differentially phase-encoded between successive components in frequency domain first, and recursion manipulates several samples of Inverse fast Fourier transformation (IFFT) output in time domain. Theoretical analysis and experimental result exhibit advantage of differential recursive scheme over direct output scheme in PAPR suppression. And the overall block diagram of the scheme is also given.

The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.