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.

LITHIUM PASSIVATION OF ZN AND CD ACCEPTORS IN P-TYPE GAAS

We report lithium passivation of the shallow acceptors Zn and Cd in p-type GaAs which we attribute to the formation of neutral Li-Zn and Li-Cd complexes. Similar to hydrogen, another group-I element, lithium strongly reduces the concentration of free holes when introduced into p-type GaAs. The passivation is inferred from an increase of both the hole mobility and the resisitivity throughout the bulk of the sample. It is observed most clearly for Li concentrations comparable to the shallow-acceptor concentration. In addition, compensation of shallow acceptors by randomly distributed donors is present in varying degree in the Li-diffused samples. Unlike hydrogenation of n-type GaAs, Li doping shows no evidence of neutralizing shallow donors in GaAs.

Improved BCS-type pairing for the relativistic mean-field theory

A density-dependent delta interaction (DDDI) is proposed in the formalism of BCS-type pairing correlations for exotic nuclei whose Fermi surfaces are close to the threshold of the unbound state. It provides the possibility to pick up those states whose wave functions are concentrated in the nuclear region by making the pairing matrix elements state dependent. On this basis, the energy level distributions, occupations, and ground-state properties are self-consistently studied in the RMF theory with deformation. Calculations are performed for the Sr isotopic chain. A good description of the total energy per nucleon, deformations, two-neutron separation energies and isotope shift from the proton drip line to the neutron drip line is found. Especially, by comparing the single-particle structure from the DDDI pairing interaction with that from the constant pairing interaction for a very neutron-rich nucleus it is demonstrated that the DDDI pairing method improves the treatment of the pairing in the continuum.

Enhanced nucleation of Ag nanoparticles by vacancy-type defects in Ar-ions implanted spinel

Vacancy-type defects are introduced into magnesium aluminate spine] (MgAl2O4 (1 1 0)) by Ar-ions implantation, and then Ag-ions are implanted into the depth rich in vacancy-type defects. The ultraviolet-visible spectrometry (UV-VIS) and positron annihilation spectroscopy (PAS) are used to study the influence of vacancy-type defects on nucleation of Ag nanoparticles. After introduction of vacancy-type defects the pronounced increase of surface plasmon resonance (SPR) absorbance intensity indicates that defects enhance the nucleation of Ag nanoparticles. The PAS results reveal that vacancy-type defects provide pre-nucleating centers for Ag nanoparticles nucleation and growth. (C) 2010 Elsevier B.V. All rights reserved.

Studies on the aconitine-type alkaloids in the roots of Aconitum Carmichaeli Debx. by HPLC/ESIMS/MSn

Studies of aconitine-type alkaloids in the Chinese herb Aconitum Carmichaeli were performed by HPLC/ESIMS/MSn and FTICR/ESIMS in positive ion mode. The characteristic fragmentation pathways in the MSn spectra were summarized based on previously published research literature and further study. According to the fragmentation pathways of mass spectrometry, results from the analysis of standard compounds and reports from literature, 111 compounds were identified or deduced in a total of 117 found compounds in A. Carmichaeli. In the 11 monoester-diterpenoid alkaloids (MDA), 10 diesterditerpenoid alkaloids (DDA) and 81 lipo-alkaloids, the novel alkaloids including 1 MDA, 2 DDA and 48 lipo-alkaloids were detected.

Hydrothermal synthesis, crystal structure and electrochemical properties of a novel 3D Dawson-type polyoxometalate supramolecular network

A novel Dawson-type polyoxometalate supramolecular architecture of the formula [4,4'-H(2)bipy](2.5)center dot[4,4'-Hbipy]center dot[P2W18O62]center dot 6.25H(2)O (4,4'-bipy = 4,4'-bipyridine) has been hydrothermally synthesised and characterised by means of elemental analysis, IR, CV and X-ray single-crystal diffraction. X-ray crystallography indicates that the title compound consists of Dawson-type polyoxoaions [P2W18O62](6-), water molecules and 4,4'-bipy units. The polyoxoanion clusters together with 4,4'-bipy units and water molecules to construct the three-dimensional supramolecular network through hydrogen bonds. The crystal structure analyses reveal that water molecules and 4,4'-bipy units play the important role on the packing arrangements of crystals. Cyclic voltammetry shows that the title compound exhibits three chemically reversible steps

Synthesis, structure and properties of alpha-Keggin-type of K6H3[ZnW11O40Al]center dot 9.5H(2)O

A new heteropolycomplex, K6H3[ZnW11O40Al] . 9.5H(2)O was prepared and characterized by means of elemental analysis, IR, UV spectroscopy, Al-27 NMR, electrochemistry and X-ray crystallography. The crystal of K6H3[ZnW11O40Al] . 9.5H(2)O is cubic, space group Fm-3m, with lattice constants a=b=c=2. 144 8(2) nm, V = 9.866(2) nm(3), Mo radiation, R = 0.057 8 for 497 independent data with [I>2 delta(I)]. The anion is of alpha-type Keggin structure with C-s symmetry.

