Multilayer assembly of Mn-substituted Keggin-type [ZnW11O39Mn(H2O)](8-) on chemically modified glassy carbon electrode and its electrocatalytic properties

Through layer-by-layer assembly, undecatungstozincates monosubstituted by transition metals Mn, ZnW11 Mn (H2O) O-39(8-) was successfully immobilized on a glassy carbon electrode surface grafted covalently by 4-aminobenzoic acid. The electrochemical behavior of these polyoxometalates was investigated. Cyclic voltammetry proves the uniform growth of the film. They exhibit some special electrochemical properties in the films, different from those in homogeneous aqueous solution. The effect of pH on the redox behavior of ZnW11Mn(H2O)O-39(8-) in the film was discussed in detail. The multilayer film electrodes have an excellent electrocatalytic response to the reduction of H2O2 and BrO3-, and to the oxidation of ascorbic acid.

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.

Supported phospholipid membranes: Comparison among different deposition methods for a phospholipid monolayer

Supported lipid membranes consisting of self-assembled alkanethiol and lipid monolayers on gold substrates could be produced by three different deposition methods: the Langmuir-Blodgett (L-B) technique, the painted method, and the paint-freeze method, By using cyclic voltammetry, chronoamperometry/chronocoulometry and a.c. impedance measurements, we demonstrated that lipid membranes prepared by these three deposition methods had obvious differences in specific capacitance, resistance and thickness. The specific capacitance of lipid membranes prepared by depositing an L-B monolayer on the alkanethiol alkylated surfaces was 0.53 mu Fcm(-2), 0.44 mu Fcm(-2) by the painted method and 0.68 mu Fcm(-2) by the paint-freeze method. The specific conductivity of lipid membranes prepared by the L-B method was over three times lower than that of the painted lipid membranes, while that of the paint-freeze method was the lowest. The difference among the three types of lipid membranes was ascribed to the influence of the organic solvent in lipid films and the changes in density of the films. The lipid membranes prepared by the usual painted method contained a trace amount of the organic solvent. The organic solvent existing in the hydrocarbon core of the membrane reduced the density of the membrane and increased the thickness of the membrane. The membrane prepared by depositing an L-B monolayer containing no solvent had higher density and the lowest fluidity, and the thickness of the membrane was smaller. The lipid membrane prepared by the paint-freeze method changed its structure sharply at the lower temperature. The organic solvent was frozen out of the membrane while the density of the membrane increased greatly. All these caused the membrane to exist in a ''tilted'' state and the thickness of this membrane was the smallest. The lipid membrane produced by the paint-freeze method was a membrane not containing organic solvent. This method was easier in manipulation and had better reproducibility than that of the usual painting method and the method of forming free-standing lipid film. The solvent-free membrane had a long lifetime and a higher mechanical stability. This model membrane would be useful in many areas of scientific research.

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.

A WOUND-TYPE LITHIUM POLYANILINE SECONDARY CELL

A wound-type cell with a polyaniline (PAn) positive electrode, a LiClO4-propylene carbonate (PC) electrolyte, and a lithium foil negative electrode has been constructed. The two electrodes are separated by a polypropylene separator. The PAn is deposited on carbon felt from a HClO4 solution containing aniline by galvanostatic or potentiostatic electrolysis. Using cyclic voltammetry charge/discharge cycles and charge/retention tests, the following results have been obtained: (i) reversibility of the charge/discharge reaction of the PAn electrode is very good; (ii) more than 50 charge/discharge cycles at 80% charge/discharge efficiency and 260 W h kg-1 discharge energy density can be achieved at 50 mA between 2 and 4 V; (iii) the open-circuit voltage and the capacity retention of the battery after storage at open-circuit for 60 days are 3.4 V and 33%, respectively.

A NOVEL METAL THIAMINE COMPLEX WITH A CYCLIC DIMER FORMED BY METAL-BRIDGED 2 THIAMINE LIGANDS - CRYSTAL-STRUCTURE OF [MN(THIAMINE)CL2(H2O)]2[THIAMINE]2CL4.2H2O

