Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Transport i emmagatzematge de les àmfores en l'antiguitat:l'aportació de les ciències dels materials

[spa]Las ánforas son ejemplos claros de cerámicas utilitarias que requieren de unas características técnicas necesarias para cumplir su funcionalidad: servir de envase de almacenamiento y transporte. En este trabajo se propone el estudio del comportamiento funcional de estos envases a través de la evaluación de las propiedades mecánicas de resistencia y tenacidad a la fractura. Propiedades mecánicas, ámforas ibéricas, ámforas romanas, tecnología, funcionalidad.

Strategies of use of a specific immunoglobulin-rich egg yolk powder in weaning piglets

Two experiments were performed to determine the best strategy of use of the product TRACTcare® 4P (ITPSA) (TC, specific immunoglobulin-rich egg yolk powder within an energetic fatty acid matrix) in piglets from weaning and for 6 weeks, in diets without or with inclusion of antibiotics. Each trial was performed with 144 piglets in 24 pens, in a completely randomized design blocked by initial body weight. Feeds were formulated according to animal requirements in two periods. In the first trial no antibiotics were included in the feeds and no room disinfection from previous trial was performed; treatments were: 1) Negative control (NC); 2) NC+TC on top of the feed within the hopper for the first 3 days on trial (30 g/pig×day), and eventually if diarrhea appeared (TCOT); 3) NC+TC ad libitum provided in an extra hopper within the pen (TCAL); and 4) NC+TC at 5 g/kg added to the feed in the mixer (TC5). In the second trial, treatments were: 1) Positive control: basal diet that included 250 mg/kg amoxiciline (BD)+100 mg/kg colistine (AC); 2) BD+2 g/kg TC (TC2A); 3) BD+5 g/kg TC (TC5A); and 4) BD+8 g/kg TC (TC8A). In diets without antibiotics, the product TC at 5 g/kg in the feed numerically improved BW by 8% compared to Control animals, while G:F was almost identical between both groups. When antibiotics were used in the feed, replacement of colistin at 100 mg/kg for TC at 2 g/kg in feed numerically improved the performance compared to Positive control animals (for the whole trial period ADG 8% better: 390 g vs. 361 g; G:F 1% better: 0.748 kg/kg vs. 0.742 kg/kg), possibly due to the stimulation of feed consumption at weaning. In both trials, the lower number of dead and culled animals from TC5 and TC2A together with higher BW represented an advantage over Control treatments of 6% to 10% animals more and 15% to 17% total BW more at the end of the trial.

On the performance of small-area estimators: Fixed vs. random area parameters

Most methods for small-area estimation are based on composite estimators derived from design- or model-based methods. A composite estimator is a linear combination of a direct and an indirect estimator with weights that usually depend on unknown parameters which need to be estimated. Although model-based small-area estimators are usually based on random-effects models, the assumption of fixed effects is at face value more appropriate.Model-based estimators are justified by the assumption of random (interchangeable) area effects; in practice, however, areas are not interchangeable. In the present paper we empirically assess the quality of several small-area estimators in the setting in which the area effects are treated as fixed. We consider two settings: one that draws samples from a theoretical population, and another that draws samples from an empirical population of a labor force register maintained by the National Institute of Social Security (NISS) of Catalonia. We distinguish two types of composite estimators: a) those that use weights that involve area specific estimates of bias and variance; and, b) those that use weights that involve a common variance and a common squared bias estimate for all the areas. We assess their precision and discuss alternatives to optimizing composite estimation in applications.

Maximum-likelihood estimation of specific differential phase and attenuation in rain

Precise estimation of propagation parameters inprecipitation media is of interest to improve the performanceof communications systems and in remote sensing applications.In this paper, we present maximum-likelihood estimators ofspecific attenuation and specific differential phase in rain. Themodel used for obtaining the cited estimators assumes coherentpropagation, reflection symmetry of the medium, and Gaussianstatistics of the scattering matrix measurements. No assumptionsabout the microphysical properties of the medium are needed.The performance of the estimators is evaluated through simulateddata. Results show negligible estimators bias and variances closeto Cramer–Rao bounds.

