614 resultados para Programmation fonctionnelle


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cette thèse est une contribution à la modélisation, la planification et l’optimisation du transport pour l’approvisionnement en bois de forêt des industries de première transformation. Dans ce domaine, les aléas climatiques (mise au sol des bois par les tempêtes), sanitaires (attaques bactériologiques et fongiques des bois) et commerciaux (variabilité et exigence croissante des marchés) poussent les divers acteurs du secteur (entrepreneurs et exploitants forestiers, transporteurs) à revoir l’organisation de la filière logistique d’approvisionnement, afin d’améliorer la qualité de service (adéquation offre-demande) et de diminuer les coûts. L’objectif principal de cette thèse était de proposer un modèle de pilotage améliorant la performance du transport forestier, en respectant les contraintes et les pratiques du secteur. Les résultats établissent une démarche de planification hiérarchique des activités de transport à deux niveaux de décision, tactique et opérationnel. Au niveau tactique, une optimisation multi-périodes permet de répondre aux commandes en minimisant l’activité globale de transport, sous contrainte de capacité agrégée des moyens de transport accessibles. Ce niveau permet de mettre en œuvre des politiques de lissage de charge et d’organisation de sous-traitance ou de partenariats entre acteurs de transport. Au niveau opérationnel, les plans tactiques alloués à chaque transporteur sont désagrégés, pour permettre une optimisation des tournées des flottes, sous contrainte des capacités physiques de ces flottes. Les modèles d’optimisation de chaque niveau sont formalisés en programmation linéaire mixte avec variables binaires. L’applicabilité des modèles a été testée en utilisant un jeu de données industrielles en région Aquitaine et a montré des améliorations significatives d’exploitation des capacités de transport par rapport aux pratiques actuelles. Les modèles de décision ont été conçus pour s’adapter à tout contexte organisationnel, partenarial ou non : la production du plan tactique possède un caractère générique sans présomption de l’organisation, celle-ci étant prise en compte, dans un deuxième temps, au niveau de l’optimisation opérationnelle du plan de transport de chaque acteur.

Relevância:

10.00% 10.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:

10.00% 10.00%

Publicador:

Resumo:

