372 resultados para contraintes


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Rapport de recherche

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cette thèse s’intéresse aux problèmes de tournées de véhicules où l’on retrouve des contraintes de chargement ayant un impact sur les séquences de livraisons permises. Plus particulièrement, les items placés dans l’espace de chargement d’un véhicule doivent être directement accessibles lors de leur livraison sans qu’il soit nécessaire de déplacer d’autres items. Ces problèmes sont rencontrés dans plusieurs entreprises de transport qui livrent de gros objets (meubles, électroménagers). Le premier article de cette thèse porte sur une méthode exacte pour un problème de confection d’une seule tournée où un véhicule, dont l’aire de chargement est divisée en un certain nombre de piles, doit effectuer des cueillettes et des livraisons respectant une contrainte de type dernier entré, premier sorti. Lors d’une collecte, les items recueillis doivent nécessairement être déposés sur le dessus de l’une des piles. Par ailleurs, lors d’une livraison, les items doivent nécessairement se trouver sur le dessus de l’une des piles. Une méthode de séparation et évaluation avec plans sécants est proposée pour résoudre ce problème. Le second article présente une méthode de résolution exacte, également de type séparation et évaluation avec plans sécants, pour un problème de tournées de véhicules avec chargement d’items rectangulaires en deux dimensions. L’aire de chargement des véhicules correspond aussi à un espace rectangulaire avec une orientation, puisque les items doivent être chargés et déchargés par l’un des côtés. Une contrainte impose que les items d’un client soient directement accessibles au moment de leur livraison. Le dernier article aborde une problème de tournées de véhicules avec chargement d’items rectangulaires, mais où les dimensions de certains items ne sont pas connus avec certitude lors de la planification des tournées. Il est toutefois possible d’associer une distribution de probabilités discrète sur les dimensions possibles de ces items. Le problème est résolu de manière exacte avec la méthode L-Shape en nombres entiers.