966 resultados para Vérification et analyse des systèmes


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Le climat planétaire évolue à une vitesse alarmante. Selon le Groupe d’experts intergouvernemental sur l’évolution du climat, les températures globales pourraient grimper de 3 à 7°C d’ici 2100. Les zones tempérées, comme le Québec, ne seront pas épargnées. Au sein de la province, le climat typique en forêt boréale pourrait se déplacer de 750 km vers le nord pour atteindre le Haut-Arctique dans quelques décennies. D’autres modifications notables du climat se traduisent dans les précipitations, les glaces, les océans, etc. Tous ces changements climatiques constituent une menace grandissante pour la biodiversité. D’ailleurs, ils pourraient devenir la principale cause d’extinction d’espèces dans le futur, surpassant même la dégradation d’habitats et la pollution. Afin de témoigner de la portée des changements climatiques sur la biodiversité, 6 espèces fauniques à statut précaire au Québec sont étudiées dans le cadre de l’essai. Par leurs fortes réponses aux stress, elles agissent à titre de bioindicateurs des changements climatiques. Ces espèces, de classes taxonomiques différentes, sont : le chevalier cuivré (Moxostoma hubbsi), l’ours blanc (Ursus maritimus), la grive de Bicknell (Catharus Bicknelli), la rainette faux-grillon de l’Ouest (Pseudacris triseriata), la tortue luth (Dermochelys coriacea) et le satyre fauve des Maritimes (Coenonympha nipisiquit). L’étude approfondie de ces espèces a permis de relever un total de 47 impacts potentiels des changements climatiques. En majorité, ces impacts concernent la perte d’habitats, l’augmentation de la compétition, la diminution du succès reproducteur et l’entrave à la survie. L’objectif de cet essai est d’évaluer les mesures de protection actuelles permettant de faire face à ces impacts. Bien qu’elles varient grandement d’une espèce à l’autre, elles peuvent être regroupées en quatre grandes thématiques, soit la recherche et le suivi, la gestion des aires protégées, l’adaptation du cadre législatif et l’aménagement écosystémique. L’évaluation de ces mesures a permis de soulever certains constats. En premier lieu, la recherche et le suivi constituent la principale mesure de protection adoptée. En second lieu, il appert que les mesures de protection actuelles manquent de spécificité. En effet, dans la majorité des cas, elles protègent l’espèce de manière indirecte seulement. Au final, dans le but d’améliorer ou de combler les lacunes des mesures de protection actuelles, des recommandations ont été formulées. D’une part, celles-ci présentent des actions concrètes comme la translocation ou l’aménagement écosystémique. D’autre part, elles suggèrent des modifications quant aux méthodes de suivi, à la gestion des aires protégées et aux cadres législatifs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Ce mémoire aborde la question de l'entraînement au poste de travail des jeunes et nouveaux employés non spécialisés, à savoir : «Quels sont les modèles d'entraînement utilisés dans la grande industrie estrienne pour favoriser l'adaptation des nouveaux employés à leur poste de travail?» Au cours de cette recherche exploratoire, l'auteur tente de comprendre la dimension éducative entre les cadres de première ligne et les jeunes et nouveaux employés non spécialisés. Par le biais d'entrevues semi-directives, il a recueilli des données chez ces deux populations et les a ensuite analysées de manière qualitative en s'inspirant de l'approche de Miles et Huberman (1984). Les résultats obtenus permettent à l'auteur de croire qu'il n'existe pas de systématisation dans l'entraînement des jeunes et nouveaux employés non spécialisés dans les trois grandes industries estriennes concernées. Les résultats ont plutôt démontré la présence de moments d'instruction spontanés et circonstanciels.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Les messages de retour programmés sur 44 didacticiels québécois ont été observés afin de faire ressortir les caractéristiques qu'ils comportent. Celles-ci ont été analysées à la lumière d'études expérimentales qui ont trait à l'apprentissage assisté par ordinateur, afin de pouvoir discuter de leurs effets sur les apprentissages et sur les attitudes des apprenants. Il ressort de ces discussions que certains messages sont judicieusement utilisés. Toutefois, ils sont généralement peu aidants face aux apprenants qui éprouvent de la difficulté à atteindre les objectifs d'apprentissage fixés. Ils sont généralement peu aidants aussi pour les apprenants qui ont un niveau préalable de maîtrise élevé face aux objectifs à atteindre. Les techniques d'affichage et d'émission des messages de retour n'utilisent pas le potentiel de l'ordinateur. Des pistes d'amélioration pour la programmation des messages de retour sont suggérées.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study aimed to build two databases, the first on the historic effort and catches of the traditional small-scale fisheries from 1999 till 2014, and the second one on the traditional management of fishing licenses. The first database allows for a synthetic analysis of the results obtained on the fishing activities of beach-seine, fishing rod and on octopuses, in terms of effort and catch per area and year. Technical and scientific supports were supplied implementing survey protocols and supervision of a student, both within the framework of the small-scale traditional fisheries. The study supported traditional fishermen with the mediation process for regulation revisions for the fishing activities in the MPA areas.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nous présentons dans cette thèse des théorèmes d’existence pour des systèmes d’équations différentielles non-linéaires d’ordre trois, pour des systèmes d’équa- tions et d’inclusions aux échelles de temps non-linéaires d’ordre un et pour des systèmes d’équations aux échelles de temps non-linéaires d’ordre deux sous cer- taines conditions aux limites. Dans le chapitre trois, nous introduirons une notion de tube-solution pour obtenir des théorèmes d’existence pour des systèmes d’équations différentielles du troisième ordre. Cette nouvelle notion généralise aux systèmes les notions de sous- et sur-solutions pour le problème aux limites de l’équation différentielle du troisième ordre étudiée dans [34]. Dans la dernière section de ce chapitre, nous traitons les systèmes d’ordre trois lorsque f est soumise à une condition de crois- sance de type Wintner-Nagumo. Pour admettre l’existence de solutions d’un tel système, nous aurons recours à la théorie des inclusions différentielles. Ce résultat d’existence généralise de diverses façons un théorème de Grossinho et Minhós [34]. Le chapitre suivant porte sur l’existence de solutions pour deux types de sys- tèmes d’équations aux échelles de temps du premier ordre. Les résultats d’exis- tence pour ces deux problèmes ont été obtenus grâce à des notions de tube-solution adaptées à ces systèmes. Le premier théorème généralise entre autre aux systèmes et à une échelle de temps quelconque, un résultat obtenu pour des équations aux différences finies par Mawhin et Bereanu [9]. Ce résultat permet également d’obte- nir l’existence de solutions pour de nouveaux systèmes dont on ne pouvait obtenir l’existence en utilisant le résultat de Dai et Tisdell [17]. Le deuxième théorème de ce chapitre généralise quant à lui, sous certaines conditions, des résultats de [60]. Le chapitre cinq aborde un nouveau théorème d’existence pour un système d’in- clusions aux échelles de temps du premier ordre. Selon nos recherches, aucun résultat avant celui-ci ne traitait de l’existence de solutions pour des systèmes d’inclusions de ce type. Ainsi, ce chapitre ouvre de nouvelles possibilités dans le domaine des inclusions aux échelles de temps. Notre résultat a été obtenu encore une fois à l’aide d’une hypothèse de tube-solution adaptée au problème. Au chapitre six, nous traitons l’existence de solutions pour des systèmes d’équations aux échelles de temps d’ordre deux. Le premier théorème d’existence que nous obtenons généralise les résultats de [36] étant donné que l’hypothèse que ces auteurs utilisent pour faire la majoration a priori est un cas particulier de notre hypothèse de tube-solution pour ce type de systèmes. Notons également que notre définition de tube-solution généralise aux systèmes les notions de sous- et sur-solutions introduites pour les équations d’ordre deux par [4] et [55]. Ainsi, nous généralisons également des résultats obtenus pour des équations aux échelles de temps d’ordre deux. Finalement, nous proposons un nouveau résultat d’exis- tence pour un système dont le membre droit des équations dépend de la ∆-dérivée de la fonction.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Résumé : Problématique : Le trouble de la personnalité limite (TPL) est une condition psychiatrique touchant environ 1 % de la population et 20 % de la clientèle recevant des services en psychiatrie (Gunderson et Links, 2008). L’un des domaines du fonctionnement dans la vie quotidienne le plus touché chez cette population est le travail (Gunderson et al., 2011; Larivière et al., 2010; Zanarini et al., 2012). À notre connaissance, aucune étude n’a décrit de façon approfondie la participation au travail des personnes présentant un TPL. Objectif : L’objectif général de cette étude vise à identifier et à décrire les obstacles, les facilitateurs de même que les solutions possibles de la participation au travail des personnes présentant un TPL selon leur point de vue et celui de leurs intervenants. Méthodologie : Une étude de cas multiples a été utilisée (Yin, 2009). Neuf cas ont été étudiés selon trois contextes socioprofessionnels de la participation au travail : A. Réintégration (personne en invalidité), B. Retour (personne en absence maladie) et C. Maintien au travail. Pour chacun des contextes, trois dyades incluant une personne avec un TPL (âgée de 18 à 55 ans) et son intervenant soutenant la participation au travail ont été interviewées. Résultats: Les résultats qualitatifs (n = 18) ont démontré que la participation au travail des personnes présentant un TPL est influencée par des facteurs individuels (p. ex., la réaction face à la pression et aux relations de travail, la régulation émotionnelle) ainsi que des facteurs liés aux acteurs et procédures des systèmes de l’assurance, organisationnel et de la santé (p. ex., la collaboration et la communication entre les acteurs, l’alliance de travail entre les acteurs et la personne présentant un TPL, les mesures d’accommodement et de soutien naturel dans le milieu de travail). Conclusions et implication clinique : Cette étude met en lumière le défi important et spécifique que représente la participation au travail pour les personnes présentant un TPL. Elle implique des facteurs personnels et environnementaux qui doivent être considérés par tous les acteurs impliqués (les utilisateurs de services, les professionnels de la santé, les assureurs et les employeurs). Les programmes de réadaptation au travail actuels devraient être bonifiés et coordonnés adéquatement avec les thérapies spécialisées afin d’aborder de manière optimale les enjeux liés à la participation au travail des personnes présentant un TPL.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Continued by annual supplements under title "Catalogue et analyse des thèses latines et françaises," 1880/81+

