Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Estimation non paramétrique d'une fonction d'évaluation d'options avec contraintes de monotonie et de convexité.

Rapport de recherche

Une évaluation empirique des contraintes de crédit au Maroc urbain.

Rapport de recherche

Contraintes de liquidite sur les marches financiers, information asymetrique et differences institutionnelles entre pays.

Rapport de recherche

Contraintes de liquidités, asymétrie d'information et comparaison des structures financières des firmes entre six pays industrialisés : une approche par la méthode généralisée des moments (GMM).

Rapport de recherche

Codage de l’information visuelle par la plasticité et la synchronisation des réponses neuronales dans le cortex visuel primaire du chat

Les systèmes sensoriels encodent l’information sur notre environnement sous la forme d’impulsions électriques qui se propagent dans des réseaux de neurones. Élucider le code neuronal – les principes par lesquels l’information est représentée dans l’activité des neurones – est une question fondamentale des neurosciences. Cette thèse constituée de 3 études (E) s’intéresse à deux types de codes, la synchronisation et l’adaptation, dans les neurones du cortex visuel primaire (V1) du chat. Au niveau de V1, les neurones sont sélectifs pour des propriétés comme l’orientation des contours, la direction et la vitesse du mouvement. Chaque neurone ayant une combinaison de propriétés pour laquelle sa réponse est maximale, l’information se retrouve distribuée dans différents neurones situés dans diverses colonnes et aires corticales. Un mécanisme potentiel pour relier l’activité de neurones répondant à des items eux-mêmes reliés (e.g. deux contours appartenant au même objet) est la synchronisation de leur activité. Cependant, le type de relations potentiellement encodées par la synchronisation n’est pas entièrement clair (E1). Une autre stratégie de codage consiste en des changements transitoires des propriétés de réponse des neurones en fonction de l’environnement (adaptation). Cette plasticité est présente chez le chat adulte, les neurones de V1 changeant d’orientation préférée après exposition à une orientation non préférée. Cependant, on ignore si des neurones spatialement proches exhibent une plasticité comparable (E2). Finalement, nous avons étudié la dynamique de la relation entre synchronisation et plasticité des propriétés de réponse (E3). Résultats principaux — (E1) Nous avons montré que deux stimuli en mouvement soit convergent soit divergent élicitent plus de synchronisation entre les neurones de V1 que deux stimuli avec la même direction. La fréquence de décharge n’était en revanche pas différente en fonction du type de stimulus. Dans ce cas, la synchronisation semble coder pour la relation de cocircularité dont le mouvement convergent (centripète) et divergent (centrifuge) sont deux cas particuliers, et ainsi pourrait jouer un rôle dans l’intégration des contours. Cela indique que la synchronisation code pour une information qui n’est pas présente dans la fréquence de décharge des neurones. (E2) Après exposition à une orientation non préférée, les neurones changent d’orientation préférée dans la même direction que leurs voisins dans 75% des cas. Plusieurs propriétés de réponse des neurones de V1 dépendent de leur localisation dans la carte fonctionnelle corticale pour l’orientation. Les comportements plus diversifiés des 25% de neurones restants sont le fait de différences fonctionnelles que nous avons observé et qui suggèrent une localisation corticale particulière, les singularités, tandis que la majorité des neurones semblent situés dans les domaines d’iso-orientation. (E3) Après adaptation, les paires de neurones dont les propriétés de réponse deviennent plus similaires montrent une synchronisation accrue. Après récupération, la synchronisation retourne à son niveau initial. Par conséquent, la synchronisation semble refléter de façon dynamique la similarité des propriétés de réponse des neurones. Conclusions — Cette thèse contribue à notre connaissance des capacités d’adaptation de notre système visuel à un environnement changeant. Nous proposons également des données originales liées au rôle potentiel de la synchronisation. En particulier, la synchronisation semble capable de coder des relations entre objets similaires ou dissimilaires, suggérant l’existence d’assemblées neuronales superposées.

Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction

Cette thése a été réalisée dans le cadre d'une cotutelle avec l'Institut National Polytechnique de Grenoble (France). La recherche a été effectuée au sein des laboratoires de vision 3D (DIRO, UdM) et PERCEPTION-INRIA (Grenoble).

Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.

Étude d'un problème de tournées de véhicules sur les arcs avec contraintes de capacité et coûts de service dépendants du temps

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Inférence statique et par contraintes des relations de composition dans des programmes Java

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.

Contraintes psychosociales au travail et symptômes dépressifs majeurs chez les femmes enceintes

