Fusión de redes Bayesianas Gaussianas

Las redes Bayesianas constituyen un modelo ampliamente utilizado para la representación de relaciones de dependencia condicional en datos multivariantes. Su aprendizaje a partir de un conjunto de datos o expertos ha sido estudiado profundamente desde su concepción. Sin embargo, en determinados escenarios se demanda la obtención de un modelo común asociado a particiones de datos o conjuntos de expertos. En este caso, se trata el problema de fusión o agregación de modelos. Los trabajos y resultados en agregación de redes Bayesianas son de naturaleza variada, aunque escasos en comparación con aquellos de aprendizaje. En este documento, se proponen dos métodos para la agregación de redes Gaussianas, definidas como aquellas redes Bayesianas que modelan una distribución Gaussiana multivariante. Los métodos presentados son efectivos, precisos y producen redes con menor cantidad de parámetros en comparación con los modelos obtenidos individualmente. Además, constituyen un enfoque novedoso al incorporar nociones exploradas tradicionalmente por separado en el estado del arte. Futuras aplicaciones en entornos escalables hacen dichos métodos especialmente atractivos, dada su simplicidad y la ganancia en compacidad de la representación obtenida.---ABSTRACT---Bayesian networks are a widely used model for the representation of conditional dependence relationships among variables in multivariate data. The task of learning them from a data set or experts has been deeply studied since their conception. However, situations emerge where there is a need of obtaining a consensuated model from several data partitions or a set of experts. This situation is referred to as model fusion or aggregation. Results about Bayesian network aggregation, although rich in variety, have been scarce when compared to the learning task. In this context, two methods are proposed for the aggregation of Gaussian Bayesian networks, that is, Bayesian networks whose underlying modelled distribution is a multivariate Gaussian. Both methods are effective, precise and produce networks with fewer parameters in comparison with the models obtained by individual learning. They constitute a novel approach given that they incorporate notions traditionally explored separately in the state of the art. Future applications in scalable computer environments make such models specially attractive, given their simplicity and the gaining in sparsity of the produced model.

A framework for mixed-criticality partitioned real-time embedded systems

