practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

A special method to evaluate the strong adhesion between brittle coating and ductile substrate

The evaluation of the interfacial adhesion of coating system has always been a rough task. In this paper, a special testing method of cross-sectional indentation is applied on a model coating system, i.e. electroplated chromium on a steel substrate which is generally regarded as an example of materials pair with strong adhesion. Based on fractography analysis with SEM and interfacial stress simulation with FEM, it is found that interfacial shear stress may induce coating spalling. More interestingly, spalling location is sensitive to substrate pretreatment process. This shows the feasibility of cross-sectional indentation to distinguish interfacial strength at a high level.

Special effects of YbF3 on the structural changes for fluorophosphate glass

From Raman and IR spectra, obvious differences of the glass structure were observed in non-Yb3+-doped and Yb3+ -doped fluorophosphate glasses. Results showed that Yb3+ ions can induce, in a better glass, polymerization and network uniformity. Compared with the monophosphate-mastered Yb3+-free glass, Yb3+-doped glass has a pyrophosphate environment. The main building blocks in Yb3+ -doped samples are metaphosphate groups, pyrophosphate groups (P-2(O,F)(7),PO3F), Al[F-6]+Al[O,F](6) and F3Al-O-AlF3 while those of the Yb3+ -free glasses are monophosphate groups P(O,F)(4), little pyrophosphate groups, Al[F-4]+Al[F-6]+Al[O,F](4)+Al[O,F](6) and F3Al-O-AlF3. The DSC analysis also showed a slight increase in crystallization stability. (c) 2005 Elsevier B.V. All rights reserved.

Mitochondrial cytochrome b gene sequences of Old World monkeys: With special reference on evolution of Asian colobines

The classification and phylogenetic relationships of the Old World monkeys are still controversial. For Asian colobines, from three to nine genera were recognized by different primatologists. In the present study, we have sequenced a 424 bp mitochondrial tRNA(Thr) gene and cytochrome b gene fragment from Macaca mulatta, Mandrillus sphinx, Mandrillus leucophaeus, Semnopithecus entellus, Trachypithecus vetulus, T. johnii, T. phayrei, T. francoisi, Pygathrix nemaeus, Rhinopithecus roxellanae, R. bieti, R. avunculus, Nasalis larvatus, and Colobus polykomos in order to gain independent information on the classification and phylogenetic relationships of those species. Phylogenetic trees were constructed with parsimony analysis by weighting transversions 5 or 10 fold greater than transitions. Our results support the following conclusions: (1) the Old World monkeys are divided into two subfamilies; (2) that among the colobines, Colobus, the African group, diverged first, and Nasalis and Rhinopithecus form a sister clade to Pygathrix; (3) that there are two clades within leaf monkeys, i.e. 1) S. entellus, T. johnii, and T. vetulus, and 2) T, phayrei and T. francoisi; (4) that Rhinopithecus avunculus, R. roxellanae, and R. bieti are closely related to each other, and they should be placed into the same subgenus; (5) that Rhinopithecus is a distinct genus; and (6) that the ancestors of Asian colobines migrated from Africa to Asia during the late Pliocene or early Pleistocene.

Molecular systematics of Xenocyprinae (Teleostei : Cyprinidae): Taxonomy, biogeography, and coevolution of a special group restricted in east Asia

We surveyed mitochondrial DNA (mtDNA) sequence variation in the subfamily Xenocyprinae from China and used these data to estimate intraspecific, interspecific, and intergeneric phylogeny and assess biogeographic scenarios underlying the geographic structu

Taxonomic problems in the Drosophila melanica species group (Diptera : Drosophilidae) from southern China, with special reference to karyotypes and reproductive isolation

Karyotypes and reproductive isolation were studied in two allopatric populations of Drosophila tsigana, one from Guizhou Province in southern China and the other from Hokkaido in northern Japan, and in one population of a closely related species, D. longi

Photosynthesis and growth of Arthrospira (Spirulina) platensis (Cyanophyta) in response to solar UV radiation, with special reference to its minor variant

The minor variant of the economically important cyanobacterium, Arthrospira platensis, usually appears in commercial production ponds under solar radiation. However, how sensitive the minor variant to solar UVR and whether its occurrence relates to the solar exposures are not known. We investigated the photochemical efficiency of PSII and growth rate of D-0083 strain and its minor variant in semi-continuous cultures under PAR (400-700 nm) alone, PAR + UV-A (320-400 nm) and PAR + UV-A + UV-B (280-700 nm) of solar radiation. The effective quantum yield of D-0083 at 14:00 p.m. decreased by about 86% under PAR, 87% under PAR + UV-A and 92% under PAR + UV-A + UV-B (280-315 nm), respectively. That of the minor variant was reduced by 93% under PAR and to undetectable values in the presence of UV-A or UV-A + UV-B. Diurnal change of the yield showed constant pattern during long-term (10 days) exposures, high in the early morning and late afternoon but the lowest at noontime in both strains, with the UVR-related inhibition being always higher in the variant than D-0083. During the long-term exposures, cells of D-0083 acclimated faster to solar UV radiation and showed paralleled growth rates among the treatments with or without UVR at the end of the experiment; however, growth of the minor variant was significantly reduced by UV-A and UV-B throughout the period. Comparing to the major strain D-0083, the minor variant was more sensitive to UVR in terms of its growth, quantum yield and acclimation to solar radiation. (c) 2007 Elsevier B.V. All rights reserved.