花岗岩-LiF-NaF-H_2O体系液相不混溶的实验研究

Liquid segregation phenomena have been found and explained in the F(Li)-rich granites in south China by Wang Linakui et al. (1979; 1983). A number of experimental investigations into the liquid immiscibilities in the granites systems have been carried out (Anfilogov et al., 1983; Glyuk et al., 1971; Glyuk et al., 1973a; 1973b; kovalenko, 1978; Wang Liangkui et al., 1987). Nevertheless, the detailed scenarios of the liquid immiscibilities in the granitic magmas are much less understood. This experimental study is amide to get access to this problem. Starting materials are biotite granite +LiF(3-10%)+NaF(3-10%)+H_2O(30%). The experimental results have shown that the liquid immiscibilities of melts of different compositions occur at 1 kbar and 840 ℃ when 5wt% (LiF + NaF) are added to the granite samples. three kinds of glasses indicating of three types of coexisting immiscible melts have been observed: light blue matrix glass, melanocratic glass balls and leucocratic glass balls. It is interesting that we have observed various kinds of textures as follows: spherulitic texture, droplets, flow bands, swirls. All these textures can be comparable to those in the natural granitic bodies. Electron microprobe data suggest that these different kinds of glasses are of different chemical compositions respectively; matrix glasses are F-poor silicate melts; melanocratic balls correspond to F-rich silicate melts; and leucocratic balls are the melts consisting mainly of fluorides. Raman spectrometric data have indicated that different glasses have different melt structures. TFM Diagrams at 1000 * 10~5 Pa have been plotted, in which two miscible gaps are found. One of the two gaps corresponds to the immiscibility between F - poor silicate melt and F-rich silicate melt, another to that between the silicate melt and fluoride melt. The experiments at different pressures have suggested that the decreases in pressures are favorable to the liquid immiscibility. Several reversal experiments have indicated that the equilibria in different runs have been achieved. We have applied the experimental results to explain the field evidence of immiscibilities in some of granites associated with W-Sn-Nb-Ta mineralization. These field phenomena include flow structure, globular structures,mineralized globular patche and glass inclusions in topaz. We believe that the liquid immiscibility (liquid segregation) is a possible way of generation of F(Li)-rich granites. During the evolution of the granitic magmas, the contents of Li, F, H_2O and ore-forming elements in the magmas become higher and higher. The granites formed in the extensional tectonic settings commonly bear higher abundences of the above-mentioned elements. the pressures of the granitic magmas are relatively lower during the processes of their emplacements and cooling. The late-staged magmas will produce liquid immiscibilities, leading to the production of several coexisting immiscible melts with different chemical compositions. The flow of immiscible consisting magmas will produce F(Li)-rich granites. It is also considered that liquid immiscibilities are of great significance in the production of rare metal granites. The ore-forming processes and magmatic crystallization and metasomatic processes can be occur at the same time. The mineralisations of rare metals are related to both magmatic and hydrothermal processes.

Na-23, Si-29, and C-13 MAS NMR investigation of glass-forming reactions between Na2CO3 and SiO2

Winter, Rudolf; Jones, A.R.; Greaves, G.N.; Smith, I.H., (2005) 'Na-23, Si-29, and C-13 MAS NMR investigation of glass-forming reactions between Na2CO3 and SiO2', Journal of Physical Chemistry B 109(49) pp.23154-23161 RAE2008

Coordination changes in magnesium silicate glasses

Wilding, Martin; Benmore, C.J.; Tangeman, J.A.; Sampath, S., (2004) 'Coordination changes in magnesium silicate glasses', Europhysics Letters 67 pp.212-218 RAE2008

Inorganic glasses, glass-forming liquids and amorphizing solids

Greaves, George; Sen, S., (2007) 'Inorganic glasses, glass-forming liquids and amorphizing solids', Advances in Physics 56(1) pp.1-166 RAE2008

Tracing the reactive melting of glass-forming silicate batches by in situ Na-23 NMR