Los sistemas empotrados son cada día más comunes y complejos, de modo que encontrar procesos seguros, eficaces y baratos de desarrollo software dirigidos específicamente a esta clase de sistemas es más necesario que nunca. A diferencia de lo que ocurría hasta hace poco, en la actualidad los avances tecnológicos en el campo de los microprocesadores de los últimos tiempos permiten el desarrollo de equipos con prestaciones más que suficientes para ejecutar varios sistemas software en una única máquina. Además, hay sistemas empotrados con requisitos de seguridad (safety) de cuyo correcto funcionamiento depende la vida de muchas personas y/o grandes inversiones económicas. Estos sistemas software se diseñan e implementan de acuerdo con unos estándares de desarrollo software muy estrictos y exigentes. En algunos casos puede ser necesaria también la certificación del software. Para estos casos, los sistemas con criticidades mixtas pueden ser una alternativa muy valiosa. En esta clase de sistemas, aplicaciones con diferentes niveles de criticidad se ejecutan en el mismo computador. Sin embargo, a menudo es necesario certificar el sistema entero con el nivel de criticidad de la aplicación más crítica, lo que hace que los costes se disparen. La virtualización se ha postulado como una tecnología muy interesante para contener esos costes. Esta tecnología permite que un conjunto de máquinas virtuales o particiones ejecuten las aplicaciones con unos niveles de aislamiento tanto temporal como espacial muy altos. Esto, a su vez, permite que cada partición pueda ser certificada independientemente. Para el desarrollo de sistemas particionados con criticidades mixtas se necesita actualizar los modelos de desarrollo software tradicionales, pues estos no cubren ni las nuevas actividades ni los nuevos roles que se requieren en el desarrollo de estos sistemas. Por ejemplo, el integrador del sistema debe definir las particiones o el desarrollador de aplicaciones debe tener en cuenta las características de la partición donde su aplicación va a ejecutar. Tradicionalmente, en el desarrollo de sistemas empotrados, el modelo en V ha tenido una especial relevancia. Por ello, este modelo ha sido adaptado para tener en cuenta escenarios tales como el desarrollo en paralelo de aplicaciones o la incorporación de una nueva partición a un sistema ya existente. El objetivo de esta tesis doctoral es mejorar la tecnología actual de desarrollo de sistemas particionados con criticidades mixtas. Para ello, se ha diseñado e implementado un entorno dirigido específicamente a facilitar y mejorar los procesos de desarrollo de esta clase de sistemas. En concreto, se ha creado un algoritmo que genera el particionado del sistema automáticamente. En el entorno de desarrollo propuesto, se han integrado todas las actividades necesarias para desarrollo de un sistema particionado, incluidos los nuevos roles y actividades mencionados anteriormente. Además, el diseño del entorno de desarrollo se ha basado en la ingeniería guiada por modelos (Model-Driven Engineering), la cual promueve el uso de los modelos como elementos fundamentales en el proceso de desarrollo. Así pues, se proporcionan las herramientas necesarias para modelar y particionar el sistema, así como para validar los resultados y generar los artefactos necesarios para el compilado, construcción y despliegue del mismo. Además, en el diseño del entorno de desarrollo, la extensión e integración del mismo con herramientas de validación ha sido un factor clave. En concreto, se pueden incorporar al entorno de desarrollo nuevos requisitos no-funcionales, la generación de nuevos artefactos tales como documentación o diferentes lenguajes de programación, etc. Una parte clave del entorno de desarrollo es el algoritmo de particionado. Este algoritmo se ha diseñado para ser independiente de los requisitos de las aplicaciones así como para permitir al integrador del sistema implementar nuevos requisitos del sistema. Para lograr esta independencia, se han definido las restricciones al particionado. El algoritmo garantiza que dichas restricciones se cumplirán en el sistema particionado que resulte de su ejecución. Las restricciones al particionado se han diseñado con una capacidad expresiva suficiente para que, con un pequeño grupo de ellas, se puedan expresar la mayor parte de los requisitos no-funcionales más comunes. Las restricciones pueden ser definidas manualmente por el integrador del sistema o bien pueden ser generadas automáticamente por una herramienta a partir de los requisitos funcionales y no-funcionales de una aplicación. El algoritmo de particionado toma como entradas los modelos y las restricciones al particionado del sistema. Tras la ejecución y como resultado, se genera un modelo de despliegue en el que se definen las particiones que son necesarias para el particionado del sistema. A su vez, cada partición define qué aplicaciones deben ejecutar en ella así como los recursos que necesita la partición para ejecutar correctamente. El problema del particionado y las restricciones al particionado se modelan matemáticamente a través de grafos coloreados. En dichos grafos, un coloreado propio de los vértices representa un particionado del sistema correcto. El algoritmo se ha diseñado también para que, si es necesario, sea posible obtener particionados alternativos al inicialmente propuesto. El entorno de desarrollo, incluyendo el algoritmo de particionado, se ha probado con éxito en dos casos de uso industriales: el satélite UPMSat-2 y un demostrador del sistema de control de una turbina eólica. Además, el algoritmo se ha validado mediante la ejecución de numerosos escenarios sintéticos, incluyendo algunos muy complejos, de más de 500 aplicaciones. ABSTRACT The importance of embedded software is growing as it is required for a large number of systems. Devising cheap, efficient and reliable development processes for embedded systems is thus a notable challenge nowadays. Computer processing power is continuously increasing, and as a result, it is currently possible to integrate complex systems in a single processor, which was not feasible a few years ago.Embedded systems may have safety critical requirements. Its failure may result in personal or substantial economical loss. The development of these systems requires stringent development processes that are usually defined by suitable standards. In some cases their certification is also necessary. This scenario fosters the use of mixed-criticality systems in which applications of different criticality levels must coexist in a single system. In these cases, it is usually necessary to certify the whole system, including non-critical applications, which is costly. Virtualization emerges as an enabling technology used for dealing with this problem. The system is structured as a set of partitions, or virtual machines, that can be executed with temporal and spatial isolation. In this way, applications can be developed and certified independently. The development of MCPS (Mixed-Criticality Partitioned Systems) requires additional roles and activities that traditional systems do not require. The system integrator has to define system partitions. Application development has to consider the characteristics of the partition to which it is allocated. In addition, traditional software process models have to be adapted to this scenario. The V-model is commonly used in embedded systems development. It can be adapted to the development of MCPS by enabling the parallel development of applications or adding an additional partition to an existing system. The objective of this PhD is to improve the available technology for MCPS development by providing a framework tailored to the development of this type of system and by defining a flexible and efficient algorithm for automatically generating system partitionings. The goal of the framework is to integrate all the activities required for developing MCPS and to support the different roles involved in this process. The framework is based on MDE (Model-Driven Engineering), which emphasizes the use of models in the development process. The framework provides basic means for modeling the system, generating system partitions, validating the system and generating final artifacts. The framework has been designed to facilitate its extension and the integration of external validation tools. In particular, it can be extended by adding support for additional non-functional requirements and support for final artifacts, such as new programming languages or additional documentation. The framework includes a novel partitioning algorithm. It has been designed to be independent of the types of applications requirements and also to enable the system integrator to tailor the partitioning to the specific requirements of a system. This independence is achieved by defining partitioning constraints that must be met by the resulting partitioning. They have sufficient expressive capacity to state the most common constraints and can be defined manually by the system integrator or generated automatically based on functional and non-functional requirements of the applications. The partitioning algorithm uses system models and partitioning constraints as its inputs. It generates a deployment model that is composed by a set of partitions. Each partition is in turn composed of a set of allocated applications and assigned resources. The partitioning problem, including applications and constraints, is modeled as a colored graph. A valid partitioning is a proper vertex coloring. A specially designed algorithm generates this coloring and is able to provide alternative partitions if required. The framework, including the partitioning algorithm, has been successfully used in the development of two industrial use cases: the UPMSat-2 satellite and the control system of a wind-power turbine. The partitioning algorithm has been successfully validated by using a large number of synthetic loads, including complex scenarios with more that 500 applications.

