An organic-inorganic vanadium oxide with one-dimensional ladder-type structure: hydrothermal synthesis, structure and characterization of [V4O10(o-phen)(2)]

A novel organic-inorganic hybrid vanadium oxide [V4O10(o-phen)(2)], involving all vanadium atoms present in +5 oxidation, has been hydrothermally synthesized and characterized by elemental analysis, IR, UV-vis, ESR, XPS spectra and TG-DTA thermal analysis. The single-crystal X-ray diffraction shows that the red-brown crystal is formed in the triclinic system, space group P (1) over bar, a = 9.782(2), b = 6.5124(14), c = 19.765(4) Angstrom, alpha = 89.94(2)degrees, beta = 100.66(2)degrees, gamma = 89.86(2)degrees. The title compound exhibits an infinite one-dimensional ladder-type tetravanadate skeleton with organonitrogen donors of o-phenanthroline ligands coordinated directly to the vanadium oxide framework.

Preparation, characterization and luminescent properties of MCM-41 type materials impregnated with rare earth complex

Hybrid materials incorporating Eu-(TTA)(3). 2H(2)O (7hereafter designated as Eu-TTA, with TTA: thenoyltrifluoroacetone) in unmodified or modified MCM-41 by 3-aminopropyl-triethoxysilane (APTES) were prepared by impregnation method. The obtained materials were characterized using X-ray diffraction (XRD), IR and diffuse reflectance spectroscopy and luminescence spectra. All the hybrid samples exhibited the characteristic emission bands of EU3+ under UV light excitation at room temperature, and the excitation spectra showed significant blue-shifts compared to the pure rare-earth complex. Although the red emission intensity in the modified hybrid was almost the half of the red emission intensity in the pure Eu-TTA complex at room temperature, the hybrid showed a much higher thermal stability due to the shielding character of the MCM-41 host.

Sol-gel-derived graphite organosilicate composite electrodes bulk-modified with Keggin-type alpha-germanomolybdic acid

A novel inorganic-organic hybrid material incorporating graphite powder and Keggin-type alpha -germanomolybdic acid (GeMo12) in methyltrimethoxysilane-based gels has been produced by the sol-gel technique and used to fabricate a chemically bulk-modified electrode. GeMo12 acts as a catalyst, graphite powder ensures conductivity by percolation, the silicate provides a rigid porous backbone, and the methyl groups endow hydrophobicity and thus limit the wetting section of the modified electrode. The GeMo12-modified graphite organosilicate composite electrode was characterized by cyclic and square-wave voltammetry. The modified electrode shows a high electrocatalytic activity toward the reduction of bromate, nitrite and hydrogen peroxide in acidic aqueous solution. In addition, the chemically-modified electrode has some distinct advantages over the traditional polyoxometalate-modified electrodes, such as long-term stability and especially repeatability of surface-renewal by simple mechanical polishing.

Evaluation of bond covalency and bond valence in Sr-doped perovskite-type compounds

Formulas for decomposing of complex crystals to a sum of binary crystals are described and applied to the study of bond covalency in La1-xSrxFeO3 (0.0 less than or equal to x less than or equal to 0.9) and Ca1-xSrxMnO3 (0.0 less than or equal to x less than or equal to 0.5). The bond valence is treated by bond-valence sums scheme. The results indicate that, for both compounds, with the increasing doping level, the bond covalency and bond valence show the same trend, namely, larger bond covalency corresponds to higher bond valence. For La1-xSrxFeO3, with the increase of doping level, the bond covalency of La-O, Ca-O decreases in the orthorhombic (0.0 less than or equal to x less than or equal to 0.2) and rhombohedral (0.4 less than or equal to x less than or equal to 0.7) systems, then increases slightly for the cubic (0.8 less than or equal to x less than or equal to 0.9) system, but that of Fe-O increases for all crystal systems. A sharp decrease in bond covalency was observed where the crystal changes from orthorhombic to rhombohedral, while a smooth trend was seen for the rhombohedral-to-cubic transition. On the other hand, for orthorhombic Ca1-xSrxMnO3, the bond covalency of Ca-O, Sr-O, and Mn-O (4-coordinate site) decreases with the increasing doping level, that of Mn-O (2-coordinate site) increases.

Comparative study on the doping effect of 3d elements in Bi(1.5)Pb(0.2)Sr(2)Ca(2)Cu(2.8)M(0.2)O(y) (M=Sc,Ti,V,Cr,Mn,Fe,Co,Ni, or Zn)

With XRD, R-T, and ac chi measurements a comparative study on the doping effects of 3d elements in Bi(1.5)Pb(0.2)Sr(2)Ca(2)Cu(2.8)M(0.2)O(y) (M = Sc, Ti, V, Cr, Mn, Fe, Co, Ni, or Zn) has been carried out. The effects of the former five members are significantly different, both on phase formed and on T-c, from the latter four. It seems that the effect on phase stabilization correlates with the valency of the doped cation. In connection with the instability of the 2223 phase, the correlation has been discussed.

