• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 599
  • 236
  • 68
  • 14
  • 7
  • 1
  • Tagged with
  • 937
  • 460
  • 177
  • 134
  • 131
  • 129
  • 108
  • 94
  • 93
  • 92
  • 90
  • 79
  • 76
  • 65
  • 65
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
131

Génération automatique de modèles zonaux pour l'étude du comportement thermo-aéraulique des bâtiments

Musy, Marjorie 08 July 1999 (has links) (PDF)
Cette étude a pour objet de montrer qu'il est possible de générer automatiquement des modèles zonaux pour l'étude du comportement thermique et aéraulique des bâtiments. Les modèles zonaux sont basés sur le partitionnement des pièces en un petit nombre de sous-volumes. Cette approche est intermédiaire entre celle des modèles à un noeud (qui considèrent que la température est homogène dans chaque pièce, et pour cette raison ne permettent pas de prédire le confort thermique dans une pièce) et celle des codes CFD (qui sont très coûteux en temps de calcul). Pour atteindre notre objectif, nous avons reformulé le modèle zonal. Ceci a consisté à regrouper les équations de description du comportement du bâtiment dans des sous-systèmes d'équations. Ce regroupement est calqué sur le découpage spatial des pièces. Ainsi, les équations de bilan et d'état appliquées à un sous-volumes forment les modules de la famille des « cellules » et celles de transfert entre deux sous-volumes forment les modules de la famille des « interfaces ». Ces familles sont constituées de plusieurs modèles correspondant aux différents types d'écoulement qui se développent dans les bâtiments. Ceux-ci ont été traduits en objets SPARK, lesquels forment la bibliothèque de modèles. Construire une simulation consiste à choisir les modèles appropriés pour décrire les pièces et à les connecter. Cette dernière étape a été automatisée, si bien qu'il ne reste plus à l'utilisateur qu'à donner le partitionnement et à choisir les modèles qu'il désire implémenter. Le système d'équations résultant est résolu par le solveur de SPARK. Des résultats de simulations pour différentes configurations d'écoulement dans des pièces sont présentés et comparés à des données expérimentales. Nous donnons également des exemples d'application de la méthode zonale à l'étude d'un groupe de deux pièces, d'un bâtiment et d'une pièce de géométrie complexe.
132

Un modèle de composants hiérarchiques avec protocoles d'interaction