Análisis experimental de las transmisiones indirectas en particiones de doble hoja de fábrica de ladrillo, propuesta de métodos de cuantificación para la mejora del aislamiento acústico

Esta investigación aborda el estudio de la influencia de las uniones en el aislamiento acústico a ruido aéreo en los edificios y el análisis de las transmisiones indirectas producidas en particiones de dos hojas de ladrillo cerámico sobre bandas elásticas. La transmisión de ruido entre dos recintos separados por una partición se produce por dos vías: La vía directa a través del elemento que separa los dos recintos y la vía indirecta, a través de los elementos de flanco, como forjados, particiones, fachadas, etc. que conectados a dicho elemento de separación, vibran en presencia del campo acústico transmitiendo sus vibraciones al recinto receptor. Si las transmisiones indirectas son dominantes, el aislamiento acústico “in situ” puede ser menor que el esperado. El parámetro que expresa la atenuación acústica en las uniones es el índice de reducción vibracional en la unión o Kij. Éste parámetro se utiliza en los métodos de cálculo del aislamiento acústico a ruido aéreo, que permiten la justificación del cumplimiento de la normativa actual, el Documento Básico DB HR Protección frente al ruido del CTE. La determinación de los índices Kij de las uniones es una cuestión que debe abordarse de forma experimental. Existen diferentes expresiones empíricas obtenidas en varios laboratorios europeos que permiten el cálculo del índice Kij, pero no se han validado con ensayos realizados en soluciones habituales en la construcción española, como las estudiadas en este trabajo. El objetivo de este trabajo es la medida, análisis y cuantificación de las transmisiones indirectas producidas en las uniones de elementos de dos hojas de fábrica de ladrillo cerámico. Se ha recurrido a una campaña de ensayos en la que se reproducían las condiciones de un edificio real y se ha medido el aislamiento acústico a ruido aéreo y los índices Kij de diferentes configuraciones de uniones. Del análisis de los resultados, se demuestra que el aislamiento acústico a ruido aéreo depende de las uniones, pudiéndose obtener mejoras significativas al variar la forma de unión entre los elementos constructivos. Las mejoras de aislamiento acústico están relacionadas con un buen diseño de las uniones y con valores elevados del índice Kij. Este trabajo aporta valores experimentales de Kij para soluciones de fábrica de ladrillo y pone en discusión los valores teóricos que actualmente aparecen en la normativa vigente. ABSTRACT This research work deals with the effects of junction construction details on airborne sound insulation in buildings and the analysis of flanking transmissions across double ceramic brick walls with elastic interlayers. The sound transmission between two adjacent rooms comprises two paths: the direct path, caused by the incident sound on a separating wall, and the indirect path, through flanking elements connected to the separating wall, such as floors, internal walls, ceilings, etc. Flanking elements vibrate when excited in the sound field, thus transferring sound via structure borne to the receiving room. Dominant flanking transmissions can decrease the field sound insulation performance of the building. The vibration reduction index, Kij. expresses the acoustic attenuation of construction joints. This is an input parameter in the calculation models designed to estimate the airborne sound insulation between adjoining rooms in buildings. These models are used to comply with the acoustic requirements set by Basic Document DB HR Protection against noise included in the Spanish Building Code. The characterization of Kij. must be addressed experimentally by means of measurements. The available empirical Kij. formulae were developed in different European laboratories, but they have not been validated with standard tests performed on common Spanish walls, such as those studied in this work. The aim of this work is the measurement, analysis and quantification of indirect transmissions though joints of double ceramic brick walls. Airborne sound insulation tests and Kij measurements were performed in a laboratory which emulated the conditions of a real building. These tests were performed in different partitions whose joints were modified. It follows from the analysis of the results that airborne sound insulation depends strongly on the design of joints. Sound insulation improves when the joints between construction elements are modified to eliminate acoustic bridges. The increase in sound insulation corresponds to best practice design of joints and to high Kij values. This research work provides experimental Kij data of double ceramic brick walls and the results put in discussion the theoretical values set in the current Standards.