The crystal structure of [Mn(thiamine)Cl2(H2O)]2[thiamine]2Cl4.2H2O has been determined by X-ray diffraction methods. The compound contains a cyclic dimer of a complex cation with two thiamine ligands bridged by two Mn(II) ions across a crystallographic center of symmetry. Each Mn(II) is coordinated by two chloride atoms, a water molecule, a N(1') atom of the pyrimidine from a thiamine and an O(53) atom of the hydroxyethyl side chain from another thiamine. There are two free-base thiamine molecules related by a center of symmetry in the unit cell, which form a base-pair through the hydrogen bonds. Both the independent thiamine molecules in the asymmetric unit assume the common F conformation with phi-T = 10.0(9) and 3.6(10) and phi-P = 85.6(7) and 79.6(7), respectively. The compound provides a possible model for a metal-bridged enzyme-coenzyme complex in thiamine catalysis. Crystallographic data: triclinic, space group P1BAR, a = 12.441(4), b = 13.572(4), c = 11.267(3) angstrom, alpha = 103.15(2), beta 89.03(3), gamma = 115.64(2)-degrees, Z = 1, D(calc) = 1.524 g cm-3, and R = 0.050 for 3019 observed reflections with I > 3-sigma(I).

WATER-SOLUBLE AND AMPHIPHILIC POLYMERS .7. SYNTHESIS AND CHARACTERIZATION OF A NOVEL COMB-TYPE AMPHIPHILIC POLYMER PAMC16S

A novel comb-like amphiphilic polymer, poly (2-acrylamidohexadecylsulfonic acid) (PAMC16S), was synthesized by free radical polymerization of the corresponding amphiphilic monomer in 1,4-dioxane-water mixed solvents. Depending on the ratio of water/dioxane in the solvent, the reaction proceeded by either precipitation polymerization or micellar polymerization. The molecular weight of the polymer obtained under similar conditions decreased and subsequently increased with the increase of water content in the mixed solvent. The polyion nature of PAMC16S was confirmed by viscosity data of ethanolic solutions. In addition, the polymer was characterized by solubility, IR, TG and wide angle X-ray diffraction methods.

板北断块油藏储层均质特征与剩余油分布研究

With the growing development and perfection of reservoir describing technology, its research achievements have played an increasingly important role in old oilfields in recent years. Reservoir description quantitatively describes, characterizes and predicts every kind of reservoir characters in 3D space. The paper takes Banbei block reservoir as an object, studies the reservoir characters and residual oil distributing characteristics of gravity flow genetic reservoir, and definitudes potential adjustment direction of reservoir development. Main achievements are gained as follows. Through fine correlation of strati graphic sequence, the classification of layers and single sands of main payzones in Banbei block is ascertained, the classifying methods of sedimentary unit in gravity flow reservoir characterized with picked cyclical marker bed are formed. On the basis of comprehensive logging evaluation, depositional characters of Banbei block are studied, and classifying methods of sedimentary microfacies in gravity flow reservoir are described. The sedimentary background of main oil layers in Banbei block is open lake with shallow water, and belongs to lacustrine underwater gravity flow- lacustrine phase depositional system. Main microfacies types are underwater water course^ water course side-wing, underwater floodplain, between two water courses, and lacustrine mud, etc. Reservoir sands mainly are underwater water course sands. Influenced by distributing characters of gravity flow underwater water course, sand shapes in plane mainly are stripe, finger-shape, tongue-shape. Sand distribution shows obvious split property. Sands overlap each other. According to comprehensive analysis of lithologic data, logging parameters, and dynamic production data, the researching threads and methods of reservoir heterogeneous characters are perfected. The depositional characters of gravity flow underwater water course in Banbei block determine its high reservoir heterogeneity. Macroscopic heterogeneity is studied in many aspects such as the scale of layers, the scale of single sands, in-situ scale, the distribution of interlayer types, the interlayer scale, and heterogeneity in plane. Thus, heterogeneous characters of reservoir are thoroughly analyzed. Through microscopic research of reservoir, the types of porous structure and related parameters are determined. According to the analysis of dynamic production data, the reaction and inner influential factors of reservoir heterogeneity in waterflood development are further revealed. Started with the concept and classifying methods of flow unit, clustering classification which can better meet the requirements of production is formed. The flow unit of Banbei block can be classified into four types. According to comprehensive evaluation, the first and second type of flow unit have better percolating capability and reserving capability. Research thread of 3D model-building and reservoir numerical simulation combined as an integral is adopted. The types and characters of residual oil distribution are determined. Residual oil of Banbei block mainly distributes in the boundary of sands, near the faults, areas with non-perfect injection-production well pattern , undeveloped sands, vertically poor developed layers. On the basis of comprehensive reservoir study, the threads and methods of improving development effect towards reservoir with high water cut, high recovery percent, serious heterogeneity are ascertained. The whole waterflood development effect of Banbei block reservoir is good. Although its water cut and recovery percent is relatively high, there is still some potential to develop. According to depositional characters of gravity flow and actual production situation? effective means of further improving development level are as follows. We should drill new wells in every kind of areas abounding with residual oil, implement comprehensive measures such as increasing liquid discharge, cyclic waterflood, changing fluid direction when injection-production well pattern is perfected, improve water quality, enhance displacement efficiency in flooding.

注意对驾驶场景客体-位置联系内隐学习的影响

The purpose of this study is to investigate the influence of attention resourse requirement and allocation on implicit memory and explicit memory for object-location associations in driving situation based on Adams theory on the function of implicit knowledge in the Situation Awareness(SA). This study adopted Musen’s implicit learning of object-location associations, sysmemtly manipulated the type and difficuty of the naming task. This research includes three studies and ten experiments. Their aim are separately to explore the influence of attention on implicit and explicit memory for object-loction assocaitons in simple stimulus and the driving situation. And it is needed to confirme the condition and the influencing factors of implicit memory for car-location association in different condition. It is also our aim to explore the feasibility of introduce of implicit learning methods in SA measurement. The results indicted that: ⑴ The influence of attention resourse allocation ,the difficulty of naming task , the deepness of processing on on implicit memory for object-location associations in driving situation are different . the dissociated results support the standpoint that there are two independent knowledge system; ⑵ The type of naming task more influenced the implicit and explicit memory for object-location associations than the difficulty of the naming task. The attention resourse requirement of the different type can not be compared; ⑶ The implicit memory seldom appears in the location naming task resulted from the defiency of processing on object-location association, and not as a results of the overtaxed; ⑷ The reaction time methods in the implicit learning could be used in SA measurement , it is a complementarity of the existing explicit SA measurement. These findings not only contribute to resolve ongoing debates about the process of cognition and mechanism of SA structure, but also have significant practical application in traffic safety.

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.

Exploitation of Ebola Virus VP35 Protein to identify new drugs counteracting its type I IFN antagonism

Ebolaviruses (EBOVs) are among the most virulent and deadly pathogens ever known, causing fulminant haemorrhagic fevers in humans and non-human primates. The 2014 outbreak of Ebola virus disease (EVD) in West Africa has claimed more lives than all previous EVD outbreaks combined. The EBOV high mortality rates have been related to the virus-induced impairment of the host innate immunity reaction due to two virus-coded proteins, VP24 and VP35. EBOV VP35 is a multifunctional protein, it is essential for viral replication as a component of the viral RNA polymerase and it also participates in nucleocapsid assembly. Early during EBOV infection, alpha-beta interferon (IFN-α/β) production would be triggered upon recognition of viral dsRNA products by cytoplasmic retinoic acid-inducible gene I (RIG-I)-like receptors (RLRs). However, this recognition is efficiently prevented by the double-stranded RNA (dsRNA) binding activity of the EBOV VP35 protein, which hides RLRs binding sites on the dsRNA phosphate backbone as well the 5’-triphosphate (5’-ppp) dsRNA ends to RIG-I recognition. In addition to dsRNA binding and sequestration, EBOV VP35 inhibits IFN-α/β production preventing the activation of the IFN regulatory factor 3 (IRF-3) by direct interaction with cellular proteins. Previous studies demonstrated that single amino acid changes in the VP35 dsRNA binding domain reduce EBOV virulence, indicating that VP35 is an attractive target for antiviral drugs development. Within this context, here we report the establishment of a novel method to characterize the EBOV VP35 inhibitory function of the dsRNA-dependent RIG-I-mediated IFN-β signaling pathway in a BLS2 cell culture setting. In such system, a plasmid containing the promoter region of IFN-β gene linked with a luciferase reporter gene was transfected, together with a EBOV VP35 mammalian expression plasmid, into the IFN-sensitive A549 cell line, and the IFN-induction was stimulated through dsRNA transfection. Through alanine scanning mutational studies with biochemical, cellular and computational methods we highlighted the importance of some VP35 residues involved in dsRNA end-capping binding, such as R312, K282 and R322, that may serve as target for the development of small-molecule inhibitors against EBOV. Furthermore, we identified a synthetic compound that increased IFN-induction only under antiviral response stimulation and subverted VP35 inhibition, proving to be very attractive for the development of an antiviral drug. In conclusion, our results provide the establishment of a new assay as a straightforward tool for the screening of antiviral compounds that target i) dsRNA-VP35 or cellular protein-VP35 interaction and ii) dsRNA-dependent RIG-I-mediated IFN signaling pathway, in order to potentiate the IFN response against VP35 inhibition, setting the bases for further drug development.