Electrocatalytic reduction of nitrite using Dawson-type tungstodiphosphate anions in aqueous solutions, adsorbed on a glassy carbon electrode and doped in polypyrrole film

The electrochemical behavior of Dawson-type P2W18O626- adsorbed on a glassy carbon electrode and doped in a polypyrrole film electrode was described. These modified electrodes all display catalytic activity for nitrite reduction, either in acid solutions or in pH > 4.0 solutions.

PREPARATION AND PROPERTIES OF POLYPYRROLE FILM DOPED WITH A DAWSON-TYPE HETEROPOLYANION

The electropolymerization of pyrrole in the presence of Dawson-type tungstophosphate yields a polypyrrole (PPy) film doped with tungstophosphate anions on the electrode surfaces. The electrochemical behaviour of this film was described, and the stability

Cflec-4, a multidomain C-type lectin involved in immune defense of Zhikong scallop Chlamys farreri

C-type lectins are a superfamily of carbohydrate-recognition proteins which play crucial roles in the innate immunity. In this study, a novel multidomain C-type lectin gene from scallop Chlamys farreri (designated as Cflec-4) was cloned by RACE approach based on EST analysis. The full-length cDNA of Cflec-4 was of 2086 bp. The open reading frame was of 1830 bp and encoded a polypeptide of 609 amino acids, including a signal sequence and four dissimilar carbohydrate-recognition domains (CRDs). The deduced amino acid sequence of CflecA shared high similarities to other C-type lectin family members. The phylogenetic analysis revealed the divergence between the three N-terminal CRDs and the C-terminal one, suggesting that the four CRDs in Cflec-4 originated by repeated duplication of different primordial CRD. The potential tertiary structure of each CRD in Cflec-4 was typical double-loop structure with Ca2+-binding site 2 in the long loop region and two conserved disulfide bridges at the bases of the loops. The tissue distribution of Cflec-4 mRNA was examined by fluorescent quantitative real-time PCR. In the healthy scallops, the Cflec-4 transcripts could be only detected in gonad and hepatopancreas, whereas in the Listonella anguillarum challenged scallops, it could be also detected in hemocytes. These results collectively suggested that CflecA was involved in the immune defense of scallop against pathogen infection and provided new insight into the evolution of C-type lectin superfamily. (C) 2009 Elsevier Ltd. All rights reserved.

Cloning and characterization of a novel C-type lectin gene from shrimp Litopenaeus vannamei

In invertebrates, C-type lectins play crucial roles in innate immunity responses by mediating the recognition of host cells to pathogens and clearing microinvaders, which interact with carbohydrates and function as pattern recognition receptors (PRRs). A novel C-type lectin gene (LvLec) cDNA was cloned from hemocytes of Litopenaeus vannamei by expressed sequence tag (EST) and rapid amplification of cDNA ends (RACE) PCR. The full-length cDNA of LvLec was of 618 bp, consisting of a 5'-terminal untranslated region (UTR) of 60 bp and a 3'-UTR of 87 bp with a poly (A) tail. The deduced amino acid sequence of LvLec possessed all conserved features critical for the fundamental structure, such as the four cysteine residues (Cys(53), Cys(128), Cys(144), Cys(152)) involved in the formation of disulfides bridges and the potential Ca2+/carbohydrate-binding sites. The high similarity and the close phylogenetic relationship of LvLec shared with C-type lectins from vertebrates and invertebrates. The structural features of LvLec indicated that it was an invertebrate counterpart of the C-type lectin family. The cDNA fragment encoding the mature peptide of LvLec was recombined and expressed in Escherichia coli BL21(DE3)-pLysS. The recombinant protein (rLvLec) could agglutinate bacteria E. coli JM109 depending on Ca2+, and the agglutination could be inhibited by mannose and EDTA. These results indicated that LvLec was a new member of C-type lectin family and involved in the immune defence response to Gram negative bacteria in Litopenaeus vannamei. (C) 2008 Elsevier Ltd. All rights reserved.

Molecular cloning, characterization and expression analysis of a putative C-type lectin (Fclectin) gene in Chinese shrimp Fenneropenaeus chinensis

