Familles de langages fermees par crochet ouvert

AbstractWe present a new unary operator, the open bracket, and establish it has properties similar to the ones of the bracket of [1] and the syntactic operators of [10]. We can thus study an infinite hierarchy of checking automata languages

Méthodes d'ensemble en inférence grammaticale : une approche à base de moindres généralisés

National audienceNous présentons un cadre général pour la classification supervisée basé sur la notion de moindre généralisé (généralisation minimale d'un ensemble d'exemples). Nous montrons que le fait de définir cette opération dans l'espace d'hypothèses choisi met à notre disposition, sans effort supplémentaire, plusieurs algorithmes d'apprentissage supervisé à plusieurs classes, en particulier des méthodes d'ensemble (de boosting par exemple). Après avoir décrit cette architecture générique, nous expliquons son utilisation pour l'inférence grammaticale : le calcul du moindre généralisé y est un apprentissage à partir d'exemples positifs seuls comme ceux effectués par les algorithmes TSSI et ZR. Des classifications efficaces de séquences sont alors possibles par vote de plusieurs automates élémentaires. Des expérimentations valident notre approche et nous discutons des intérêts et implications de ces idées

Logique Communicationnelle, Posture et Division dans les Familles Élargies: Cas de Baazra, en Côte d’Ivoire

Cet article vise à comprendre la dynamique communicationnelle à Baazra, village de la commune de Zuénoula, au centre-ouest de la Côte d’Ivoire, ses causes et conséquences. Il s’agit d’une étude qualitative qui s’appuie sur une méthode d’échantillonnage non probabiliste dite par choix raisonné, et menée à partir d’entretiens semi-dirigés avec une vingtaine d’individus. En matière de résultats, l’étude a mis en exergue la position sociale comme facteur déterminant dans la prise de parole, le droit à la parole étant légitimé par des facteurs socio-économiques. Aussi, la propagande médiatique du modèle démocratique occidental a contribué à modifier les logiques communicationnelles à Baazra. Toutes ces mutations sont la base des conflits communautaires ; d’où le recours à la médiation des pouvoirs publics qui est souvent contesté. This paper focuses on understanding the communicational dynamics, its causes, and its consequences in Baazra––a village located at the municipality of Zuenoula in the mid-west of Côte d’Ivoire. This qualitative study is based on a non-probability sampling approach which is known as a purposive sampling. It was carried out through semi-structured interviews administered to twenty respondents. The results of this survey show that the social position is a determining factor in speaking. In other words, the right to speak is inherent to socioeconomic factors. Moreover, the media propaganda of the western democratic model has contributed in changing the communicational logics in Baazra. All these changes forms the basis for community conflicts; hence this has resorted to the mediation of State authorities which is often contested

Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié

Nous nous intéressons au développement prouvé de composants formels pour un générateur de code pré-qualifié. Ce dernier produit un code séquentiel (C et Ada) pour des modèles d'entrée qui combinent les flots de données et de contrôle et qui présentent des possibilités d'exécution concurrente (Simulink/Stateflow et Scicos). Le développement prouvé permet de réduire le coût des tests et d'augmenter l'assurance des outils développés avec cette approche vis-à-vis de la qualification. Les phases de spécification, de développement et de vérification des outils développés sont effectuées avec l'assistant de preuve Coq. Ce dernier permet d'extraire le contenu calculatoire des composants en préservant les propriétés prouvées en Coq. Ce code extrait est ensuite intégré dans une chaîne complète de développement (chaîne de GeneAuto). Nous présentons un cadre formel, inspiré de l'analyse statique, qui s'appuie sur la sémantique abstraite et qui est instanciable sur plusieurs composants du générateur de code. Nous nous basons sur les ensembles partiellement ordonnés et sur le calcul de point fixe pour définir le cadre et effectuer les différentes analyses des composants du générateur de code. Ce cadre formel comporte toutes les preuves communes aux composants et indépendantes des analyses effectuées. Deux composants sont étudiés : l'ordonnanceur et le typeur des modèles d'entrée.We are interested in the proved development of formal components for a pre-qualified code generator. This produces a sequential code (C and Ada) for input models that combine data and control flows, with potential concurrent execution (Simulink/Stateflow and Scicos). The proved development reduces test cost and increases insurance of components developed with this approach regarding the qualification. Phases of specification, development and verification of the developed components are done with the Coq proof assistant. This allows to extract the computational content of the components preserving the properties proved in Coq. The extracted code is then integrated into the complete development tool-chain (GeneAuto tool-chain). We present a formal framework, inspired from static analysis, based on the abstract semantics which is instantiable to several components of the code generator. We rely on partially ordered sets and fixed-point to define de formal framework and to perform the various analysis of components of the code generator. This formal framework includes all proofs common to the components and independent from the performed analyses. Two components are studied : the scheduler and the type checker of input models.TOULOUSE-INP (315552154) / SudocSudocFranceF

Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié

Nous nous intéressons au développement prouvé de composants formels pour un générateur de code pré-qualifié. Ce dernier produit un code séquentiel (C et Ada) pour des modèles d'entrée qui combinent les flots de données et de contrôle et qui présentent des possibilités d'exécution concurrente (Simulink/Stateflow et Scicos). Le développement prouvé permet de réduire le coût des tests et d'augmenter l'assurance des outils développés avec cette approche vis-à-vis de la qualification. Les phases de spécification, de développement et de vérification des outils développés sont effectuées avec l'assistant de preuve Coq. Ce dernier permet d'extraire le contenu calculatoire des composants en préservant les propriétés prouvées en Coq. Ce code extrait est ensuite intégré dans une chaîne complète de développement (chaîne de GeneAuto). Nous présentons un cadre formel, inspiré de l'analyse statique, qui s'appuie sur la sémantique abstraite et qui est instanciable sur plusieurs composants du générateur de code. Nous nous basons sur les ensembles partiellement ordonnés et sur le calcul de point fixe pour définir le cadre et effectuer les différentes analyses des composants du générateur de code. Ce cadre formel comporte toutes les preuves communes aux composants et indépendantes des analyses effectuées. Deux composants sont étudiés : l'ordonnanceur et le typeur des modèles d'entrée. ABSTRACT : We are interested in the proved development of formal components for a pre-qualified code generator. This produces a sequential code (C and Ada) for input models that combine data and control flows, with potential concurrent execution (Simulink/Stateflow and Scicos). The proved development reduces test cost and increases insurance of components developed with this approach regarding the qualification. Phases of specification, development and verification of the developed components are done with the Coq proof assistant. This allows to extract the computational content of the components preserving the properties proved in Coq. The extracted code is then integrated into the complete development tool-chain (GeneAuto tool-chain). We present a formal framework, inspired from static analysis, based on the abstract semantics which is instantiable to several components of the code generator. We rely on partially ordered sets and fixed-point to define de formal framework and to perform the various analysis of components of the code generator. This formal framework includes all proofs common to the components and independent from the performed analyses. Two components are studied : the scheduler and the type checker of input models

Décidabilité et Complexité

International audienceL'informatique fondamentale est un vaste sujet, comme en témoignent les 2 283 et 3 176 pages des "Handbooks" (228; 1). Couvrir en quelques dizaines de pages, l'ensemble de l'in- formatique nous a semblé une entreprise hors de notre portée. De ce fait, nous nous sommes concentrés sur la notion de calcul, sujet qui reflète le goût et la passion des auteurs de ce chapitre. La notion de calcul est omniprésente et aussi ancienne que les mathématiques

Compilation de connaissances pour la décision en ligne : application à la conduite de systèmes autonomes