Hidden Type Variables and Conditional Extension for More Expressive Generic Programs

Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations. This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure: 1. type variables that are not parameters of the class that declares them, and 2. extension that is dependent on the satisfiability of one or more constraints. We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type. This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented. Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply.

A Type System For Safe SN Resource Allocation

snBench is a platform on which novice users compose and deploy distributed Sense and Respond programs for simultaneous execution on a shared, distributed infrastructure. It is a natural imperative that we have the ability to (1) verify the safety/correctness of newly submitted tasks and (2) derive the resource requirements for these tasks such that correct allocation may occur. To achieve these goals we have established a multi-dimensional sized type system for our functional-style Domain Specific Language (DSL) called Sensor Task Execution Plan (STEP). In such a type system data types are annotated with a vector of size attributes (e.g., upper and lower size bounds). Tracking multiple size aspects proves essential in a system in which Images are manipulated as a first class data type, as image manipulation functions may have specific minimum and/or maximum resolution restrictions on the input they can correctly process. Through static analysis of STEP instances we not only verify basic type safety and establish upper computational resource bounds (i.e., time and space), but we also derive and solve data and resource sizing constraints (e.g., Image resolution, camera capabilities) from the implicit constraints embedded in program instances. In fact, the static methods presented here have benefit beyond their application to Image data, and may be extended to other data types that require tracking multiple dimensions (e.g., image "quality", video frame-rate or aspect ratio, audio sampling rate). In this paper we present the syntax and semantics of our functional language, our type system that builds costs and resource/data constraints, and (through both formalism and specific details of our implementation) provide concrete examples of how the constraints and sizing information are used in practice.

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

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.