Pavel, Sebastien 21 October 2008 (has links) (PDF)
L'utilisation et la gestion des composants sont au coeur des nouvelles architectures logicielles. Les composants représentent les briques de bases des logiciels. Les efforts de recherche actuels se concentrent sur l'élaboration de modèles à base de composants qui intègrent des propriétés importantes comme, par exemple, la description et l'intégration des composants avec des comportements explicites (protocoles d'interaction). Ce sont ces descriptions plus complètes que les interfaces classiques (les points d'entrée et de sortie), qui ouvrent la voie vers la correction des assemblages. Comme aboutissement des travaux de cette thèse, nous proposons un modèle de composants qui utilise des Systèmes de Transitions Symboliques (STSs) pour décrire les comportements des composants. Les composants de notre modèle sont des boîtes noires communicant exclusivement par l'intermédiaire de leurs interfaces étendues avec des protocoles d'interaction. Le modèle spécifie aussi les règles de compatibilité, les algorithmes de vérification des assemblages des composants et de la substitution et un langage de description des composants. Nous proposons une implémentation dans le langage Java en suivant une approche générative ou le code Java est généré à partir des descriptions des composants de haut niveau. Le code est donc garanti a être conforme à la spécification.
133

Méthodologie de test pour cartes mixtes analogiques-numériques

Gilles, Bertrand 07 July 2009 (has links) (PDF)
Le problème abordé dans cette thèse concerne le test de cartes mixtes en maintenance. Dans le domaine du test matériel, de nombreuses méthodes et outils de test existent, ciblant principalement le test de circuits en phase de conception et de production. Peu d'intérêt a été porté jusqu'à présent au test de cartes mixtes en phase de maintenance. Pourtant, certains systèmes comme par exemple les systèmes militaires doivent rester opérationnels pendant plusieurs décennies. Il est alors important de s'assurer que les fonctionnalités des cartes électroniques composant ces systèmes ne se dégradent pas au cours du temps. D'autre part, lorsqu'une carte est en panne, une aide au diagnostic s'avère précieuse lorsqu'il faut réparer. Nous proposons une méthodologie de test fonctionnel adaptée au contexte de la maintenance. Cette méthodologie permet une modélisation fonctionnelle uniforme des composants analogiques, numériques et mixtes de la carte à tester et est flexible vis-à-vis de la quantité d'informations disponibles sur la carte. La génération des données de test est pilotée par des stratégies de test globales (bien adaptées à la maintenance préventive) ou locales (plus appropriées dans le cas de la maintenance corrective). L'expertise et les pratiques industrielles des ingénieurs de test en maintenance, qui sont indispensables, sont prises en compte par la méthodologie sous la forme de modèles de test et de tactiques de test qui précisent le processus de génération des données de test. La méthodologie proposée est implantée dans un outil prototype en utilisant la programmation logique par contraintes, et son application sur quelques exemples de cartes mixtes est discutée.
134

Vers un outil d’aide à la planification et à l’ordonnancement des blocs opératoires

FEI, Hongying 17 March 2006 (has links)
Résumé Dans cette thèse, nous étudions la gestion des blocs opératoires, et plus particulièrement la planification et l’ordonnancement de ces blocs. Le choix d’études de ce secteur hospitalier est lié au fait qu’il est réputé comme un lieu hautement stratégique dans un établissement hospitalier, surtout en terme de coûts. Il est dès lors utile de s’intéresser à l’optimisation de l’utilisation des ressources hospitalières. Etant donné que l’optimisation du fonctionnement des blocs opératoires est un problème vaste et complexe, nous nous focalisons sur deux sous-problèmes déjà réputés difficiles : la planification et l’ordonnancement des interventions chirurgicales. Ce sont des problèmes centrés sur la programmation opératoire et dont l’objectif est d’obtenir un programme opératoire réalisable et efficace du bloc. Les problèmes de planification sont premièrement formalisés comme des modèles mathématiques en nombres entiers et puis résolus par des procédures heuristiques et par un « Branch-and-Price » basés sur la génération de colonnes qui est utilisée pour résoudre les relaxations linéaires des modèles concernés afin de trouver les bornes inférieures. Les modèles d’ordonnancement sont traités comme des variantes de modèles de « flow shop » hybride à deux étages et résolus par des algorithmes génétiques hybrides. Finalement, nos modèles ont été testés et validés sur un cas réel. ABSTRACT This thesis presents our studies on the operating theatre management, especially on the operating theatre planning and scheduling problem in case that this surgical sector is always regarded as the kernel in a hospital in terms of the expenditure. Therefore, it’s necessary to optimize the assignment of hospital resources in the operating theatre. Since this type of problem is extremely complex, we concentrate on just two sub-problems that are also considered difficult ones by researchers: the surgical cases planning and scheduling problem, which aim to make a surgical cases programming with an objective of obtaining a realizable and efficient surgical cases operating schedule. At first the weekly planning problems of surgical cases are formulated as a mathematical integer programming, and then they are solved by heuristic procedures and Branch-and-Price one. All these procedures are based on the column generation procedure, which is used to solve the linear relaxation of each model for a lower bound. The scheduling models are treated as variants of hybrid two-stage flow shop problem and are solved by proposed hybrid genetic algorithms. Finally, our models are tested and validated in a real case.
135

Diffusion de second harmonique par les nanoparticules métalliques à symétrie sphérique

Butet, Jeremy 06 July 2012 (has links) (PDF)
Ce travail de thèse a porté sur l'étude de la génération de second harmonique par les nanoparticules métalliques. La présence de résonances de plasmon de surface localisées dans les nanoparticules métalliques accroit la section efficace non linéaire et le but de ce travail a été de comprendre comment ce couplage peut être mis à profit. D'un point de vue fondamental, la comparaison entre expérience et théorie a permis de mettre en évidence le mode d'émission octupolaire ainsi que de pondérer les contributions de surface et de volume au signal total émis. Il a également été démontré que des profils de Fano non linéaire pouvaient être observés dans le cas de nano-objets très simples. Des applications pratiques, telle que les capteurs plasmoniques, ont été abordées montrant que les propriétés intrinsèques de la génération de second harmonique offrent plusieurs avantages et augmentent la sensibilité de tels capteurs. Des mesures expérimentales ont également été effectuées sur des nanoparticules d'or uniques enfermées dans une matrice homogène, ouvrant la voie pour une compréhension plus fine de l'impact de la morphologie des nanoparticules sur leur réponse non linéaire.
136

CONTRIBUTION A UNE METHODOLOGIE DE DIMENSIONNEMENT DES CONVERTISSEURS STATIQUES

Bergeon, Stéphane 06 January 1998 (has links) (PDF)
Ce travail de thèse propose une méthodologie de dimensionnement s'adaptant à un grand nombre de structures de convertisseurs statiques. Elle intègre différents outils préexistants, et s'appuie sur la formulation automatique, avec des techniques de calcul symbolique, d'un modèle de dimensionnement. Celui-ci prend en charge, à un même niveau, l'aspect physique du fonctionnement et l'aspect conception qui s'exprime en termes de respect d'un cahier des charges. La connaissance fondamentale pour mettre en œuvre cette démarche se veut minimale, et comprend les équations des nœuds du circuit et les spécifications du cahier des charges. L'intervention de l'utilisateur dans la méthodologie est réduite au maximum et simplifiée. Sur ces principes, cette approche de CAO cherche à fournir au concepteur, via l'ordinateur, en plus de logiciels d'analyse, un véritable outil d'aide au dimensionnement intégrable dans une méthodologie globale de conception des convertisseurs statiques.
137

Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception

Enard, Quentin 06 May 2013 (has links) (PDF)
Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d'une nouvelle application digne de confiance.Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.
138

Caractérisation par diffusion de second harmonique de nanocristaux pour l'imagerie biomédicale

Joulaud, Cécile 29 May 2013 (has links) (PDF)
Les nanocristaux à structure non-centrosymétrique présentent des propriétés optiques non linéaires prometteuses pour une utilisation en tant que marqueurs optiques en imagerie biomédicale, avec un intérêt significatif en termes de suivi sur de longues durées et de profondeur de pénétration dans les tissus biologiques. Le développement de ces marqueurs nécessite la détermination de leurs efficacités optiques non linéaires afin de pouvoir sélectionner les nanocristaux les plus prometteurs. Pour cela, la technique de diffusion Hyper-Rayleigh a été adaptée à la caractérisation de suspensions de nanoparticules (BaTiO3, KNbO3, KTP, LiNbO3 et ZnO, BiFeO3) pour lesquelles l'influence de paramètres comme la taille, la concentration ou l'état d'agrégation a été analysée et discutée. Les nanocristaux de BiFeO3 possèdent une efficacité optique non linéaire largement supérieure aux autres particules, démontrant leur potentiel pour la réalisation de nano-sondes optiques particulièrement performantes. Des mesures résolues en polarisation ont également été mises en œuvre pour déterminer les coefficients optiques non linéaires indépendants des particules étudiées. Dans ce cadre, une étude a permis de mettre en évidence l'influence de la forme des nanocristaux sur cette réponse.
139

L'impact de la promotion des ventes sur le processus décisionnel d'achat des femmes francophones de la génération du baby-boom lors de l'achat de vêtements

Jean, Stéphane January 2008 (has links) (PDF)
Ce mémoire a pour objectif de mieux comprendre l'impact de trois promotions des ventes (les promotions par le prix, le cadeau avec achat et les programmes de fidélité) sur le processus décisionnel des consommatrices de la génération du baby-boom lors de l'achat de vêtements. Suite à une recension des écrits sur les promotions des ventes et sur la génération du baby-boom, l'attention de cette recherche portera uniquement sur les femmes de cette génération car elles ont un processus décisionnel plus complexe que celui des hommes. De plus, elles forment présentement le segment le plus puissant sur le plan de la consommation. Les différents ouvrages sur le sujet nous informent qu'il existe une différence comportementale entre les personnes anglophones et francophones lorsqu'elles sont soumises à un type de publicité. Puisque la ligne est parfois mince entre la publicité et la promotion des ventes et que pour certains la promotion des ventes est une forme de publicité nous avons décidé de nous intéresser uniquement aux femmes francophones du Québec. Afin de répondre à l'objectif de cette recherche, un questionnaire a été distribué à 394 femmes francophones vivant au Québec nées entre le 1er janvier 1946 et le 31 décembre 1965. Les répondantes ont été sollicitées soit par le porte-à-porte où directement sur leur lieu de travail. Un questionnaire auto-administré divisé en quatre parties leur était présenté et la participation à l'étude était sur base volontaire. La première section de ce questionnaire comporte différentes questions touchant les promotions prix. La deuxième section est consacrée au cadeau avec achat. La troisième section porte sur les programmes de fidélité. La dernière section comporte diverses questions servant à dresser le portrait sociodémographique de l'échantillon. Trois hypothèses de recherche ont été formulées afin de mieux comprendre l'impact de ces promotions. L'hypothèse H₁ s'intéresse à l'intérêt que peuvent avoir les promotions prix et si cet intérêt se traduit en acte d'achat. L'hypothèse H₂ touche les mêmes aspects que la première hypothèse, mais pour le cadeau avec achat. En ce qui a trait à l'hypothèse H₃, elle s'intéresse à l'impact des programmes de fidélité sur le choix du point de vente par les consommatrices. L'analyse des résultats a permis de répondre à nos hypothèses de recherche. Nous avons constaté que les promotions par le prix sont principalement efficaces au point de vente, que le cadeau avec achat ne suscite aucun intérêt lors de l'achat de vêtements et que les programmes de fidélité sont des promotions alternatives qui sont un bon outil permettant de fidéliser la clientèle participante. De plus, ces résultats nous ont permis de dégager des implications managériales et des avenues de recherches futures. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Promotion des ventes, Promotion prix, Cadeau avec achat, Programme de fidélité, Génération du baby-boom, Comportement d'achat, Intention d'achat.
140

Les trajets parallèles du téléroman jeunesse québécois et de son public d'origine

Leblanc-Roy, Mélina January 2009 (has links) (PDF)
Le téléroman jeunesse Watatatow, diffusé quotidiennement sur les ondes de Radio-Canada de l'automne 1991 au printemps 2005 et mettant en scène le quotidien d'adolescents d'ici, représente le plus important succès télévisé pour adolescents au Québec. Or, dans ses dernières années de diffusion, le public de l'émission était composé d'une large majorité d'adultes, en particulier de jeunes adultes. Ces téléspectateurs étaient en fait des adolescents des années 1990 qui avaient poursuivi leur écoute de l'émission jusque dans la vingtaine. Ces jeunes adultes de la « génération y » se sont accrochés à cette émission même s'ils ne faisaient plus partie de son public-cible, un phénomène unique dans l'histoire de notre télévision que ce mémoire cherche à expliquer. A priori, deux éléments semblent avoir assuré le succès de Watatatow auprès de cette génération devenue adulte. Premièrement, les auteurs connaissaient intimement la réalité de ces jeunes et ont su la refléter dans l'émission. Deuxièmement, les traits sociologiques de cette génération expliquent leur fidélité à la série, puisque, en tant que jeunes adultes, ils s'identifiaient toujours aux personnages et aux situations de Watatatow. Ces hypothèses ont été vérifiées à l'aide d'une analyse de contenu qualitative de sept épisodes tirés de différentes saisons de la série, complétée par un portrait sociologique de la génération Y. L'analyse démontre effectivement que la série s'est si bien ancrée dans la réalité de ces jeunes qu'elle a projeté un reflet réaliste mais positif de leur vie, en abordant les thématiques de l'heure: multiculturalisme, nouveaux types de familles, nouveaux modes de vie comme la colocation, lutte au décrochage scolaire, à la drogue, etc. Tout ceci dans la foulée de deux décennies de télévision jeunesse éducative, mais aussi dans l'esprit des recherches, politiques et institutions qui témoignent à l'époque un vif intérêt pour l'avenir de la jeunesse, dans le but de lui éviter les problèmes sociaux qu'a connu la « génération X ». Le portrait de la génération Y confirme aussi que pour beaucoup d'entre eux, l'entrée dans la vie d'adulte se fait difficilement: plus long parcours scolaire, emplois précaires, cohabitation ou retour au domicile parental et report ou abandon de certains rites comme la mise en couple et la fondation de la famille. Ceci explique que des thématiques jeunesse les aient interpellés jusque tard dans la vingtaine. Par ailleurs, l'analyse démontre que d'autres facteurs contribuent au succès de Watatatow : la transformation de la forme de l'émission, qui est devenue plus accrocheuse au fil des ans, et l'absence d'autres représentations de ce groupe d'âge dans les émissions de fiction québécoises. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Adolescent, Aspect social, Génération, Jeune, Jeunesse, Téléroman, Téléspectateur, Télévision.

Page generated in 0.0814 seconds