Automating property-based testing of evolving web services

Web services are the most widely used service technology that drives the Service-Oriented Computing~(SOC) paradigm. As a result, effective testing of web services is getting increasingly important. In this paper, we present a framework and toolset for testing web services and for evolving test code in sync with the evolution of web services. Our approach to testing web services is based on the Erlang programming language and QuviQ QuickCheck, a property-based testing tool written in Erlang, and our support for test code evolution is added to Wrangler, the Erlang refactoring tool. The key components of our system include the automatic generation of initial test code, the inference of web service interface changes between versions, the provision of a number of domain specific refactorings and the automatic generation of refactoring scripts for evolving the test code. Our framework provides users with a powerful and expressive web service testing framework, while minimising users' effort in creating, maintaining and evolving the test model. The framework presented in this paper can be used by both web service providers and consumers, and can be used to test web services written in whatever language; the approach advocated here could also be adopted in other property-based testing frameworks and refactoring tools

Sistema y dispositivo condensador de recogida de agua del medio ambiente

Sistema y dispositivo condensador para la recogida de agua del medio ambiente. El dispositivo condensador (26) comprende: - dos células peltier (1,2); - medios disipadores de calor (4) en contacto con la cara caliente de las células peltier (1,2); - una superficie de condensación (6) en contacto con la cara fría de las células peltier (1,2); - un habitáculo (9) para alojar las células peltier (1,2), delimitando una cámara fría (10) y una cámara caliente (11), con aberturas para la salida del aire (13,15) en ambas cámaras (10,11) y abertura regulable (14) para la entrada de aire en la cámara fría (10); - medios sensores de humedad relativa (17) y de temperatura (16) del aire en el interior de la cámara fría (10); - medios sensores de temperatura (7) de la superficie de condensación (6); - medios de recogida (18,19,20,21) del agua condensada en la superficie de condensación (6)

GREAT/SOFIA atmospheric calibration

The GREAT observations need frequency-selective calibration across the passband for the residual atmospheric opacity at flight altitude. At these altitudes the atmospheric opacity has both narrow and broad spectral features. To determine the atmospheric transmission at high spectral resolution, GREAT compares the observed atmospheric emission with atmospheric model predictions, and therefore depends on the validity of the atmospheric models. We discusse the problems identified in this comparison with respect to the observed data and the models, and describe the strategy used to calibrate the science data from GREAT/SOFIA during the first observing periods.Comment: 14 pages, 4 figure

Blind hyperspectral unmixing using an Extended Linear Mixing Model to address spectral variability

International audienceThe Linear Mixing Model is often used to perform Hyperspec-tral Unmixing because of its simplicity, but it assumes that a single spectral signature can be completely representative of an endmember. However, in many scenarios, this assumption does not hold since many factors such as illumination conditions and intrinsic variability of the endmembers have consequences on the spectral signatures of the materials. In this paper, we propose a simple yet flexible algorithm to unmix hyperspectral data using a recently proposed Extended Linear Mixing Model. This model allows a pixelwise variation of the endmembers, which leads to consider scaled versions of reference endmember spectra. The results on synthetic data show that the proposed technique outperforms other methods aimed at tackling spectral variability, and provides an accurate estimation of endmember variability along the observed scene thanks to the scaling factors estimation, provided the abundance of the corresponding material is sufficient

Blind hyperspectral unmixing using an Extended Linear Mixing Model to address spectral variability

International audienceSpectral Unmixing is one of the main research topics in hyperspectral imaging. It can be formulated as a source separation problem whose goal is to recover the spectral signatures of the materials present in the observed scene (called endmembers) as well as their relative proportions (called fractional abundances), and this for every pixel in the image. A Linear Mixture Model is often used for its simplicity and ease of use but it implicitly assumes that a single spectrum can be completely representative of a material. However, in many scenarios, this assumption does not hold since many factors, such as illumination conditions and intrinsic variability of the endmembers, induce modifications on the spectral signatures of the materials. In this paper, we propose an algorithm to unmix hyperspectral data using a recently proposed Extended Linear Mixing Model. The proposed approach allows a pixelwise spatially coherent local variation of the endmembers, leading to scaled versions of reference endmembers. We also show that the classic nonnegative least squares, as well as other approaches to tackle spectral variability can be interpreted in the framework of this model. The results of the proposed algorithm on two different synthetic datasets, including one simulating the effect of topography on the measured reflectance through physical modelling, and on two real datasets, show that the proposed technique outperforms other methods aimed at addressing spectral variability, and can provide an accurate estimation of endmember variability along the scene thanks to the scaling factors estimation

Propuesta de implementación del cambio de explosivo Emulex (80,65 y 45) a emulsión Quantex sub para la reducción de costos de la voladura en la rampa NV175 Nancy de la Unidad Minera Animón de Empresa Administradora Chungar S.A.C.

