Algorithmes de Newton-min polyédriques pour les problèmes de complémentarité

The semismooth Newton method is a very efficient approach for computing a zero of a large class of nonsmooth equations. When the initial iterate is sufficiently close to a regular zero and the function is strongly semismooth, the generated sequence converges quadratically to that zero, while the iteration only requires to solve a linear system.If the first iterate is far away from a zero, however, it is difficult to force its convergence using linesearch or trust regions because a semismooth Newton direction may not be a descent direction of the associated least-square merit function, unlike when the function is differentiable. We explore this question in the particular case of a nonsmooth equation reformulation of the nonlinear complementarity problem, using the minimum function. We propose a globally convergent algorithm using a modification of a semismooth Newton direction that makes it a descent direction of the least-square function. Instead of requiring that the direction satisfies a linear system, it must be a feasible point of a convex polyhedron; hence, it can be computed in polynomial time. This polyhedron is defined by the often very few inequalities, obtained by linearizing pairs of functions that have close negative values at the current iterate; hence, somehow, the algorithm feels the proximity of a "bad kink" of the minimum function and acts accordingly.In order to avoid as often as possible the extra cost of having to find a feasible point of a polyhedron, a hybrid algorithm is also proposed, in which the Newton-min direction is accepted if a sufficient-descent-like criterion is satisfied, which is often the case in practice. Global convergence to regular points is proved; the notion of regularity is associated with the algorithm and is analysed with care.L'algorithme de Newton semi-lisse est très efficace pour calculer un zéro d'une large classe d'équations non lisses. Lorsque le premier itéré est suffisamment proche d'un zéro régulier et si la fonction est fortement semi-lisse, la suite générée converge quadratiquement vers ce zéro, alors que l'itération ne requière que la résolution d'un système linéaire.Cependant, si le premier itéré est éloigné d'un zéro, il est difficile de forcer sa convergence par recherche linéaire ou régions de confiance, parce que la direction de Newton semi-lisse n'est pas nécessairement une direction de descente de la fonction de moindres-carrés associée, contrairement au cas où la fonction à annuler est différentiable. Nous explorons cette question dans le cas particulier d'une reformulation par équation non lisse du problème de complémentarité non linéaire, en utilisant la fonction minimum. Nous proposons un algorithme globalement convergent, utilisant une direction de Newton semi-lisse modifiée, qui est de descente pour la fonction de moindres-carrés. Au lieu de requérir la satisfaction d'un système linéaire, cette direction doit être intérieur à un polyèdre convexe, ce qui peut se calculer en temps polynomial. Ce polyèdre est défini par souvent très peu d'inégalités, obtenus en linéarisant des couples de fonctions qui ont des valeurs négatives proches à l'itéré courant; donc, d'une certaine manière, l'algorithme est capable d'estimer la proximité des "mauvais plis" de la fonction minimum et d'agir en conséquence.De manière à éviter au si souvent que possible le coût supplémentaire lié au calcul d'un point admissible de polyèdre, un algorithme hybride est également proposé, dans lequel la direction de Newton-min est acceptée si un critère de décroissance suffisante est vérifié, ce qui est souvent le cas en pratique. La convergence globale vers des points régulier est démontrée; la notion de régularité est associée à l'algorithme et est analysée avec soin

Model-Based Robustness Testing in Event-B Using Mutation

International audienceRobustness testing aims at finding errors in a system under invalid conditions, such as unexpected inputs. We propose a robust-ness testing approach for Event-B based on specification mutation and model-based testing. We assume that a specification describes the valid inputs of a system. By applying negation rules, we mutate the precondition of events to explore invalid behaviour. Tests are generated from the mutated specification using ProB. ProB has been adapted to efficiently process mutated events. Mutated events are statically checked for satisfiability and enability using constraint satisfaction, to prune the transition search space. This has dramatically improve the performance of test generation. The approach is applied to the Java Card bytecode verifier. Large mutated specifications (containing 921 mutated events) can be easily tackled to ensure a good coverage of the robustness test space

Propositions méthodologiques pour l'évaluation du dispositif CODEV-OGAF de la province Nord en Nouvelle-Calédonie : travaux réalisés par l'axe III de l'IAC avec un mission d'appui du CIRAD département Environnement et Sociétés