Aplicación de los documentos reconocidos de evaluación de la demanda y certificación energética en España, para el diseño y análisis de tejidos urbanos : el caso de la intervención en barrios partiendo de criterios acústicos

El presente trabajo, trata del ahorro de energía en la edificación y en el urbanismo. Las premisas en este caso, son un contexto normativo europeo y nacional muy exigentes y encaminados de manera decidida hacia edificios cada vez más eficientes y económicos. Se centra el estudio en las decisiones iniciales que se adoptan sobre las condiciones de ocupación de la parcela urbana, las tipologías edificatorias más adecuadas, su morfología y escala y las consecuencias que tienen para el comportamiento energético final, tanto en términos objetivos como normativos. Se trata de cuantificar que suponen estas decisiones en términos de ahorro energético. Todo el análisis se realiza para un contexto climático concreto, el de la ciudad de Madrid. Para los análisis de las diferentes condiciones de implantación objeto del estudio, se han empleado unas herramientas informáticas singulares. Se trata de los programas de evaluación de la demanda y certificación energética de edificios, que el gobierno español pone a disposición de los usuarios de manera gratuita. Estas, son aplicaciones pensadas para la escala del edificio y/o parte de él, pero que con la metodología y simplificaciones que en el trabajo se detallan, pueden ser empleadas en la escala media de intervención urbana, tanto en nueva implantación como en rehabilitación. Hay que tener en cuenta que son estas aplicaciones las que se utilizarán en la mayoría de los casos como instrumento de evaluación y calificación del comportamiento energético de cada una de las unidades. Las tipologías objeto del estudio son: - Vivienda unifamiliar: aislada, pareada y adosada en hilera. - Bloque abierto - Bloque en H - Bloque en cruz - Torre - Manzana cerrada El contenido principal del trabajo se centra en el análisis individual de cada tipología y de su agrupación teórica sobre lo que podíamos llamar "unidad urbana", una manzana tipo de 10.000 m2, 1 ha. Se opta por esta unidad por tratarse de una superficie urbana lo suficientemente amplia para caracterizar la agrupación de las diferentes tipologías estudiadas y por adaptarse a las capacidades de las herramientas informáticas que se han utilizado. Se han analizado diferentes opciones tipológicas de ocupación, manteniendo constantes en todas las soluciones estudiadas, los siguientes parámetros: • el clima (Madrid), • la edificabilidad (en todas menos una en la que el modelo no permite alcanzar la edificabilidad de referencia), • la pureza formal del modelo, evitando los juegos compositivos de retranqueos y salientes de la envolvente que distorsionen el comportamiento de la volumetría primaria, • las soluciones constructivas de la envolvente y particiones interiores de los edificios, • las proporciones de huecos en la envolvente, • las soluciones de sus carpinterías y vidrios • y todas las condiciones operacionales que aplica el programa de simulación. Esta tesis, es un estudio analítico y evaluado, del comportamiento de cada uno de los tipos, su forma y posicionamiento en el espacio. Cada uno de los modelos se simula de manera individual y agrupados, con el fin de conseguir colmatar la edificabilidad de referencia sobre la parcela urbana de 1 ha. Todos los resultados se estudian de forma independiente y los resultados se expresan en diferentes tablas y un resumen en fichas individuales por tipos. La conclusión principal del trabajo es que la tipología elegida como contenedor residencial urbano determina en su elección acertada la primera medida de ahorro energético y reducción de emisiones cuantificables en más del 50% entre las tipologías más favorables y las más desfavorables. Una segunda parte del trabajo de investigación, consiste en la aplicación de esta metodología de simulación y empleando las mismas herramientas, en el estudio de casos reales en la comunidad de Madrid (principalmente en la ciudad de Madrid). El objetivo es validar el procedimiento y dichas herramientas, también para el caso de evaluación de tejidos urbanos consolidados. Como caso singular de estudio de rehabilitación urbana, se analizan las intervenciones de rehabilitación partiendo de criterios acústicos y las oportunidades que plantearía la inclusión de criterios térmicos aprovechando la sinergia entre ambas demandas, la de confort acústico y térmico. ABSTRACT This PhD work is about saving energy in buildings and urban planning. The premises in this case are a very demanding European and national policy, aimed decisively towards efficient and economic buildings. The study focuses on the initial decisions taken on the conditions of occupation of urban land, the most suitable building types, their morphology and scale and the implications for the final energy performance, always considering policy objectives. This essay tries to quantify how important this decisions are in energy savings terms. All analysis are performed for a particular climatic context, the city of Madrid. For the analysis of different implantation conditions under study, we have used a unique software tool. This software, a free tool available online, quantifies demand assessment and energy certification of buildings. It is designed for building scale and / or part of it. With the methodology and simplifications detailed in this paper, the software can be used in medium scale urban intervention. There are different types under study such as, isolated house, semi-detached, terraces row, open block, h block, cross block, tower, etc. The main content of the work focuses on the individual analysis of each type and its theoretical group, named urban unit group. This unit is chosen because it is an urban area large enough to characterize the grouping of the different types studied. It is also possible to simulate with the software tools. Different options of typological occupation have been analyzed taking in consideration the next parameters: climate, floor area, model formal purity, building envelope solutions and interior partitions of buildings, the proportions of voids in the facades. This thesis is an analytical and evaluated study of the behavior of each types, form and position in space. Each of the models is simulated individually and grouped, in order to get the reference buildable urban plot of 1 ha. All results are studied independently and the results are expressed in different tables and a summary in individual files by type. The main conclusion of the study is that the type chosen as urban residential container you choose determines the first step in successful energy savings and quantifiable reduction of emissions by more than 50% in the most favorable and the most unfavorable types. A second part of the research, is the application of this methodology and simulation using the same tools in the study of real cases in the community of Madrid (mainly in the city of Madrid). The aim is to validate the procedure and such tools, also for the case of evaluation of consolidated urban fabric. As a unique case study of urban renewal, rehabilitation interventions based on acoustic criteria and opportunities arise thermal criteria including leveraging the synergy between the two demands, acoustic and thermal comfort are analyzed.