Controlling autonomous systems requires to make decisions depending on current observations and objectives. This involves some tasks that must be executed online--with the embedded computational power only. However, these tasks are generally combinatory; their computation is long and requires a lot of memory space. Entirely executing them online thus compromises the system's reactivity. But entirely executing them offline, by anticipating every possible situation, can lead to a result too large to be embedded. A tradeoff can be provided by knowledge compilation techniques, which shift as much as possible of the computational effort before the system's launching. These techniques consists in a translation of a problem into some language, obtaining a compiled form of the problem, which is both easy to solve and as compact as possible. The translation step can be very long, but it is only executed once, and offline. There are numerous target compilation languages, among which the language of binary decision diagrams (BDDs), which have been successfully used in various domains of artificial intelligence, such as model-checking, configuration, or planning. The objective of the thesis was to study how knowledge compilation could be applied to the control of autonomous systems. We focused on realistic planning problems, which often involve variables with continuous domains or large enumerated domains (such as time or memory space). We oriented our work towards the search for target compilation languages expressive enough to represent such problems. In a first part of the thesis, we present various aspects of knowledge compilation, as well as a state of the art of the application of compilation to planning. In a second part, we extend the BDD framework to real and enumerated variables, defining the interval automata (IAs) target language. We draw the compilation map of IAs and of some restrictions of IAs, that is, their succinctness properties and their efficiency with respect to elementary operations. We describe methods for compiling into IAs problems that are represented as continuous constraint networks. In a third part, we define the target language of set-labeled diagrams (SDs), another generalization of BDDs allowing the representation of discretized IAs. We draw the compilation map of SDs and of some restrictions of SDs, and describe a method for compiling into SDs problems expressed as discrete continuous networks. We experimentally show that using IAs and SDs for controlling autonomous systems is promising.La conduite de systèmes autonomes nécessite de prendre des décisions en fonction des observations et des objectifs courants : cela implique des tâches à effectuer en ligne, avec les moyens de calcul embarqués. Cependant, il s'agit généralement de tâches combinatoires, gourmandes en temps de calcul et en espace mémoire. Réaliser ces tâches intégralement en ligne dégrade la réactivité du système ; les réaliser intégralement hors ligne, en anticipant toutes les situations possibles, nuit à son embarquabilité. Les techniques de compilation de connaissances sont susceptibles d'apporter un compromis, en déportant au maximum l'effort de calcul avant la mise en situation du système. Ces techniques consistent à traduire un problème dans un certain langage, fournissant une forme compilée de ce problème, dont la résolution est facile et la taille aussi compacte que possible. L'étape de traduction peut être très longue, mais elle n'est effectuée qu'une seule fois, hors ligne. Il existe de nombreux langages-cible de compilation, notamment le langage des diagrammes de décision binaires (BDDs), qui ont été utilisés avec succès dans divers domaines de l'intelligence artificielle, tels le model-checking, la configuration ou la planification. L'objectif de la thèse était d'étudier l'application de la compilation de connaissances à la conduite de systèmes autonomes. Nous nous sommes intéressés à des problèmes réels de planification, qui impliquent souvent des variables continues ou à grand domaine énuméré (temps ou mémoire par exemple). Nous avons orienté notre travail vers la recherche et l'étude de langages-cible de compilation assez expressifs pour permettre de représenter de tels problèmes. Dans la première partie de la thèse, nous présentons divers aspects de la compilation de connaissances ainsi qu'un état de l'art de l'utilisation de la compilation dans le domaine de la planification. Dans une seconde partie, nous étendons le cadre des BDDs aux variables réelles et énumérées, définissant le langage-cible des " interval automata " (IAs). Nous établissons la carte de compilation des IAs et de certaines restrictions des IAs, c'est-à-dire leurs propriétés de compacité et leur efficacité vis-à-vis d'opérations élémentaires. Nous décrivons des méthodes de compilation en IAs pour des problèmes exprimés sous forme de réseaux de contraintes continues. Dans une troisième partie, nous définissons le langage-cible des " set-labeled diagrams " (SDs), une autre généralisation des BDDs, permettant de représenter des IAs discrétisés. Nous établissons la carte de compilation des SDs et de certaines restrictions des SDs, et décrivons une méthode de compilation de réseaux de contraintes discrets en SDs. Nous montrons expérimentalement que l'utilisation de IAs et de SDs pour la conduite de systèmes autonomes est prometteuse

Scolarités singulières et déterminants sociologiques

