.

Le langage est conçu de manière à permettre une interprétation synchrone des suites. La nature du langage (dont la sémantique s'exprime simplement) permet des manipulations formelles sur les programmes dans le but de faire des vérifications et des preuves de correction. Des exemples illustrent l'utilisation du langage pour la programmation de systèmes temporisés pris dans différents domaines (temps réel classique, automatique, systolique, spécification et conception des circuits)

Nous nous intéressons à la création de surfaces à pôles (NURBS essentiellement), largement utilisées dans les systèmes de modélisation géométrique. Un des avantages de cette modélisation est de permettre d'appréhender la forme des surfaces par la position de points de contrôle. L'approche déclarative de la modélisation de surfaces est destinée à la réalisation rapide et facile d'ébauches de formes et de surfaces. Elle est aussi et surtout destinée à accélérer les processus de conception des spécialistes en leur proposant des solutions adaptées répondant à un ensemble de contraintes et de propriétés.<br /><br />Pour y parvenir, le travail réalisé dans la thèse se divise en quatre étapes :<br /><br />* Etude de faisabilité : réalisée en collaboration avec l'Ecole Nationale Supérieure des Arts et Métiers d'Aix-en-Provence, elle s'est focalisée sur la description et la modélisation d'objets de type pièces mécaniques.<br />* Analyse conceptuelle : Cette étape primordiale dans un projet d'une telle envergure nous a permis de mettre au point l'architecture générale de notre processus déclaratif de surfaces. Dans le cadre de la thèse et en vue d'un premier prototype, nous décidons de focaliser notre étude sur la partie résolution qui se scinde en deux : la détermination des classes de solutions et leur construction sous contraintes.<br />* Etude et développement de la "détermination des classes de solutions" : Notre approche repose sur le comportement d'une surface face aux déformations qui lui sont apportées lors de sa construction : deux surfaces appartiennent à la même classe si elles ont le même comportement face à la même succession de déformations.<br />* Etude et développement de la "construction sous contraintes" : Afin d'obtenir une surface solution particulière (ou instance d'une classe de solutions) nous choisissons une construction par l'application successive de déformations. Ces déformations sont soumises à des contraintes plus ou moins fortes. Nous avons donc élaboré une méthode de déformations de surfaces capable de satisfaire des contraintes de passage tout en gardant un fort contrôle sur la forme de chaque zone d'influence.<br /><br />Deux applications mettant en oeuvre ce travail ont été réalisées en C++ et sont disponibles sous les versions 32-bits de MS Windows(R), Linux et MacOS X.

La programmation distribuée est une tâche difficile. Elle a énormément gagné en importance avec le développement des réseaux qui supportent un nombre croissant exponentiellement d’applications. Les systèmes distribués fournissent des fonctionnalités assurées par les noeuds qui forment un réseau et échangent des données et services, éventuellement par le biais de messages. La provenance du service n’est souvent pas pertinente, alors que sa fiabilité est essentielle. Notre objectif est de fournir un nouveau modèle de communication qui permet de spécifier intentionnellement lequel service est demandé, et non les noeuds qui le fournissent. Cette spécification intentionnelle des échanges offre un potentiel pour faciliter la programmation distribuée, garantir la persistance des données dans les messages et la résilience des systèmes, qui constituent le sujet de cette thèse. Nous proposons donc un cadre qui supporte des messages avec destinations intentionnelles, qui sont évaluées uniquement à la volée au fur et à mesure du déplacement des messages. Nous introduisons un langage, Questlog, qui gère les destinations intentionnelles. Contrairement aux langages à base de règles existants pour les réseaux, comme Datalog, qui suivent le mode push, Questlog permet d’exprimer des stratégies complexes afin de récupérer de manière récursive des données distribuées en mode pull. Le langage fonctionne sur une machine virtuelle qui s’appuie sur un SGBD. Nous démontrons l’approche avec des exemples pris dans deux domaines: (i) les architectures orientées données, où une classe restreinte d’applications client-serveur sont distribuées de manière transparente sur les systèmes pair-à-pair basés sur une DHT, (ii) les réseaux de capteurs sans fil, où un protocole de groupement des noeuds en clusters virtuels est proposé pour agréger les données. Dans ce protocole, les chefs des clusters sont élus à l’aide des destinations intentionnelles. Nos simulations sur la plate-forme QuestMonitor montre que cette approche offre une simplicité, une modularité aux protocoles, ainsi qu’une fiabilité accrue. / Distributed programming is a challenging task. It has tremendously gained importance with the wide development of networks, which support an exponentially increasing number of applications. Distributed systems provide functionalities that are ensured by nodes which form a network and exchange data and services possibly through messages. The provenance of the service is often not relevant, while its reliability is essential. Our aim is to provide a new communication model which allows to specify intensionally what service is needed as opposed to which nodes provide it. The intensional specification of exchanges offers a potential to facilitate distributed programming, to provide persistence of data in messages and resilience of systems, that constitute the topic of this thesis. We propose a framework that supports messages with intensional destinations, which are evaluated only on the fly while the messages are traveling. We introduce a rule-based language, Questlog, to handle the intensional destinations. In contrast to existing network rule-based languages, which like Datalog follow the push mode, Questlog allows to express complex strategies to recursively retrieve distributed data in pull mode. The language runs over a virtual machine which relies on a DBMS. We demonstrate the approach with examples taken from two domains: (i) data-centric architectures, where a class of restricted client-server applications are seamlessly distributed over peer-to-peer systems based on a DHT, and (ii) wireless sensor networks, where a virtual clustering protocol is proposed to aggregate data, in which cluster heads are elected using intensional destinations. Our simulations on the QuestMonitor platform demonstrates that this approach offers simplicity and modularity to protocols, as well as an increased reliability.

En nous inspirant du modèle cognitif de production humaine d'Anderson, nous considérons, dans cette thèse, comme des processus universels intégrant le système de production humaine, une grande partie des stratégies d'apprentissage présentées dans différents classements. Dans cette perspective, nous avons examiné la différence stratégique entre les apprenants, comme le soutiennent d'aucuns, ainsi que la modification que pourrait produire une formation à l'emploi des stratégies d'apprentissage dans le répertoire des stratégies des apprenants. Nous montrons que le développement des compétences en langues implique inévitablement la mise en place de procédures générales de résolution de problèmes régies par des stratégies universelles. Nous nous intéressons particulièrement à la nature universelle des stratégies d'apprentissage. Dans cette perspective nous avons effectué une étude empirique visant à analyser les stratégies d'apprentissage de deux groupes d'apprenants adultes iraniens du français -dont l'un a reçu une formation à l'emploi des stratégies d'apprentissage. Les résultats de nos analyses de leurs productions orales et écrites confirment le fondement théorique de notre recherche. En effet, l'enseignement des stratégies d'apprentissage que proposent certains ne modifie pas l'utilisation des stratégies d'apprentissage ayant trait aux processus mentaux régissant les productions humaines chez l'apprenant adulte et ce sont les savoirs déclaratifs des apprenants qui différencient leurs productions langagières. / Based on the cognitive model of human production of Anderson, we considered in this thesis, a large part of the learning strategies presented in the various classifications as universal human process system production. In this context we examined the strategic difference of learners, as some argue, and the modification that could produce training in the use of learning strategies in the repertoire of strategies learners.We have shown that the development of language skills is based on the activation of general procedures for solving problems governed by universal strategies.We are particularly interested in this thesis, in the universal nature of learning strategies. In this perspective we conducted an empirical study which aims at analyzing learning strategies of two groups of Iranian adult learners, one of which received training in the use of learning strategies learning. The results of our analysis of their oral and written productions have confirmed the theoretical basis of our research. Indeed, the teaching of learning strategies, that offer some, do not change the use of learning strategies and their language productions depend on their declarative knowledge. .Keywords: cognitive model of human production, learning strategies, training in the use of learning strategies, declarative knowledge, Iranian adult learners.

L’indivision prend fin par le partage. Le partage substitue des droits privatifs à une propriétécollective sur un bien ou une masse de biens qui est fractionnée.L’indivision est présentée traditionnellement comme un état éphémère, mauvais, auquel il fautmettre fin. Des règles juridiques spécifiques au partage ont alors été mises en place ; lafiscalité de l’enregistrement a assuré l’accompagnement de ces règles.Aujourd’hui le partage se conçoit en valeur. Les règles du partage ont donc évolué.Cette évolution n’est pas appréhendée par le droit fiscal. Le traitement des soultes, desindemnités de réduction ou de rapport est parfois contestable.En outre, l’administration fiscale maintient encore la distinction entre partage pur et simple etavec soulte, distinction qui n’emporte aucune conséquence en droit civil et qui ne se justifieplus aujourd’hui.Le partage a un effet déclaratif et rétroactif. Chacun des attributaires est réputé avoir été seulpropriétaire du bien mis dans son lot.Le régime des plus-values des particuliers s’est calqué sur cette analyse qui par voie deconséquences, fait fi du partage et des soultes ou indemnités qui sont versées par l’attributairedu bien. L’analyse juridique du partage ignore l’aspect économique du partage.Quant à la fiscalité professionnelle, les règles sont complexes et disparates, pasnécessairement fondées sur l’analyse juridique ; le traitement fiscal du partage est alorsd’autant plus compliqué. / Joint possession ends through sharing. Sharing substitutes private rights to a collectiveownership over an asset or set of assets which is split.Joint possession is shown traditionally as a transient state, a bad state which must be ended.Legal regulations specific to sharing have subsequently been implemented; recorded taxationhas ensured that these regulations are supported.Today, sharing is conceivable as a value. Sharing regulations have therefore developed.This development is not apprehended by tax legislation. The processing of balances, reducedcompensation or reported compensation is sometimes disputable.In addition, the tax office still maintains the distinction between pure and simple sharing andsharing with a balance, a distinction which bears no consequence in civil law, and which is nolonger justified today.Sharing has a declarative and retroactive effect. Each one of the allottees is considered to havebeen the sole owner of the asset put into their lot.The individuals’ capital gains system is modelled on this analysis, which consequently,throws caution to the wind, and balances or compensation which are paid by the allottee of theasset. The legal analysis of the sharing ignores the economic aspect of the sharing.As regards taxation on work, the regulations are complex and disparate, not necessarily basedon the legal analysis; the tax processing of the sharing is then all the more complicated.

Les problèmes d’optimisation combinatoire sont devenus la cible de nombreuses recherches scientifiques pour leur importance dans la résolution de problèmes académiques et de problèmes réels rencontrés dans le domaine de l’ingénierie et dans l’industrie. La résolution de ces problèmes par des méthodes exactes ne peut être envisagée à cause des délais de traitement souvent exorbitants que nécessiteraient ces méthodes pour atteindre la (les) solution(s) optimale(s). Dans cette thèse, nous nous sommes intéressés au contexte algorithmique de résolution des problèmes combinatoires, et au contexte de modélisation de ces problèmes. Au niveau algorithmique, nous avons appréhendé les méthodes hybrides qui excellent par leur capacité à faire coopérer les méthodes exactes et les méthodes approchées afin de produire rapidement des solutions. Au niveau modélisation, nous avons travaillé sur la spécification et la résolution exacte des problématiques complexes de fouille des ensembles de motifs en étudiant tout particulièrement le passage à l’échelle sur des bases de données de grande taille. D'une part, nous avons proposé une première parallélisation de l'algorithme DGVNS, appelée CPDGVNS, qui explore en parallèle les différents clusters fournis par la décomposition arborescente en partageant la meilleure solution trouvée sur un modèle maître-travailleur. Deux autres stratégies, appelées RADGVNS et RSDGVNS, ont été proposées qui améliorent la fréquence d'échange des solutions intermédiaires entre les différents processus. Les expérimentations effectuées sur des problèmes combinatoires difficiles montrent l'adéquation et l'efficacité de nos méthodes parallèles. D'autre part, nous avons proposé une approche hybride combinant à la fois les techniques de programmation linéaire en nombres entiers (PLNE) et la fouille de motifs. Notre approche est complète et tire profit du cadre général de la PLNE (en procurant un haut niveau de flexibilité et d’expressivité) et des heuristiques spécialisées pour l’exploration et l’extraction de données (pour améliorer les temps de calcul). Outre le cadre général de l’extraction des ensembles de motifs, nous avons étudié plus particulièrement deux problèmes : le clustering conceptuel et le problème de tuilage (tiling). Les expérimentations menées ont montré l’apport de notre proposition par rapport aux approches à base de contraintes et aux heuristiques spécialisées. / Combinatorial optimization problems have become the target of many scientific researches for their importance in solving academic problems and real problems encountered in the field of engineering and industry. Solving these problems by exact methods is often intractable because of the exorbitant time processing that these methods would require to reach the optimal solution(s). In this thesis, we were interested in the algorithmic context of solving combinatorial problems, and the modeling context of these problems. At the algorithmic level, we have explored the hybrid methods which excel in their ability to cooperate exact methods and approximate methods in order to produce rapidly solutions of best quality. At the modeling level, we worked on the specification and the exact resolution of complex problems in pattern set mining, in particular, by studying scaling issues in large databases. On the one hand, we proposed a first parallelization of the DGVNS algorithm, called CPDGVNS, which explores in parallel the different clusters of the tree decomposition by sharing the best overall solution on a master-worker model. Two other strategies, called RADGVNS and RSDGVNS, have been proposed which improve the frequency of exchanging intermediate solutions between the different processes. Experiments carried out on difficult combinatorial problems show the effectiveness of our parallel methods. On the other hand, we proposed a hybrid approach combining techniques of both Integer Linear Programming (ILP) and pattern mining. Our approach is comprehensive and takes advantage of the general ILP framework (by providing a high level of flexibility and expressiveness) and specialized heuristics for data mining (to improve computing time). In addition to the general framework for the pattern set mining, two problems were studied: conceptual clustering and the tiling problem. The experiments carried out showed the contribution of our proposition in relation to constraint-based approaches and specialized heuristics.