Winter, Rudolf; Jones, A.R.; Florian, P.; Massiot, D., (2005) 'Tracing the reactive melting of glass-forming silicate batches by in situ Na-23 NMR', Journal of Physical Chemistry B 109(10) pp.4324-4332 RAE2008

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Formal correctness of complex multi-party network protocols can be difficult to verify. While models of specific fixed compositions of agents can be checked against design constraints, protocols which lend themselves to arbitrarily many compositions of agents-such as the chaining of proxies or the peering of routers-are more difficult to verify because they represent potentially infinite state spaces and may exhibit emergent behaviors which may not materialize under particular fixed compositions. We address this challenge by developing an algebraic approach that enables us to reduce arbitrary compositions of network agents into a behaviorally-equivalent (with respect to some correctness property) compact, canonical representation, which is amenable to mechanical verification. Our approach consists of an algebra and a set of property-preserving rewrite rules for the Canonical Homomorphic Abstraction of Infinite Network protocol compositions (CHAIN). Using CHAIN, an expression over our algebra (i.e., a set of configurations of network protocol agents) can be reduced to another behaviorally-equivalent expression (i.e., a smaller set of configurations). Repeated applications of such rewrite rules produces a canonical expression which can be checked mechanically. We demonstrate our approach by characterizing deadlock-prone configurations of HTTP agents, as well as establishing useful properties of an overlay protocol for scheduling MPEG frames, and of a protocol for Web intra-cache consistency.

Validating Arbitrarily Large Network Protocol Compositions with Finite Computation

Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications of these techniques are not well suited to characterizing emergent behaviors of large compositions of processes. In this paper, we present a methodology by which arbitrarily large compositions of components can, if sufficient conditions are proven concerning properties of small compositions, be modeled and completely verified by performing formal verifications upon only a finite set of compositions. The sufficient conditions take the form of reductions, which are claims that particular sequences of components will be causally indistinguishable from other shorter sequences of components. We show how this methodology can be applied to a variety of network protocol applications, including two features of the HTTP protocol, a simple active networking applet, and a proposed web cache consistency algorithm. We also doing discuss its applicability to framing protocol design goals and to representing systems which employ non-model-checking verification methodologies. Finally, we briefly discuss how we hope to broaden this methodology to more general topological compositions of network applications.

Typed Abstraction of Complex Network Compositions

The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the design and implementation of robust network services largely inaccessible to the average programmer. We propose the development of a novel type system and practical type spaces which reflect simplified representations of the results and conclusions which can be derived from complex compositional theories in more accessible ways, essentially allowing the system architect or programmer to be exposed only to the inputs and output of compositional analysis without having to be familiar with the ins and outs of its internals. Toward this end we present the TRAFFIC (Typed Representation and Analysis of Flows For Interoperability Checks) framework, a simple flow-composition and typing language with corresponding type system. We then discuss and demonstrate the expressive power of a type space for TRAFFIC derived from the network calculus, allowing us to reason about and infer such properties as data arrival, transit, and loss rates in large composite network applications.

Studies of ferrite, borosilicate and intercalation materials