Relevância:

100.00% 100.00%

Publicador:

Resumo:

L’objectif de cet essai est d’analyser les forces, faiblesses, menaces et opportunités des systèmes d’élevage du Maghreb en territoire steppique, afin de proposer des pistes d’évolution vers un système durable. Le pastoralisme en steppe, comme ailleurs, repose sur la disponibilité fourragère des pâturages, qui permet de nourrir les animaux. Or, le Maroc, l’Algérie et la Tunisie rencontrent actuellement des difficultés pour exercer cette pratique : les ressources naturelles des parcours diminuent à la fois en surface et en productivité, tandis que le cheptel augmente pour répondre à la demande alimentaire des populations grandissantes. La pâture ne permet plus de satisfaire les besoins des troupeaux. Les éleveurs sont donc obligés d’apporter des complémentations alimentaires au cheptel, notamment de l’orge en grain. De ce fait, les systèmes d’élevage sont devenus dépendants du marché des compléments. Dans ces conditions, comment assurer une activité d’élevage en steppe sur le long terme ? Les pratiques de restauration et de réhabilitation des parcours dégradés, comme la mise en défens, le pâturage différé ou les plantations pastorales, ainsi que d’autres modes de conduite des animaux peuvent limiter la diminution du couvert végétal. Aussi, les sous-produits agro-industriels tels que les grignons d’olives ou la pulpe de tomates semblent offrir une certaine alternative pour nourrir les animaux. Ils peuvent remplacer les apports en orge et différentes techniques permettent leur conservation. Il est également important de renforcer la synergie entre les acteurs pour amener à une gestion durable du territoire steppique. Diverses actions de lutte contre la pauvreté, la désertification, la contrebande et la course à l’appropriation foncière vont également dans le sens de la préservation de l’environnement et du bien-être des sociétés de ces territoires d’élevage. Il s’agit d’un défi de taille, dont les enjeux sont primordiaux pour les populations du Maghreb. Les systèmes pastoraux s’intensifient et les inégalités foncières issues des jeux de pouvoir sociaux creusent la pauvreté en steppe. La complémentation animale est telle qu’on ne peut d’ailleurs plus vraiment parler de pastoralisme. De nos jours, les produits des terres cultivées du monde servent en grande partie à nourrir les animaux d’élevage au lieu d’utiliser les ressources naturelles disponibles de manière raisonnée. Il y a là une incohérence flagrante dans les chaînes de production de viande et les habitudes de consommation. Il serait donc intéressant pour l’avenir des populations de repenser ces mécanismes afin d’aller vers une solidarité socioécologique, au niveau du Maghreb comme au niveau mondial.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Avec le développement exponentiel de l'Internet et son corollaire l'expansion du commerce en ligne, le sort de la protection du cyberconsommateur devient un sujet préoccupant en ce 21ième siècle. En effet, dans ce monde virtuel où l'on emploie des méthodes et technologies nouvelles et plus encore des clauses abusives dans les contrats unilatéraux, s'installe indubitablement un sentiment de méfiance entre le cyberconsommateur et le cybercommerçant. Pour rétablir cette confiance et favoriser le commerce par Internet, des lois nationales, internationales et des normes communautaires ont été adoptées aux fins de l'encadrement rigoureux du processus contractuel. Toutefois, en raison de la présence fréquente d'éléments d'extranéité dans les contrats de consommation en ligne, la question fondamentale qui vient tout naturellement à l'esprit de tous ceux qui entreprennent des études aujourd'hui, en la matière, est celle de savoir si les règles classiques de droit international privé sont dépassées par le développement trop rapide de ce type de commerce ou si au contraire elles y sont adaptées. On pourrait en outre se demander si l'encadrement juridique offert au cyberconsommateur est à même de lui procurer le même niveau de protection dont il bénéficie dans le commerce traditionnel. La présente étude tente d'apporter certains éléments de réponse en analysant dans un premier temps, le droit substantiel interne de protection du consommateur dans les systèmes juridiques européen, français, canadien et québécois en vu de scruter des zones de conflits susceptibles d'exister dans le cycle de vie de ce contrat. Dans la seconde partie, elle démontre que les méthodes classiques de résolution des conflits de juridiction et des conflits de lois en droit international privé, bien que nécessitant des adaptations, sont effectivement applicables au contexte de l'internet et ce, dans l'objectif privilégié de la protection du cyberconsommateur. Le bilan de l'analyse et de l'appréciation des critères de ces règles de conflits nous conduiront à l'examen des nouvelles mesures qui s'imposent.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Les dernières décennies ont été marquées par une augmentation du nombre des cas de cancers, ce qui a subséquemment conduit à une augmentation dans la consommation des agents de chimiothérapie. La toxicité et le caractère cancérogène de ces molécules justifient l’intérêt crucial porté à leur égard. Quelques études ont fait l’objet de détection et de quantification des agents de chimiothérapie dans des matrices environnementales. Dans ce projet, une méthode utilisant la chromatographie liquide couplée à la spectrométrie de masse en tandem (LC-MS/MS) précédée d’une extraction sur phase solide (SPE) automatisée ou en ligne a été développée pour la détection et la quantification d’un groupe de six agents de chimiothérapie. Parmi ceux-ci figurent les plus utilisés au Québec (gemcitabine, méthotrexate, cyclophosphamide, ifosfamide, irinotécan, épirubicine) et présentant des propriétés physico-chimiques et des structures chimiques différentes. La méthode développée a été validée dans une matrice réelle représentant l’affluent d’une station d’épuration dans la région de Montréal. Deux des six composés cytotoxiques étudiés en l’occurrence (cyclophosphamide et méthotrexate) ont été détectés dans huit échantillons sur les neuf qui ont été recensés, essentiellement au niveau de l’affluent et l’effluent de quelques stations d’épuration de la région de Montréal. Les résultats des analyses effectuées sur les échantillons réels ont montré qu’il n’y avait pas de différence significative dans la concentration entre l’affluent et l’effluent, et donc que les systèmes d’épuration semblent inefficaces pour la dégradation de ces molécules.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This MEDPRO Technical Report shows that the monetary and exchange rate policies conducted by central banks in the South Mediterranean region display apparent homogeneity in their operational frameworks, albeit with some specificities and differing degrees of advancement. While central banks state that price stability is their ultimate objective, failures to control interest rates as operational objectives of monetary policy result in monetary authorities resorting to quantitative approaches to monetary policy, meaning that monetary aggregates and credit targets are being used as intermediate targets of monetary policy. An econometric exercise limited to Maghreb countries (Algeria, Morocco, and Tunisia) has been conducted to analyse the potential scenarios of convergence and monetary policy coordination. Given the high structural heterogeneity and the slow pace of real convergence due to weak commercial integration in the Maghreb, results nevertheless show alternative dynamics in the integration of effective nominal exchange rates, as well as a complete convergence dynamic in exchange rate policies. Partial convergence of monetary policies regarding the stabilisation of inflation rates remains an open option for a transitional phase where financial integration is low.