A new oxidation state of aniline pentamer observed in water-soluble electroactive oligoaniline-chitosan polymer

A novel water-soluble electroactive polymer, aniline pentamer crosslinked chitosan (Pentamer-c-Chi), was prepared by condensation polymerization of the terminal carboxyl groups in aniline pentamer with the amino side groups in chitosan in aqueous solution. The carboxyl groups were activated by N-hydroxysuccinimide (NHS) and N,N'-dicyclohexylcarbodiimide (I)CC). The electrochemical behavior of aniline pentamer in this kind of crosslinked polymer was studied in acidic aqueous solution by means of cyclic voltammetry (CV), UV-vis, and electron spin resonance (ESR) spectroscopy.

Synthesis and Electrical Properties of New Solid State Electrolyte Materials Ce6-xHoxMoO15-delta(0.0 <= x <= 1.2)

Ce6-xHoxMoO15-delta(0.0 <= x <= 1.2) was synthesized by modified sol-gel method and characterized by differential X-ray diffraction(XRD), Raman, and X-ray photoelectron spectroscopy(XPS) methods. The oxide ionic conductivity of the samples was investigated by AC impedance spectroscopy. It shows that all the samples are single phase with a cubic fluorite structure. The solid solution Ce6-xHoxMoO15-delta(x=0.6) was detected to be the best conducting phase with the highest conductivity(sigma(t)=1.05x10(-2) S/cm) at 800 degrees C and the lowest activation energy(E-a=1.09 eV). These properties suggest that this kind of material has a potential application in intermediate-low temperature solid oxide fuel cells.

Synthesis and electrical properties of new solid state. Electrolyte materials Ce5.2RE0.8MoO15-delta

A series of solid state electrolytes, Ce-5.2 RE0.8 MoO15-delta (RE = Y, La, Sm, Gd, Dy, Ho, Er), were synthesized by sol-gel method. Their structures and electrical conductivities were characterized by X-ray Diffraction (XRD), Raman and X-ray Photoelectron Spectroscopy (XPS) and AC impedance spectroscopy, respectively. The results show that the concentrations of oxygen vacancy increased with increasing x and their conductivity were improved. And the cell parameters increase as the radius of RE3+ increases. Because the ionic radius of doped Dy3+ (0.0908 nm) is closed to that of Ce4+ (0.0920 nm), their oxide has minimal cell elastic straining between RE3+ and oxygen vacancy, and the system has the least association enthalpy, thus the oxide Ce-5.2 Dy-0.8 MoO15-delta exhibits a higher conductivity (7.02 x 10(-3) S/cm) and lower activation energy (1.056 eV) compared to the other doped compounds.

A new solid-state electrolyte: Rubbery 'polymer-in-salt' containing LiN(CF3SO2)(2)

A new class of rubbery 'polymer-in-salt' electrolytes for application in solid-state lithium batteries has been explored by differential scanning calorimetry and a.c. impedance analysis. Simple phase diagrams of LiN(CF3SO2)(2)+LiClO4 and LiC(CF3SO2)(3)+LiN(CF3SO2)(2) have been drawn, which are very important to determine polymer-in-salt electrolyte materials. The conductivities obtained by a.c. impedance measurement are smaller for the electrolyte that contains acetate LiOAc salt than for the electrolyte without this salt.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.