A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo

Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis tools, allowing users to specify rich missions and tasks. Some of the most popular temporal logics include Metric Temporal Logic (MTL), Signal Temporal Logic (STL), and weighted STL (wSTL), which also allow the definition of timing constraints. In this work, we introduce PyTeLo, a modular and versatile Python-based software that facilitates working with temporal logic languages, specifically MTL, STL, and wSTL. Applying PyTeLo requires only a string representation of the temporal logic specification and, optionally, the dynamics of the system of interest. Next, PyTeLo reads the specification using an ANTLR-generated parser and generates an Abstract Syntax Tree (AST) that captures the structure of the formula. For synthesis, the AST serves to recursively encode the specification into a Mixed Integer Linear Program (MILP) that is solved using a commercial solver such as Gurobi. We describe the architecture and capabilities of PyTeLo and provide example applications highlighting its adaptability and extensibility for various research problems

Visual victim detection and quadrotor-swarm coordination control in search and rescue environment

We propose a distributed victim-detection algorithm through visual information on quadrotors using convolutional neuronal networks (CNN) in a search and rescue environment. Describing the navigation algorithm, which allows quadrotors to avoid collisions. Secondly, when one quadrotor detects a possible victim, it causes its closest neighbors to disconnect from the main swarm and form a new sub-swarm around the victim, which validates the victim’s status. Thus, a formation control that permits to acquire information is performed based on the well-known rendezvous consensus algorithm. Finally, images are processed using CNN identifying potential victims in the area. Given the uncertainty of the victim detection measurement among quadrotors’ cameras in the image processing, estimation consensus (EC) and max-estimation consensus (M-EC) algorithms are proposed focusing on agreeing over the victim detection estimation. We illustrate that M-EC delivers better results than EC in scenarios with poor visibility and uncertainty produced by fire and smoke. The algorithm proves that distributed fashion can obtain a more accurate result in decision-making on whether or not there is a victim, showing robustness under uncertainties and wrong measurements in comparison when a single quadrotor performs the mission. The well-functioning of the algorithm is evaluated by carrying out a simulation using V-Rep

Determinación espectrofotométrica sensible del peróxido de hidrógeno en muestras de agua procedentes de procesos de oxidación avanzada : Evaluación de posibles interferencias

RESUMEN: La determinación de peróxido de hidrógeno (H2O2) en muestras de agua real se llevó a cabo de una manera sencilla y sensible. Las condiciones óptimas de funcionamiento resultantes de un diseño experimental factorial completo fueron 450 nm, 50 mm y 6 x 10-3 M de longitud de onda de absorción, longitud de trayectoria de la celda de cuarzo y concentración final de la solución de monovanadato de amonio, respectivamente; permitiendo la cuantificación de 2.94x10-3 mM de H2O2. Se validó el método analítico propuesto y se investigó el efecto de la matriz obteniendo un método selectivo. Además, se aplicó el método analítico desarrollado para estudiar la evolución de H2O2 en la descontaminación de agua que contenía 6,73x10-5 mM de antraceno y 1,19x10-5 mM de benzo[a]pireno utilizando el sistema UV/H2O2. Se encontró que el nivel óptimo de H2O2 que permitía cerca del 45% de mineralización y una eliminación de los hidrocarburos aromáticos policíclicos objeto de estudio superior al 99% fue de 2,94x10-1 mM, permaneciendo aproximadamente 1,47x10-1 mM de H2O2 después de 90 min de tratamiento.ABSTRACT: Hydrogen peroxide (H2O2) determination in real water samples was carried out in a simple and sensitive way. The resulting optimal operating conditions from a 23 full factorial experimental design were 450 nm, 50 mm and 6x10-3 M for the absorption wavelength, the quartz cell path length and the final concentration of the ammonium monovanadate solution, respectively; allowing the quantification of H2O2 up to 2.94x10-3 mM. The proposed analytical method was validated and the effect of the background matrix was investigated, obtaining a selective method. Additionally, the developed analytical method was applied for studying the evolution of H2O2 in the decontamination of water containing 6.73x10-5 mM of anthracene and 1.19x10-5 mM of benzo[a]pyrene using the UV/H2O2 system. It was found that the optimal H2O2 level enabling about 45% of mineralisation and a removal of the target polycyclic aromatic hydrocarbons higher than 99% was 2.94x10-1 mM, remaining approximately 1.47x10-1 mM of H2O2 after 90 min of treatment

Observaciones epidemiológicas sobre la estomatitis vesicular en Colombia :años 1976-1981.

Se presenta un análisis retrospectivo del comportamiento epidemiológico de la estomatitis vesicular (EV), en Colombia, durante el período de 1976 a 1981 mediante figuras, para observar la presentación de focos de EV por meses y por años y la tendencia de la enfermedad. La mayor incidencia de la EV fue durante el primer y tercer trimestre, caracterizado por períodos secos, predominando el tipo New Jersey sobre el tipo Indiana. El tipo Indiana tiende a aumentar durante los años analizados. Los departamentos más afectados fueron Antioquia y Santander y con una incidencia media los departamentos de Boyacá, Cundinamarca, Caldas, Tolima, Huila y MetaGanado de doble propósito-Ganaderia doble proposit

Long-Term Stability in the Trophic Ecology of a Pelagic Forager Living in a Changing Marine Ecosystem

