Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées

Dans le cadre de la construction de modèles d'information pour la gestion de réseaux, la spécification des comportements devient de plus en plus complexe. En particulier, les dépendances entre objets gérés nécessitent une spécification détaillée bien souvent omise dans les catalogues d'objets disponibles à ce jour. Nous présentons dans ce rapport la validation entreprise sur les dépendances comportementales entre objets pour la gestion des interconnexions entre commutateurs. La validation entreprise repose sur une modélisation sous forme de systèmes de transitions étiquetées des interactions entre ces objets ainsi que sur l'utilisation du logiciel {\tt MEC} pour la vérification de propriétés sur cette modélisation

Proposition de Projet MADYNES : Supervision des réseaux et services dynamiques

Rapport interne.Le projet MADYNES vise la conception, la validation et la mise en oeuvre de nouveaux paradigmes et architectures de supervision et de contrôle capables : (1) de maîtriser la dynamicité croissante des infrastructures et services de télécommunications et (2) de résister au facteur d'échelle induit par l'Internet ubiquitaire

OGLE-2013-BLG-0911Lb: A Secondary on the Brown-dwarf Planet Boundary around an M Dwarf

We present the analysis of the binary-lens microlensing event OGLE-2013-BLG-0911. The best-fit solutions indicate the binary mass ratio of q $\simeq$ 0.03, which differs from that reported in Shvartzvald et al. The event suffers from the well-known close/wide degeneracy, resulting in two groups of solutions for the projected separation normalized by the Einstein radius of s ∼ 0.15 or s ∼ 7. The finite source and the parallax observations allow us to measure the lens physical parameters. The lens system is an M dwarf orbited by a massive Jupiter companion at very close (${M}_{\mathrm{host}}={0.30}_{-0.06}^{+0.08}{M}_{\odot }$, ${M}_{\mathrm{comp}}={10.1}_{-2.2}^{+2.9}{M}_{\mathrm{Jup}}$, ${a}_{\exp }={0.40}_{-0.04}^{+0.05}\,\mathrm{au}$) or wide (${M}_{\mathrm{host}}={0.28}_{-0.08}^{+0.10}{M}_{\odot }$, ${M}_{\mathrm{comp}}={9.9}_{-3.5}^{+3.8}{M}_{\mathrm{Jup}}$, ${a}_{\exp }={18.0}_{-3.2}^{+3.2}\,\mathrm{au}$) separation. Although the mass ratio is slightly above the planet-brown dwarf (BD) mass-ratio boundary of q = 0.03, which is generally used, the median physical mass of the companion is slightly below the planet-BD mass boundary of 13M$_{Jup}$. It is likely that the formation mechanisms for BDs and planets are different and the objects near the boundaries could have been formed by either mechanism. It is important to probe the distribution of such companions with masses of ∼13M$_{Jup}$ in order to statistically constrain the formation theories for both BDs and massive planets. In particular, the microlensing method is able to probe the distribution around low-mass M dwarfs and even BDs, which is challenging for other exoplanet detection methods

Étude graphique de détermination de distributions de probabilités planes dont les marges sont données

International audienc

L'anniversaire de la Commune

Nataf André. L'anniversaire de la Commune. In: Autogestion et socialisme : études, débats, documents, N°15, 1971. La Commune de Paris. pp. 31-36

Moi, franc-maçon

Nataf André. Moi, franc-maçon. In: Chimères. Revue des schizoanalyses, N°5-6,1988. pp. 1-9

Le Marxisme et son ombre, Rosa Luxembourg

Contient une table des matièresAvec mode text

Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées

Colloque avec actes et comité de lecture.Dans le cadre de la construction de modèles d'information pour la gestion de réseaux, la spécification des comportements devient de plus en plus complexe. En particulier, les dépendances entre objets gérés nécessitent une spécification détaillée bien souvent omise dans les catalogues d'objets disponibles à ce jour. Nous présentons dans cet article la validation entreprise sur les dépendances comportementales entre objets pour la gestion des interconnexions entre commutateurs. Cette validation repose sur une modélisation sous forme de systèmes de transitions étiquetées des interactions entre ces objets ainsi que sur l'utilisation du logiciel MEC pour la vérification de propriétés sur cette modélisation