Lectin is regarded as a potential molecule involved in immune recognition and phagocytosis through opsonization in crustacean. Knowledge on lectin at molecular level would help us to understand its regulation mechanism in crustacean immune system. A novel C-type lectin gene (Fclectin) was cloned from hemocytes of Chinese shrimp Fenneropenaeus chinensis by 3' and 5' rapid amplification of cDNA ends (RACE) PCR. The full-length cDNA consists of 1482 bp with an 861 bp open reading frame, encoding 287 amino acids. The deduced amino acid sequence contains a putative signal peptide of 19 amino acids. It also contains two carbohydrate recognition domains/C-type lectin-like domains (CRD1 and CRD2), which share 78% identity with each other. CRD1 and CRD2 showed 34% and 30% identity with that of mannose-binding lectin from Japanese lamprey (Lethenteron japonicum), respectively. Both CRD1 and CRD2 of Fclectin have I I amino acids residues, which are relatively invariant in animals' C-type lectin CRDs. Five residues at Ca2+ binding site I are conserved in Fclectin. The potential Ca2+/carbohydrate-binding (site 2) motif QPD, E, NP (Gln-Pro-Asp, Glu, Asn-Pro) presented in the two CRDs of Fclectin may support its ability to bind galactose-type sugars. It could be deduced that Fclectin is a member of C-type lectin superfamily. Transcripts of Fclectin were found only in hemocytes by Northern blotting and RNA in situ hybridization. The variation of mRNA transcription level in hemocytes during artificial infection with bacteria and white spot syndrome virus (WSSV) was quantitated by capillary electrophoresis after RT-PCR. An exploration of mRNA expression variation after LPS stimulation was carried out in primarily cultured hemocytes in vitro. Expression profiles of Fclectin gene were greatly modified after bacteria, LPS or WSSV challenge. The above-stated data can provide us clues to understand the probable role of C-type lectin in innate immunity of shrimp and would be helpful to shrimp disease control. (c) 2006 Elsevier Ltd. All rights reserved.

Molecular cloning of an invertebrate goose-type lysozyme gene from Chlamys farreri, and lytic activity of the recombinant protein

Lysozyme is a widely distributed hydrolase possessing lytic activity against bacterial peptidoglycan, which enables it to protect the host against pathogenic infection. In the present study, the cDNA of an invertebrate goose-type lysozyme (designated CFLysG) was cloned from Zhikong scallop Chlamys farreri by expressed sequence tag (EST) and rapid amplification of cDNA ends (RACE) techniques. The full-length cDNA of CFLysG consisted of 829 nucleotides with a canonical polyadenylation signal sequence AATAAA and a poly(A) tail, and an open reading frame (ORF) of 603 bp encoding a polypeptide of 200 amino acid residues with a predicted molecular weight of 21.92 kDa and theoretical isoelectric point of 7.76. The high similarity of CFLysG with goose-type (g-type) lysozymes in vertebrate indicated that CFLysG should be an invertebrate counterpart of g-type lysozyme family, which suggested that the origin of g-type lysozyme preceded the emergence of urochordates and even preceded the emergence of deuterostomes. Similar to most g-type lysozymes, CFLysG possessed all conserved features critical for the fundamental structure and function of g-type lysozymes, such as three catalytic residues (Glu 82, Asp 97, Asp 108). By Northern blot analysis, mRNA transcript of CFLysG was found to be most abundantly expressed in the tissues of gills, hepatopancreas and gonad, weakly expressed in the tissues of haemocytes and mantle, while undetectable in the adductor muscle. These results suggested that CFLysG could possess combined features of both the immune and digestive adaptive lysozymes. To gain insight into the in vitro lytic activities of CFLysG, the mature peptide coding region was cloned into Pichia pastoris for heterogeneous expression. Recombinant CFLysG showed inhibitive effect on the growth of both Gram-positive and Gram-negative bacteria with more potent activities against Gram-positive bacteria, which indicated the involvement of CFLysG in the innate immunity of C. farreri. (c) 2006 Elsevier Ltd. All rights reserved.

Molecular cloning and immune responsive expression of a novel C-type lectin gene from bay scallop Argopecten irradians

C-type lectins are Ca2+-dependent carbohydrate-recognition proteins that play crucial roles in innate immunity. The cDNA of C-type lectin (AiCTL1) in the bay scallop Argopecten irradians was cloned by expressed sequence tag (EST) and RACE techniques. The full-length cDNA of AiCTL1 was 660 bp, consisting of a T-terminal. untranslated region (UTR) of 30 bp and a 3' UTR of 132 bp with a polyadenylation signal sequence AATAAA and a poly(A) tail. The AiCTL1 cDNA encoded a polypeptide of 166 amino acids with a putative signal peptide of 20 amino acid residues and a mature protein of 146 amino acids. The deduced amino acid sequence of AiCTL1 was highly similar to those of the C-type lectins from other animals and contained a typical carbohydrate-recognition domain (CRD) of 121 residues, which has four conserved disulfide-bonded cysteine residues that define the CRD and two additional cysteine residues at the amino terminus. AiCTL1 mRNA was dominantly expressed in the hemocytes of the bay scallop. The temporal expression of AiCTL1 mRNA in hemocytes was increased by 5.7-and 4.9-fold at 6 h after injury and 8 h after injection of bacteria, respectively. The structural features, high similarity and expression pattern of AiCTL1 indicate that the gene may be involved in injury heating and the immune response in A. irradians. (c) 2008 Elsevier Ltd. All rights reserved.