Natural or human-induced environmental changes can modify the structure of ecological communities and thus alter food web interactions. After the collapse of hake stocks (Merluccius hubbsi) provoked by fisheries over the Patagonian shelf in 1997 profound changes have taken place in the community, including long-term dietary shifts in some marine vertebrate predators. Stable carbon (δ13C) and nitrogen (δ15N) isotope ratios in bone collagen of subadult and adult male South American fur seals (Arctocephalus australis) were measured for the period 1976–2017 to investigate if the changes occurred in the marine community from northern and central Patagonia affected the diet of this predator. Suess corrected δ13C values and δ15N values in bone collagen of fur seals did not change significantly over the study period. According to this, male fur seals have remained as pelagic foragers without changing their trophic position nor switching their main preys in the Patagonian food web over the last four decades. This long-term stability in the diet of fur seals contrasts with dietary changes reported for benthic foragers in the region. Although long-term diet studies are restricted to a few marine predators in the region, current evidence suggests that benthic-demersal foragers were more prone to dietary shifts than pelagic ones after perturbations that occurred in the marine community of northern and central Patagonia.Fil: Vales, Damián Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Centro para el Estudio de Sistemas Marinos; ArgentinaFil: Cardona, Luis. Universidad de Barcelona; EspañaFil: Loizaga de Castro, Rocio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Centro para el Estudio de Sistemas Marinos; ArgentinaFil: García, Néstor A.. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Centro para el Estudio de Sistemas Marinos; ArgentinaFil: Crespo, Enrique Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Centro para el Estudio de Sistemas Marinos; Argentin

Diseño de un banco de pruebas de desalineamiento y desbalanceo mecanico

En este articulo se describe un banco de pruebas de Laboratorio para el desalineamiento y desbalanceo mecánico de partes rotodinámicas, y presenta los elementos de diseño mas importantes del mismo. El banco será construido para el Laboratorio de Mecatrónica de la Escuela de Tecnología Mecánica de la Universidad Tecnológica de Pereira

Comparative Analysis of the Effects of Spectrum and Module Temperature on the Performance of Thin Film Modules on Different Sites

The electric behavior under natural sunlight of thin film PV modules is more difficult to predict than that of crystalline silicon ones owing to the higher sensitivity to the spectral distribution of the former when compared with the latter, among some other factors. The purpose of this work is aimed at looking into the influence of the spectral irradiance and the module temperature on the outdoor performance of recent commercially available a- Si, CdTe and a-Si/μc-Si modules in sites with different climates in Spain. This paper is addressed to present the results of a 12-month experimental campaign experienced by modules of these thin film technologies carried out in the utilities of the CIEMAT/DER (Madrid, continental climate) and those of the University of Málaga (Málaga, Mediterranean climate). For each one of the tested specimens, contour graphs of their performance ratio (PR) as a function of module temperature and average photon energy (APE) are shown. A strong dependence of PR on APE is noticeable at module temperatures below some 45º C so that as a general trend, the module performance improves as APE increases. However, the tested a-Si and a-Si/uc-Si modules show little sensitivity to module temperature within some specific ranges of values of APE which lie in the vicinity of the APE value for the AM1.5G spectrum. Last, spectral gains achieved at high values of APE together with cold temperatures yield figures of PR above 1 in some cases

Medición para cadenas de suministro bajo indicadores claves de desempeño (KPI) y tecnologías de información

The objective of the article is to design a model that identifies the aspects and processes to be measured in a supply chain (hereinafter CDS) under the guidance of objectives based on literature review on indicators and indexes in logistics and the management of the CDS to through information technologies (hereinafter referred to as IT). Methodologically, an explanatory-descriptive research is established, under a quantitative approach through a correlational study considering empirical data under a survey applied in the months of November, December 2017 and January 2018, addressed to a sample of entrepreneurs and executives of logistics in companies of the department of Atlántico-Colombia, selected through non-probabilistic sampling. The processing of the data was done through a multivariate analysis and variable correlation using the Statgraphics and SSPS programs. The results recommend the design of a model that classifies the key aspects to be measured in the supply chain under clear objectives in each logistics process (procurement, production and distribution), integrating IT in each logistics process as fundamental tools to guarantee the immediacy in the exchange of information.El objetivo del artículo es diseñar un modelo que identifique los aspectos y procesos a medir en una cadena de suministro (en adelante CDS) bajo la guía de objetivos basados en revisión de la literatura sobre indicadores e índices en logística y la gestión de la CDS a través de tecnologías de información (en adelante TI). Metodológicamente, se establece una investigación explicativa-descriptiva, bajo un abordaje cuantitativo a través de un estudio correlacional considerando datos empíricos bajo una encuesta aplicada en los meses de noviembre, diciembre de 2017 y enero de 2018, dirigida a una muestra de empresarios y directivos de logística en empresas del departamento del Atlántico-Colombia, seleccionados a través de muestreo no probabilístico. El procesamiento de los datos se realizó a través de un análisis multivariado y de correlación de variables empleando los programas Statgraphics y SSPS. Los resultados recomiendan el diseño de un modelo que clasifica los aspectos claves a medir en la cadena de suministro bajo objetivos claros en cada proceso logístico (aprovisionamiento, producción y distribución), integrando las TI en cada proceso logístico como herramientas fundamentales para garantizar la inmediatez en el intercambio de informació