Geostatistics for constrained variables: positive data, compositions and probabilities. Applications to environmental hazard monitoring

Aquesta tesi estudia com estimar la distribució de les variables regionalitzades l'espai mostral i l'escala de les quals admeten una estructura d'espai Euclidià. Apliquem el principi del treball en coordenades: triem una base ortonormal, fem estadística sobre les coordenades de les dades, i apliquem els output a la base per tal de recuperar un resultat en el mateix espai original. Aplicant-ho a les variables regionalitzades, obtenim una aproximació única consistent, que generalitza les conegudes propietats de les tècniques de kriging a diversos espais mostrals: dades reals, positives o composicionals (vectors de components positives amb suma constant) són tractades com casos particulars. D'aquesta manera, es generalitza la geostadística lineal, i s'ofereix solucions a coneguts problemes de la no-lineal, tot adaptant la mesura i els criteris de representativitat (i.e., mitjanes) a les dades tractades. L'estimador per a dades positives coincideix amb una mitjana geomètrica ponderada, equivalent a l'estimació de la mediana, sense cap dels problemes del clàssic kriging lognormal. El cas composicional ofereix solucions equivalents, però a més permet estimar vectors de probabilitat multinomial. Amb una aproximació bayesiana preliminar, el kriging de composicions esdevé també una alternativa consistent al kriging indicador. Aquesta tècnica s'empra per estimar funcions de probabilitat de variables qualsevol, malgrat que sovint ofereix estimacions negatives, cosa que s'evita amb l'alternativa proposada. La utilitat d'aquest conjunt de tècniques es comprova estudiant la contaminació per amoníac a una estació de control automàtic de la qualitat de l'aigua de la conca de la Tordera, i es conclou que només fent servir les tècniques proposades hom pot detectar en quins instants l'amoni es transforma en amoníac en una concentració superior a la legalment permesa.

Compositional and textural properties of milkfat-soybean oil enzymatic interesterification

Milkfat-soybean oil blends were enzymatically interesterified (EIE) by Aspergillus niger lipase immobilized on SiO(2)-PVA hybrid composite in a solvent free system. An experimental mixture design was used to study the effects of binary blends of milkfat-soybean oil (MF:SBO) at different proportions (0:100; 25:75; 33:67; 50:50; 67:33; 75:25; 100:0) on the compositional and textural properties of the EIE products, considering, as response variables, the interesterification yield (IY), consistency and hardness. Lipase-catalysed interesterification reactions increased the relative proportion of TAGs` C(46)-C(52) and decreased the TAGs` C(40)-C(42) and C(54) concentrations. The highest IY was attained (10.8%) for EIE blend of MF:SBO 67:33 resulting in a more spreadable material at refrigerator temperature in comparison with butter, milkfat or non-interesterified (NIE) blend. In this case, consistency and hardness values were at least 32% lower than values measured for butter. Thus, using A. niger lipase immobilized on SiO(2)-PVA improves the textural properties of milkfat and has potential for development of a product incorporating unsaturated and essential fatty acids from soybean oil. (C) 2010 Elsevier Ltd. All rights reserved.

Crystallisation behaviours of Al-based metallic glasses: Compositional and topological aspects

The different types of thermal crystallisation behaviours observed during continuous heating of M-based metallic glasses have been successfully associated with the topological instability. criterion, which is simply calculated from the alloy composition and metallic radii of the alloying elements and aluminium. In the present work, we report on new results evidencing the correlation between the values of X and the crystallisation behaviours in Al-based alloys of the Al-Ni-Ce system and we compare the glass-forming abilities of alloys designed with compositions corresponding to the same topological instability condition. The results are discussed in terms of compositional and topological aspects emphasizing the relevance of the different types of clusters in the amorphous phase in defining the stability of the glass and the types of thermal crystallisation. (C) 2008 Elsevier B.V. All rights reserved.

Magnetic Resonance Imaging in Knee Osteoarthritis Research: Semiquantitative and Compositional Assessment

Semiquantitative assessment of the knee by expert magnetic resonance imaging readers is a powerful research tool for understanding the natural history of osteoarthritis (OA). Several reliable semiquantitative scoring systems have been applied to large observational cross-sectional and longitudinal epidemiologic studies and interventional clinical trials. Such evaluations have enabled understanding of the relevance of disease in structures within the knee joint to explain pain and progression of OA. Compositional imaging of cartilage has added to our ability to detect early degeneration before morphologic changes are present, which may help to prevent the permanent morphologic changes commonly seen in knee OA.