α1-Antitrypsin Portland, a bioengineered serpin highly selective for furin: Application as an antipathogenic agent

The important role of furin in the proteolytic activation of many pathogenic molecules has made this endoprotease a target for the development of potent and selective antiproteolytic agents. Here, we demonstrate the utility of the protein-based inhibitor α1-antitrypsin Portland (α1-PDX) as an antipathogenic agent that can be used prophylactically to block furin-dependent cell killing by Pseudomonas exotoxin A. Biochemical analysis of the specificity of a bacterially expressed His- and FLAG-tagged α1-PDX (α1-PDX/hf) revealed the selectivity of the α1-PDX/hf reactive site loop for furin (Ki, 600 pM) but not for other proprotein convertase family members or other unrelated endoproteases. Kinetic studies show that α1-PDX/hf inhibits furin by a slow tight-binding mechanism characteristic of serpin molecules and functions as a suicide substrate inhibitor. Once bound to furin’s active site, α1-PDX/hf partitions with equal probability to undergo proteolysis by furin at the C-terminal side of the reactive center -Arg355-Ile-Pro-Arg358-↓ or to form a kinetically trapped SDS-stable complex with the enzyme. This partitioning between the complex-forming and proteolytic pathways contributes to the ability of α1-PDX/hf to differentially inhibit members of the proprotein convertase family. Finally, we propose a structural model of the α1-PDX-reactive site loop that explains the high degree of enzyme selectivity of this serpin and which can be used to generate small molecule furin inhibitors.

Concordance of gene genealogies reveals reproductive isolation in the pathogenic fungus Coccidioides immitis

