2,033 research outputs found

    A formal approach for correct-by-construction system substitution

    Full text link
    The substitution of a system with another one may occur in several situations like system adaptation, system failure management, system resilience, system reconfiguration, etc. It consists in replacing a running system by another one when given conditions hold. This contribution summarizes our proposal to define a formal setting for proving the correctness of system substitution. It relies on refinement and on the Event-B method.Comment: EDCC-2014, Student-Forum, System Substitution, state rRecovery, correct-bycorrection, Event-B, refinemen

    Cohérences basées sur les valeurs en échec

    Get PDF
    International audienceNon disponibl

    Étude de la dominance dans les CSPs à contraintes de différence

    No full text
    La détection dynamique et l'élimination des valeurs symétriques dans les CSPs quelconques est en générale une tâche difficile, mais dans le cas des CSPs à contraintes de différence (NECSPs) , les conditions de symétrie peuvent être simplifiées. Dans cet article, nous étendons le principe de la symétrie à la dominance dans le cas des CSPs à contraintes de différence et nous montrons comment les valeurs dominées sont détectées et éliminées efficacement à chaque noeuds de l'arbre de recherche. Nous proposons un algorithme de détection de valeurs dominées de complexité linéaire. Nous avons implémenté cet algorithme dans un Forward Checking adapté au cas des CSPs à contraintes de différence. Nous avons comparé cette méthode à la méthode DSATUR sur deux classes de problèmes de coloration de graphes : les aléatoires ainsi que sur des instances issues du challenge de DIMACS. Les résultats montrent que notre méthode est en générale la plus performante

    Des patrons modulaires de requêtes SPARQL dans le système SWIP

    Get PDF
    National audienceLe système SWIP a pour objectif l'interrogation d'entrepôts de données sémantiques par un utilisateur final. Dans cet article, nous proposons une définition de patrons de requêtes modulaires. Ces patrons sont composés de sous-patrons imbriqués, optionnels ou répétables. Ce nouveau modèle de patron est implémenté à partir d'une ontologie OWL 2. Il a été validé sur un jeu de requêtes portant sur le domaine du cinéma

    Substituabilité au voisinage pour le cadre WCSP

    Get PDF
    National audienceWCSP is an optimization problem for which many forms of soft local (arc) consistencies such as existential directional arc consistency (EDAC) and virtual arc consistency (VAC) have been proposed these last years. In this paper, we adopt a different perspective by revisiting the well-known property of (soft) substitutability. First, we provide a clear picture of the relationships existing between soft neighborhood substitutability (SNS) and a tractable property called pcostpcost which is based on the concept of overcost of values (through the use of so-called cost pairs). We prove that under certain assumptions, pcostpcost is equivalent to SNS but weaker than SNS in the general case since we show that SNS is coNP-hard. We also show that SNS preserves the property VAC but not the property EDAC. Finally, we introduce an optimized algorithm and we show on various series of WCSP instances, the practical interest of maintaining pcostpcost together with AC*, FDAC or EDAC, during search.WCSP est un problème d'optimisation pour lequel plusieurs formes de cohérences locales souples telles que, par exemple, la cohérence d'arc existentielle directionnelle (EDAC) et la cohérence d'arc virtuelle (VAC) ont été proposées durant ces dernières années. Dans cet article, nous adoptons une perspective différente en revisitant la propriété bien connue de la substituabilité (souple). Tout d'abord, nous précisons les relations existant entre la substituabilité de voisinage souple (SNS pour Soft Neighbourhood Substitutability) et une propriété appelée pcostpcost qui est basée sur le concept de surcoût de valeurs (par le biais de l'utilisation de paires de surcoût). Nous montrons que sous certaines hypothèses, pcostpcost est équivalent à SNS, mais que dans le cas général, elle est plus faible que SNS prouvée être coNP-difficile. Ensuite, nous montrons que SNS conserve la propriété VAC, mais pas la propriété EDAC. Enfin, nous introduisons un algorithme optimisé et nous montrons sur diverses séries d'instances WCSP l'intérêt pratique du maintien de pcostpcost avec AC*, FDAC ou EDAC, au cours de la recherche

    A physiological Plant Growth Simulation Engine Based on Accurate Radiant Energy Transfer

    Get PDF
    We present a new model for plant growth simulation, taking into account the eco-physiological processes driving plant development with unprecedented fidelity. The growth model, based on a physiological analysis, essentially simulates the internal function of the plant, and has been validated against measured biological data with excellent results. We show how to account for the influence of light through photosynthesis, and thereby incorporate the effects of a given plant's immediate environment on its architecture, shape and size. Since biological matter is controlled by water transpiration and received radiant enery, the model requires efficient and accurate simulation of radiant energy exchanges. We describe a complete lighting simulation system tailored for the difficult case of plants, by adapting state-of-the-art techniques such as hierarchical instanciation for radiosity and general BRDF modeling. Our results show that (a) our lighting simulation system efficiently provides the required information at the desired level of accuracy, and (b) the plant growth model is extremely well calibrated against real plants and (c) the combined system can simulate many interesting growth situations with direct feedback from the environment on the plant's characteristics. Applications range from landscape simulation to agronomical and agricultural studies, and to the design of virtual plants responding to their environment

    La théorie de la réalisation par sous-ensembles : une réponse (non-réductionniste ?) à l’argument de l’exclusion causale

    Get PDF
    Le paysage philosophique en théorie de l’action contemporaine est largement façonné par l’argument de l’exclusion causale de Kim. Cet argument menace apparemment le physicalisme non réductionniste, posture ontologique qui affirme l’irréductibilité des propriétés mentales aux propriétés physiques. C’est qu’il mène à la conclusion que les propriétés mentales sont soit des propriétés physiques, soit des épiphénomènes, au sens où elles semblent dépourvues de toute efficacité causale. Dans cet article, je vais examiner une tentative récente et prétendument non réductionniste d’éviter les conclusions de l’argument de l’exclusion causale, soit la théorie de la réalisation par sous-ensembles de Shoemaker. Je vais montrer que cette théorie échappe aux critiques de Kim seulement au prix de l’abandon du non-réductionnisme. Je tenterai aussi de prouver que même en s’inspirant des idées de Pereboom sur la réalisation, Shoemaker ne peut échapper au réductionnisme

    Compilation de CSPs : carte de complexité des MDDs non-déterministes

    Get PDF
    National audienceLes CSPs fournissent un cadre puissant pour la représentation de problèmes très divers. La difficulté est que la plupart des requêtes associées aux CSPs sont NP-difficiles, mais doivent dans certains contextes être traitées « en ligne ». C’est pour cette raison que les diagrammes de décision multivalués (MDDs) ont été proposés pour la compilation de CSPs. Cet article dresse une carte de compilation des MDDs, dans l’esprit de la carte de la famille des NNFs de Darwiche et Marquis, en analysant les MDDs selon leur compacité et les requêtes et transformations qu’ils supportent en temps polynomial. Les MDDs déterministes et ordonnés généralisant les diagrammes de décision binaire ordonnes à des variables non-booléennes, le fait que leurs propriétés soient similaires n’est pas surprenant. Cependant, notre étude met en avant l’intérêt des MDDs ordonnes non déterministes : restreint aux variables booléennes, ce fragment est strictement plus compact que ceux des OBDDs et des DNFs, et admet des performances proches de celles des DNNFs. La comparaison aux MDDs classiques montre que relâcher la contrainte du déterminisme améliore la compacité et permet a plus de transformations d’être supportées en temps polynomial. Des expériences sur des problèmes aléatoires confirment le gain en compacité
    • …
    corecore