automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Land-cover classification of China: integrated analysis of AVHRR imagery and geophysical data

Over last two decades, numerous studies have used remotely sensed data from the Advanced Very High Resolution Radiometer (AVHRR) sensors to map land use and land cover at large spatial scales, but achieved only limited success. In this paper, we employed an approach that combines both AVHRR images and geophysical datasets (e.g. climate, elevation). Three geophysical datasets are used in this study: annual mean temperature, annual precipitation, and elevation. We first divide China into nine bio-climatic regions, using the long-term mean climate data. For each of nine regions, the three geophysical data layers are stacked together with AVHRR data and AVHRR-derived vegetation index (Normalized Difference Vegetation Index) data, and the resultant multi-source datasets were then analysed to generate land-cover maps for individual regions, using supervised classification algorithms. The nine land-cover maps for individual regions were assembled together for China. The existing land-cover dataset derived from Landsat Thematic Mapper (TM) images was used to assess the accuracy of the classification that is based on AVHRR and geophysical data. Accuracy of individual regions varies from 73% to 89%, with an overall accuracy of 81% for China. The results showed that the methodology used in this study is, in general, feasible for large-scale land-cover mapping in China.

Industrial development and land use/cover change and their effects on local environment: a case study of Changshu in eastern coastal China

The interactions among industrial development, land use/cover change (LUCC), and environmental effects in Changshu in the eastern coastal China were analyzed using high-resolution Landsat TM data in 1990, 1995, 2000, and 2006, socio-economic data and water environmental quality monitoring data from research institutes and governmental departments. Three phases of industrial development in Changshu were examined (i.e., the three periods of 1990 to 1995, 1995 to 2000, and 2000 to 2006). Besides industrial development and rapid urbanization, land use/cover in Changshu had changed drastically from 1990 to 2006. This change was characterized by major replacements of farmland by urban and rural settlements, artificial ponds, forested and constructed land. Industrialization, urbanization, agricultural structure adjustment, and rural housing construction were the major socio-economic driving forces of LUCC in Changshu. In addition, the annual value of ecosystem services in Changshu decreased slightly during 1990-2000, but increased significantly during 2000-2006. Nevertheless, the local environmental quality in Changshu, especially in rural areas, has not yet been improved significantly. Thus, this paper suggests an increased attention to fully realize the role of land supply in adjustment of environment-friendly industrial structure and urban-rural spatial restructuring, and translating the land management and environmental protection policies into an optimized industrial distribution and land-use pattern.

Semisupervised Dimensionality Reduction and Classification Through Virtual Label Regression

Semisupervised dimensionality reduction has been attracting much attention as it not only utilizes both labeled and unlabeled data simultaneously, but also works well in the situation of out-of-sample. This paper proposes an effective approach of semisupervised dimensionality reduction through label propagation and label regression. Different from previous efforts, the new approach propagates the label information from labeled to unlabeled data with a well-designed mechanism of random walks, in which outliers are effectively detected and the obtained virtual labels of unlabeled data can be well encoded in a weighted regression model. These virtual labels are thereafter regressed with a linear model to calculate the projection matrix for dimensionality reduction. By this means, when the manifold or the clustering assumption of data is satisfied, the labels of labeled data can be correctly propagated to the unlabeled data; and thus, the proposed approach utilizes the labeled and the unlabeled data more effectively than previous work. Experimental results are carried out upon several databases, and the advantage of the new approach is well demonstrated.

Discriminative Orthogonal Neighborhood-Preserving Projections for Classification

Orthogonal neighborhood-preserving projection (ONPP) is a recently developed orthogonal linear algorithm for overcoming the out-of-sample problem existing in the well-known manifold learning algorithm, i.e., locally linear embedding. It has been shown that ONPP is a strong analyzer of high-dimensional data. However, when applied to classification problems in a supervised setting, ONPP only focuses on the intraclass geometrical information while ignores the interaction of samples from different classes. To enhance the performance of ONPP in classification, a new algorithm termed discriminative ONPP (DONPP) is proposed in this paper. DONPP 1) takes into account both intraclass and interclass geometries; 2) considers the neighborhood information of interclass relationships; and 3) follows the orthogonality property of ONPP. Furthermore, DONPP is extended to the semisupervised case, i.e., semisupervised DONPP (SDONPP). This uses unlabeled samples to improve the classification accuracy of the original DONPP. Empirical studies demonstrate the effectiveness of both DONPP and SDONPP.

Biologically Inspired Features for Scene Classification in Video Surveillance

Inspired by human visual cognition mechanism, this paper first presents a scene classification method based on an improved standard model feature. Compared with state-of-the-art efforts in scene classification, the newly proposed method is more robust, more selective, and of lower complexity. These advantages are demonstrated by two sets of experiments on both our own database and standard public ones. Furthermore, occlusion and disorder problems in scene classification in video surveillance are also first studied in this paper.

Classification of valence changes of trivalent rare earth ions in alkaline earth borates using artificial neural networks

The investigations of classification on the valence changes from RE3+ to RE2+ (RE = Eu, Sm, Yb, Tm) in host compounds of alkaline earth berate were performed using artificial neural networks (ANNs). For comparison, the common methods of pattern recognition, such as SIMCA, KNN, Fisher discriminant analysis and stepwise discriminant analysis were adopted. A learning set consisting of 24 host compounds and a test set consisting of 12 host compounds were characterized by eight crystal structure parameters. These parameters were reduced from 8 to 4 by leaps and bounds algorithm. The recognition rates from 87.5 to 95.8% and prediction capabilities from 75.0 to 91.7% were obtained. The results provided by ANN method were better than that achieved by the other four methods. (C) 1999 Elsevier Science B.V. All rights reserved.

MULTIVARIATE CLASSIFICATION BASED ON METAL CONTENTS IN HUMAN SENILE CATARACT LENSES

Multivariate classification methods were used to evaluate data on the concentrations of eight metals in human senile lenses measured by atomic absorption spectrometry. Principal components analysis and hierarchical clustering separated senile cataract lenses, nuclei from cataract lenses, and normal lenses into three classes on the basis of the eight elements. Stepwise discriminant analysis was applied to give discriminant functions with five selected variables. Results provided by the linear learning machine method were also satisfactory; the k-nearest neighbour method was less useful.

PenBase, the shrimp antimicrobial peptide penaeidin database: Sequence-based classification and recommended nomenclature

Antimicrobial peptides play a major role in innate immunity. The penaeidins, initially characterized from the shrimp Litopenaeus vannamei, are a family of antimicrobial peptides that appear to be expressed in all penaeid shrimps. As of recent, a large number of penaeid nucleotide sequences have been identified from a variety of penaeid shrimp species and these sequences currently reside in several databases under unique identifiers with no nomenclatural continuity. To facilitate research in this field and avoid potential confusion due to a diverse number of nomenclatural designations, we have made a systematic effort to collect, analyse, and classify all the penaeidin sequences available in every database. We have identified a common penaeidin signature and subsequently established a classification based on amino acid sequences. In order to clarify the naming process, we have introduced a 'penaeidin nomenclature' that can be applied to all extant and future penaeidins. A specialized database, PenBase, which is freely available at http://www.penbase.immunaqua.com, has been developed for the penaeidin family of antimicrobial peptides, to provide comprehensive information about their properties, diversity and nomenclature. (c) 2005 Elsevier Ltd. All rights reserved.