This thesis is concerned with several aspects of the chemistry of iron compounds. The preparation (with particular emphasis on coprecipitation and sol-gel techniques) and processing of ferrites are discussed. Chapter 2 describes the synthesis of Ni-Zn ferrites with various compositions by three methods. These methods include coprecipitation and sol-gel techniques. The Ni-Zn ferrites were characterised by powder X-ray diffactometry (PXRD), scanning electron microscopy (SEM), vibrating sample magnetometry (VSM), Mössbauer spectroscopy and resistivity measurements. The results for the corresponding ferrites prepared by each method are compared. Chapter 3 reports the sol-gel preparation of a lead borosilicate glass and its addition to Ni-Zn ferrites prepared by the sol-gel method in Chapter 2. The glass-ferrites formed were analysed by the same techniques employed in Chapter 2. Alterations in the microstructure, magnetic and electronic properties of the ferrites due to glass addition are described. Chapter 4 introduces compounds containing Fe-O-B, Fe-O-Si or B-O-Si linkages. The synthesis and characterisation of compounds containing Fe-O-B units are described. The structure of [Fe(SALEN)]2O.CH2Cl2 (17), used in attempts to prepare compounds with Fe-O-Si bonds, was determined by X-ray crystallography. Chapter 4 also details the synthesis of three new borosilicate compounds containing ferrocenyl groups, i.e. [FcBO)2(OSiBut2)2] (19), [(FcBO)2(OSiPh2)2] (20) and [FcBOSiPh3] (21). The structure of (19) was determined by X-ray Crystallographic analysis. Chapter 5 reviews the intercalation properties of the layered host compound iron oxychloride (FeOCI). Intercalation compounds prepared with the microwave dielectric heating technique are also discussed. The syntheses of intercalation compounds by the microwave method with FeOCI as host and ferrocene, ferrocenylboronic acid and 4-aminopyridine as guest species are described. Characterisation of these compounds by powder X-ray diffractometry (PXRD) and M{ssbauer spectroscopy is reported. The attempted synthesis of an intercalation compound with the borosilicate compound (19) as guest species is discussed. Appendices A-E describe the theory and instrumentation involved in powder X-ray diffractometry (PXRD), scanning electron microscopy (SEM0, vibrating sample magnetometry (VSM), Mössbauer spectroscopy and electrical resistivity measurements, respectively. Appendix F details the attempted syntheses of compounds with Fe-O-B and Fe-O-Si linkages.

The Viking age glass beads of Ireland and their North Atlantic context

Hitherto, the majority of studies which have included the discussion of Viking glass beads have mainly focused on the assemblages from individual sites, with limited use of known parallels. Exceptions to this include recent publications regarding the Icelandic material and Callmer’s 1977 catalogue of the finds from mainland Scandinavia, now over thirty years old. Analysis of these finds from Ireland was, for the most part, non-existent. The aim of this research is to address this lack of analysis within Ireland, while incorporating the wider context of the beads within the Viking North Atlantic. The research thus examines the use of glass beads of diagnostically Scandinavian manufacture and import found in Ireland, particularly in relation to their context and distribution. The history of research from Ireland as well as from across the Viking world is considered and explored throughout the thesis, with critique of methods and discussions used. Focussed analysis of both published and unpublished material detailing artefacts from Scandinavia (especially Vestfold), Britain, Iceland, the Faroe Islands and L’Anse aux Meadows is presented within the thesis in order to provide the greater picture for the core section of the thesis, the glass beads found in Ireland. Three appendices are included within Volume 2, databases of the glass beads under discussion from Ireland, the Vestfold region graves in Norway and the topsoil finds from the Kaupang trading place, also located within Vestfold. These appendices therefore represent the first-hand analysis of glass beads by the author. In total, this research represents the most up-to-date analysis of Viking glass beads from Ireland and presents a new look at the patterns of use, trade and interpersonal contact that affected the everyday lives of individuals living within Viking Age Ireland.

TRADITION AND INNOVATION: ANALYSIS AND PERFORMANCE OF SELECTED COMPOSITIONS FOR VIOLONCELLO BY HEITOR VILLA-LOBOS

Brazilian composer Heitor Villa-Lobos (1887-1959) began his musical career as a cellist. When he was only twelve years old, it became imperativeupon the sudden and untimely death of his fatherthat the young Villa-Lobos earn money as a cellist to provide financial support for his mother and sisters. Villa-Lobos's intimate relationship with the cello eventually inspired him to compose great music for this instrument. This dissertation explores both the diversity of compositional technique and the evolution of style found in the music for cello written by Villa-Lobos. The project consists of two recorded recital performances and a written document exploring and analyzing those pieces. In the study of the music of Villa-Lobos, it is of great interest to consider the music's traditional European elements in combination (or even juxtaposition) with its imaginative and sometimes wildly innovative Brazilian character. His early works were greatly influenced by European Romantic composers such as Robert Schumann, Frédéric Chopin, and the virtuoso cellist/composer David Popper (whom Villa-Lobos idolized). Later, Villa-Lobos flourished in a newfound compositional independence and moved away from Euro-romanticism and toward the folk music of his Brazilian homeland. It is intriguing to experience this transition through an exploration of his cello compositions. The works examined and performed in this dissertation project are chosen from among the extensive number of Villa-Lobos's cello compositions and are his most important works for cello with piano, cello with another instrument, and cello with orchestra. The chosen works demonstrate the evolving range and combination of characteristic elements found in Villa-Lobos's compositional repertoire.