Notre thèse de doctorat a pour but d’évaluer les contraintes psychosociales au travail et les symptômes dépressifs majeurs chez les femmes enceintes. Plus spécifiquement, il est question d’identifier les facteurs associés aux symptômes dépressifs majeurs, à une tension psychologique au travail ou travail "tendu" ("high-strain" job), à un travail "tendu" avec un faible soutien social au travail ("Iso-strain"), et enfin d’évaluer l’association entre ces contraintes psychosociales au travail et les symptômes dépressifs majeurs chez les femmes enceintes au travail. Les données analysées sont issues de l’Étude Montréalaise sur la Prématurité, une étude de cohorte prospective menée entre mai 1999 et avril 2004, auprès de 5 337 femmes enceintes interviewées à 24-26 semaines de grossesse dans quatre hôpitaux de l’île de Montréal (Québec, Canada). L’échelle CES-D (Center for Epidemiological Studies Depression Scale) a été utilisée pour mesurer les symptômes dépressifs majeurs (score CES-D ≥23). L’échelle abrégée de Karasek a été utilisée pour mesurer les contraintes psychosociales au travail. La présente étude a conduit à la rédaction de quatre articles scientifiques qui seront soumis à des revues avec comité de pairs. Le premier article a permis de comparer la prévalence des symptômes dépressifs majeurs dans différents sous-groupes de femmes enceintes : femmes au foyer, femmes au travail, femmes en arrêt de travail, femmes aux études et de rechercher les facteurs de risque associés aux symptômes dépressifs majeurs pendant la grossesse. À 24-26 semaines de grossesse, la prévalence des symptômes dépressifs majeurs était de 11,9% (11,0-12,8%) pour l’ensemble des femmes enceintes à l’étude (N=5 337). Les femmes enceintes au travail avaient une proportion de symptômes dépressifs moins élevée [7,6% (6,6-8,7%); n=2 514] par rapport aux femmes enceintes au foyer qui avaient les prévalences les plus élevées [19,1% (16,5-21,8%); n=893], suivi des femmes enceintes en arrêt de travail [14,4% (12,7-16,1%); n=1 665] et des femmes enceintes aux études [14,3% (10,3-19,1%); n=265]. Les caractéristiques personnelles (non professionnelles) associées aux symptômes dépressifs majeurs étaient, après ajustement pour toutes les variables, le statut d’emploi, un faible niveau d’éducation, un faible soutien social en dehors du travail, le fait d’avoir vécu des événements stressants aigus, d’avoir manqué d’argent pour les besoins essentiels, les difficultés relationnelles avec son partenaire, les problèmes de santé chronique, le pays de naissance et le tabagisme. Le deuxième article avait pour objectif de décrire l’exposition aux contraintes psychosociales au travail et d’identifier les facteurs qui y sont associés chez les femmes enceintes de la région de Montréal, au Québec (N=3 765). Au total, 24,4% des travailleuses enceintes se trouvaient dans la catégorie travail "tendu" ("high-strain" job) et 69,1% d’entre elles avaient eu un faible soutien social au travail ("Iso-strain"). Les facteurs de risque associés à un travail "tendu" étaient : un faible soutien social au travail, certains secteurs d’activité et niveaux de compétences, le fait de travailler plus de 35 heures par semaine, les horaires irréguliers, la posture de travail, le port de charges lourdes, le jeune âge des mères, une immigration ≥ 5 ans, un bas niveau d’éducation, la monoparentalité et un revenu annuel du ménage <50 000$. Le troisième article a évalué l’association entre les contraintes psychosociales au travail et les symptômes dépressifs majeurs chez les femmes enceintes au travail (N=3 765). Dans les analyses bivariées et multivariées, les femmes enceintes qui avaient un "high-strain job" ou un "Iso-strain" présentaient davantage de symptômes dépressifs majeurs que les autres sous-groupes. Les contraintes psychosociales au travail étaient associées aux symptômes dépressifs majeurs lorsqu’on prenait en compte les autres facteurs organisationnels et les facteurs personnels auxquels elles étaient confrontées à l’extérieur de leur milieu de travail. Notre étude confirme les évidences accumulées en référence aux modèles théoriques "demande-contrôle" et "demande-contrôle-soutien" de Karasek et Theorell. L’impact de ce dernier et le rôle crucial du soutien social au travail ont été mis en évidence chez les femmes enceintes au travail. Cependant, l’effet "buffer" du modèle "demande-contrôle-soutien" n’a pas été mis en évidence. Le quatrième article a permis d’évaluer l’exposition aux contraintes psychosociales au travail chez les femmes enceintes au travail et en arrêt de travail pour retrait préventif et de mesurer l’association entre les contraintes psychosociales au travail et les symptômes dépressifs majeurs en fonction du moment du retrait préventif (N=3 043). À 24-26 semaines de grossesse, les femmes enceintes en retrait préventif du travail (31,4%) avaient été plus exposées à un "high-strain job" (31,0% vs 21,1%) et à un "Iso-strain" (21,0% vs 14,2%) que celles qui continuaient de travailler (p<0,0001); et elles avaient des proportions plus élevées de symptômes dépressifs majeurs. Après ajustement pour les facteurs de risque personnels et professionnels, "l’Iso-strain" restait significativement associé aux symptômes dépressifs majeurs chez les femmes qui continuaient de travailler tout comme chez celles qui ont cessé de travailler, et cela quel que soit leur durée d’activité avant le retrait préventif du travail (4 à 12 semaines/ 13 à 20 semaines/ ≥ 21 semaines). Les contraintes psychosociales au travail représentent un important facteur de risque pour la santé mentale des travailleuses enceintes. Malgré l’application du programme "pour une maternité sans danger" il s’avère nécessaire de mettre en place dans les milieux de travail, des mesures de prévention, de dépistage et d’intervention afin de réduire la prévalence des symptômes dépressifs prénataux et l’exposition aux contraintes psychosociales au travail pour prévenir les complications maternelles et néonatales. D’autant plus que, la dépression prénatale est le principal facteur de risque de dépression postpartum, de même que les enfants nés de mères souffrant de dépression sont plus à risque de prématurité et de petit poids de naissance.