Geochemistry, mineralogy, and chemical modeling of the acid crater lake of Kawah Ijen volcano, Indonesia

The Kawah Ijen volcano-with a record of phreatic eruptions-has its 1000 m wide crater filled with a lake that has existed for at least one century. At present, the lake waters are hot (T ≈ 37°C), strongly mineralized (TDS = 105 g/L) and extremely acidic (pH ≈ 0.4). By its volume, the Javanese lake is probably the largest accumulation in the world of such acidic waters. Mineralogy of the suspended solids within the lake waters suggests that concentrations of Si, Ca, Ti, and Ba are controlled by precipitation of silica, gypsum, anatase, and barite. Lake sediment is composed of chemical precipitates with composition similar to the suspended solids. Thermodynamic calculations predict that the lake waters have reached equilibrium with respect to α-cristobalite, barite, gypsum, anglesite, celestite, and amorphous silica, in agreement with the analytical observations. Significant concentrations of ferric iron suggest that the current lake waters are fairly oxidized. Sulfides are absent in the water column but are always present in the native S spherules that form porous aggregates which float on the lake. The presence of native S provides direct evidence of more reduced conditions at the lake floor where H2S is probably being injected into the lake. With progressive addition of H2S to the acid waters, native S, pyrite, and enargite are theoretically predicted to be saturated. Reactions between upward streaming H2S-bearing gases discharged by subaqueous fumaroles, and metals dissolved in the acidic waters could initiate precipitation of these sulfides. A model of direct absorption of hot magmatic gases into cool water accounts for the extreme acidity of the crater lake. Results show that strongly acidic, sulfate-rich solutions are formed under oxidizing conditions at high gas/water ratios. Reactions between the acidic fluids and the Ijen andesite were modeled to account for elevated cation concentrations in lake water. Current concentrations of conservative rockforming elements are produced by dissolution of approximately 60 g of andesite per kg of acid solution. Complete neutralization of the acid lake waters by reaction with the wallrock produces a theoretical alteration assemblage equivalent to that observed in volcano-hosted, acid-sulfate epithermal ore deposits. © 1994.

Exact analytical expressions for the potential of electrical double layer interactions for a sphere-plate system.

Exact, closed-form analytical expressions are presented for evaluating the potential energy of electrical double layer (EDL) interactions between a sphere and an infinite flat plate for three different types of interactions: constant potential, constant charge, and an intermediate case as given by the linear superposition approximation (LSA). By taking advantage of the simpler sphere-plate geometry, simplifying assumptions used in the original Derjaguin approximation (DA) for sphere-sphere interaction are avoided, yielding expressions that are more accurate and applicable over the full range of κa. These analytical expressions are significant improvements over the existing equations in the literature that are valid only for large κa because the new equations facilitate the modeling of EDL interactions between nanoscale particles and surfaces over a wide range of ionic strength.

A modelling approach for coupling numerical analytical techniques applied in microsystems

In this paper, a method for the integration of several numerical analytical techniques that are used in microsystems design and failure analysis is presented. The analytical techniques are categorized into four groups in the discussion, namely the high-fidelity analytical tools, i.e. finite element (FE) method, the fast analytical tools referring to reduced order modeling (ROM); the optimization tools, and probability based analytical tools. The characteristics of these four tools are investigated. The interactions between the four tools are discussed and a methodology for the coupling of these four tools is offered. This methodology consists of three stages, namely reduced order modeling, deterministic optimization and probabilistic optimization. Using this methodology, a case study for optimization of a solder joint is conducted. It is shown that these analysis techniques have mutual relationship of interaction and complementation. Synthetic application of these techniques can fully utilize the advantages of these techniques and satisfy various design requirements. The case study shows that the coupling method of different tools provided by this paper is effective and efficient and it is highly relevant in the design and reliability analysis of microsystems

Design, modeling and characterization of a microinductor for future DC-DC power converters

Experimental, analytical and simulated data are presented in this article to assess the performance of electrodeposited nickel-iron within a novel solenoid microinductor. A design flowchart highlights the primary design principles when developing a microscale magnetic component for DC-DC power converters. Thermal modeling is used to predict the operational conditions that generate undesirable thermal generation within the component. Operating at 0.5MHz, the microinductor achieves an efficiency and power density of 78% and 7.8 W/cm3, respectively.

Modeling the diffusion of solid copper into liquid solder alloys

During the soldering process, the copper atoms diffuse into liquid solders. The diffusion process determines integrity and the reworking possibility of a solder joint. In order to capture the diffusion scenarios of solid copper into liquid Sn–Pb and Sn–Cu solders, a computer modeling has been performed for 10 s. An analytical model has also been proposed for calculating the diffusion coefficient of copper into liquid solders. It is found that the diffusion coefficient for Sn–Pb solder is 2.74 × 10− 10 m2/s and for Sn–Cu solder is 6.44 × 10−9 m2/s. The modeling results reveal that the diffusion coefficient is one of the major factors that govern the rate at which solid Cu dissolve in the molten solder. The predicted dissolved amounts of copper into solders have been validated with the help of scanning electron microscopic analysis.

