On abstraction-carrying code and certificate-size reduction

Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer. The advantage of providing a (fixed-point) abstraction to the code consumer is that its validity is checked in a single pass (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make ACC useful in practice is to reduce the size of certificates as much as possible, while at the same time not increasing checking time. Intuitively, we only include in the certificate the information which the checker is unable to reproduce without iterating. We introduce the notion of reduced certifícate which characterizes the subset of the abstraction which a checker needs in order to validate (and re-construct) the full certificate in a single pass. Based on this notion, we show how to instrument a generic analysis algorithm with the necessary extensions in order to identify the information relevant to the checker.

Certificate size reduction in abstraction-carrying code

Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixpoint analyzer. The advantage of providing a (fixpoint) abstraction to the code consumer is that its validity is checked in a single pass (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make ACC useful in practice is to reduce the size of certificates as much as possible while at the same time not increasing checking time. The intuitive idea is to only include in the certificate information that the checker is unable to reproduce without iterating. We introduce the notion of reduced certificate which characterizes the subset of the abstraction which a checker needs in order to validate (and re-construct) the fall certificate in a single pass. Based on this notion, we instrument a generic analysis algorithm with the necessary extensions in order to identify the information relevant to the checker. Interestingly, the fact that the reduced certificate omits (parts of) the abstraction has implications in the design of the checker. We provide the sufficient conditions which allow us to ensure that 1) if the checker succeeds in validating the certificate, then the certificate is valid for the program (correctness) and 2) the checker will succeed for any reduced certificate which is valid (completeness). Our approach has been implemented and benchmarked within the CiaoPP system. The experimental results show t h a t our proposal is able to greatly reduce the size of certificates in practice. To appear in Theory and Practice of Logic Programming (TPLP).

EBG size reduction for low permittivity substrates

Double layer and edge-location via techniques are combined for electromagnetic band gap (EBG) size reduction. The study of the required number of elements and their dimensions is carried out in order to suppress the surface wave propagation modes and consequently to reduce the mutual coupling between radiating elements in low-permittivity substrates. By applying these techniques, the size of the EBG mushroom is reduced by 30%; however, the bandwidth operation maintains its value, and these structures can be integrated between radiating elements in broad bandwidth antennas.

Influence of main cereal and mean particle size of the diet on productive performance and egg quality of brown-laying hens

Influencia de cereal principal y el tamaño medio de partícula de la dieta sobre el desempeño productivo y calidad de los huevos de las gallinas marrones para puesta.

A packing computational method relating fractal particle size distribution and void fraction in granular media

The study of granular systems is of great interest to many fields of science and technology. The packing of particles affects to the physical properties of the granular system. In particular, the crucial influence of particle size distribution (PSD) on the random packing structure increase the interest in relating both, either theoretically or by computational methods. A packing computational method is developed in order to estimate the void fraction corresponding to a fractal-like particle size distribution.

Thermodynamic aproach to particle size distribution in granular media

The study of particulate systems is of great interest in many fields of science and technology. Soil, sediments, powders, granular materials, colloidal and particulate suspensions are examples of systems involving many size particles. For those systems, the statistical description of the particle size distribution (PSD), that is, the mathematical distribution that defines the relative amounts of particles present, sorted according to size, is a crutial issue. The PSD can be important in understanding soil hydraulic properties, the geological origin or sediments or the physical and chemical properties of granular materials and ceramics, among others.

Computer simulation of random parckings for self-similar particle size distributions in soil and granular materials: porosity and pore size distribution

A 2D computer simulation method of random packings is applied to sets of particles generated by a self-similar uniparametric model for particle size distributions (PSDs) in granular media. The parameter p which controls the model is the proportion of mass of particles corresponding to the left half of the normalized size interval [0,1]. First the influence on the total porosity of the parameter p is analyzed and interpreted. It is shown that such parameter, and the fractal exponent of the associated power scaling, are efficient packing parameters, but this last one is not in the way predicted in a former published work addressing an analogous research in artificial granular materials. The total porosity reaches the minimum value for p = 0.6. Limited information on the pore size distribution is obtained from the packing simulations and by means of morphological analysis methods. Results show that the range of pore sizes increases for decreasing values of p showing also different shape in the volume pore size distribution. Further research including simulations with a greater number of particles and image resolution are required to obtain finer results on the hierarchical structure of pore space.