S’aidant des résultats d’une recherche sur les parcours de ruptures scolaires de collégiens de milieux populaires, ce texte revient sur les questions que pose à la sociologie l’analyse des scolarités singulières et au-delà de la singularité sociale entendue comme social contextualisé à l’échelle des histoires individuelles. Il fait apparaître comment les différents parcours de ruptures scolaires des collégiens relèvent de processus qui à la fois leur sont communs et font la singularité de chacun. Il souligne ainsi qu’il n’y a pas d’opposition entre l’analyse de parcours singuliers et celle de processus généraux dès lors qu’on s’efforce de saisir les parcours d’élèves en regardant comment s’y conjuguent et s’y combinent, à l’échelle des histoires individuelles, un certain nombre de conditions sociales de possibilité, familiales, scolaires, juvéniles. La singularité des parcours d’élèves peut alors être comprise comme une configuration particulière de conditions générales de possibilité, configuration sociale et individuelle à la fois qui, comme l’écrivait Elias, constituent les deux faces d’une même réalité.This article comes back to the questions raised in sociology by the analysis of special educational backgrounds and more precisely of social uniqueness put in the social context of personal stories. It makes use of the results of some research on working-class middle-school drop-outs. It brings out that middle-school drop-out students are driven by processes that they have in common in yet make each story special. It also shows that the analyses of special educational backgrounds are not opposed to those of mainstream processes as long as, when we look at educational backgrounds, we take into account how a certain number of sets of possibilities from family, school, social and past environments interact and combine with one another. The uniqueness of students’ backgrounds can then be taken as a special kind of configuration of the mainstream set of possibilities ; a configuration that is both individual and social and, as Elias wrote it, is the two sides of the same realityAyudándose con los resultados de una investigación sobre el trayecto de rupturas escolares de colegiales de medios populares, este texto vuelve sobre las cuestiones que plantea a la sociología el análisis de las escolaridades singulares, y más allá de la singularidad social entendida como social contextualizado a escala de las historias individuales. Pone de manifiesto cómo los diferentes trayectos de rupturas escolares de los colegiales dependen de procesos que a la vez les son comunes y hacen la singularidad de cada uno. Subraya así que no hay oposición entre el análisis de trayectos singulares y el de procesos generales siempre que nos esforzamos en entender los recorridos de alumnos mirando cómo se conjugan y se combinan, a escala de las historias individuales, cierto número de condiciones sociales de posibilidad, familiales, escolares, juveniles. La singularidad de los trayectos de alumnos puede entonces ser entendida como una configuración particular de condiciones generales de posibilidad, configuración social e individual a la vez que, como lo escribía Elias, constituyen las dos caras de una misma realidad.Auf Grund der Ergebnisse einer Forschungsarbeit über den Abbruch des Schulbesuches bei Collège-Schülern (11 bis 15) aus dem Arbeitermilieu befasst sich dieser Artikel mit den Fragen, die die Soziologie angesichts der Analyse der eigenartigen Schulkarrieren und der sozialen Eigenartigkeit stellen muss. Unter diesem Begriff versteht man die die soziale Dimension, die in den individuellen Geschichten kontextualisiert wird. Der Artikel bringt zum Vorschein, wie die verschiedenen Modalitäten des Abbruchs des Schulbesuches bei Collège-Schülern Prozessen folgen, die allen gemeinsam sind und gleichzeitig die Eigenartigkeit von jedem Einzelnen ausmachen. Er betont somit, dass es keine Opposition zwischen der Analyse der eigenartigen Schulkarrieren und die der allgemeinen Prozessen gibt, sobald man sich bemüht, die Schullaufbahn jedes einzelnen Schülers so zu betrachten, dass man dabei analysiert, wie sich auf dem Niveau des Individuums eine gewisse Anzahl von Familien-, Schul- und Jugendbestimmten sozialen Möglichkeitsbedingungen miteinander kombinieren und einander beeinflussen. Die Eigenartigkeit einer Schullaufbahn kann folglich so verstanden werden, nämlich wie eine eigenartige Konfiguration der allgemeinen Möglichkeitsbedingungen, also wie eine gleichzeitig soziale und individuelle Konfiguration, die, so Elias, die beiden Seiten der gleichen Realität darstellen

Ernest Renan : un anti-sémitisme savant

Renan, one of the major figures of the French 19th century intelligentsia, indisputably defends racist and anti-semitic theses in a number of his works which are nevertheless supposed to be "scientific". The present paper is devoted to establishing this fact.Renan, une des grandes figures de l'intelligentsia française du 19e s. défend, incontestablement, des thèses racistes et antisémites dans nombre de ses écrits qui se veulent néanmoins "scientifiques". C'est à l'établissement de ce fait qu'est consacré le présent article

Spécification des objets partagés dans les systèmes répartis sans-attente

In large scale distributed systems, strong consistency criteria like sequential consistency and linearizability are often very expensive or even unachievable. This thesis investigates the best ways to specify the objects that are still possible to implement in these systems. We assert that it is still possible to separate their specification in two complementary facets: an abstract data type that specifies the functional aspect of the operations and a weak consistency criterion that describes the level of quality of service ensured by the object in its distributed environment. We illustrate these concepts by an implementation in the D programming language: abstract data types are described by classes in the program and consistency criteria are taken from a list in the CODS library.We also draw up a map of the space of weak consistency criteria, organised around three families of primary criteria (state locality, eventual consistency and validity) and three families of secondary criteria (update consistency, pipelined consistency and serializability). Each secondary criterion strenghtens two primary criteria, but the three criteria can not be implemented together in considered systems. We also study the effects of causality on these families.Dans les systèmes répartis à très grande échelle, les critères de cohérence forts comme la cohérence séquentielle et la linéarisabilité sont souvent trop coûteux, voire impossibles à obtenir. Dans cette thèse, nous nous posons la question de la spécification des objets que l'on peut tout de même obtenir. Nous soutenons qu'il est toujours possible de séparer leur spécification en deux facettes : un type de données abstrait qui spécifie l'aspect fonctionnel des opérations et un critère de cohérence faible qui décrit la qualité de service garantie par l'objet dans son environnement réparti. Nous illustrons ces concepts par une mise en oeuvre dans le langage D : les types de données abstraits sont les classes du programme et les critères de cohérence sont choisis dans une liste fournie par la bibliothèque CODS. Nous dressons une carte de l'espace des critères faibles organisée autour de trois familles de critères primaires (localité d'état, convergence et validité) et trois familles de critères secondaires (cohérence d'écritures, cohérence pipeline et sérialisabilité). Chaque critère secondaire renforce deux critères primaires, mais les trois critères primaires ne peuvent pas être implémentés ensembles dans les systèmes considérés. Nous étudions également l'effet de la causalité sur ces familles