An investigation on ion solvation and ion association in a gel-type solid state polymer electrolyte

Ion salvation and ion association in polytriethylene glycol dimethacrylate (PTREGD)-LiClO4 gel-type polymer electrolytes were investigated. It was found that the fraction of solute existing as single ions (alpha(i)) decreases and that of triple ions (alpha(i)) increases linearly with increasing LiClO4 concentration, while for ion pairs, as the salt concentration increases, its fraction (alpha(p)) increases first and then falls down. The findings can be rationalized by the fact that the ionic conductance of the polymer electrolyte may be mainly contributed by triple ions and higher ionic aggregates with unequal numbers of positive and negative charges in the salt concentration range of practical significance, i.e. in the range of 0.5-1.5 mol/l. The temperature dependence of these fractions was also examined. In the case of tetraethylene glycol as the solvent, alpha(i) and alpha(p) increase as the temperature is raised, but alpha(t) decreases as the temperature increases from 25 degrees C to 85 degrees C. It seems that the increase of alpha(i) and alpha(p) results from the redissociation of triple ions at higher temperature, The same changing trend of those fractions is also observed when PEG(400) is used as the solvent.

SYNTHESIS AND STRUCTURAL CHARACTERIZATION OF THE DAWSON-TYPE TUNGSTOPHOSPHATE HETEROPOLY COMPLEXES SUBSTITUTED BY NIOBIUM

Eight new complexes alpha(2)-M(7-m)H(m)[P2W17NbO62]. H2O and alpha-1, 2, 3-M(g-m)H(m) [P2W15Nb3O62]. XH(2)O(M=K, TMA, TEA, TBA) were synthesized and characterized by IR and UV spectroscopy, polarography, XPS and XRD methods. P-31 and W-183 NMR studies show that the niobium atoms in the anions are on the polar sites. The crystal of alpha-1, 2, 3-K7H2 [P2W15Nb3O62]. 30H(2)O is hexagonal, its cell parameters: a=1.9836(4), b=1.9836(9), c=1.5498(6)nm, alpha=beta=90 degrees, gamma=120 degrees.

An ancient C-type lectin in Chlamys farreri (CfLec-2) that mediate pathogen recognition and cellular adhesion

C-type lectins are a superfamily of Ca2+ dependent carbohydrate-recognition proteins which play significant diverse roles in nonself-recognition and clearance of invaders. In the present study, a C-type lectin (CfLec-2) from Zhikong scallop Chlamys farreri was selected to investigate its functions in innate immunity. The mRNA expression of CfLec-2 in hemocytes was significantly up-regulated (P < 0.01) after scallops were stimulated by LPS. PGN or beta-glucan, and reached the highest expression level at 12h post-stimulation, which was 72.5-, 23.6- or 43.8-fold compared with blank group, respectively. The recombinant Cflec-2 (designated as rCfLec-2) could bind LPS, PGN, mannan and zymosan in vitro, but it could not bind beta-glucan. Immunofluorescence assay with polyclonal antibody specific for Cflec-2 revealed that CfLec-2 was mainly located in the mantle, kidney and gonad. Furthermore, rCfLec-2 could bind to the surface of scallop hemocytes, and then initiated cellular adhesion and recruited hemocytes to enhance their encapsulation in vitro, and this process could be specifically blocked by anti-rCfLec-2 serum. These results collectively suggested that CfLec-2 from the primitive deuterostome C. farreri could perform two distinct immune functions, pathogen recognition and cellular adhesion synchronously, while these functions were performed by collectins and selectins in vertebrates, respectively. The synchronous functions of pathogen recognition and cellular adhesion performed by CfLec-2 tempted us to suspect that CfLec-2 was an ancient form of C-type lectin, and apparently the differentiation of these two functions mediated by C-type lectins occurred after mollusk in phylogeny. (C) 2010 Elsevier Ltd. All rights reserved.

大别山太湖地区榴辉岩变质P-T条件及构造意义