Nonisothermal moisture transport in hygroscopic building materials: modeling for the determination of moisture transport coefficients

A mathematical model for calculating the nonisothermal moisture transfer in building materials is presented in the article. The coupled heat and moisture transfer problem was modeled. Vapor content and temperature were chosen as principal driving potentials. The coupled equations were solved by an analytical method, which consists of applying the Laplace transform technique and the Transfer Function Method. A new experimental methodology for determining the temperature gradient coefficient for building materials was also proposed. Both the moisture diffusion coefficient and the temperature gradient coefficient for building material were experimentally evaluated. Using the measured moisture transport coefficients, the temperature and vapor content distribution inside building materials were predicted by the new model. The results were compared with experimental data. A good agreement was obtained.

Asymptotic modeling of short plane-parallel high-pressure glow discharge

Here a self-consistent continuum model is presented for a narrow gap plane-parallel dc glow discharge. The set of governing equations consisting of continuity and momentum equations for positive ions, fast (emitted by the cathode) and slow electrons (generated by fast electron impact ionization) coupled with Poisson's equation is treated by the technique of matched asymptotic expansions. Explicit results are obtained in the asymptotic limit: (chi delta) much less than 1, where chi = e Phi(a)/kT, delta = (r(D)/L)(2) (Phi(a) is the applied voltage, r(D) is the Debye radius) and pL much greater than 1(Hg mm cm), where p is the gas pressure and L is the gap length. In the case of high pressure, the electron energy relaxation length is much smaller than the gap length, and so the local field approximation is valid. The discharge space divides naturally into a cathode fall sheath, a quasineutral plasma region, and an anode fall sheath. The electric potential distribution obtained for each region in a (semi)analytical form is asymptotically matched to the adjoining regions in the region of overlap. The effects of the gas pressure, gap length, and applied voltage on the length of each region are investigated. (C) 2000 American Institute of Physics. [S1070-664X(00)01302-1].

Is Use of Optional Attributes and Associations in Conceptual Modeling Always Problematic? Theory and Empirical Tests

Prior research has argued that use of optional properties in conceptual models results in loss of information about the semantics of the domains represented by the models. Empirical research undertaken to date supports this argument. Nevertheless, no systematic analysis has been done of whether use of optional properties is always problematic. Furthermore, prior empirical research might have deliberately or unwittingly employed models where use of optionality always causes problems. Accordingly, we examine analytically whether use of optional properties is always problematic. We employ our analytical results to inform the design of an experiment where we systematically examined the impact of optionality on users’ ability to understand domains represented by different types of conceptual models. We found evidence that use of optionality undermines users’ ability to understand the domain represented by a model but that this effect weakens when use of mandatory properties to replace optional properties leads to more-complex models.

Modeling relativistic soliton interactions in overdense plasmas: A perturbed nonlinear Schrodinger equation framework

We investigate the dynamics of localized solutions of the relativistic cold-fluid plasma model in the small but finite amplitude limit, for slightly overcritical plasma density. Adopting a multiple scale analysis, we derive a perturbed nonlinear Schrodinger equation that describes the evolution of the envelope of circularly polarized electromagnetic field. Retaining terms up to fifth order in the small perturbation parameter, we derive a self-consistent framework for the description of the plasma response in the presence of localized electromagnetic field. The formalism is applied to standing electromagnetic soliton interactions and the results are validated by simulations of the full cold-fluid model. To lowest order, a cubic nonlinear Schrodinger equation with a focusing nonlinearity is recovered. Classical quasiparticle theory is used to obtain analytical estimates for the collision time and minimum distance of approach between solitons. For larger soliton amplitudes the inclusion of the fifth-order terms is essential for a qualitatively correct description of soliton interactions. The defocusing quintic nonlinearity leads to inelastic soliton collisions, while bound states of solitons do not persist under perturbations in the initial phase or amplitude

A Continuous Time Markov Chain Based Sequential Analytical Approach for Composite Power System Reliability Assessment

This paper proposes a continuous time Markov chain (CTMC) based sequential analytical approach for composite generation and transmission systems reliability assessment. The basic idea is to construct a CTMC model for the composite system. Based on this model, sequential analyses are performed. Various kinds of reliability indices can be obtained, including expectation, variance, frequency, duration and probability distribution. In order to reduce the dimension of the state space, traditional CTMC modeling approach is modified by merging all high order contingencies into a single state, which can be calculated by Monte Carlo simulation (MCS). Then a state mergence technique is developed to integrate all normal states to further reduce the dimension of the CTMC model. Moreover, a time discretization method is presented for the CTMC model calculation. Case studies are performed on the RBTS and a modified IEEE 300-bus test system. The results indicate that sequential reliability assessment can be performed by the proposed approach. Comparing with the traditional sequential Monte Carlo simulation method, the proposed method is more efficient, especially in small scale or very reliable power systems.

Analysis, modeling, design and optimization of future communications systems: from theory to practice