Performance evaluation of MPEG-4 Video encoder on Adres

Actualment un típic embedded system (ex. telèfon mòbil) requereix alta qualitat per portar a terme tasques com codificar/descodificar a temps real; han de consumir poc energia per funcionar hores o dies utilitzant bateries lleugeres; han de ser el suficientment flexibles per integrar múltiples aplicacions i estàndards en un sol aparell; han de ser dissenyats i verificats en un període de temps curt tot i l’augment de la complexitat. Els dissenyadors lluiten contra aquestes adversitats, que demanen noves innovacions en arquitectures i metodologies de disseny. Coarse-grained reconfigurable architectures (CGRAs) estan emergent com a candidats potencials per superar totes aquestes dificultats. Diferents tipus d’arquitectures han estat presentades en els últims anys. L’alta granularitat redueix molt el retard, l’àrea, el consum i el temps de configuració comparant amb les FPGAs. D’altra banda, en comparació amb els tradicionals processadors coarse-grained programables, els alts recursos computacionals els permet d’assolir un alt nivell de paral•lelisme i eficiència. No obstant, els CGRAs existents no estant sent aplicats principalment per les grans dificultats en la programació per arquitectures complexes. ADRES és una nova CGRA dissenyada per I’Interuniversity Micro-Electronics Center (IMEC). Combina un processador very-long instruction word (VLIW) i un coarse-grained array per tenir dues opcions diferents en un mateix dispositiu físic. Entre els seus avantatges destaquen l’alta qualitat, poca redundància en les comunicacions i la facilitat de programació. Finalment ADRES és un patró enlloc d’una arquitectura concreta. Amb l’ajuda del compilador DRESC (Dynamically Reconfigurable Embedded System Compile), és possible trobar millors arquitectures o arquitectures específiques segons l’aplicació. Aquest treball presenta la implementació d’un codificador MPEG-4 per l’ADRES. Mostra l’evolució del codi per obtenir una bona implementació per una arquitectura donada. També es presenten les característiques principals d’ADRES i el seu compilador (DRESC). Els objectius són de reduir al màxim el nombre de cicles (temps) per implementar el codificador de MPEG-4 i veure les diferents dificultats de treballar en l’entorn ADRES. Els resultats mostren que els cícles es redueixen en un 67% comparant el codi inicial i final en el mode VLIW i un 84% comparant el codi inicial en VLIW i el final en mode CGA.

Average performance analysis of circular and hyperbolic geolocation

A comparative performance analysis of four geolocation methods in terms of their theoretical root mean square positioning errors is provided. Comparison is established in two different ways: strict and average. In the strict type, methods are examined for a particular geometric configuration of base stations(BSs) with respect to mobile position, which determines a givennoise profile affecting the respective time-of-arrival (TOA) or timedifference-of-arrival (TDOA) estimates. In the average type, methodsare evaluated in terms of the expected covariance matrix ofthe position error over an ensemble of random geometries, so thatcomparison is geometry independent. Exact semianalytical equationsand associated lower bounds (depending solely on the noiseprofile) are obtained for the average covariance matrix of the positionerror in terms of the so-called information matrix specific toeach geolocation method. Statistical channel models inferred fromfield trials are used to define realistic prior probabilities for therandom geometries. A final evaluation provides extensive resultsrelating the expected position error to channel model parametersand the number of base stations.

Bases cerebrales de la atención sostenida y la memoria de trabajo: un estudio de resonancia magnética funcional basado en el Continuous Performance Test