Simple cladogenetic theory suggests that gene genealogies can be used to detect mixis in a population and delineate reproductively isolated groups within sexual taxa. We have taken this approach in a study of Coccidioides immitis, an ascomycete fungus responsible for a recent epidemic of coccidioidomycosis (Valley fever) in California. To test whether this fungus represents a single sexual species throughout its entire geographic range, we have compared genealogies from fragments of five nuclear genes. The five genealogies show multiple incompatibilities indicative of sex, but also share a branch that partitions the isolates into two reproductively isolated taxa, one centered in California and the other outside California. We conclude that coccidioidomycosis can be caused by two distinct noninterbreeding taxa. This result should aid the future study of the disease and illustrates the utility of the genealogical approach in population genetics.

Characterization of Syntenin, a Syndecan-binding PDZ Protein, as a Component of Cell Adhesion Sites and Microfilaments

Syntenin is a PDZ protein that binds the cytoplasmic C-terminal FYA motif of the syndecans. Syntenin is widely expressed. In cell fractionation experiments, syntenin partitions between the cytosol and microsomes. Immunofluorescence microscopy localizes endogenous and epitope-tagged syntenin to cell adhesion sites, microfilaments, and the nucleus. Syntenin is composed of at least three domains. Both PDZ domains of syntenin are necessary to target reporter tags to the plasma membrane. The addition of a segment of 10 amino acids from the N-terminal domain of syntenin to these PDZ domains increases the localization of the tags to stress fibers and induces the formation of long, branching plasma membrane extensions. The addition of the complete N-terminal region, in contrast, reduces the localization of the tags to plasma membrane/adhesion sites and stress fibers, and reduces the morphotypical effects. Recombinant domains of syntenin with the highest plasma membrane localization display the lowest nuclear localization. Syndecan-1, E-cadherin, β-catenin, and α-catenin colocalize with syntenin at cell-cell contacts in epithelial cells, and coimmunoprecipitate with syntenin from extracts of these cells. These results suggest a role for syntenin in the composition of adherens junctions and the regulation of plasma membrane dynamics, and imply a potential role for syntenin in nuclear processes.

A new modularity measure for Fuzzy Community detection problems based on overlap and grouping functions

One of the main challenges of fuzzy community detection problems is to be able to measure the quality of a fuzzy partition. In this paper, we present an alternative way of measuring the quality of a fuzzy community detection output based on n-dimensional grouping and overlap functions. Moreover, the proposed modularity measure generalizes the classical Girvan–Newman (GN) modularity for crisp community detection problems and also for crisp overlapping community detection problems. Therefore, it can be used to compare partitions of different nature (i.e. those composed of classical, overlapping and fuzzy communities). Particularly, as is usually done with the GN modularity, the proposed measure may be used to identify the optimal number of communities to be obtained by any network clustering algorithm in a given network. We illustrate this usage by adapting in this way a well-known algorithm for fuzzy community detection problems, extending it to also deal with overlapping community detection problems and produce a ranking of the overlapping nodes. Some computational experiments show the feasibility of the proposed approach to modularity measures through n-dimensional overlap and grouping functions.

Three-dimensional inverse modelling of magnetic anomaly sources based on a genetic algorithm.

We present a modelling method to estimate the 3-D geometry and location of homogeneously magnetized sources from magnetic anomaly data. As input information, the procedure needs the parameters defining the magnetization vector (intensity, inclination and declination) and the Earth's magnetic field direction. When these two vectors are expected to be different in direction, we propose to estimate the magnetization direction from the magnetic map. Then, using this information, we apply an inversion approach based on a genetic algorithm which finds the geometry of the sources by seeking the optimum solution from an initial population of models in successive iterations through an evolutionary process. The evolution consists of three genetic operators (selection, crossover and mutation), which act on each generation, and a smoothing operator, which looks for the best fit to the observed data and a solution consisting of plausible compact sources. The method allows the use of non-gridded, non-planar and inaccurate anomaly data and non-regular subsurface partitions. In addition, neither constraints for the depth to the top of the sources nor an initial model are necessary, although previous models can be incorporated into the process. We show the results of a test using two complex synthetic anomalies to demonstrate the efficiency of our inversion method. The application to real data is illustrated with aeromagnetic data of the volcanic island of Gran Canaria (Canary Islands).

Caracterización de vidrios para la evaluación del aislamiento acústico a ruido aéreo