A Packing Computational Method Relating Fractal Particle Size Distribution and Void Fraction in Granular Media

The study of granular systems is of great interest to many fields of science and technology. The packing of particles affects to the physical properties of the granular system. In particular, the crucial influence of particle size distribution (PSD) on the random packing structure increase the interest in relating both, either theoretically or by computational methods. A packing computational method is developed in order to estimate the void fraction corresponding to a fractal-like particle size distribution.

Quantifying the relationship between drainage networks at hillslope scale and particle size distribution at pedon scale

Nowadays, translating information about hydrologic and soil properties and processes across scales has emerged as a major theme in soil science and hydrology, and suitable theories for upscaling or downscaling hydrologic and soil information are being looked forward. The recognition of low-order catchments as self-organized systems suggests the existence of a great amount of links at different scales between their elements. The objective of this work was to research in areas of homogeneous bedrock material, the relationship between the hierarchical structure of the drainage networks at hillslope scale and the heterogeneity of the particle-size distribution at pedon scale. One of the most innovative elements in this work is the choice of the parameters to quantify the organization level of the studied features. The fractal dimension has been selected to measure the hierarchical structure of the drainage networks, while the Balanced Entropy Index (BEI) has been the chosen parameter to quantify the heterogeneity of the particle-size distribution from textural data. These parameters have made it possible to establish quantifiable relationships between two features attached to different steps in the scale range. Results suggest that the bedrock lithology of the landscape constrains the architecture of the drainage networks developed on it and the particle soil distribution resulting in the fragmentation processes.

Quantifying the relationship between drainage networks at hillslope scale and particle size distribution at pedon scale

Nowadays, translating information about hydrologic and soil properties and processes across scales has emerged as a major theme in soil science and hydrology, and suitable theories for upscaling or downscaling hydrologic and soil information are being looked forward. The recognition of low-order catchments as self-organized systems suggests the existence of a great amount of links at different scales between their elements. The objective of this work was to research in areas of homogeneous bedrock material, the relationship between the hierarchical structure of the drainage networks at hillslope scale and the heterogeneity of the particle-size distribution at pedon scale. One of the most innovative elements in this work is the choice of the parameters to quantify the organization level of the studied features. The fractal dimension has been selected to measure the hierarchical structure of the drainage networks, while the Balanced Entropy Index (BEI) has been the chosen parameter to quantify the heterogeneity of the particle-size distribution from textural data. These parameters have made it possible to establish quantifiable relationships between two features attached to different steps in the scale range. Results suggest that the bedrock lithology of the landscape constrains the architecture of the drainage networks developed on it and the particle soil distribution resulting in the fragmentation processes.

230Th, 231Pa, and 10Be in particle size fractions of an opal-rich sediment of the Atlantic Southern Ocean

This study centers on the question: How sensitive are 231Pa/230Th and 10Be/230Th to sediment composition and redistribution? The natural radionuclides 231Pa, 230Th and 10Be recorded in deep sea sediments are tracers for water mass advection and particle fluxes. We investigate the influence of oceanic particle composition on the element adsorption in order to improve our understanding of sedimentary isotope records. We present new data on particle size specific 231Pa and 10Be concentrations. An additional separation step, based on settling velocities, led to the isolation of a very opal-rich phase. We find that opal-rich particles contain the highest 231Pa and 10Be concentrations, and higher 231Pa/230Th and 10Be/230Th isotope ratios than opal-poor particles. The fractionation relative to 230Th induced by the adsorption to opal-rich particles is more pronounced for 231Pa than for 10Be. We conclude that bulk 231Pa/230Th in Southern Ocean sediments is most suitable as a proxy for past opal fluxes. The comparison between two neighboring cores with rapid and slow accumulation rates reveals that these isotope ratios are not influenced significantly by the intensity of sediment focusing at these two study sites. However, a simulation shows that particle sorting by selective removal of sediment (winnowing) could change the isotope ratios. Consequently, 231Pa/230Th should not be used as paleocirculation proxy in cases where a strong loss of opal-rich material due to bottom currents occurred.