Introducción. Uno de los paradigmas más utilizados en el estudio de la atención es el Continuous Performance Test (CPT). La versión de pares idénticos (CPT-IP) se ha utilizado ampliamente para evaluar los déficits de atención en los trastornos del neurodesarrollo, neurológicos y psiquiátricos. Sin embargo, la localización de la activación cerebral de las redes atencionales varía significativamente según el diseño de resonancia magnética funcional (RMf) usado. Objetivo. Diseñar una tarea para evaluar la atención sostenida y la memoria de trabajo mediante RMf para proporcionar datos de investigación relacionados con la localización y el papel de estas funciones. Sujetos y métodos. El estudio contó con la participación de 40 estudiantes, todos ellos diestros (50%, mujeres; rango: 18-25 años). La tarea de CPT-IP se diseñó como una tarea de bloques, en la que se combinaban los períodos CPT-IP con los de reposo. Resultados. La tarea de CPT-IP utilizada activa una red formada por regiones frontales, parietales y occipitales, y éstas se relacionan con funciones ejecutivas y atencionales. Conclusiones. La tarea de CPT-IP utilizada en nuestro trabajo proporciona datos normativos en adultos sanos para el estudio del sustrato neural de la atención sostenida y la memoria de trabajo. Estos datos podrían ser útiles para evaluar trastornos que cursan con déficits en memoria de trabajo y en atención sostenida.

Randomization tests for ABAB designs: Comparing-data-division-specific and common distributions

Monte Carlo simulations were used to generate data for ABAB designs of different lengths. The points of change in phase are randomly determined before gathering behaviour measurements, which allows the use of a randomization test as an analytic technique. Data simulation and analysis can be based either on data-division-specific or on common distributions. Following one method or another affects the results obtained after the randomization test has been applied. Therefore, the goal of the study was to examine these effects in more detail. The discrepancies in these approaches are obvious when data with zero treatment effect are considered and such approaches have implications for statistical power studies. Data-division-specific distributions provide more detailed information about the performance of the statistical technique.

Impact of quality improvement tools on the performance of firms using different quality management systems

This study compares the impact of quality management tools on the performance of organisations utilising the ISO 9001:2000 standard as a basis for a quality-management system band those utilising the EFQM model for this purpose. A survey is conducted among 107 experienced and independent quality-management assessors. The study finds that organisations with qualitymanagement systems based on the ISO 9001:2000 standard tend to use general-purpose qualitative tools, and that these do have a relatively positive impact on their general performance. In contrast, organisations adopting the EFQM model tend to use more specialised quantitative tools, which produce significant improvements in specific aspects of their performance. The findings of the study will enable organisations to choose the most effective quality-improvement tools for their particular quality strategy

O6-Methylguanine-DNA methyltransferase protein expression by immunohistochemistry in brain and non-brain systemic tumours: systematic review and meta-analysis of correlation with methylation-specific polymerase chain reaction

Background: The DNA repair protein O6-Methylguanine-DNA methyltransferase (MGMT) confers resistance to alkylating agents. Several methods have been applied to its analysis, with methylation-specific polymerase chain reaction (MSP) the most commonly used for promoter methylation study, while immunohistochemistry (IHC) has become the most frequently used for the detection of MGMT protein expression. Agreement on the best and most reliable technique for evaluating MGMT status remains unsettled. The aim of this study was to perform a systematic review and meta-analysis of the correlation between IHC and MSP. Methods A computer-aided search of MEDLINE (1950-October 2009), EBSCO (1966-October 2009) and EMBASE (1974-October 2009) was performed for relevant publications. Studies meeting inclusion criteria were those comparing MGMT protein expression by IHC with MGMT promoter methylation by MSP in the same cohort of patients. Methodological quality was assessed by using the QUADAS and STARD instruments. Previously published guidelines were followed for meta-analysis performance. Results Of 254 studies identified as eligible for full-text review, 52 (20.5%) met the inclusion criteria. The review showed that results of MGMT protein expression by IHC are not in close agreement with those obtained with MSP. Moreover, type of tumour (primary brain tumour vs others) was an independent covariate of accuracy estimates in the meta-regression analysis beyond the cut-off value. Conclusions Protein expression assessed by IHC alone fails to reflect the promoter methylation status of MGMT. Thus, in attempts at clinical diagnosis the two methods seem to select different groups of patients and should not be used interchangeably.

High-Performance-Tensile-Strength Alpha-Grass Reinforced Starch-Based Fully Biodegradable Composites