La principal aportación del trabajo es la formulación de una alternativa que facilita la determinación experimental del factor de pérdidas y, en consecuencia, mejorar las predicciones de aislamiento a ruido aéreo para vidrios con una o más capas intermedias sea cual fuere su naturaleza. Además, se realiza una revisión de las normativas relacionadas con los ensayos de los parámetros mecánicos necesarios para la caracterizar los vidrios, centrándonos en los monolíticos y los laminados. En efecto, uno de los problemas que se plantea en el contexto de la acústica de la edificación actualmente es el de cumplir con los requisitos de aislamiento acústico a ruido aéreo en fachada que exige el vigente Código Técnico de la Edificación (CTE). Como sabemos, en la fachada podemos distinguir la parte ciega y la parte hueca. La parte más débil en lo concerniente a aislamiento a ruido aéreo es la hueca (compuesta por el vidrio, carpintería y otros elementos). Si la carpintería es la adecuada, la superficie de vidrio se convierte en el elemento limitante. El Catálogo de Elementos Constructivos (CEC) del CTE, la propia norma UNE-EN 12758:2011, así como algunos, cada vez más, fabricantes ofrecen datos del aislamiento de vidrios simples, vidrios laminados y vidrios dobles. En el caso de vidrios laminados, estos datos se limitan únicamente en los que tienen un sola lámina intermedia y, además, no acústicos. Podemos hablar, por tanto, de una laguna de información en este sentido. Para obtener predicciones fiables de aislamiento acústico a ruido aéreo de particiones multicapa, como pueden ser los vidrios laminados es necesario disponer de las características mecánicas y una de las más relevantes es el factor de pérdidas.

A Sequential Algorithm for the Rigorous Design of Thermally Coupled Distillation Sequences

A sequential design method is presented for the design of thermally coupled distillation sequences. The algorithm starts by selecting a set of sequences in the space of basic configurations in which the internal structure of condensers and reboilers is explicitly taken into account and extended with the possibility of including divided wall columns (DWC). This first stage is based on separation tasks (except by the DWCs) and therefore it does not provide an actual sequence of columns. In the second stage the best arrangement in N-1 actual columns is performed taking into account operability and mechanical constraints. Finally, for a set of candidate sequences the algorithm try to reduce the number of total columns by considering Kaibel columns, elimination of transfer blocks or columns with vertical partitions. An example illustrate the different steps of the sequential algorithm.

Paleoecology, Diagenesis and Biological Affinity of Tetradiids in the Upper Ordovician (Sandbian) Black River Group of the Kingston Area, Ontario, Canada

Tetradiids are a group of colonial, tubular fossils that occur globally in Middle to Upper Ordovician strata. Tetradiids were first described as a type of tabulate coral; however, based on their four-fold symmetry, division, and presence of a central-sparry canal, they were recently reinterpreted as a florideophyte rhodophyte algae, a reinterpretation that is tested in this thesis. This study focused on understanding the affinity and taphonomy of this order of fossil. Research was conducted by stratigraphic and petrographic analyses of the Black River Group in the Kingston, Ontario region. Tetradiid occurrences were divided into fragment or colonial, with three morphologies of tetradiids described (Tetradium, Phytopsis and Paratetradium). Morphology is specific to depositional environment, with compact Tetradium consistently within ooid grainstones and open branching Phytopsis and chained Paratetradium consistently within mudstones. Two types of patch reefs were recognized: a Paratetradium bioherm, and a Paratetradium, Phytopsis, stromatolite bioherm. The presence of bioherms implies that tetradiids were capable of hypercalcifying. Preservation styles of tetradiids were investigated, and were compared to brachiopods, echinoderms, mollusks, and ooids. Tetradiids were preferentially preserved as molds and demonstrated complete dissolution of skeletal material. Rare specimens, however, demonstrated preserved horizontal partitions, central plates, and a double wall. Skeletal molds were filled with either calcite spar, mud or encrusted by a cryptomicrobial colony. Both calcitic and aragonitic ooids were discovered. The co-occurrence of aragonitic ooids, aragonitic crytodontids, and the evolution of aragonitic, hypercalcifying tetradiids is interpreted as representing the geochemical favoring of aragonite and HMC in a time of global calcite seas. The geochemical favoring of aragonite is interpreted to be independent to global Mg: Ca ratios, but was the result of increased saturation levels and temperature driven by high atmospheric pCO2. Based on the presence of epitheca, tabulae, septa, and the commonality of growth forms, tetradiids are interpreted as an order of Cnidaria. The evolution of an aragonitic skeleton in tetradiids is interpreted to be the result of de novo acquisition of a skeleton from an unmineralized clade.

MOREMATA: Stata module (Mata) to provide various functions