La Empresa Administradora Chungar S.A.C, es una de las unidades de la Unidad Minera Animón, dedicada a la explotación y tratamiento de minerales polimetálicos, siendo mineral de cabeza zinc, plata, cobre y plomo. El costo operativo de voladura juega un papel importa en la producción de los tonelajes de mineral o material desbrozado en la realización de labores permanentes como rampas, para una buena elaboración del costo de voladura se debe tener criterios en el grado de variabilidad de costos fijos y variables, el tipo de roca a volar y las condiciones geomecánicas que influyen en el costo unitario de voladura. Se evaluó el costo de la voladura de la rampa Nv175 Nancy, la perforación se relaciona con la voladura por lo cual en la perforación se vio la mejora en las piezas de perforación en función a rendimientos se controló factores y parámetros en perforación de frentes de preparación, en la voladura se evaluó el cambio de explosivo del encartuchado a explosivo Quantex Sub, el cual ayudó a reducir número de taladros en 6 unidades por frente con eficiencia del 92% y con un factor de cargo de 2.78 kg/m3. La optimización en la voladura se evaluó el cambio de explosivo del encartuchado a explosivo Quantex Sub, lo cual ayudó a reducir número en 6 unidades por frente con eficiencia del 92% y con un factor de cargo de 2.78 kg/m3 y el ahorro final por el cambio de explosivo es 43.14 US$/m La optimización en la realización de 420 m de avance mensual se ahorraría 18118.8 dólares, relacionados a beneficios de avance, reducción de costos de la voladura

Causas de la invasión de las aguas de la bahía el Ferrol a la bahía Samanco - Propuesta de solución, distrito de Nuevo Chimbote, provincia del Santa, Ancash – 2019

La siguiente investigación se llevó al cabo en el área conocida como península el Ferrol, área formada entre la bahía del Ferrol donde está ubicada la ciudad de Chimbote y la Bahía de Samanco, teniendo como principal objetivo Determinar las causas de la invasión de las aguas de la Bahía el Ferrol a la Bahía de Samanco. A su vez teniendo como planteamiento de problema ¿Cuáles son las causas de la invasión de las aguas de la bahía el Ferrol a la Bahía de Samanco? De mismo modo fue primordial determinar el tipo de suelo que se encontraba en el área así como el porcentaje de humedad que contenía obteniendo como resultado que el terreno es arena mal graduada, además se buscó conocer las cotas de playa de la península el Ferrol obteniendo como resultado la existencia de desniveles entre ambas playas, se determinó el nivel batimétrico de las costas cercanas obteniendo como resultado profundidades promedias cerca de las costas de 0 a 3m, utilizando una metodología descriptiva no experimenta y al conocer las causas de la invasión de las aguas se planteó una propuesta de solución. Después de conocer las causas que provocaban la presencia de aguas dentro de la península el Ferrol en un área conocida como marisma, se llegó a la conclusión que era producto de los desniveles entre la Bahía el Ferrol y la Península el Ferrol provocando que el área en desnivel sea propensa a las inundaciones, conociendo las causas se optó por proponer un plan de control de erosión evitando dañar el ecosistema presente en la zona, utilizando para ello geotubos geosintéticos con el fin de que la propuesta sea económica y amigable con el medio ambiente

Constantes biofisicoquímicas del líquido sinovial de bovinos : tensión superficial a distintas temperaturas

The surface tension of synovial fluid of bovine has investigated in the temperature range between 20,0ºC and 40,0ºC +- 0,1ºC, , at intervals of 5,0ºC. About hundred experiments were performed. Plotting the experimental results of the surface tension as a function of temperature, a linear relationship is seen to be satisfactorily obeyed. The value of "y" at the mean temperature of this specie (38,5 ºC), obtained from graphical interpolation is: y=58,3 dynes . cm-1. This value is considerably smaller than that for pure water at the same temperature and for sodium chloride in aqueous solutions at similar concentration of that present in synovial liquid. There is, thus decrease in the surface tension of the water amounting to about 20 %. The concentration of week electrolytes in the synovial fluid cannot explain this behavior. Because of this fact, we can suggest that decrease owing to the existence of some other substances - like hyaluronic acid-which can contribute to diminished the surface tension of the solvent. In future experiments we will try to confirm this assumption.En el presente trabajo se ha estudiado la tensión superficial del líquido sinovial de bovinos a distintas temperaturas, a fin de poder obtener por interpolación gráfica, el dato correspondiente a la temperatura media de esta especie animal 38,5 ºC. Se realizaron en total más de cien determinaciones, a temperaturas comprendidas entre 20,0 ºC y 40,0 ºC, a intervalos de 5,0 ºC. El valor encontrado a 38,5 ºC fue de 58,3 dinas. notablemente inferior que el correspondiente al agua a la misma temperatura, 69,8 dinas. cm1 y menor aún que el correspondiente a una disolución de cloruro de sodio al 0,6 % que corresponde a la presente en el líquido sinovial. La concentración de los electrolitos débiles presentes en este fluido biológico, por su valor, no pareciera ser la responsable de compensar y aún revertir los valores que una disolución de electrolitos fuertes (semejante a la presente en el líquido sinovial de bovinos) ejerce la tensión superficial del agua. Creemos razonable suponer que debe existir una sustancia, presente en el líquido sinovial, que posea un marcado efecto tensoactivo. Dicha sustancia pudiera ser el ácido hialurónico; en posteriores investigaciones trataremos de confirmar esta suposición

Does network complexity help organize Babel's library?

In this work, we study properties of texts from the perspective of complex network theory. Words in given texts are linked by co-occurrence and transformed into networks, and we observe that these display topological properties common to other complex systems. However, there are some properties that seem to be exclusive to texts; many of these properties depend on the frequency of words in the text, while others seem to be strictly determined by the grammar. Precisely, these properties allow for a categorization of texts as either with a sense and others encoded or senseless