Esta tese descreve uma framework de trabalho assente no paradigma multi-camada para analisar, modelar, projectar e optimizar sistemas de comunicação. Nela se explora uma nova perspectiva acerca da camada física que nasce das relações entre a teoria de informação, estimação, métodos probabilísticos, teoria da comunicação e codificação. Esta framework conduz a métodos de projecto para a próxima geração de sistemas de comunicação de alto débito. Além disso, a tese explora várias técnicas de camada de acesso com base na relação entre atraso e débito para o projeto de redes sem fio tolerantes a atrasos. Alguns resultados fundamentais sobre a interação entre a teoria da informação e teoria da estimação conduzem a propostas de um paradigma alternativo para a análise, projecto e optimização de sistemas de comunicação. Com base em estudos sobre a relação entre a informação recíproca e MMSE, a abordagem descrita na tese permite ultrapassar, de forma inovadora, as dificuldades inerentes à optimização das taxas de transmissão de informação confiáveis em sistemas de comunicação, e permite a exploração da atribuição óptima de potência e estruturas óptimas de pre-codificação para diferentes modelos de canal: com fios, sem fios e ópticos. A tese aborda também o problema do atraso, numa tentativa de responder a questões levantadas pela enorme procura de débitos elevados em sistemas de comunicação. Isso é feito através da proposta de novos modelos para sistemas com codificação de rede (network coding) em camadas acima da sua camada física. Em particular, aborda-se a utilização de sistemas de codificação em rede para canais que variam no tempo e são sensíveis a atrasos. Isso foi demonstrado através da proposta de um novo modelo e esquema adaptativo, cujos algoritmos foram aplicados a sistemas sem fios com desvanecimento (fading) complexo, de que são exemplos os sistemas de comunicação via satélite. A tese aborda ainda o uso de sistemas de codificação de rede em cenários de transferência (handover) exigentes. Isso é feito através da proposta de novos modelos de transmissão WiFi IEEE 801.11 MAC, que são comparados com codificação de rede, e que se demonstram possibilitar transferência sem descontinuidades. Pode assim dizer-se que esta tese, através de trabalho de análise e de propostas suportadas por simulações, defende que na concepção de sistemas de comunicação se devem considerar estratégias de transmissão e codificação que sejam não só próximas da capacidade dos canais, mas também tolerantes a atrasos, e que tais estratégias têm de ser concebidas tendo em vista características do canal e a camada física.

Ecological niche modeling, cytogenetics and phylogeography of the genera Geomalacus and Letourneuxia (Gastropoda, Pulmonata) from the Iberian-Moroccan region

First described more that 150 years ago, the systematics of the genera Geomalacus and Letourneuxia (Arionidae, Gastropoda, Pulmonata) is still challenging. The taxonomic classification of arionid species is based on extremely labile characters such as body size or color that depends both on diet and environment, as well as age. Moreover, there is little information on the genetic diversity and population structure of the Iberian slugs that could provide extra clues to disentangle their problematic classification. The present work uses different analytical tools such as habitat suitability (Ecological Niche Modeling - ENM), cytogenetic analysis and phylogeography to establish the geographical distribution and evolutionary history of these pulmonate slugs. The potential distribution of the four Geomalacus species was modeled using ENM, which allowed the identification of new locations for G. malagensis, including a first report in Portugal. Also, it was predicted a much wider distribution for G. malagensis and G. oliveirae than previously known. Classical cytogenetic analyses were assayed with reproductive and a novel use of somatic tissues (mouth and tentacles) returning the number of chromosomes for the four Geomalacus species and L. numidica (n = 31, 2n = 62) and the respective karyotypes. G. malagensis and L. numidica present similar chromosome morphologies and karyotypic formulae, being more similar to each other than the Geomalacus among themselves. We further reconstructed the phylogeny of the genera Geomalacus and Letourneuxia using partial sequences of the mitochondrial cytochrome oxidase subunit I (COI) and the nuclear ribosomal small subunit (18S rRNA), and applied an independent evolutionary rate method, the indicator vectors correlation, to evaluate the existence of cryptic diversity within species. The five nominal species of Geomalacus and Letourneuxia comprise 14 well-supported cryptic lineages. Letourneuxia numidica was retrieved as a sister group of G. malagensis. G. oliveirae is paraphyletic with respect to G. anguiformis. According to our dating estimates, the most recent common ancestor of Geomalacus dates back to the Middle Miocene (end of the Serravallian stage). The major lineage splitting events within Geomalacus occurred during the dry periods of the Zanclean stage (5.3-3.6 million years) and some lineages were confined to more humid mountain areas of the Iberian Peninsula, which lead to a highly geographically structured mitochondrial genetic diversity. The major findings of this are the following: (1) provides updated species distribution maps for the Iberian Geomalacus expanding the known geographic distribution of the concerned species, (2) unravels the cryptic diversity within the genera Geomalacus and Letourneuxia, (3) Geomalacus oliveirae is paraphyletic with G. anguiformis and (4) Letourneuxia numidica is sister group of G. malagensis.

Applications of Statistical Modeling in Iterative CT Image Reconstruction

Thesis (Master's)--University of Washington, 2015

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.