1000 resultados para Programació lineal
Resumo:
El estudio de la distribución espacial de una especie por me'todos geoestadísticos se realiza mediante el conocimiento de la función semivariograma. Después de calcular el semivariograma se procede a la estimación de la variable regionalizada en cualquier punto de la zona de estudio. Esta estimación se realiza mediante técnicas de interpolación lineal llamadas «krigeado», en honor a Krige y Matheron, fundadores de la geoestadística. El «krigeado» se basa en la minimización de la varianza del error en cada punto de estudio, previamente localizado en el espacio por sus coordenadas de situación. Cydia pomonella (L.) y Pandemis heparana (Denis & Schiffermüller) son dos tortrícidos plaga del manzano y del peral. La estimación de sus poblaciones se realiza mediante trampas de feromona y es posible disponer de una amplia base de datos. El objetivo de este trabajo fue analizar la idoneidad de los métodos geoestadísticos para el estudio de poblaciones de insectos y aplicarlas al caso concreto de C. pomonella y P. heparana. Se utilizaron las capturas en 55 estaciones con trampas de feromonas (difusor de origen Wageningen) colocadas en parcelas comerciales de manzano y peral en 1996 y 1997 en el término municipal de Torregrossa (Lleida). La idoneidad de los métodos geoestadísticos quedó demostrada por el hecho de que la variable número acumulado de machos por trampa fue regionalizable. Una vez calculadas las funciones semivariograma para cada especie y año, se han dibujado los mapas de distribución mediante el uso de isolíneas. En el futuro, se plantea la posibilidad de ampliar la zona de estudio a toda la zona frutera de Lleida y analizar la influencia de variables independientes (climáticas ...) sobre la distribución espacial mediante métodos de «co-krigeado».
Resumo:
Utilizando infiltrómetros cilíndricos de gran tamaño -1 m de diámerto- se midieron velocidades de infiltración e suelos, tanto quemados como sin quemar, y en ambos casos bajo pinares de Pinus muricata D. Don en la costa Norte de California (Noroeste de la Ciudad de Santa Rosa). Las condiciones de suelo quemado se obtuvieron mediante fuego prescrito. Las velocidades (o tasas) de infiltración (de 1,17 a 1,34 x 10-4 m/s) no difirieron significativamente entre el control y miniparcelas bajo quemas controladas de pequeña intensidad lineal del fuego (menor que 60 kW/m) y pequeño/moderado consumo de combustible (50-120 mm). Resulta alentador poder reducir la cantidad de combustible acumulado (biomasa) mediante el uso de quemas prescritas sin comprometer los ritmos de los procesos hidrológicos del lugar. Además los fuegos no muy severos pueden diversificar los mosaicos de agrupaciones vegetales del paisaje: pirodiversidad genera biodiversidad.
Resumo:
PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.
Resumo:
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.
Resumo:
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied
Resumo:
Tractable cases of the binary CSP are mainly divided in two classes: constraint language restrictions and constraint graph restrictions. To better understand and identify the hardest binary CSPs, in this work we propose methods to increase their hardness by increasing the balance of both the constraint language and the constraint graph. The balance of a constraint is increased by maximizing the number of domain elements with the same number of occurrences. The balance of the graph is defined using the classical definition from graph the- ory. In this sense we present two graph models; a first graph model that increases the balance of a graph maximizing the number of vertices with the same degree, and a second one that additionally increases the girth of the graph, because a high girth implies a high treewidth, an important parameter for binary CSPs hardness. Our results show that our more balanced graph models and constraints result in harder instances when compared to typical random binary CSP instances, by several orders of magnitude. Also we detect, at least for sparse constraint graphs, a higher treewidth for our graph models.
Resumo:
The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, experimental results obtained so far show, that with big numbers of variables, other algorithms perfom much better, specially for hard problems in the transition phase.
Resumo:
En aquest article presentem el projecte ReSim: representació simbòlica de preguntes, que ha consistit en la creació d'un sistema automàtic capaç de representar en un llenguatge formal una pregunta en llenguatge natural. Tenint en compte la complexitat de l'objectiu, el projecte es va centrar en un àmbit temàtic concret. El tipus de representació usada està basada en el model de les Estructures Lèxico-Conceptuals de Jackendoff 1990.
Resumo:
Disseny o programació d'un codiinformàtic (firmware) que controli el mòdul USB d'un microcontrolador PIC per poder serutilitzat com a base o punt de partida pel disseny d'aplicacions senzilles, on la necessitatprincipal sigui l'intercanvi de dades entre un ordinador personal i un hardware microcontrolat.Es parteix d'un coneixement bàsic del protocol USB, sense ésser necessari conèixer enprofunditat el funcionament d'aquesta interfície de comunicació, qüestió que per altra bandano és necessària perquè les especificacions són molt àmplies i recullen molts supòsits defuncionament específics que no seran d'aplicació per la majoria de dissenys.Per assolir l'objectiu fixat, s'ha orientat el projecte a desenvolupar una aplicacióconcreta per tal d’ acotar els paràmetres defuncionament de la interfície USB, ja que les especificacions són molt àmplies i cal focalitzarel nostre interés per saber quines parts d'aquestes especificacions ens seran d'aplicació, també per les possibilitats que dona de control, detecció i correcció d'errors, en saber quina finalitates persegueix i com es suposa que ha de funcionar la nostra aplicació. I com a última raó, haver desenvolupat una aplicació, és també una garantia de funcionamentdel codi resultant i permet demostrar que s'ha assolit l'objectiu inicial.L'aplicació escollida a dissenyar en aquest projecte és un lector electrònic de targetes ambxip integrat (com les bancàries o identificatives) amb un microcontrolador PIC amb mòdulUSB, de manera que, des d’un ordinador i via el port USB, es puguin enviar comandes aaquest tipus de targetes i rebre les corresponents respostes
Resumo:
Creació de dos prototips, un per Android i l'altre perUnity, establint les bases per a la producció d'un videojoc d'acció lateral (Beat 'em up)amb plataformes (puzles) anomenat "Ouroboros". Android és un sistema operatiu basat en Linux, designat primerament per mòbils tàctils(smartphones) i tabletes. En concret s'utilitzarà el SDK (Software Development Kit) dins del'entorn de programació Eclipse amb llenguatge Java, i les bases d'un frameworkanomenat LibGDX. Unity, en canvi, és un motor de videojocs multi-plataforma amb un entorn dedesenvolupament integrat, del que nosaltres utilitzarem la versió en Javascript.Es volen explorar les dues plataformes per tal d'esbrinar quina de les dues vies és la mésidònia de cares a la producció final d'un joc
Resumo:
Disseny de software de gestió per a una empresa d'aparells elevadors.
Resumo:
Background: Although the studies published so far have found an affectation in the Health Related Quality of Life (HRQOL) in both psychiatric and substance use dependence disorders, very few studies have applied HRQOL as an assessment measure in patients suffering both comorbid conditions, or Dual Diagnosis. The aim of the current study was to assess HRQOL in a group of patients with Dual Diagnosis compared to two other non-comorbid groups and to determine what clinical factors are related to HRQOL. Methods: Cross-sectional assessment of three experimental groups was made through the Short Form 36 Item Health Survey (SF-36). The sample consisted of a group with Dual Diagnosis (DD; N=35), one with Severe Mental Illness alone (SMI; N=35) and another one with Substance Use Dependence alone (SUD; N=35). The sample was composed only by males. To assess the clinical correlates of SF-36 HRQOL, lineal regression analyses were carried out. Results: The DD group showed lower scores in most of the subscales, and in the mental health domain. The group with SUD showed in general a better state in the HRQOL while the group with SMI held an intermediate position with respect to the other two groups. Daily medication, suicidal attempts and daily number of coffees were significantly associated to HRQOL, especially in the DD group. Conclusions: The DD group showed lower self-reported mental health quality of life. Assessment of HRQOL in dual patients allows to identify specific needs in this population, and may help to establish therapeutic goals to improve interventions.
Resumo:
ZnO nanorods grown by both high temperature vapour phase transport and low temperature chemical bath deposition are very promising sources for UV third harmonic generation. Material grown by both methods show comparable efficiencies, in both cases an order of magnitude higher than surface third harmonic generation at the quartz-air interface of a bare quartz substrate. This result is in stark contrast to the linear optical properties of ZnO nanorods grown by these two methods, which show vastly different PL efficiencies. The third harmonic generated signal is analysed using intensity dependent measurements and interferometric frequency resolved optical gating, allowing extraction of the laser pulse parameters. The comparable levels of efficiency of ZnO grown by these very different methods as sources for third harmonic UV generation provides a broad suite of possible growth methods to suit various substrates, coverage and scalability requirements. Potential application areas range from interferometric frequency resolved optical gating characterization of few cycle fs pulses to single cell UV irradiation for biophysical studies.
Resumo:
La patogénesis de Colletotrichum gloeosporioides (Penz.) Penz. & Sacc. del estado de Michoacán, México se caracterizó en frutos de aguacatero (Persea americana L.) cultivar 'Hass'. El hongo causó los síntomas característicos de la enfermedad denominada 'antracnosis' a partir de los diez días después de la inoculación. La tasa de infección del hongo entre tratamientos fue significativamente diferente (p<0.05) a partir del sexto día de la inoculación y el desarrollo de la enfermedad se explicó por un modelo de regresión lineal simple (Y = 1.123 + 0.1133X). No se detectó la formación de apresorios pero sí la síntesis de una capa mucilaginosa asociada con los tubos germinativos. El proceso infectivo del hongo se manifestó con la penetración de las hifas intra e inter-celularmente y con la producción de acérvulos a partir de los 12 días después de la inoculación. Los síntomas de la antracnosis se asociaron con la degradación de polifenoles, plasmólisis, necrosis y desintegración celular.
Resumo:
Els làsers aporten solucions a una gran varietat de problemes de la vida diària ...