Nota: dans ce qui suit, les projets soutenus par le CODEV ou soutenus par le dispositif CODEV OGAF seront désignés sous le terme générique projet CODEV et ce pour des commodités de rédaction uniquement ? Ce rapport est une contribution au montage de l'étude d'évaluation du CODEV1 en province Nord de Nouvelle-Calédonie, confié à l'IAC (convention n°09C248/2009). Il rend compte des travaux conduits par l'équipe de l'IAC associée à deux chercheurs du Cirad durant le mois de février 2010. Conformément aux termes de la convention, les travaux conduits ont permis de préparer les travaux proprement dits de l'évaluation (enquête et entretiens, traitement des données), devant faire l'objet d'une autre convention et devant déboucher sur la remise du rapport final d'évaluation fin juillet. La question de l'évaluation du CODEV suppose que l'on replace ce dispositif dans l'histoire récente des politiques publiques de la province constituée en tant qu'exécutif territorial à partir de 1988 date des Accords Matignon Oudinot. Cette évaluation pose des problèmes de méthode pour plusieurs raisons et notamment, la durée du dispositif (1990-2010) et les évolutions du contexte, l'absence de situation de référence ou d'échantillon de "contrôle", les changements d'orientations... Il a été retenu de combiner une approche qualitative et quantitative (quand cela est possible) qui fait appel à: (i) une enquête représentative sur un échantillon tiré de manière aléatoire dans l'ensemble des projets soutenus par le CODEV; (ii) une série d'entretiens semi ouverts conduits à partir d'une grille auprès d'un échantillon raisonné de promoteurs choisis en collaboration avec les services techniques de la province pour leur signification économique et sociale; (iii) une série d'entretiens avec les acteurs en charge du dispositif CODEV. Enfin sur la base des premiers résultats et analyses, deux sessions d'échanges avec les services de la province permettront de déboucher sur une analyse partagée des conclusions et des perspectives. Une partie du travail a consisté à préparer la base de données pour le tirage de l'échantillon. Cette base a été constituée à partir d'une extraction de la base de données de la province Nord, contenant l'ensemble des projets enregistrés jusqu'en février 2010 et les ajouts de la base de suivi constituée par l'IAC en collaboration avec la province en 2009. Ont enfin été retirés de la base d'échantillonnage les quelques projets de trop grande ampleur, dont le suivi en peut se résoudre à un passage rapide d'un questionnaire, mais relève davantage de l'audit. Des analyses préalables au tirage au sort permettent d'ores et déjà de dresser un état des projets financés par le CODEV. Ces analyses ont permis de stratifier la population des projets et de préparer le tirage au sort. La base de données préparée pour le tirage représente la population qui fait l'objet de cette évaluation est constituée de 3 362 projets financés entre 1989 et 2008 (compris) pour 2 720 promoteurs. Ces projets représentent un montant total des plans de financement de 9,8 milliards dont 3,4 milliards de subventions versées par la province Nord. L'objectif fixé pour cette évaluation était 400 projets enquêtés soit un taux de sondage de 12%. Pour disposer d'un échantillon un peu plus large, 448 projets ont été tirés au hasard dans la base de sondage (tirage avec stratification par période et type de projet), soit un taux de sondage de plus de 13%. Cette enquête sur échantillon représentatif produira des informations extrapolables sur l'ensemble du dispositif CODEV. L'autre partie du travail a consisté à mettre au point les guides d'enquêtes et d'entretien pour les promoteurs. Un premier questionnaire a été élaboré à partir de quelques tests successifs auprès d'un petit nombre de promoteurs choisis pour leur disponibilité et leur ouverture pour se prêter à ce type d'exercice. Ce questionnaire permet de saisir les caractéristiques socio économiques des promoteurs et de leur m

A Plant-Derived Morphinan as a Novel Lead Compound Active against Malaria Liver Stages

BACKGROUND: The global spread of multidrug–resistant malaria parasites has led to an urgent need for new chemotherapeutic agents. Drug discovery is primarily directed to the asexual blood stages, and few drugs that are effective against the obligatory liver stages, from which the pathogenic blood infection is initiated, have become available since primaquine was deployed in the 1950s. METHODS AND FINDINGS: Using bioassay-guided fractionation based on the parasite's hepatic stage, we have isolated a novel morphinan alkaloid, tazopsine, from a plant traditionally used against malaria in Madagascar. This compound and readily obtained semisynthetic derivatives were tested for inhibitory activity against liver stage development in vitro (P. falciparum and P. yoelii) and in vivo (P. yoelii). Tazopsine fully inhibited the development of P. yoelii (50% inhibitory concentration [IC(50)] 3.1 μM, therapeutic index [TI] 14) and P. falciparum (IC(50) 4.2 μM, TI 7) hepatic parasites in cultured primary hepatocytes, with inhibition being most pronounced during the early developmental stages. One derivative, N-cyclopentyl-tazopsine (NCP-tazopsine), with similar inhibitory activity was selected for its lower toxicity (IC(50) 3.3 μM, TI 46, and IC(50) 42.4 μM, TI 60, on P. yoelii and P. falciparum hepatic stages in vitro, respectively). Oral administration of NCP-tazopsine completely protected mice from a sporozoite challenge. Unlike the parent molecule, the derivative was uniquely active against Plasmodium hepatic stages. CONCLUSIONS: A readily obtained semisynthetic derivative of a plant-derived compound, tazopsine, has been shown to be specifically active against the liver stage, but inactive against the blood forms of the malaria parasite. This unique specificity in an antimalarial drug severely restricts the pressure for the selection of drug resistance to a parasite stage limited both in numbers and duration, thus allowing researchers to envisage the incorporation of a true causal prophylactic in malaria control programs