Depuis que la haute énantiopureté est nécessaire dans l’industrie pharmaceutique, les études visant à découvrir les mécanismes pour l’hydrogénation énantiosélective de cétones ou céto-esters sur les surfaces, et à rechercher de nouveaux et plus performants catalyseurs asymétriques, sont d’une grande importance. La microscopie à effet tunnel (STM), la spectroscopie infrarouge de réflexion-absorption, la spectroscopie de désorption à température programmée et la spectrométrie de photoélectrons induits par rayons X sont des méthodes performantes facilitant la compréhension des mécanismes de réaction. En plus de nous permettre de comprendre les mécanismes réactionnels, les études peuvent fournir des informations sur la dynamique des réactions en catalyse hétérogène ainsi que sur le développement de la théorie de la fonctionnelle de la densité (DFT) afin de calculer des interactions faibles dans les processus de surface. D’autres parts, les calculs DFT fournissent une aide essentielle à l’interprétation des données de STM et spectroscopie de surface. Dans cette thèse, certains cétones et céto-esters sur la surface de platine sont étudiées par les techniques sophistiquées mentionnées ci-dessus. Mes études démontrent que la combinaison de l’utilisation de la spectroscopie de routine, des nanotechnologies et de nombreux calculs élaborés, est une méthode efficace pour étudier les réactions à la surface car ces techniques explorent les différents aspects de la surface ainsi que s’entraident mutuellement lors de certaines interprétations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La programmation par contraintes est une technique puissante pour résoudre, entre autres, des problèmes d’ordonnancement de grande envergure. L’ordonnancement vise à allouer dans le temps des tâches à des ressources. Lors de son exécution, une tâche consomme une ressource à un taux constant. Généralement, on cherche à optimiser une fonction objectif telle la durée totale d’un ordonnancement. Résoudre un problème d’ordonnancement signifie trouver quand chaque tâche doit débuter et quelle ressource doit l’exécuter. La plupart des problèmes d’ordonnancement sont NP-Difficiles. Conséquemment, il n’existe aucun algorithme connu capable de les résoudre en temps polynomial. Cependant, il existe des spécialisations aux problèmes d’ordonnancement qui ne sont pas NP-Complet. Ces problèmes peuvent être résolus en temps polynomial en utilisant des algorithmes qui leur sont propres. Notre objectif est d’explorer ces algorithmes d’ordonnancement dans plusieurs contextes variés. Les techniques de filtrage ont beaucoup évolué dans les dernières années en ordonnancement basé sur les contraintes. La proéminence des algorithmes de filtrage repose sur leur habilité à réduire l’arbre de recherche en excluant les valeurs des domaines qui ne participent pas à des solutions au problème. Nous proposons des améliorations et présentons des algorithmes de filtrage plus efficaces pour résoudre des problèmes classiques d’ordonnancement. De plus, nous présentons des adaptations de techniques de filtrage pour le cas où les tâches peuvent être retardées. Nous considérons aussi différentes propriétés de problèmes industriels et résolvons plus efficacement des problèmes où le critère d’optimisation n’est pas nécessairement le moment où la dernière tâche se termine. Par exemple, nous présentons des algorithmes à temps polynomial pour le cas où la quantité de ressources fluctue dans le temps, ou quand le coût d’exécuter une tâche au temps t dépend de t.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Altération de la régénération musculaire dans la maladie pulmonaire obstructive chronique. La maladie pulmonaire obstructive chronique (MPOC) est caractérisée par une obstruction bronchique irréversible et progressive. L’atrophie musculaire périphérique y est fréquente et a un impact négatif sur la capacité fonctionnelle et la survie des sujets atteints. Toutefois, on ignore si une altération du processus de régénération musculaire est un processus ayant cours dans l’atrophie musculaire périphérique. Le but de la présente thèse était donc d’étudier les cellules satellites, principales cellules responsables de la régénération musculaire dans les muscles périphériques de patients ayant une MPOC. Dans un premier temps, nous avons évalué l’historique de réplication du tissu musculaire et la sénescence des cellules satellites. Les changements morphologiques ayant lieu dans le muscle au cours de la progression de la maladie rendent le muscle plus susceptible aux dommages, induisant un raccourcissement prématuré des télomères. Un raccourcissement des télomères chez les sujets ayant une MPOC avec atrophie est concomitant avec une augmentation du nombre de cellules satellites sénescentes et de l’épuisement du potentiel de régénération compromettant le maintien de la masse musculaire chez ces sujets. Dans un deuxième et troisième temps, nous avons étudié les étapes amenant une cellule satellite vers une cellule musculaire dans les muscles périphériques et respiratoires de patients ayant une MPOC comparativement à des sujets contrôles. Les cellules satellites sont impliquées dans la réparation du tissu musculaire. Dans les cellules satellites provenant des sujets ayant une MPOC, une altération de la prolifération et de la différentiation a été observée. Ces résultats sont compatibles avec une altération de la régénération musculaire pouvant conduire à l’atrophie musculaire dans la MPOC. Le quatrième volet de ce projet s’intéressait à l’impact d’un entraînement en résistance sur l’activité des cellules satellites et le rôle joué par la myostatine dans ce contexte. La littérature montre que l’exercice en résistance est bien toléré et aide les patients ayant une MPOC à retrouver une meilleure qualité de vie. Cependant, il semble qu’ils n’y répondent pas tous aussi bien que les sujets contrôles. La capacité de réponse des cellules satellites à un entraînement en résistance semble inadéquate, suggérant ainsi un défaut de leur activation. Dans la dernière étude de cette thèse, nous avons voulu évaluer l’impact de l’inflammation systémique en étudiant SAA1, une protéine de phase aiguë et p21, une protéine du cycle cellulaire dans la dégradation des protéines des cellules musculaires. Les liens de causalité entre l’affection primaire et les différentes comorbidités demeurent nébuleux dans la MPOC. SAA1 et p21 sont augmentés dans les muscles squelettiques des patients ayant une MPOC et par ailleurs, SAA1 est capable d’induire la dégradation des protéines musculaires. Cette thèse expose les premiers éléments impliquant l’altération de la régénération musculaire avec la dysfonction musculaire observée chez les patients ayant une MPOC. Ces résultats vont certainement contribuer au développement de nouvelles thérapies et stratégies d’intervention dans le but d’améliorer la qualité de vie des personnes atteintes d’une MPOC. En somme, les travaux effectués dans le cadre de la présente thèse montrent que plusieurs mécanismes agissent de concert avec l’inactivité physique afin d’induire le phénotype dysfonctionnel dans les muscles des patients ayant une MPOC.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le contrôle de l'asthme est défini comme la mesure dans laquelle les différentes manifestations de l'asthme ont été réduites ou éliminées par le traitement. Ce paramètre est un élément central dans l'évaluation des patients asthmatiques. Selon les recommandations actuelles, il doit aider le clinicien à déterminer le type et le dosage des médicaments à prescrire.Le travail réalisé au cours de cette thèse avait pour but de contribuer à l'évaluation fonctionnelle des patients asthmatiques. Ceci en particulier à propos de l'utilisation des questionnaires destinés à évaluer le niveau de contrôle de l'asthme.Dans une première étude, nous avons cherché à déterminer les degrés d'accord qu'il y avait entre cinq questionnaires de contrôle de l'asthme couramment utilisés en pratique clinique. Les résultats ont montré un degré d’accord modéré, signifiant que ces outils ne sont pas interchangeables. Par conséquent, nous conseillons d’être attentif lors de la lecture des publications qui n’utilisent pas les mêmes questionnaires.Du fait que la limitation d'activité était le seul thème commun aux cinq questionnaires étudiés, notre travail a été orienté vers l'étude de ce thème. Nous avons donc réalisé une revue de littérature approfondie destinée à décrire l'état actuel des connaissances sur la limitation des activités chez les patients souffrant d'asthme. Celle-ci à mis en évidence que le niveau de connaissance est assez faible. Ceci particulièrement à propos des liens entre ce que le patient ressent au sujet de sa limitation d’activité et la réalité de ses capacités physiques.L'objectif de la troisième partie fut donc d’étudier plus en détails ce sujet. Nous avons demandé à des patients asthmatiques exacerbés d’évaluer leurs sensations au sujet de leur limitation d'activité. Pendant ce temps, ils ont réalisés plusieurs tests fonctionnels et une actimétrie. L'analyse des corrélations entre ces différentes données a montré qu’en réponse à la question sur la limitation de l'activité, les patients ne répondent pas au sujet de leur limitation physique, mais plutôt au sujet de leur charge psychologique associé à cette contrainte.L’ensemble de ces résultats nous ont permis de conclure au sujet de l’évaluation du contrôle de l’asthme que, comme dans d’autres domaines, le choix de l’outils de mesure est tout aussi important que la compréhension de son contenu. L’étude des différentes modalités d’évaluation de la limitation d’activité des patients asthmatiques devrait donc être poursuivie afin d’optimaliser l’évaluation fonctionnelle de ce groupe de patients.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ce document est un rapport de synthèse des présentations faites lors des journées REMI, tenues à Nantes les 23 et 24 novembre 1998. Les exposés de la première journée sont principalement destinés aux actions visant à améliorer le fonctionnement du réseau REMI. Ils concernent les sujets suivants : bilan de la mise en oeuvre du réseau de contrôle REMI en 1998 (nouvelle version), bilan de l'état d'avancement du plan qualité surveillance microbiologique et du programme Malthus (méthodologie, normalisation), approches préliminaires pour la détermination des fréquences d'échantillonnage en vue de la surveillance régulière des zones de production classées. La seconde journée est dédiée aux études conduites par les laboratoires côtiers, dont les procédures sont définies par la charte de surveillance microbiologique, ou réalisées par le Laboratoire de Microbiologie. Le dispositif de programmation des études de surveillance et de saisie des données dans la base Quadrige est présenté. Les sujets abordés se rapportent aux thèmes suivants : impact de la plaisance, des populations aviaires, des rejets agricoles et urbains sur la contamination bactériologique des coquillages ou des eaux littorales, les bactériophages, évaluation de l'importance de la pêche récréative par survol aérien des gisements coquilliers, objectifs et réflexions sur les perspectives d'un système d'évaluation de la qualité des eaux littorales (SEQ Littoral). Le bilan des journées REMI s'analyse à travers les commentaires recueillis lors du tour de table, et le relevé des propositions d'actions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ce document contient une étude et une analyse du modèle de dispensation de services sociaux qui existe au Nouveau-Brunswick. Cette analyse et cette critique représentent un aboutissement car jamais, dans cette Province, une telle étude n'a été menée à terme. En plus d'être critique et analytique, cette étude contient des recommandations afin d'améliorer les nombreuses lacunes administratives et la programmation des activités conduite par ce Ministère. Les usagers des services offerts par le ministère des Services sociaux perçoivent difficilement les lacunes, mais vivent à tous les jours les déficiences dans la programmation des services. Il est donc proposé de donner juste valeur à tant de vécu par la clientèle et aux besoins exprimés par les intervenants sociaux. Ce document pourra aussi servir lors de la formation de futurs travailleurs sociaux. L'approche utilisée fera ressortir, par sa vision différente, les besoins exprimés par le client, et surtout les besoins et les valeurs véhiculées par les intervenants de première ligne. Nous sommes cependant d'avis que les administrateurs, dans ce système, ont le souci de bien gérer les capitaux provenant des taxes de tous les contribuables. La raison fondamentale de ce mémoire réside dans le questionnement suivant: Est-ce que la planification, la programmation et la gestion des activités et services répondent aux besoins exprimés par la clientèle? De plus, répondent-elles aux activités professionnelles menées par ses employés dans chacune des divisions? Nous allons tenter de répondre à ces interrogations dans les prochains chapitres. [...]

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Deux études récentes ont décrit l'industrie du transport écolier du Québec comme une industrie composée d'une multitude de petites et moyennes entreprises de type familial. L'étude gouvernementale établit, entre autres, que 75 % des entreprises de cette industrie possèdent une flotte de moins de 10 véhicules. Ce constat nous a amené à nous questionner sur le type de technologie utilisée par les entreprises de cette industrie et, en particulier, sur l'existence de rendement d'échelle. Nous savons, qu’à priori, une industrie composée de plusieurs PME peut être caractérisée par des rendements d'échelle constants. D'autre part, le profil économique, tracé par les deux études mentionnées ci-dessus, nous démontre qu'il existe au sein de cette activité économique des entreprises de très grande taille comparativement à la majorité. Il nous est donc apparu intéressant de comparer la technologie de ces grandes entreprises au reste de l'industrie et de vérifier si celles-ci bénéficiaient des mêmes rendements d'échelle. La disponibilité des données nous a permis d'élargir notre recherche et d'évaluer les distinctions technologiques qui caractérisent les entreprises syndiquées et non syndiquées. L'objectif principal de cette recherche consiste à analyser la technologie utilisée par les entreprises de l'industrie du transport écolier du Québec et à évaluer les niveaux respectifs de rendements d'échelle qui les caractérisent. Nous nous appuierons, pour atteindre notre objectif, sur une méthodologie reconnue et très largement utilisée dans l'étude de la technologie des entreprises: le théorème de la dualité et l'étude des formes fonctionnelles flexibles. Le premier chapitre décrira brièvement le théorème de la dualité et présentera différentes formes fonctionnelles de la fonction de coût. La deuxième partie de ce chapitre sera consacrée à la forme fonctionnelle retenue, soit la Translog. Le manque de données disponibles, concernant les coûts d'opération de l'industrie du transport écolier du Québec, nous a obligé à concevoir et à élaborer une banque de données représentative du transport écolier au Québec. La création de cette source d'informations a exigé plus de 50 % des heures de travail allouées à cette étude. Nous présenterons dans notre deuxième chapitre l'approche d'échantillonnage utilisée ainsi que la définition de chacune des variables de notre fonction de coût. Enfin, notre dernier chapitre présentera les résultats observés et les comparera avec ceux obtenus par d'autres chercheurs. Nous terminerons notre recherche par une synthèse de nos résultats.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Résumé: Le surpoids et l’obésité dans la population pédiatrique sont des préoccupations grandissantes à l’échelle mondiale. Actuellement, au Canada, près de 21 % des jeunes Canadiens âgés de 2 à 5 ans présentent un surpoids et malheureusement, 6 % d’entre eux souffrent d’obésité. De plus, 80 % de ces enfants risquent d’être obèses à l’âge adulte, ce qui mène à plusieurs impacts sur la santé. Afin de prévenir l’obésité infantile, il est important d’identifier des facteurs de risques, notamment ceux se produisant tôt dans la vie. Plusieurs études ont démontré l’importance de l’environnement fœtal dans l’établissement de la santé métabolique à long terme. Le poids à la naissance a souvent été utilisé comme marqueur de l’exposition prénatale. Cependant, le poids à la naissance n’est qu’un marqueur grossier. L’adiposité à la naissance a été identifiée comme un facteur de risque plus important puisqu’elle permet de prédire de l’adiposité durant l’enfance. Les deux déterminants maternels majeurs de la croissance fœtale sont le statut pondéral et la glycémie maternelle. Récemment, une adipokine a été suggérée comme un déterminant potentiel dans la programmation fœtale de l’obésité. La leptine, qui est produite par les adipocytes, joue un rôle important dans la balance énergétique, mais elle semble aussi importante dans le développement de l’obésité postnatale. Durant la grossesse, le placenta produit une large quantité de leptine et la majorité est sécrétée du côté maternel. Appuyés par le fait que la leptine maternelle circulante est le reflet de la sécrétion placentaire de leptine, nous avons émis l’hypothèse que la leptine maternelle serait associée à l’adiposité du nouveau-né, et ce, indépendamment de la glycémie maternelle. Nous avons étudié la leptine durant l’hyperglycémie provoquée par voie orale (HGPO) chez les femmes enceintes au 2e trimestre. Nous avons montré, chez les femmes en surpoids ou obèse, qu’une plus haute leptine maternelle était lié à une adiposité néonatale augmentée à la naissance. D’un autre côté, chez les femmes minces, une glycémie élevée était liée à une adiposité néonatale augmentée. Ces associations sont indépendantes de la parité, du statut tabagique, du gain de poids durant la grossesse, des triglycérides maternels, du mode d’accouchement, du sexe du nouveau-né et de l’âge gestationnel à la naissance. Ces résultats suggèrent une régulation différentielle entre ces deux marqueurs métaboliques maternels et l’adiposité néonatale, selon le statut pondéral pré-grossesse.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Résumé : L’interaction entre la douleur et le système moteur est bien connue en clinique et en réadaptation. Il est sans surprise que la douleur est un phénomène considérablement invalidant, affectant la qualité de vie de ceux et celles qui en souffrent. Toutefois, les bases neurophysiologiques qui sous-tendent cette interaction demeurent, encore aujourd’hui, mal comprises. Le but de la présente étude était de mieux comprendre les mécanismes corticaux impliqués dans l’interaction entre la douleur et le système moteur. Pour ce faire, une douleur expérimentale a été induite à l’aide d’une crème à base de capsaïcine au niveau de l’avant-bras gauche des participants. L'effet de la douleur sur la force des projections corticospinales ainsi que sur l’activité cérébrale a été mesuré à l’aide de la stimulation magnétique transcrânienne (TMS) et de l’électroencéphalographie (EEG), respectivement. L’analyse des données EEG a permis de révéler qu'en présence de douleur aiguë, il y a une augmentation de l’activité cérébrale au niveau du cuneus central (fréquence têta), du cortex dorsolatéral préfrontal gauche (fréquence alpha) ainsi que du cuneus gauche et de l'insula droite (toutes deux fréquence bêta), lorsque comparée à la condition initiale (sans douleur). Également, les analyses démontrent une augmentation de l'activité du cortex moteur primaire droit en présence de douleur, mais seulement chez les participants qui présentaient simultanément une diminution de leur force de projections corticales (mesurée avec la TMS t=4,45, p<0,05). Ces participants ont également montré une plus grande connectivité entre M1 et le cuneus que les participants dont la douleur n’a pas affecté la force des projections corticospinales (t=3,58, p<0,05). Ces résultats suggèrent qu’une douleur expérimentale induit, chez certains individus, une altération au niveau des forces de projections corticomotrices. Les connexions entre M1 et le cuneus seraient possiblement impliquées dans la survenue de ces changements corticomoteurs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les actinomycètes filamenteux du sol appartenant au genre Frankia peuvent vivre librement en tant que saprophytes, ou encore s'associer aux racines de plantes pour former une symbiose. Malgré leur importance écologique et l'intérêt biologique qu'ils suscitent, plusieurs aspects de la biologie des Frankiaceae demeurent mal compris. Ceci est dû, entre autres, à leur faible taux de génération et à la difficulté de maintenir des cultures en croissance active, mais surtout, à l’absence d’outils génétiques fonctionnels et efficaces pour les étudier. En raison de l’importance environnementale de Frankia, la mise au point d’un système de modification génétique chez cette actinobactérie est devenue essentielle pour procéder à l’analyse fonctionnelle des gènes d’intérêt et étudier plus efficacement la physiologie et les interactions de ce symbiote actinorhizien avec ses plantes hôtes. Parmi les différentes méthodes de modification génétique, la conjugaison bactérienne semble un moyen efficace pour permettre l’échange de matériel génétique chez plusieurs actinomycètes. Ainsi, la souche Escherichia coli ET12567, fréquemment utilisée lors des conjugaisons intergénériques avec diverses actinobactéries, dont Streptomyces, Amycolatopsis, Kitasatospora et Micromonospora, semble une bonne candidate pour servir de bactérie donneuse lors des conjugaisons intergénériques. Comme l'utilisation d'une souche donneuse auxotrophe permet de faciliter l'étape de contre-sélection, la mutation dapA, codant pour la synthèse de l'acide diaminopimélique (DAP), sera introduite chez E. coli ET12567/pUZ8002. Étant donné que le DAP est un constituant essentiel de la paroi de peptidoglycane et un précurseur de la lysine, cette souche sera totalement dépendante de l'ajout de DAP exogène dans le milieu de culture. Ainsi, la contre-sélection se fera simplement en cessant l'ajout de DAP, rendant cette étape non seulement plus facile et efficace, mais aussi permettant d'éviter l'utilisation d'antibiotique. La croissance des exconjugants peut ainsi se faire dans des conditions optimales, ce qui est particulièrement intéressant pour les actinomycètes présentant une croissance lente comme c'est le cas pour Frankia. Les résultats obtenus montrent que l'utilisation de l'acide nalidixique est moins efficace que la déplétion en DAP pour contre-sélectionner la souche donneuse après conjugaison. L'utilisation d'un mutant ΔdapA comme alternative à l'utilisation d'antibiotique rend la conjugaison bactérienne accessible à un plus large spectre de microorganismes potentiellement sensibles à l'acide nalidixique. Il est clair que les stratégies de clonage qui seront développées auront un impact significatif sur la recherche fondamentale et appliquée chez les actinomycètes, permettant des analyses fonctionnelles des gènes d’intérêts, que ce soit par interruption ou remplacement de gènes ou encore par complémentation génique.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Abstract: Quantitative Methods (QM) is a compulsory course in the Social Science program in CEGEP. Many QM instructors assign a number of homework exercises to give students the opportunity to practice the statistical methods, which enhances their learning. However, traditional written exercises have two significant disadvantages. The first is that the feedback process is often very slow. The second disadvantage is that written exercises can generate a large amount of correcting for the instructor. WeBWorK is an open-source system that allows instructors to write exercises which students answer online. Although originally designed to write exercises for math and science students, WeBWorK programming allows for the creation of a variety of questions which can be used in the Quantitative Methods course. Because many statistical exercises generate objective and quantitative answers, the system is able to instantly assess students’ responses and tell them whether they are right or wrong. This immediate feedback has been shown to be theoretically conducive to positive learning outcomes. In addition, the system can be set up to allow students to re-try the problem if they got it wrong. This has benefits both in terms of student motivation and reinforcing learning. Through the use of a quasi-experiment, this research project measured and analysed the effects of using WeBWorK exercises in the Quantitative Methods course at Vanier College. Three specific research questions were addressed. First, we looked at whether students who did the WeBWorK exercises got better grades than students who did written exercises. Second, we looked at whether students who completed more of the WeBWorK exercises got better grades than students who completed fewer of the WeBWorK exercises. Finally, we used a self-report survey to find out what students’ perceptions and opinions were of the WeBWorK and the written exercises. For the first research question, a crossover design was used in order to compare whether the group that did WeBWorK problems during one unit would score significantly higher on that unit test than the other group that did the written problems. We found no significant difference in grades between students who did the WeBWorK exercises and students who did the written exercises. The second research question looked at whether students who completed more of the WeBWorK exercises would get significantly higher grades than students who completed fewer of the WeBWorK exercises. The straight-line relationship between number of WeBWorK exercises completed and grades was positive in both groups. However, the correlation coefficients for these two variables showed no real pattern. Our third research question was investigated by using a survey to elicit students’ perceptions and opinions regarding the WeBWorK and written exercises. Students reported no difference in the amount of effort put into completing each type of exercise. Students were also asked to rate each type of exercise along six dimensions and a composite score was calculated. Overall, students gave a significantly higher score to the written exercises, and reported that they found the written exercises were better for understanding the basic statistical concepts and for learning the basic statistical methods. However, when presented with the choice of having only written or only WeBWorK exercises, slightly more students preferred or strongly preferred having only WeBWorK exercises. The results of this research suggest that the advantages of using WeBWorK to teach Quantitative Methods are variable. The WeBWorK system offers immediate feedback, which often seems to motivate students to try again if they do not have the correct answer. However, this does not necessarily translate into better performance on the written tests and on the final exam. What has been learned is that the WeBWorK system can be used by interested instructors to enhance student learning in the Quantitative Methods course. Further research may examine more specifically how this system can be used more effectively.