107 research outputs found
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming
Set and multiset variables in constraint programming have typically been
represented using subset bounds. However, this is a weak representation that
neglects potentially useful information about a set such as its cardinality.
For set variables, the length-lex (LL) representation successfully provides
information about the length (cardinality) and position in the lexicographic
ordering. For multiset variables, where elements can be repeated, we consider
richer representations that take into account additional information. We study
eight different representations in which we maintain bounds according to one of
the eight different orderings: length-(co)lex (LL/LC), variety-(co)lex (VL/VC),
length-variety-(co)lex (LVL/LVC), and variety-length-(co)lex (VLL/VLC)
orderings. These representations integrate together information about the
cardinality, variety (number of distinct elements in the multiset), and
position in some total ordering. Theoretical and empirical comparisons of
expressiveness and compactness of the eight representations suggest that
length-variety-(co)lex (LVL/LVC) and variety-length-(co)lex (VLL/VLC) usually
give tighter bounds after constraint propagation. We implement the eight
representations and evaluate them against the subset bounds representation with
cardinality and variety reasoning. Results demonstrate that they offer
significantly better pruning and runtime.Comment: 7 pages, Proceedings of the Twenty-Fifth AAAI Conference on
Artificial Intelligence (AAAI-11
Breeding Biology of Atlantic Population Canada Geese in Nunavik, Northern Québec
The Atlantic population of Canada Geese (Branta canadensis interior) experienced a sharp decline in numbers in the late 1980s. Management agencies in Canada and the United States responded by implementing several measures, notably closing sport hunting seasons for a number of years in most Atlantic Flyway states and provinces and funding a research project to study the nesting ecology and the factors affecting productivity of this goose population. In this paper we present the nesting phenology and breeding biology of Atlantic population Canada Geese on their tundra nesting grounds in Nunavik, Québec, specifically on a primary study area (32.8 km2) along Hudson Bay (1997–2003) and on several secondary sites (most smaller than 1 km2) distributed along the coastal lowlands of Hudson Bay and Ungava Bay (1996–2005). In the late 1990s the population rebounded, with strong increases in the population of breeding pairs and the density of nests between 1996 and 2001, followed by stabilization of both variables from 2001 to 2005. As a result, there was a near doubling in productivity index (the number of goslings produced per km2) on the primary study area, from 17.9 in 1997 to 32.0 in 2003. Geese start laying eggs soon after snow disappears from their nesting grounds. On the primary study area, for all years pooled, mean clutch initiation date, clutch size, hatching date, and Mayfield nesting success were 27 May, 4.54 eggs, 26 June, and 67.3%, respectively. Among secondary sites along both Hudson Bay and Ungava Bay, we found a correlation between the annual average daily temperature for 4–24 May (the period leading up to egg-laying) and the annual mean clutch initiation date: higher temperatures were correlated with earlier initiation. Similarly, an earlier annual mean clutch initiation date was correlated with large mean clutch size.La population de l’Atlantique de la bernache du Canada (Branta canadensis interior) a subi un déclin prononcé à la fin des années 1980. Les organismes chargés de la gestion de la faune au Canada et aux États-Unis ont réagi en mettant en place plusieurs mesures. Ils ont notamment fermé la saison de chasse sportive dans la plupart des États et provinces de la voie migratoire de la population de l’Atlantique pendant un certain nombre d’années et financé un projet de recherche sur l’écologie de la nidification et sur les facteurs limitant la productivité de cette population. Dans le présent article, nous décrivons la phénologie de la nidification et la biologie de la reproduction de la population de l’Atlantique de la bernache du Canada dans son aire de nidification de la toundra du Nunavik (Québec), plus précisément dans une aire d’étude principale (32,8 km2) établie en bordure de la baie d’Hudson (1997 – 2003) et dans plusieurs sites secondaires de superficie plus modeste (dans la plupart des cas, inférieure à 1 km2) disséminés dans les basses-terres côtières de la baie d’Hudson et de la baie d’Ungava (1996 – 2005). À la fin des années 1990, la population a rebondi, le nombre de couples nicheurs et la densité des nids augmentant fortement entre 1996 et 2001 pour ensuite se stabiliser de 2001 à 2005. Par suite de ce redressement, le nombre d’oisons produits par kilomètre carré a presque doublé (indice de productivité) dans l’aire d’étude principale, passant de 17,9 en 1997 à 32,0 en 2003. La ponte débute peu après la disparition de la neige dans les sites de nidification. Dans l’aire d’étude principale, nous avons enregistré les valeurs moyennes suivantes (années regroupées) : début de la période de ponte : 27 mai; taille des couvées : 4,54 oeufs; premières éclosions : 26 juin; succès de la nidification en mai : 67,3 %. Aux sites secondaires, en bordure de la baie d’Hudson et de la baie d’Ungava, nous avons relevé une corrélation entre la température journalière moyenne annuelle pour la période du 4 au 24 mai (période précédant le début de la période de ponte) et la date annuelle moyenne du début de la ponte: les températures plus élevées donnaient une corrélation avec un début de période de ponte plus hâtif. De même, une date annuelle moyenne plus hâtive du début de la ponte a été corrélée avec une grande taille moyenne des couvées
INTERNET DE LAS COSAS PARA CONTROLAR EL ENCENDIDO Y APAGADO DE AIRES ACONDICIONADOS Y LUMINARIAS
ResumenEl proyecto constó de un circuito eléctrico para control de las luces y el aire acondicionado en un cubículo del edificio de profesores de tiempo completo de la carrera de sistemas computacionales. El prototipo fue desarrollado a través de la placa NodeMcu V0.9, una propuesta open source para integrar Internet de las cosas mediante el módulo ESP8266, el cual dispone de acceso a wifi. Por lo tanto, el control que se propuso es por medio de una dirección web cuyo acceso fue a través de cualquier dispositivo que posea un navegador de Internet. Este módulo se conectó a las redes inalámbricas disponibles en la Institución y, su función principal fue encender y apagar las luces y el aire acondicionado mediante un led transmisor IR. Lo anterior, tuvo la finalidad de controlar de manera adecuada los horarios destinados para las luces y los aires acondicionados acorde a los lineamientos del sistema de gestión de calidad del Instituto para el ahorro de consumo de la energía eléctrica.Palabras Clave: Ahorro de energía, internet de las cosas, solución tecnológica, NodeMcu. AbstractThe project was of an electrical circuit to control lights and air conditioner, it was been developed in the office one full time professor computational systems degree. The prototype it was been implemented in the electronic board NodeMcu V0.9, a proposal to integrate open source Internet of Things by the ESP8266 module, which has access to wifi. Therefore, the proposed control is via a web address to which access is via any device that has an Internet browser. This module connects to available wireless networks in the institution and its main function is to turn on and turn off lights and air conditioner by an IR transmission led. Above, it seeks to control correctly the schedules for lighting and air conditioners according to the guidelines of quality management system of the Institute for saving electricity consumption.Keywords: Energy saving, internet of things, technological solution, NodeMcu
ANÁLISIS DEL RENDIMIENTO DE PROCESADORES MULTINÚCLEO EMBEBIDOS EN DISPOSITIVOS DIGITALES AL EJECUTAR APLICACIONES PARALELAS
ResumenEsta investigación ha sido posible gracias a las facilidades brindadas por el Instituto Tecnológico Superior del Sur del Estado de Yucatán y la Universidad Autónoma de Yucatán. El presente trabajo analiza el rendimiento de procesadores multinúcleo embebidos en dispositivos digitales al ejecutar aplicaciones paralelas desarrolladas con Python, C++, OpenMP y Boost. El rendimiento es analizado a partir de la medición y cálculo de tres indicadores: tiempo de ejecución, aceleración y eficiencia. Los procesadores multinúcleo reúnen varias unidades de procesamiento energéticamente eficientes en un solo microprocesador, pudiendo ser aprovechados al máximo si las aplicaciones se diseñan bajo el paradigma de computación paralela. Se aplicó la metodología de programación paralela en espiral para la implementación de dos aplicaciones: multiplicación de matrices y convolución de imágenes. Se ejecutaron en diversos dispositivos digitales con procesador multinúcleo embebido registrando los tiempos de ejecución para su análisis. Los resultados demostraron la mejora del rendimiento al reducir el 73% del tiempo total de ejecución, alcanzando eficiencia de hasta 94% con cuatro núcleos.Palabras Claves: Boost, OpenMP, procesador multinúcleo, programación paralela. AbstractThis research has been possible thanks to the support made by the Instituto Tecnológico Superior del Sur del Estado de Yucatán and Universidad Autónoma de Yucatán facilities. In this document the performance of embedded multicore processors in digital devices is analyzed when running parallel applications developed using Python, C ++, OpenMP and Boost. Analysis of performance is based on three indicators: execution time, speed-up and efficiency. Multicore processors cluster several energy-efficient processing units in a single microprocessor and its best performance can be achieved if the applications are designed using the parallel computing. A spiral methodology for parallel programming was applied to implement two applications: matrix multiplication and image convolution. A variety of digital devices with embedded multicore processors were used to execute the programs and record execution times for analysis. The results showed an improvement in performance by reducing 73% of the total execution time, reaching up to 94% efficiency with four cores.Keywords: Boost, OpenMP, multicore processor, parallel computing
ANÁLISIS COMPUTACIONAL DE FACTORES INTRÍNSECOS EN CULTIVO IN VITRO DE LA STEVIA REBAUDIANA MORITA II (COMPUTATIONAL ANALYSIS OF INTRINSIC FACTORS IN CULTIVATION IN THE VITRO OF THE ESTEVIA REBAUDIANA MORITA II)
ResumenPor medio de la aplicación de la metodología en V, se desarrolló un sistema para el censado y análisis del pH, temperatura, humedad y luminosidad que intervienen en la micropropagación in vitro de la Stevia reubadiana morita II. La lectura de las variables se realizó con sensores conectados a la placa de Internet de las Cosas NodeMCU, la cual envía la información a un servidor Raspberry Pi por medio del protocolo MQTT; presentando mejoras en precisión de la medición de los valores, con respecto al método tradicional. A partir de los factores analizados del cultivo, se generó un modelo de comportamiento e identificaron los valores medios para el mejor escenario de cultivo de la especie estudiada. Los resultados de esta investigación podrán ser empleados como modelo para el estudio de otros cultivos in vitro.Palabra(s) Clave: Internet de las Cosas, Micropropagación, MQTT, Modelo en V, NodeMCU. AbstractThrough the application of the V methodology, a system was developed for the sensing and analysis of pH, temperature, humidity and luminosity that intervene in the in vitro micropropagation of stevia reubadiana morita II. The reading of the variables was done with sensors connected to the Internet plate of the NodeMCU Things, which sends the information to a Raspberry Pi server through the MQTT protocol; presenting improvements in the precision of the measurement of the values, with respect to the traditional method. From the analyzed factors of the crop, a behavior model was generated and they identified the average values for the best environment of cultivation of the studied species. The results of this research may be used as a model for the study of other in vitro crops.Keywords: Internet of Things, Micropropagation, MQTT, NodeMCU, V Model
SISTEMA DE MONITOREO DE ANÁLISIS CLÍNICOS POR MEDIO DE RECONOCIMIENTO DE PATRONES
ResumenSe estima que de 1995 a la fecha el número de personas que viven con diabetes se ha triplicado, la cifra actual llega a más de 347 millones de personas en el mundo que viven con diabetes; por otro lado el número de mexicanos adultos diagnosticados con diabetes podría no ser exacto puesto que algunas personas no saben de qué tienen esta condición médica, debido a que no tienen una revisión o no monitorean su salud; derivado a ello no solo esta enfermedad pueden contraer, sino que pueden tener otras complicaciones y las personas no lo saben. Es por ello que el uso de la tecnología ha venido a ser una herramienta de prevención; es así que la salud es uno de los campos que más se está beneficiando de esta revolución y cada día están surgiendo nuevas aplicaciones con el fin de ayudarnos a mejorar nuestro bienestar; aumentar la información que tenemos de aspectos relacionados con nuestra salud o para mejorar la gestión y el control de distintas enfermedades. En el presente artículo, se demuestra el resultado del desarrollo de una aplicación móvil, que permite el monitoreo de los análisis clínicos por medio de reconocimiento de patrones; para el cuidado y la prevención de la salud usando cintas PH.Palabra(s) Clave: Análisis Clínicos, Aplicación, Cintas PH, Monitoreo, Salud, Tecnología. CLINICAL ANALYSIS MONITORING SYSTEM BY MEANS OF PATTERN RECOGNITIONAbstractIt is estimated that from 1995 to date the number of people living with diabetes has tripled, the current figure reaches more than 347 million people in the world living with diabetes; On the other hand, the number of adult Mexicans diagnosed with diabetes may not be accurate since some people do not know what they have this medical condition, because they do not have a review or do not monitor their health; derived to it not only this disease can contract, but can have other complications and people do not know it. That is why the use of technology has become a tool for prevention; this is how health is one of the fields that is benefiting most from this revolution and new applications are emerging every day in order to help us improve our well-being; increase the information we have about aspects related to our health or to improve the management and control of different diseases. In the present article, the result of the development of a mobile application is demonstrated, which allows the monitoring of clinical analyzes by means of pattern recognition; for the care and prevention of health using PH tapes.Keywords: Application, Clinical analysis, Health, Monitoring, PH Tapes, Technology
QLIKVIEW, UN CASO PRÁCTICO PARA LA INTEROPERABILIDAD Y CONVERGENCIA ENTRE VARIOS SISTEMAS
ResumenEste trabajo tiene como objetivo demostrar la conectividad entre dos sistemas de información que sirven como repositorios para una empresa, pero que se encuentran dispersos. El primero, consistió en un punto de venta desarrollado en SQL Server en el sistema Windows y; el segundo, fue para administrar una rentadora de videos, en MySQL Server sobre Ubuntu. Como primera etapa, se desarrollaron ambos sistemas tomando como base la metodología cascada. Seguidamente, se procedió a implementar la herramienta QlikView, mediante las etapas de definición de objetivos, análisis de aplicaciones actuales y, evaluación de la ejecución. Lo anterior, produjo resultados de la convergencia e interoperabilidad de los sistemas de información como una necesidad actual que demandan las empresas o cualquier organismo, resolviendo problemas de interconexión y homologación de información en un escenario actual. En otras palabras, se demostró la utilidad de QlikView como una plataforma de desarrollo y construcción de aplicaciones interactivas en el ambiente de inteligencia de negocios para reducir impactos negativos como el manejo inconveniente de la información, tiempo de procesamiento y problemas de actualización. Por otro lado, se presenta como una alternativa para mejorar el proceso de administración de datos y ayudar en la correcta toma decisiones.Palabra(s) Clave: Conectividad, Fuentes de datos, Homologación, Interconexión. QLIKVIEW, A PRACTICAL CASE FOR THE INTEROPERABILITY AND CONVERGENCE BETWEEN SEVERAL SYSTEMSAbstractThe objective of this work is to demonstrate the connectivity between two information systems that serve as repositories for a company, but that are dispersed. The first consisted of a point of sale developed in SQL Server on the Windows system and; the second was to manage a video rental, in MySQL Server on Ubuntu. As a first phase of development, both systems were developed with the waterfall methodology. Next, it was proceeded to implement the QlikView tool, through the stages of definition of objectives, analysis of current applications and evaluation of execution. The above, produced results of the convergence and interoperability of information systems as a current need demanded by companies or any organization, solving problems of interconnection and homologation of information in a current scenario. In other words, the usefulness of QlikView as a platform for developing and building interactive applications in the business intelligence environment as demonstrated to reduce negative impacts such as inconvenient handling of information, processing time and updating problems. On the other hand, it is presented as an alternative to improve the data management process and help in making correct decisions.Keywords: Connectivity, Data sources, Homologation, Interconnection
- …