Spelling suggestions: "subject:"implicite"" "subject:"complicite""
91 |
De la conceptualisation implicite du nombre et des figures géométriques dans la culture drehu à leur conceptualisation explicite dans les mathématiques à l'école : étude exploratoire des interactions suscitées par les deux conceptualisations et de leurs effets à partir d'approches pédagogique, didactique et ethnomathématique / Of the implicit conceptualization of the number and the geometrical forms in the culture drehu in their explicit conceptualization in the mathematics at the school : exploratory study of the interactions aroused by both conceptualizations and their effects from educational, didactic approaches and ethnomathématics.Waminya, Richard 14 November 2011 (has links)
Dans le champ disciplinaire des mathématiques, l'élève drehu éprouve des difficultés à maîtriser les savoirs enseignés. Pourtant dans sa vie de tous les jours, il est entouré de pratiques et de productions culturelles qui présentent des concepts mathématiques qui sont étudiés en classe. On constate que les faibles performances qu'il obtient dans les activités mathématiques sont dues le plus souvent aux difficultés d'adaptation aux méthodes pédagogiques des enseignants ou à l'assimilation des concepts mathématiques. Comment donc aider ces jeunes drehu, provenant d'un milieu culturel où les concepts sont perçus implicitement, à s'intégrer dans un milieu scolaire où ils sont explicités? La prise en compte de la conceptualisation du nombre et des figures géométriques dans la culture drehu permet aux enseignants de connaître la manière d'enseigner implicitement les concepts mathématiques dans le milieu socioculturel de l'enfant et surtout les méthodes d'apprentissage développés par ce dernier. Ces apports socioculturels aident le pédagogue à s'approprier des stratégies d'enseignement qui favorisent un meilleur apprentissage des concepts mathématiques par les élèves drehu à l'école. Ces savoirs culturels servent de béquille didactique dans l'apprentissage des savoirs scolaires. / In the disciplinary field of mathematics, the student Drehu has difficulty to master the knowledge taught. But in his daily life, he is surrounded by practices and cultural productions that present mathematical concepts that are studied in class. It notes that the low performance in mathematical activities are most often due to difficulties in adapting teaching methods of teachers or the assimilation of mathematical concepts. How, therefore, help these young drehu, from a cultural environment where the concepts are perceived implicitly, to integrate in a school environment where they are referred to? Taking account of the conceptualization of number and geometrical figures into the culture Drehu allows teachers to know how to teach math concepts implicit in the sociocultural environment of the child and especially the teaching methods developed by him. These socio-cultural contributions help the teacher to appropriate teaching strategies that promote better learning of mathematical concepts by students at school Drehu. These cultural knowledge serve as didactic crutch in the learning of school knowledge.
|
92 |
Développement d'une méthode de couplage partitionné fort en vue d'une application aux turbomachines / Development of a partitioned strong coupling procedure with the aim of turbomachinery applicationBénéfice, Guillaume 11 December 2015 (has links)
Pour améliorer la conception des turbomachines, les industriels doivent appréhender des phénomènes aéroélastiques complexes présents dans les compresseurs comme les cycles limites d’interaction fluide-structure des fans. La compréhension et la modélisation de ces phénomènes impliquent de développer des modèles numériques complexes intégrant des phénomènes multi-physique et de valider ces modèles à l’aide de bancs d’essais. Le banc d’essai du compresseur CREATE est instrumenté pour étudier des instabilités aérodynamiques couplées à des vibrations, notamment sur le rotor du premier étage, et permet de valider des modèles numériques. La modélisation de l’écoulement en amont du premier étage du compresseur à l’aide du logiciel Turb’Flow, développé pour l’étude des écoulements dans les compresseurs aéronautiques, a permis de mettre en évidence l’importance des conditions limites d’entrée pour l’obtention de résultats précis. En particulier, il a été possible de modéliser correctement l’ingestion d’une alimentation non-homogène en entrée de la roue directrice d’entrée. Ce phénomène peut se produire en amont des fans et interagir avec un mode de la structure. Une stratégie de couplage partitionné fort explicite dans le domaine temporel a été introduite dans le logiciel Turb’Flow. Comme cette méthode présente un risque de décalage temporel à l’interface fluide-structure, une attention particulière a été portée à la modélisation de la conservation de l’énergie à cette interface. La conservation de l’énergie à l’interface est cruciale quand les déplacements sont importants et quand un comportement non-linéaire fort apparaît entre le fluide et la structure (onde de choc et amortissement structurel nonlinéaire). Parallèlement au développement du module aéroélastique, le schéma implicite de Runge- Kutta d’ordre 3 en temps (RKI-3) a été développé et évalué sur un cas de dynamique (vibration d’une aube de turbine transsonique) et sur un cas de propagation d’onde de choc. L’utilisation du schéma RKI-3 permet d’augmenter, à iso-précision, d’un ordre le pas de temps par rapport aux schémas de Gear et de Newmark. S’il apporte un gain en temps CPU pour l’étude de la dynamique des structures, il est pénalisant dans le cadre de simulation URANS. Cependant, le schéma RKI-3 est utilisable dans le cadre de simulations couplées fluide-structure. / To increase turbomachinery design, manufacturers have to comprehend complex aeroelastic phenomena involving compressors like fluid-structure interaction limit cycles of fans. The understanding and the modeling of these phenomena involve developing complex solvers coupling techniques and validating these techniques with bench tests. The bench test of the CREATE compressor is instrumented to study the coupling between aerodynamic instabilities and structure vibration, in particular on the first stage rotor, and allows to validate numerical techniques. The flow modeling upstream to the first stage with the Turb’Flow flow solver (targeting turbomachinery applications) shows that, to have accurate results, inlet limit conditions must take into account. The ingestion of non-homogeneous flow upstream to the inlet guide vane is accurately modeled. This phenomenon can appear upstream to fans and interact with structure Eigen-modes. Explicit partitioned strong coupling considered in time domain was implemented in a Turb’Flow flow solver. As there is a risk of time shift at the fluid-structure interface, careful attention should be paid to energy conservation at the interface. This conservation is crucial when displacements are large and when strong non-linear behaviors occur in both fluid and structure domains, namely shock waves, flow separations and non-linear structural damping. In parallel with coupling technique development, the three-order implicit Runge-Kutta scheme (RKI-3) was implemented and validated on a structure dynamic case (transonic turbine blade vibration) and on a case of shock waves propagation. The RKI-3 scheme allows increasing the time step of one order of magnitude with the same accuracy. There is a CPU time gain for structure dynamics simulations, but no for URANS simulations. However, the RKI-3 scheme can be to use for fluid-structure coupling simulations. The coupling technique was validated on a test case involving tube in which the shock wave impinges on a cross flow flexible panel, initially at rest. This case allows modeling an interaction between sonic flow and a panel movement with a tip clearance. Some numerical simulations were carried out with different temporal schemes. The RKI-3 scheme has no influence on results (compared with Gear and/or Newmark scheme) on the energy conservation at the fluid-structure interface. Compared to experimental results, pressure is in fairly good ix Liste des publications agreement. The analysis of numerical results highlighted that a vertical shock tube with up and down waves creates pressure fluctuation. Frequency is under predicted and amplitude is not in fairly good agreement. The panel root modeling might be questionable.
|
93 |
Analyse et commande des systèmes multidimensionnels / Analysis and control of multidimensional systemsGhamgui, Mariem 20 September 2013 (has links)
Cette thèse se situe dans le cadre de l'analyse et de la commande des systèmes multidimensionnels. Ce sont des systèmes où l'information se propage dans plusieurs directions indépendantes les unes des autres (par exemple une dimension d'espace et une de temps). Les contributions présentées dans ce mémoire portent d'une part sur la commande des systèmes 2D discrets ou continus, à retards constants ou variables, et d'autre part sur la synthèse de loi de commande par retour d'état robuste des systèmes nD hybrides incertains dont l'incertitude est décrite sous forme de représentation rationnelle implicite (ILFR). Les travaux présentés utilisent deux approches, l'une basée sur le polynôme caractéristique et l'autre sur les techniques de Lyapunov. Pour les systèmes 2D à retards discrets ou continus nous avons utilisé l'approche basée sur des fonctionnelles de Lyapunov. Des conditions suffisantes de stabilité et de stabilisation par retour d'état, dépendantes du retard, sont établies. Outre la notion de stabilité, la notion de performance du type H∞ est traitée afin de résoudre le problème de rejet de perturbations pour cette classe de systèmes. Nous avons ensuite proposé un cadre assez général pour l'analyse en stabilité des systèmes nD hybrides, en utilisant la S-procédure, permettant l'obtention de conditions sous forme de LMIs faciles à exploiter numériquement. Nous avons également proposé des conditions de stabilité et de stabilisation robustes pour les systèmes nD hybrides incertains dont l'incertitude est du type LFR implicites. / This thesis deals with the analysis and the control of multidimensional systems. These systems can be defined as the classe of systems where the information is propagated in several independent direction. For instance, a 2D system with a dimension corresponding to space and, the other one to time. The contributions presented in this work focuses, on one hand, on the control of 2D discrete or continuous systems with constant or variable delays and on the other hand, on the synthesis of robust state feedback controllers for nD hybrid uncertain systems including parameter uncertainties complying with an implicit linear fractional representation (ILFR). Two approaches are used. One is based on the characteristic polynomial and the other on Lyapunov techniques. Sufficient conditions for stability and stabilization are established for 2D delayed discrete or continuous systems using Lyapunov approach. Conditions to insure both stability and a prescribed H∞ performance level are given for this class of systems. Then, a general framework for the establishment of computationally tractable LMI conditions to analyse the stability of nD hybrid systems is proposed. Robust stability and stabilization conditions are then established for nD hybrid uncertain systems. The uncertainties comply with an (ILFR) description.
|
94 |
L'industrie française des OPCVM : conflit d'intérêt, compétition et incitation illicite / French Mutual Fund Market : conflict of interest, competition and implicit incentiveTran dieu, Linh 01 December 2011 (has links)
Le marché français, caractérisé en particulier par une forte segmentation, d’une faible sophistication des investisseurs et une domination des banques, serait peu compétitif. Sur le plan théorique, nous cherchons à illustrer, à l’aide des deux modèles simples, les effets d’une absence relative de compétition entre les fonds. Le premier met en évidence le rôle de la compétition dans la création des incitations implicites. Le second tente d’illustrer le fait que cette absence de compétition (liée à la domination des banques sur le marché français) conduirait à une performance plus faible pour les fonds. Sur le plan empirique, nous vérifions, d’une part, l’existence de ce manque de compétition du marché français. D’autre part, nous mettons en évidence l’existence d’un conflit d’intérêt direct entre les investisseurs et les fonds, résultant direct du manque de compétition du marché. Au niveau de la rentabilité des fonds, le manque de compétition du marché reflète dans le fait que les investisseurs ne réagissent pas fortement à la rentabilité relative des fonds. Au niveau des frais, l’insensibilité des investisseurs individuels aux frais des fonds pourrait traduire une moindre concurrence du marché. Nous observons également une discrimination par les frais entre les investisseurs institutionnels et les investisseurs individuels. Ces derniers paient plus chers pour une rentabilité plus faible. Toutefois, le marché commence à montrer des signes de compétition, reflétant dans le fait que les investisseurs individuels commencent à faire attention au rapport qualité-prix des fonds. Par ailleurs, un plus grand degré de sophistication des investisseurs institutionnels pourrait expliquer le fait que nous ne constatons aucun lien entre les frais et la rentabilité des fonds dans ce segment. En effet, ces investisseurs, susceptibles d’être plus sophistiqués, pourraient estimer la qualité de la gestion par des mesures plus complexes de la performance. Enfin, nous fournissons une preuve de l’existence d’un conflit d’intérêt entre les investisseurs et les fonds : les déséconomies d’échelle de performance. / The French market, characterized especially by a strong segmentation, low sophistication of investors and a domination of banks, would not be competitive. On the theoretical side, we try to illustrate, using two simple models, the effects of a lack of competition. The first one highlights the role of competition in the creation of implicit incentives. The second one shows that the lack of competition leads to weak funds’ performance. Empirically, we verify firstly the existence of this lack of competition in the French market. Secondly, we show the existence of a conflict of interest between investors and funds. The lack of competition reflects by the fact that investors do not react strongly to funds’ performance and individual investors are not sensitive to fund fees. We also observe a price discrimination between institutional and individual investors. The latter pays more for lower return. However, the market begins to show some signs of competition. In fact, individual investors start to pay attention to the “price-quality” rapport. In addition, a greater degree of sophistication of institutional investors may explain the fact that we do not obtain any relation between fees and return in this segment. Indeed, these investors may be more sophisticated and could estimate the quality of a fund by more complex measures of performance. Finally, we provide evidence for the existence of a conflict of interest between investors and funds: diseconomies of scale.
|
95 |
Le fondement du recours à la force à la lumière des conflits impliquant l'Irak en 1991 et 2003 : entre autorisation et légitime défense / The basis for the use of force in light for conflicts involving Iraq in 1991 and 2003 : between authorization and legitimate defenseKetari, Leïla 28 September 2011 (has links)
Les conflits récents qui ont impliqué l’Irak en 1990 et2003 sont deux conflits menés essentiellement par les Etats-Unis contre l’Irak. Si le premier se fonde, en dépit du droit de légitime défense collective, sur une autorisation du Conseil de sécurité, conformément à une interprétation évolutive de la Charte, le second repose sur des interprétations extensives de la Charte : l’autorisation implicite et la légitime défensepréventive et anticipatoire destinées à éradiquer une menace. Cette recherche tente d’analyserles arguments invoqués en allant jusqu’au bout du raisonnement américain qui s’appuie sur lastratégie de sécurité nationale pour agir dans l’ordre international. Au-delà de la confrontationdu conflit de 2003 aux nouvelles théories tendant à élargir l’autorisation et la légitime défenseet à réhabiliter de vieux concepts de "guerre juste" ou d’"autoprotection" en vigueur auXIXème siècle, c’est leur impact sur le principe de l’interdiction du recours à la force qui aété analysé. Ces nouvelles théories ne sont ni acceptées de lege lata, ni acceptables de legeferanda. Le principe de l’interdiction du recours à la force n’a donc subi aucune brèche. Aulieu d’accepter ces théories, c’est à travers le renforcement de l’action de l’ONU (ses organespolitiques et judiciaires) qu’il faudrait rechercher un moyen d’agir en cas de menace. / The recent conflicts that involved Iraq in 1990 and 2003 are both conflicts fought primarily by the United States of America against Iraq. If the first is based, despite theright of collective self-defense, on an authorization of the Security Council, in accordancewith an evolutionary interpretation of the Charter, the second is based on a liberal interpretation of the Charter: the implied authorization and preventive and anticipatory self defense to eradicate a threat This research attempts to analyze the arguments put forward bythoroughly vetting the United States of America’s rationale based on its national securitystrategy to act in the international order. Beyond exploring the relationship of the 2003conflict to the new theories which attempt to extend the authorization and self-defense and therehabilitation of old concepts of "just war" or "auto-protection" in force in the NineteenthCentury, the impact of these new theories on the principle of the prohibition of the use offorce was also analyzed. These same theories are neither accepted as lege lata nor acceptableas lege ferenda. Accordingly, the principle of the prohibition of the use of force has in no waybeen breached. Instead of accepting these theories, a way to deal with threats should besought through the strengthening of the role of the UN (both its political and judiciaryorgans).
|
96 |
Contribution à la simulation numérique directe de l'ébullition / Contribution to the direct simulation of boiling flowsLe Martelot, Sébastien 15 November 2013 (has links)
Faisant partie des recherches menées dans le cadre du développement du moteur cryogénique Vinci, prévu pour propulser le dernier étage d'Ariane 6, cette thèse a pour objectif la simulation numérique directe (DNS) de la croissance de bulles de vapeur en paroi.La réalisation de ce type de simulation nécessite que les effets physiques internes aux phases et les interactions entre phases soient correctement modélisés et résolus. Pour cela, des modèles et des schémas numériques adaptés à ce type d'écoulement sont mis au point et ce, couplés à des maillages suffisamment fins pour pouvoir résoudre la structure de l'écoulement et des zones de forts gradients, en particulier à l'interface. / Part of the researches concerning the Vinci cryogenic engine, created to propel the last part of Ariane 6, the main goal of this thesis is the direct numerical simulation of boiling flows.Simulation this kind of flow requires the modelling and the resolution of the multiple internal physical effects as well as phases interactions. To achieve this goal, we created models and numerical schemes suited to the boiling flows. The method is used on fine meshes in order to be able to resolve the flow structure, essentially at the interface.
|
97 |
Approximation numérique et modélisation de l'ablation liquide / Numerical approximation and modelling of liquid ablationPeluchon, Simon 28 November 2017 (has links)
Lors de sa rentrée dans l’atmosphère d’une planète, un engin spatial subit un échauffement important dû aux frottements des gaz atmosphériques sur la paroi. Cette élévation de température conduit à une dégradation physico-chimique du bouclier thermique de l’objet constitué de matériaux composites. Un composite est constitué de divers matériaux qui s’ablatent différemment. Dans cette thèse, nous nous intéressons essentiellement à la fusion d’un matériau durant sa phase de rentrée atmosphérique. Nous sommes donc en présence de trois phases : solide, liquide et gaz. Pour simuler ce phénomène, des méthodes numériques robustes ont été mises au point pour calculer l’écoulement diphasique compressible autour de l’objet. Le couplage entre le solide et l’écoulement fluide a aussi été étudié. Les méthodes numériques développées durant cette thèse sont basées sur une approche volumes finis. Une stratégie de décomposition d’opérateurs est utilisée pour résoudre le modèle diphasique à cinq équations avec les termes de dissipation modélisant l’écoulement fluide. L’idée principale de cette décomposition d’opérateurs est de séparer les phénomènes acoustiques et dissipatifs des phénomènes de transport. Un traitement implicite de l’étape acoustique est réalisé tandis que l’étape de transport est résolue explicitement. Le schéma semi-implicite global est alors très robuste, conservatif et préserve les discontinuités de contact. Les conditions d’interface entre les domaines fluide et solide sont déduites des bilans de masse et d’énergie à la paroi. Le front de fusion est suivi explicitement grâce à une formulation ALE des équations. La robustesse de l’approche et l’apport de la formulation semi-implicite sont finalement démontrés grâce à des expériences numériques mono et bidimensionnelles sur maillages curvilignes mobiles. / During atmospheric re-entry phase, a spacecraft undergoes a sudden increase of the temperature due to the friction of atmospheric gases. This rise drives to a physical-chemical degradation of the thermal protective system of the object made of composite material. A composite is made of several materials with ablates differently. In this thesis, we mainly focus on the melting of an object during its re-entry phase. Therefore there are three phases: solid, liquid and gas phases. In order to simulate this phenomenon, robust numerical methods have been developed to compute a compressible multiphase flow. The coupling strategy between the solid and the fluid have also been studied. Solvers developed in the present work are based on Finite Volume Method. A splitting strategy is used to compute compressible two-phase flows using the five-equation model with viscous and heat conduction effects. The main idea of the splitting is to separate the acoustic and dissipative phenomena from the transport one. An implicit treatment of the acoustic step is performed while the transport step is solved explicitly. The overall scheme resulting from this splitting operator strategy is very robust, conservative, and preserves contact discontinuities. The boundary interface condition between the solid and the multiphase flow is enforced by mass and energy balances at the wall. The melting front is tracked explicitly using an ALE formulation of the equations. The robustness of the approach and the interest of the semi-implicit formulation are demonstrated through numerical simulations in one and two dimensions on moving curvilinear grids.
|
98 |
Approche inter-syndromique des processus cognitifs en jeu dans la déficience intellectuelle et la dyspraxie verbale : vitesse de traitement de l’information, mémoire de travail et apprentissage procéduralBussy, Gérald 07 October 2010 (has links)
Notre but de comprendre les mécanismes constitutifs de la déficience intellectuelle et de la dyspraxie verbale, deux pathologies qui affectent les performances aux tests psychométriques. Nous avons sélectionné plusieurs processus pouvant contribuer à l’explication de ces troubles : la vitesse de traitement de l’information et la mémoire travail pour la déficience intellectuelle ; et l’apprentissage procédural pour la dyspraxie verbale. Dans une première étude, nous avons montré que dans la population « tout venant » d’enfants non déficients, la vitesse de traitement augmente avec l’âge. Notre seconde expérience a montré que des patients déficients intellectuels avaient la même vitesse de traitement que des enfants plus jeunes appariés sur l’âge mental. Par ailleurs, nous avons montré que ce ralentissement est similaire dans le syndrome de l’X-Fragile et dans la Trisomie 21. Inversement, la vitesse de traitement des enfants dyspraxiques verbaux est préservée. Ces résultats viennent discuter les deux modèles théoriques de l’intelligence que nous avons choisis comme référence, le modèle en cascade de Fry & Hale (1996) et le modèle d’Anderson (1992). Dans le second volet de nos recherches, nous avons mis en évidence un apprentissage procédural implicite comparable dans deux groupes d’enfants d’âges chronologiques différents malgré des temps de réaction plus importants chez les plus jeunes. La seconde étude montre une préservation de l’apprentissage procédural implicite dans le syndrome de l’X-Fragile et une altération spécifique dans la Trisomie 21. Cela démontre que ce processus est indépendant du QI et varie selon les syndromes. Notre dernière étude montre un trouble important de l’apprentissage procédural implicite dans la dyspraxie verbale, confortant notre hypothèse de départ. L’ensemble de ces résultats est discuté au regard des travaux antérieurs et des modèles théoriques afin de proposer des ouvertures tant théoriques que cliniques. / Our aim is to understand previous process in mental retardation and childhood apraxia of speech (CAS). There are both neurodevelopmental disorders which affect psychometric assessment. We have selected several processes which could explain these disorders such has speed of information processing, working memory for mental retardation and implicit procedural learning for childhood apraxia of speech. In our first study, we have demonstrated within two groups of typical children without disorders that speed of processing increased with chronological age. In the second study, our results have demonstrated the same speed of processing between a group with mental retardation and with mental age matched control group. Moreover, Down and Fragile X syndrome have the same speed of information processing. On the contrary, in our third study, children with CAS and chronological age matched control group have the same speed as process visual information. All results are important to discuss both theories of intelligence we have chosen: the cascade model (Fry and Hall, 1990) and the minimal cognitive architecture (Anderson, 1992). In the second experimental part, our first results have shown a different reaction time between the two groups of young children but both have learned the sequence in a serial reaction time task (implicit procedural learning test). The second study have demonstrated preserved implicit learning in Fragile X but altered learning in Down syndrome. The difference between to these two genetics syndromes is a proof of implicit sequence learning is independent of IQ. The latest results have shown severe implicit procedural learning impairment in CAS. We conclude that this is the cause of CAS.Our discussion is about all results and links between intelligence and disorders with regard to previous studies. Those results aim for both theorical and clinical openings.
|
99 |
Discours sur les femmes et discours de femmes : une analyse ethno-sociopragmatique de l'Implicite dans quelques pièces du théâtre camerounais francophoneNgo Mbai - Gweth Ndjicki, Mireille 01 June 2009 (has links) (PDF)
Le texte théâtral est un texte ouvert et incomplet qui affiche en lui un creux, une place vide dont la prise en charge définitive revient en principe au metteur en scène qui le transforme en spectacle, le propose au public, chargé à son tour d'en combler les vides. C'est autour de ces vides, de ces creux, de ces non-dits de texte qui font par ailleurs l'essentiel du message que repose cette thèse sur la quête de l'implicite dans les discours théâtraux sur et de femmes dans des contextes culturels et traditionnels camerounais. De telles situations interlocutives textuelles offrent des tensions discursives révélant les enjeux sociaux, discursifs et culturels des personnages en présence. Échanges de paroles, ces textes construisent des mécanismes énonciatifs complexes dont une démarche successivement énonciative et argumentative permet de relever les différents interlocuteurs, leurs préoccupations discursives et les stratégies argumentatives mis en oeuvre pour (s') influencer les uns les autres. L'implicite s'y révèle au travers des actes de langage directs et indirects soutenus par les présupposés et les sous-entendus linguistiques et culturels. Ceux-ci dégagent des sociétés traditionnelles bien organisées où la suprématie de l'homme est manifeste au détriment de la femme réduite au silence. Mais au-delà des clichés répandus sur le manque de liberté d'expression ou la soumission de la femme traditionnelle africaine (camerounaise), l'implicite renvoie une autre image de celle-ci, qui, loin de s'enfermer dans le cadre social préétabli qui la maintient en position de subordination, se révolte et s'affirme en tant qu'être à part entière, soulevant ainsi des questions culturelles et identitaires. Par ailleurs, la prise en compte de l'implicite permet de procéder à une autre écoute du spectacle théâtral, à une autre lecture des textes en général et devient un outil indispensable dans l'enseignement même de la lecture
|
100 |
Environnement de programmation parallèle: application au langage PrologMorel, Eric 14 November 1996 (has links) (PDF)
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin, ce document présente la réalisation d'un prototype portable, ainsi que l'analyse des résultats obtenus
|
Page generated in 0.0324 seconds