This package includes various Mata functions. kern(): various kernel functions; kint(): kernel integral functions; kdel0(): canonical bandwidth of kernel; quantile(): quantile function; median(): median; iqrange(): inter-quartile range; ecdf(): cumulative distribution function; relrank(): grade transformation; ranks(): ranks/cumulative frequencies; freq(): compute frequency counts; histogram(): produce histogram data; mgof(): multinomial goodness-of-fit tests; collapse(): summary statistics by subgroups; _collapse(): summary statistics by subgroups; gini(): Gini coefficient; sample(): draw random sample; srswr(): SRS with replacement; srswor(): SRS without replacement; upswr(): UPS with replacement; upswor(): UPS without replacement; bs(): bootstrap estimation; bs2(): bootstrap estimation; bs_report(): report bootstrap results; jk(): jackknife estimation; jk_report(): report jackknife results; subset(): obtain subsets, one at a time; composition(): obtain compositions, one by one; ncompositions(): determine number of compositions; partition(): obtain partitions, one at a time; npartitionss(): determine number of partitions; rsubset(): draw random subset; rcomposition(): draw random composition; colvar(): variance, by column; meancolvar(): mean and variance, by column; variance0(): population variance; meanvariance0(): mean and population variance; mse(): mean squared error; colmse(): mean squared error, by column; sse(): sum of squared errors; colsse(): sum of squared errors, by column; benford(): Benford distribution; cauchy(): cumulative Cauchy-Lorentz dist.; cauchyden(): Cauchy-Lorentz density; cauchytail(): reverse cumulative Cauchy-Lorentz; invcauchy(): inverse cumulative Cauchy-Lorentz; rbinomial(): generate binomial random numbers; cebinomial(): cond. expect. of binomial r.v.; root(): Brent's univariate zero finder; nrroot(): Newton-Raphson zero finder; finvert(): univariate function inverter; integrate_sr(): univariate function integration (Simpson's rule); integrate_38(): univariate function integration (Simpson's 3/8 rule); ipolate(): linear interpolation; polint(): polynomial inter-/extrapolation; plot(): Draw twoway plot; _plot(): Draw twoway plot; panels(): identify nested panel structure; _panels(): identify panel sizes; npanels(): identify number of panels; nunique(): count number of distinct values; nuniqrows(): count number of unique rows; isconstant(): whether matrix is constant; nobs(): number of observations; colrunsum(): running sum of each column; linbin(): linear binning; fastlinbin(): fast linear binning; exactbin(): exact binning; makegrid(): equally spaced grid points; cut(): categorize data vector; posof(): find element in vector; which(): positions of nonzero elements; locate(): search an ordered vector; hunt(): consecutive search; cond(): matrix conditional operator; expand(): duplicate single rows/columns; _expand(): duplicate rows/columns in place; repeat(): duplicate contents as a whole; _repeat(): duplicate contents in place; unorder2(): stable version of unorder(); jumble2(): stable version of jumble(); _jumble2(): stable version of _jumble(); pieces(): break string into pieces; npieces(): count number of pieces; _npieces(): count number of pieces; invtokens(): reverse of tokens(); realofstr(): convert string into real; strexpand(): expand string argument; matlist(): display a (real) matrix; insheet(): read spreadsheet file; infile(): read free-format file; outsheet(): write spreadsheet file; callf(): pass optional args to function; callf_setup(): setup for mm_callf().

Using multiple landscape genetic approaches to test the validity of genetic clusters in a species characterized by an isolation-by-distance pattern

Bayesian clustering methods are typically used to identify barriers to gene flow, but they are prone to deduce artificial subdivisions in a study population characterized by an isolation-by-distance pattern (IbD). Here we analysed the landscape genetic structure of a population of wild boars (Sus scrofa) from south-western Germany. Two clustering methods inferred the presence of the same genetic discontinuity. However, the population in question was characterized by a strong IbD pattern. While landscape-resistance modelling failed to identify landscape features that influenced wild boar movement, partial Mantel tests and multiple regression of distance matrices (MRDMs) suggested that the empirically inferred clusters were separated by a genuine barrier. When simulating random lines bisecting the study area, 60% of the unique barriers represented, according to partial Mantel tests and MRDMs, significant obstacles to gene flow. By contrast, the random-lines simulation showed that the boundaries of the inferred empirical clusters corresponded to the most important genetic discontinuity in the study area. Given the degree of habitat fragmentation separating the two empirical partitions, it is likely that the clustering programs correctly identified a barrier to gene flow. The differing results between the work published here and other studies suggest that it will be very difficult to draw general conclusions about habitat permeability in wild boar from individual studies.