The compositional inverse of a class of permutation polynomials over a finite field

A new class of bilinear permutation polynomials was recently identified. In this note we determine the class of permutation polynomials which represents the functional inverse of the bilinear class.

Compositional changes of Australia-grown Western Schley pecans [Carya illinoinensis (Wangenh.) K. Koch] during maturation

Changes in composition during the maturation of Western Schley pecans [Carya illinoinensis (Wangenh.) K. Koch] grown in Australia were investigated. Pecans of different maturity levels were collected at monthly intervals between March and June in. 1999 and 2000 and analyzed for the concentrations of moisture, total lipid, sucrose, raffinose, protein, and the minerals aluminum, boron, calcium, copper, iron, potassium, magnesium, manganese, sodium, phosphorus, sulfur, and zinc. Moisture, total lipid, and calcium contents changed significantly (p < 0.05) with harvest time and maturity, whereas the other components did not. Western Schley pecans grown in Australia should be harvested after the shuck has opened and it is either green or brown in color to maximize total lipid content and quality. This occurred after May 11 in 1999 and after May 17 in 2000.

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

A pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained- deadline sporadic tasks on a uniprocessor

Compositional real-time scheduling clearly requires that ”normal” real-time scheduling challenges are addressed but challenges intrinsic to compositionality must be addressed as well, in particular: (i) how should interfaces be described? and (ii) how should numerical values be assigned to parameters constituting the interfaces? The real-time systems community has traditionally used narrow interfaces for describing a component (for example, a utilization/bandwidthlike metric and the distribution of this bandwidth in time). In this paper, we introduce the concept of competitive ratio of an interface and show that typical narrow interfaces cause poor performance for scheduling constrained-deadline sporadic tasks (competitive ratio is infinite). Therefore, we explore more expressive interfaces; in particular a class called medium-wide interfaces. For this class, we propose an interface type and show how the parameters of the interface should be selected. We also prove that this interface is 8-competitive.

SAKWeb – Spatial autocorrelation and kriging web, a W3 geocomputation perspective

A thesis submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Information Systems

Analysis of sandwich beam structures using kriging based higher order models

Functionally graded composite materials can provide continuously varying properties, which distribution can vary according to a specific location within the composite. More frequently, functionally graded materials consider a through thickness variation law, which can be more or less smoother, possessing however an important characteristic which is the continuous properties variation profiles, which eliminate the abrupt stresses discontinuities found on laminated composites. This study aims to analyze the transient dynamic behavior of sandwich structures, having a metallic core and functionally graded outer layers. To this purpose, the properties of the particulate composite metal-ceramic outer layers, are estimated using Mod-Tanaka scheme and the dynamic analyses considers first order and higher order shear deformation theories implemented though kriging finite element method. The transient dynamic response of these structures is carried out through Bossak-Newmark method. The illustrative cases presented in this work, consider the influence of the shape functions interpolation domain, the properties through-thickness distribution, the influence of considering different materials, aspect ratios and boundary conditions. (C) 2014 Elsevier Ltd. All rights reserved.

Dynamic behaviour of soft core sandwich beam structures using kriging-based layerwise models

Sandwich structures with soft cores are widely used in applications where a high bending stiffness is required without compromising the global weight of the structure, as well as in situations where good thermal and damping properties are important parameters to observe. As equivalent single layer approaches are not the more adequate to describe realistically the kinematics and the stresses distributions as well as the dynamic behaviour of this type of sandwiches, where shear deformations and the extensibility of the core can be very significant, layerwise models may provide better solutions. Additionally and in connection with this multilayer approach, the selection of different shear deformation theories according to the nature of the material that constitutes the core and the outer skins can predict more accurately the sandwich behaviour. In the present work the authors consider the use of different shear deformation theories to formulate different layerwise models, implemented through kriging-based finite elements. The viscoelastic material behaviour, associated to the sandwich core, is modelled using the complex approach and the dynamic problem is solved in the frequency domain. The outer elastic layers considered in this work may also be made from different nanocomposites. The performance of the models developed is illustrated through a set of test cases. (C) 2015 Elsevier Ltd. All rights reserved.

Compositional multiprocessor scheduling: the GMPR interface

Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. For multiprocessor platforms, the interface should also present information about the degree of parallelism. Several interface proposals have recently been put forward in various research works. However, those interfaces are either too complex to be handled or too pessimistic. In this paper we propose the generalized multiprocessor periodic resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We then derive a method to compute the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Compositional and functional analysis of polycomb target chromatin

Dissertation presented to obtain the Ph.D degree in Molecular Biology