Though there has been a great deal of work concerning the development of natural fibers in reinforced starch-based composites, there is still more to be done. In general, cellulose fibers have lower strength than glass fibers; however, their specific strength is not far from that of fiberglass. In this work, alpha-fibers were obtained from alpha-grass through a mild cooking process. The fibers were used to reinforce a starch-based biopolymer. Composites including 5 to 35% (w/w) alpha-grass fibers in their formulation were prepared, tested, and subsequently compared with those of wood- and fiberglass-reinforced polypropylene (PP). The term “high-performance” refers to the tensile strength of the studied composites and is mainly due to a good interphase, a good dispersion of the fibers inside the matrix, and a good aspect ratio. The tensile strength of the composites showed a linear evolution for fiber contents up to 35% (w/w). The strain at break of the composites decreased with the fiber content and showed the stiffening effects of the reinforcement. The prepared composites showed high mechanical properties, even approaching those of glass fiber reinforced composites

Towards integrated operation of membrane bioreactors : effects of aeration on biological and filtration performance

Two experimental studies evaluated the effect of aerobic and membrane aeration changes on sludge properties, biological nutrient removal and filtration processes in a pilot plant membrane bioreactor. The optimal operating conditions were found at an aerobic dissolved oxygen set-point (DO) of 0.5mgO2L-1 and a membrane specific aeration demand (SADm) of 1mh-1, where membrane aeration can be used for nitrification. Under these conditions, a total flow reduction of 42% was achieved (75% energy reduction) without compromising nutrient removal efficiencies, maintaining sludge characteristics and controlled filtration. Below these optimal operating conditions, the nutrient removal efficiency was reduced, increasing 20% for soluble microbial products, 14% for capillarity suction time and reducing a 15% for filterability. Below this DO set-point, fouling increased with a transmembrane pressure 75% higher. SADm below 1mh-1 doubled the values of transmembrane pressure, without recovery after achieving the initial conditions

Performance evaluation of MPEG-4 Video encoder on Adres

Actualment un típic embedded system (ex. telèfon mòbil) requereix alta qualitat per portar a terme tasques com codificar/descodificar a temps real; han de consumir poc energia per funcionar hores o dies utilitzant bateries lleugeres; han de ser el suficientment flexibles per integrar múltiples aplicacions i estàndards en un sol aparell; han de ser dissenyats i verificats en un període de temps curt tot i l’augment de la complexitat. Els dissenyadors lluiten contra aquestes adversitats, que demanen noves innovacions en arquitectures i metodologies de disseny. Coarse-grained reconfigurable architectures (CGRAs) estan emergent com a candidats potencials per superar totes aquestes dificultats. Diferents tipus d’arquitectures han estat presentades en els últims anys. L’alta granularitat redueix molt el retard, l’àrea, el consum i el temps de configuració comparant amb les FPGAs. D’altra banda, en comparació amb els tradicionals processadors coarse-grained programables, els alts recursos computacionals els permet d’assolir un alt nivell de paral•lelisme i eficiència. No obstant, els CGRAs existents no estant sent aplicats principalment per les grans dificultats en la programació per arquitectures complexes. ADRES és una nova CGRA dissenyada per I’Interuniversity Micro-Electronics Center (IMEC). Combina un processador very-long instruction word (VLIW) i un coarse-grained array per tenir dues opcions diferents en un mateix dispositiu físic. Entre els seus avantatges destaquen l’alta qualitat, poca redundància en les comunicacions i la facilitat de programació. Finalment ADRES és un patró enlloc d’una arquitectura concreta. Amb l’ajuda del compilador DRESC (Dynamically Reconfigurable Embedded System Compile), és possible trobar millors arquitectures o arquitectures específiques segons l’aplicació. Aquest treball presenta la implementació d’un codificador MPEG-4 per l’ADRES. Mostra l’evolució del codi per obtenir una bona implementació per una arquitectura donada. També es presenten les característiques principals d’ADRES i el seu compilador (DRESC). Els objectius són de reduir al màxim el nombre de cicles (temps) per implementar el codificador de MPEG-4 i veure les diferents dificultats de treballar en l’entorn ADRES. Els resultats mostren que els cícles es redueixen en un 67% comparant el codi inicial i final en el mode VLIW i un 84% comparant el codi inicial en VLIW i el final en mode CGA.