As far as the architecture of the south Dabie metamorphic terrain is concerned, there have been lots of different opinions for a long time. Wang et al. (1990, 1992) thought of it was a continuous terrain. Okay (1993) held that it consistes of two different tectonic terrains: the 'hot' and 'cold' eclogite belt. Liu and Wang (1998) held that it is composed of different metamorphic blocks through 'melange' in depth. For this reason, we have choiced Hualiangting reservoir of Taihu county as the study area treat eclogite as the investigated objection in this thesis, and employ the detailed 1 :10000 geological mapping, methods of Petrography and electonic probe anaylsis to probe into the architecture of the south Dabie metamorphic terrains. In the light of the eclogite occurrenc in the field, the analysis of Petrography, the research on metamoiphic P-T path and condition of the peak metamorphic P-T condition, the eclogite in the Taihu area of Dabieshan have been classified into three types eclogite from the south to the north: The zhujiachong type eclogite; The Daba type eclogite; (3) The Jinheqiao type eclogite, their mineral composition, structure, and mineral component vary continuously. These eclogites have the same rnetamoiphic stages, P-T evolution pattern, and their peak P-T condition varies continuously. The zhujiachong type eclogite is formed in the high pressure metamoiphic environment. The Jinheqiao type eclogite is formed in the typical ultra-high pressure environment. The Daba type eclogite is formed in the transformed metamorphic environment between high pressure and ultra-high pressure metamorphism. All these evidences show that the south Dabie metamorphic terrain is a continuous metamorphic block and no large fault ever existed.

Formation of the V center on H-type zeolites with thermal treatment

The effect of thermal treatment on H-MCM-22 and H-ZSM-5 zeolites was investigated using the electron spin resonance technique. A six-line signal (denoted as A, g = 2.048, A = 22. 15 G) was detected on H-MCM-22 after He purging at high temperatures, whose intensities increased with the treating temperature. The same signal was also found on H-ZSM-5 zeolites with different crystal sizes. The paramagnetic center was identified as a V center, namely, a hole of an electron trapped on an oxygen atom bonding to a nearby aluminum atom. These signals appeared only on a dealuminated sample or a sample concomitantly with dealumination. The formation of the hole might involve an electron transferring from the lattice oxygen to a nonframework aluminum species, and the hyperfine splitting is caused by the interaction between the electron hole locating on the p orbit of oxygen and the framework aluminum bonding with the oxygen. The signal disappeared after the sample was exposed to air or oxygen at room temperature. However, the process was reversible. A new set of signals (denoted as B, g(1) = 2.008, g(2) = 2.003, g(3) = 1.9985) was observed after oxygen adsorption on the H-MCM-22 pretreated with He at 973 K or He purging at 973 K on the H-MCM-22 pretreated with oxygen at 813 K, which was attributed to the O- species.

Type-alpha DPLs

This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for which termination is guaranteed and proof checking can be performed in time linear in the size of the proof. Type-alpha DPLs allow for lucid proof presentation and for efficient proof checking, but not for proof search. Type-omega DPLs allow for search as well as simple presentation and checking, but termination is no longer guaranteed and proof checking may diverge. We do not study type-omega DPLs here. We start by listing some common characteristics of DPLs. We then illustrate with a particularly simple example: a toy type-alpha DPL called PAR, for deducing parities. We present the abstract syntax of PAR, followed by two different kinds of formal semantics: evaluation and denotational. We then relate the two semantics and show how proof checking becomes tantamount to evaluation. We proceed to develop the proof theory of PAR, formulating and studying certain key notions such as observational equivalence that pervade all DPLs. We then present NDL, a type-alpha DPL for classical zero-order natural deduction. Our presentation of NDL mirrors that of PAR, showing how every basic concept that was introduced in PAR resurfaces in NDL. We present sample proofs of several well-known tautologies of propositional logic that demonstrate our thesis that DPL proofs are readable, writable, and concise. Next we contrast DPLs to typed logics based on the Curry-Howard isomorphism, and discuss the distinction between pure and augmented DPLs. Finally we consider the issue of implementing DPLs, presenting an implementation of PAR in SML and one in Athena, and end with some concluding remarks.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.

Simplifying transformations for type-alpha certificates

This paper presents an algorithm for simplifying NDL deductions. An array of simplifying transformations are rigorously defined. They are shown to be terminating, and to respect the formal semantis of the language. We also show that the transformations never increase the size or complexity of a deduction---in the worst case, they produce deductions of the same size and complexity as the original. We present several examples of proofs containing various types of "detours", and explain how our procedure eliminates them, resulting in smaller and cleaner deductions. All of the given transformations are fully implemented in SML-NJ. The complete code listing is presented, along with explanatory comments. Finally, although the transformations given here are defined for NDL, we point out that they can be applied to any type-alpha DPL that satisfies a few simple conditions.

Type Inference for Variant Object Types

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Flexibility of static typing can be recovered in different ways: in first-order systems, by the adoption of object types with variance annotations, in second-order systems by resorting to Self types. Type inference is known to be P-complete for first-order systems of finite and recursive object types, and NP-complete for a restricted version of Self types. The complexity of type inference for systems with variance annotations is yet unknown. This paper presents a new object type system based on the notion of Split types, a form of object types where every method is assigned two types, namely, an update type and a select type. The subtyping relation that arises for Split types is variant and, as a result, subtyping can be performed both in width and in depth. The new type system generalizes all the existing first-order type systems for objects, including systems based on variance annotations. Interestingly, the additional expressive power does not affect the complexity of the type inference problem, as we show by presenting an O(n^3) inference algorithm.