991 resultados para declarative temporal logic programming
Resumo:
Models incorporating more realistic models of customer behavior, as customers choosing froman offer set, have recently become popular in assortment optimization and revenue management.The dynamic program for these models is intractable and approximated by a deterministiclinear program called the CDLP which has an exponential number of columns. However, whenthe segment consideration sets overlap, the CDLP is difficult to solve. Column generationhas been proposed but finding an entering column has been shown to be NP-hard. In thispaper we propose a new approach called SDCP to solving CDLP based on segments and theirconsideration sets. SDCP is a relaxation of CDLP and hence forms a looser upper bound onthe dynamic program but coincides with CDLP for the case of non-overlapping segments. Ifthe number of elements in a consideration set for a segment is not very large (SDCP) can beapplied to any discrete-choice model of consumer behavior. We tighten the SDCP bound by(i) simulations, called the randomized concave programming (RCP) method, and (ii) by addingcuts to a recent compact formulation of the problem for a latent multinomial-choice model ofdemand (SBLP+). This latter approach turns out to be very effective, essentially obtainingCDLP value, and excellent revenue performance in simulations, even for overlapping segments.By formulating the problem as a separation problem, we give insight into why CDLP is easyfor the MNL with non-overlapping considerations sets and why generalizations of MNL posedifficulties. We perform numerical simulations to determine the revenue performance of all themethods on reference data sets in the literature.
Resumo:
The lithium-pilocarpine model mimics most features of human temporal lobe epilepsy. Following our prior studies of cerebral metabolic changes, here we explored the expression of transporters for glucose (GLUT1 and GLUT3) and monocarboxylates (MCT1 and MCT2) during and after status epilepticus (SE) induced by lithium-pilocarpine in PN10, PN21, and adult rats. In situ hybridization was used to study the expression of transporter mRNAs during the acute phase (1, 4, 12 and 24h of SE), the latent phase, and the early and late chronic phases. During SE, GLUT1 expression was increased throughout the brain between 1 and 12h of SE, more strongly in adult rats; GLUT3 increased only transiently, at 1 and 4h of SE and mainly in PN10 rats; MCT1 was increased at all ages but 5-10-fold more in adult than in immature rats; MCT2 expression increased mainly in adult rats. At all ages, MCT1 and MCT2 up-regulation was limited to the circuit of seizures while GLUT1 and GLUT3 changes were more widespread. During the latent and chronic phases, the expression of nutrient transporters was normal in PN10 rats. In PN21 rats, GLUT1 was up-regulated in all brain regions. In contrast, in adult rats GLUT1 expression was down-regulated in the piriform cortex, hilus and CA1 as a result of extensive neuronal death. The changes in nutrient transporter expression reported here further support previous findings in other experimental models demonstrating rapid transcriptional responses to marked changes in cerebral energetic/glucose demand.
Resumo:
The choice network revenue management model incorporates customer purchase behavioras a function of the offered products, and is the appropriate model for airline and hotel networkrevenue management, dynamic sales of bundles, and dynamic assortment optimization.The optimization problem is a stochastic dynamic program and is intractable. A certainty-equivalencerelaxation of the dynamic program, called the choice deterministic linear program(CDLP) is usually used to generate dyamic controls. Recently, a compact linear programmingformulation of this linear program was given for the multi-segment multinomial-logit (MNL)model of customer choice with non-overlapping consideration sets. Our objective is to obtaina tighter bound than this formulation while retaining the appealing properties of a compactlinear programming representation. To this end, it is natural to consider the affine relaxationof the dynamic program. We first show that the affine relaxation is NP-complete even for asingle-segment MNL model. Nevertheless, by analyzing the affine relaxation we derive a newcompact linear program that approximates the dynamic programming value function betterthan CDLP, provably between the CDLP value and the affine relaxation, and often comingclose to the latter in our numerical experiments. When the segment consideration sets overlap,we show that some strong equalities called product cuts developed for the CDLP remain validfor our new formulation. Finally we perform extensive numerical comparisons on the variousbounds to evaluate their performance.
Resumo:
Accurate perception of the order of occurrence of sensory information is critical for the building up of coherent representations of the external world from ongoing flows of sensory inputs. While some psychophysical evidence reports that performance on temporal perception can improve, the underlying neural mechanisms remain unresolved. Using electrical neuroimaging analyses of auditory evoked potentials (AEPs), we identified the brain dynamics and mechanism supporting improvements in auditory temporal order judgment (TOJ) during the course of the first vs. latter half of the experiment. Training-induced changes in brain activity were first evident 43-76 ms post stimulus onset and followed from topographic, rather than pure strength, AEP modulations. Improvements in auditory TOJ accuracy thus followed from changes in the configuration of the underlying brain networks during the initial stages of sensory processing. Source estimations revealed an increase in the lateralization of initially bilateral posterior sylvian region (PSR) responses at the beginning of the experiment to left-hemisphere dominance at its end. Further supporting the critical role of left and right PSR in auditory TOJ proficiency, as the experiment progressed, responses in the left and right PSR went from being correlated to un-correlated. These collective findings provide insights on the neurophysiologic mechanism and plasticity of temporal processing of sounds and are consistent with models based on spike timing dependent plasticity.
Resumo:
Os objetivos deste trabalho foram registrar a abundância e a riqueza de Odonata associada a Eichhornia azurea, durante o período de março de 2004 a março de 2005, na Lagoa do Camargo, lateral ao Rio Paranapanema - São Paulo, após um pulso de inundação extraordinário e também investigar os fatores ambientais determinantes na distribuição da abundância de Odonata. As maiores abundâncias e riquezas ocorreram na estação seca, sendo que Coenagrionidae foi a família mais abundante e com a maior riqueza de gêneros de todo o período estudado. Esta alta abundância possivelmente ocorreu devido a seu comportamento, como postura dos ovos dentro do tecido das macrófitas e hábito escalador. Aeshnidae e Libellulidae apresentaram baixa abundância principalmente na estação seca. Os principais fatores ambientais que afetaram a distribuição da abundância de Odonata foram a temperatura de superfície da água, a pluviosidade e a biomassa de E. azurea.
Resumo:
The seasonal characteristics of the Cerrado region strongly influence food resource predictability and vegetal tissue nutritional content. The aims of this work were to record the abundance and temporal distribution of Gonioterma exquisita Duckworth, 1964 (Lepidoptera, Elachistidae) and its relation with phenological, physical, and chemical traits of the host plant Byrsonima pachyphylla Griseb. (Malpighiaceae). Four nutritional quality parameters were determined for new and mature leaves: gross protein and nitrogen content, dry matter, and in vitro digestibility. We inspected 200 plants per month, searching for G. exquisita caterpillars. About 35.8% of the 2,400 plants inspected presented caterpillars, with an abundance peak in the wet season. Caterpillar abundance was positively correlated with mature leaf availability, their food resource. Although mature leaves presented lower gross protein and nitrogen contents than new leaves, this difference was small during the abundance peak of G. exquisita.
Resumo:
We present a new unifying framework for investigating throughput-WIP(Work-in-Process) optimal control problems in queueing systems,based on reformulating them as linear programming (LP) problems withspecial structure: We show that if a throughput-WIP performance pairin a stochastic system satisfies the Threshold Property we introducein this paper, then we can reformulate the problem of optimizing alinear objective of throughput-WIP performance as a (semi-infinite)LP problem over a polygon with special structure (a thresholdpolygon). The strong structural properties of such polygones explainthe optimality of threshold policies for optimizing linearperformance objectives: their vertices correspond to the performancepairs of threshold policies. We analyze in this framework theversatile input-output queueing intensity control model introduced byChen and Yao (1990), obtaining a variety of new results, including (a)an exact reformulation of the control problem as an LP problem over athreshold polygon; (b) an analytical characterization of the Min WIPfunction (giving the minimum WIP level required to attain a targetthroughput level); (c) an LP Value Decomposition Theorem that relatesthe objective value under an arbitrary policy with that of a giventhreshold policy (thus revealing the LP interpretation of Chen andYao's optimality conditions); (d) diminishing returns and invarianceproperties of throughput-WIP performance, which underlie thresholdoptimality; (e) a unified treatment of the time-discounted andtime-average cases.
Resumo:
Seasonality was studied for Alticini trapped with malaise over a period of two years in the Vila Velha State Park, Parana, Brazil. Coleoptera, Chrysomelidae and Alticini showed seasonal distribution, with the highest abundance during spring and summer months. The abundance peaks of these groups were not synchronized. Of all environmental variables tested, photoperiod had the larger effect on the distributional patterns of Coleoptera, Chrysomelidae and Alticini. Also, Chrysomelidae and Alticini probably are related to the quality and availability of host-plants. When richness was high there was a greater similarity among seasons of different years. However, when richness was not pronounced, seasons showed more similarity within the same year than between years. The Alticini community was seasonally structured and a possible mechanism underlying this pattern is asymmetric competition. Nevertheless, it is necessary to account for indirect interactions (plant-enemy mediated) to better understand how Alticini community is structured.
Resumo:
A Ilha Brava (64 km2) localiza-se no extremo oeste do alinhamento meridional do arquipélago de Cabo Verde, sendo constituída por três unidades vulcanoestratigráficas que testemunham uma história vulcânica de cerca de 3 Ma. Foi escolhida como objecto de estudo na tentativa de contribuir para a melhor compreensão da origem e local de residência de alguns dos componentes mantélicos, das relações genéticas entre magmas silicatados e carbonatíticos, dos processos de desgaseificação de magmas carbonatíticos e da origem do carbono neles contido, da variabilidade geoquímica espaço-temporal do ponto quente de Cabo Verde, e da profundidade de enraizamento da sua pluma mantélica. A Brava contrasta com as outras ilhas do arquipélago por definir dois grupos geoquímicos distintos. As amostras do Complexo Basal, sendo menos radiogénicas Sr e He e mais em Nd e Pb que a unidade mais recente, são idênticas às ilhas do norte e explicáveis pela mistura de um componente do tipo HIMU (crosta oceânica reciclada com 1.3 Ga) e manto inferior (3He/4He até 12.85 Ra), carreados para a “superfície” pela pluma mantélica. Tal como é usual nas ilhas do sul, a Unidade Superior sugere, em adição, o envolvimento de um componente com afinidade EM-1, aqui considerado representativo de fragmentos de litosfera subcontinental dispersos na astenosfera. Os carbonatitos definem dois grupos com assinaturas isotópicas semelhantes às das rochas silicatadas contemporâneas. Os calciocarbonatitos resultaram de imiscibilidade líquida produzindo magmas nefeliníticos e carbonatíticos, enquanto os magnesiocarbonatitos representam líquidos residuais após a fraccionação de calcite a partir de um magma carbonatítico. As muito baixas razões 4He/40Ar* (≈ 0.25) que caracterizam a fonte dos carbonatitos do Complexo Basal indicam uma evolução a partir de razões K/U muito mais elevadas que o conjunto dos reservatórios silicatados da Terra. Sendo estes valores, também incompatíveis com a reciclagem de componentes crostais, foram aqui interpretados como podendo reflectir a contribuição do “missing Ar reservoir” para a fonte mantélica dos carbonatitos.
Resumo:
Alticini fauna from five areas, two with different types of management (Borda and Araucaria) and three with different levels of conservation (Fase 1, Fase 2 and Fase 3), in the Araucaria Forest of the Parana was captured with malaise traps. The material was collected weekly, from September/1999 to August/2001, in the Parque Estadual of Vila Velha, Ponta Grossa. 1,891 individuals of 106 Alticini species were collected with only seven species common to all areas. Despite the proximity between sampling areas, the number of species shared between pairs of areas was low, not reaching 40%, with the Araucaria and Fase 1 areas being the most similar. The community structure of the areas Fase 1 and Fase 2 were most related. Fase 1, in initial stage of succession, showed the largert variation in the abundance and richness from one year to another.
Resumo:
This paper introduces the approach of using Total Unduplicated Reach and Frequency analysis (TURF) to design a product line through a binary linear programming model. This improves the efficiency of the search for the solution to the problem compared to the algorithms that have been used to date. The results obtained through our exact algorithm are presented, and this method shows to be extremely efficient both in obtaining optimal solutions and in computing time for very large instances of the problem at hand. Furthermore, the proposed technique enables the model to be improved in order to overcome the main drawbacks presented by TURF analysis in practice.
Resumo:
Tuthillia cognata Hodkinson, Brown & Burckhardt, 1986 (Hemiptera, Psyllidae) es una plaga importante en el cultivo de camu-camu, Myrciaria dubia H.B.K. Mc Vaugh (Myrtaceae) en la Amazonía Peruana. El objetivo del presente estudio fue determinar la fluctuación y la distribución espacio-temporal de T. cognata y de su controlador biológico Ocyptamus persimilis (Curran, 1930) (Diptera, Syrphidae), entre enero a noviembre del 2004 en los caseríos San Juan y Padre Bernardo, Pucallpa, Ucayali, Perú. El número de ninfas y adultos de T. cognata fue mayor en la época lluviosa que en la seca, pero no en el número de huevos, ni en el número de colonias. Los huevos, ninfas y adultos prefirieron el tercio superior de la planta en comparación con el tercio medio e inferior en ambos caseríos. La excepción fue la presencia de huevos en el caserío San Juan que no mostró preferencias por ninguno de los tercios. No se observaron diferencias en el porcentaje de infestación por T. cognata entre ambos caseríos y entre la época seca y lluviosa. En O. persimilis, no se encontró diferencias en el número de huevos, larvas y pupas entre la época seca y lluviosa. Se observó que los huevos, larvas y pupas prefirieron el tercio superior de la planta en comparación con el tercio medio e inferior en ambos caseríos. Ambas especies, T. cognata y O. persimilis presentaron un patrón de distribución espacial - temporal agregado. Se encontró una relación directa entre el número de colonias de T. cognata y O. persimilis. Sin embargo, el número de huevos, ninfas y adultos de T. cognata no se encontraron correlacionados con el número de huevos, larvas y pupas de O. persimilis.