7,918 research outputs found

    Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games

    Get PDF
    Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. Despite good progress in the area, existing approaches focus on zero-sum goals and cannot reason about scenarios where entities are endowed with different objectives. In this paper, we propose probabilistic model checking techniques for concurrent stochastic games based on Nash equilibria. We extend the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards) to allow reasoning about players with distinct quantitative goals, which capture either the probability of an event occurring or a reward measure. We present algorithms to synthesise strategies that are subgame perfect social welfare optimal Nash equilibria, i.e., where there is no incentive for any players to unilaterally change their strategy in any state of the game, whilst the combined probabilities or rewards are maximised. We implement our techniques in the PRISM-games tool and apply them to several case studies, including network protocols and robot navigation, showing the benefits compared to existing approaches

    Histopatologia da interação Musa spp. x Fusarium oxysporum f. sp. Cubense.

    Get PDF
    O mal-do-Panamá causado pelo fungo Fusarium oxysporum f. sp. cubense (Foc) é uma das doenças mais destrutivas da bananeira e é considerada a mais importante em termos de prejuízo econômico para a cultura (1). Este fitopatógeno habita o solo e sobrevive na forma de clamidósporos sem o contato com o hospedeiro por muitos anos, sendo o uso de cultivares resistentes, o método mais eficaz de controle da doença (1)

    Toxicidade comparativa de lambda- cyalothrin à lagarta-da-soja, Anticarsia gemmatalis Hueb., 1818 (Lepidoptera, Noctuidae) e ao percevejo verde, Nezara viridula (L., 1758) (Hemiptera, Pentatomidae)

    Get PDF
    The objective of this study was to evaluate the comparative toxicity of the pyrethroid insecticide lambda-cyhalothrin to the velvetbean caterpillar, Anticarsia gemmatalis and to the nymphs of the southern green stink bug, Nezara virídula. The lethal dose (LD50) values were compared with the ones of the organophosphoms insecticide monocrotophos. The experiments were performed under laboratory conditions by topical application technique to 3rd instars of both caterpillars and nymphs. Mortality evaluations were made at 3, 6, 24, 48 and 72 hours after treatment. The LD50 parameters were determined by probit analyses through appropriate software. Lambda-cyhalothrin acted more rapidly than monocrotophos against the caterpillars, being approximately 140-190 times more toxic than the latter. Lambda-cyhalothrin was 20-40 times more active against the nymphs than monocrotophos. The pyrethroid insecticide was about 5-9 times more toxic to the velvetbean caterpillar than to the southern green stink bug.O objetivo deste estudo foi avaliar, através dos valores de dose letal (DL50), a toxicidade comparativa do inseticida piretróide lambda-cyalothrin à lagarta-da-soja, Anticarsia gemmatalis e à ninfas do percevejo verde, Nezara viridula, tomando-se como padrão de comparação o inseticida organofosforadomonocrotofós. Os experimentos foram realizados em condições de laboratório por técnica de aplicação tópica, sendo usadas lagartas e ninfas, ambas de 3° instar. As avaliações das mortalidades foram feitas 3, 6, 24, 48 e 72 horas após o tratamento. O parâmetro DL50 foi determinado por análises de probit através de software apropriado. Lambda-cyalothrin agiu mais rapidamente do que monocrotofós contra as lagartas, sendo cerca de 140 a 190 vezes mais tóxico para elas e de 20 a 40 vezes mais ativo contra as ninfas. O inseticida piretróide foi ainda de 5 a 9 vezes mais tóxico à lagarta-da-soja do que ao percevejo verde

    Tricritical behaviour in deterministic aperiodic Ising systems

    Full text link
    We use a mixed-spin model, with aperiodic ferromagnetic exchange interactions and crystalline fields, to investigate the effects of deterministic geometric fluctuations on first-order transitions and tricritical phenomena. The interactions and the crystal field parameters are distributed according to some two-letter substitution rules. From a Migdal-Kadanoff real-space renormalization-group calculation, which turns out to be exact on a suitable hierarchical lattice, we show that the effects of aperiodicity are qualitatively similar for tricritical and simple critical behaviour. In particular, the fixed point associated with tricritical behaviour becomes fully unstable beyond a certain threshold dimension (which depends on the aperiodicity), and is replaced by a two-cycle that controls a weakened and temperature-depressed tricritical singularity.Comment: Formatting improved. 7 pages, 2 figures (included). Journal reference adde

    Avaliação de genótipos de bananeira quanto à resistência ao mal-do-Panamá em condições de campo.

    Get PDF
    A banana (Musa spp.) é a fruta mais consumida no mundo. Dentre as doenças que ocorre na cultura, o mal-do-Panamá, causado por Fusarium oxysporum f. sp. cubense ? Foc, é altamente destrutivo. A medida de controle mais efetiva é o uso de variedades resistentes. Contudo, a maioria das cultivares plantadas no Brasil são suscetíveis ao patógeno, fato que conduz a severas perdas no rendimento da cultura

    Avaliação de genótipos de bananeira quanto a resistência ao mal-do-Panamá em condições de campo.

    Get PDF
    Considerando que a grande maioria das variedades cultivadas no Brasil é suscetível ao mal-do-Panamá e as perdas no rendimento podem alcançar 100%, o uso de variedades resistentes é a única medida eficiente de controle dessa doença. O trabalho teve como objetivo avaliar genótipos oriundos do programa de melhoramento genético da bananeira da Embrapa Mandioca e Fruticultura quanto à resistência a mal-do-Panamá em condições de campo artificialmente infestado com Fusarium oxysporum f. sp. Cubense
    • …
    corecore