Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Bureaucratic Corruption As a Constraint on Voter Choice

It Has Often Been Assumed That a Country's Tax Level, Tax Structure Progressivity and After-Tax Income Distribution Are Chosen by Voters Subject Only to Their Budget Constraints. This Paper Argues That At Certain Income Levels Voters' Decisions May Be Constrained by Bureaucratic Corruption. the Theoretical Arguments Are Developed in Asymmetry Limits the Capacity of the Fiscal System to Generate Revenues by Means of Direct Taxes. This Hypothesis Is Tested Witha Sample of International Data by Means of a Simultaneous Equation Model. the Distortions Resulting From Corruption Ar Captured Through Their Effects on a Latent Variable Defined As the Overall Fiscal Structure. Evidence Is Found of Causality Running From This Latent Variable to the Level of Taxes and the Degree of After Tax Inequality.

Ideal timing to transfer from an acute care hospital to an interdisciplinary inpatient rehabilitation program following a stroke: an exploratory study

Affiliation: Dany Gagnon & Sylvie Nadeau: École de réadaptation, Faculté de médecine, Université de Montréal & Centre de recherche interdisciplinaire en réadaptation, Institut de réadaptation de Montréal

Timing pubertaire et adaptation psychosociale à l'adolescence : le rôle des relations interpersonnelles et des vulnérabilités individuelles

Cette thèse avait pour objectif d’examiner les liens longitudinaux entre le timing pubertaire et les problèmes de comportement intériorisés et extériorisés à l’adolescence, soit les problèmes de conduite et les symptômes dépressifs. Guidé par la perspective théorique biosociale et le modèle de vulnérabilité-stress, le rôle modérateur de l’environnement social et des vulnérabilités personnelles préexistantes était également évalué. Les hypothèses initiales étaient qu’un timing pubertaire précoce ou déviant de la norme (précoce et tardif) serait associé à des niveaux plus élevés de problèmes de conduite et de symptômes dépressifs, mais que ce lien serait accentué dans des contextes sociaux et interpersonnels plus à risque et en présence de vulnérabilités individuelles chez les adolescents. Pour vérifier ces hypothèses, des données provenant de l’Enquête Longitudinale Nationale sur les Enfants et les Jeunes (ELNEJ) ont été analysées. Gérée par Statistique Canada, l’ELNEJ est une enquête prospective biennale comportant différents échantillons représentatifs d’enfants et d’adolescents canadiens. Les mesures utilisées dans cette thèse ont été collectées à différents cycles de l’enquête, soit à 10–11 ans, 12–13 ans, 14–15 ans et 16–17 ans, directement auprès des adolescents et de leurs parents par le biais de questionnaires et d’entrevues. Le premier article de la thèse a vérifié si l’interaction entre le timing pubertaire et des caractéristiques du contexte social des pairs (c.-à-d. l’affiliation avec des pairs déviants et l’implication amoureuse en début d’adolescence) prédisait la présentation de problèmes de conduite avec et sans agressivité physique à l’adolescence. Les résultats ont montré que le contexte social des pairs modérait l’association entre le timing pubertaire et les problèmes de conduite. Une interaction significative entre le timing pubertaire et l’affiliation à des pairs déviants a indiqué qu’une puberté plus précoce était associée à des fréquences plus élevées de problèmes de conduite agressive seulement chez les filles et les garçons qui fréquentaient des pairs déviants. Autrement dit, parmi les adolescents s’affiliant à des pairs déviants en début d’adolescence, les adolescents pubères précoces tendaient à présenter plus de problèmes de conduite agressive deux ans plus tard, en comparaison à leurs pairs pubères dans les temps moyens ou tardifs. Une seconde interaction significative obtenue chez les filles a montré que la puberté plus précoce était prédictrice des problèmes de conduite non-agressive seulement en présence d’un engagement amoureux en début d’adolescence. En effet, dans un contexte d’implication amoureuse, les filles pubères précoces présentaient plus de problèmes de conduite non-agressive que leurs pairs. Le deuxième article de la thèse avait pour objectif d’évaluer le rôle modérateur des vulnérabilités individuelles à la dépression (présence de symptômes intériorisés à la fin de l’enfance), du contexte social des pairs (affiliation à des pairs déviants, expérience amoureuse précoce et perception de popularité auprès des pairs) et des relations parent-adolescent (perception de rejet de la part des parents) dans l’association longitudinale entre le timing pubertaire et les symptômes dépressifs en fin d’adolescence. Chez les filles, une interaction triple a révélé que la puberté plus précoce était liée à davantage de symptômes dépressifs, mais seulement chez celles qui présentaient des symptômes intériorisés à la fin de l’enfance et une implication amoureuse précoce. Chez les garçons, un effet curvilinéaire du timing pubertaire a été observé alors que la puberté précoce et tardive était associée à plus de symptômes dépressifs, mais seulement chez les garçons qui manifestaient des symptômes intériorisés à la fin de l’enfance. La puberté plus précoce était aussi liée à des niveaux plus élevés de symptômes dépressifs en présence d’affiliation à des pairs déviants (garçons) et de perceptions plus importantes de rejet parental (filles et garçons). En somme, la mise en évidence d’interactions significatives entre le timing pubertaire, les caractéristiques de l’environnement social et les vulnérabilités individuelles suscite différentes réflexions au plan théorique et pratique. Tout d’abord, les résultats suggèrent que le timing pubertaire en lui-même ne paraît pas représenter un facteur de risque généralisé des problèmes de comportement intériorisés et extériorisés à l’adolescence. Plus particulièrement, ces résultats soulignent l’importance de considérer l’environnement social et les facteurs de risque individuels préexistants afin de mieux comprendre l’effet de la transition pubertaire sur l’adaptation psychosociale des adolescents.

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.

Systematics and floral evolution of the Dialiinae (Caesalpinioideae), a diverse lineage of tropical legumes

Le clade Dialiinae représente l’une des premières lignées de la sous-famille Caesalpinioideae des Leguminosae. Il se compose de 17 genres (environ 90 espèces), avec des taxons qui sont répandus dans toutes les régions tropicales du monde. Morphologiquement, le groupe comprend un assemblage divers de taxons qui peut représenter une «phase expérimentale» dans l’évolution florale des légumineuses. Différents représentants du clade présentent de la poly-, mono-, et asymétrie, et semblent avoir subi un haut degré de perte d’organe, produisant, dans certains cas, des fleurs extrêmement réduites qui sont à peine reconnaissables comme appartenant à la famille des légumineuses. Afin d’obtenir une image plus claire de l’évolution florale du clade Dialiinae, une phylogénie bien résolue et bien soutenue est nécessaire. Dans le but de créer une telle phylogénie, un total de 37 échantillons d’ADN des Dialiinae a été séquencé pour deux régions chloroplastiques, soit rps16 et trnL. De plus, une étude morphologique complète a été réalisée. Un total de 135 caractères végétatifs et reproductifs a été évalué pour 79 espèces de Dialiinae et pour quatre groupes externes. Les analyses phylogénétiques ont d’abord été effectuées sur un groupe restreint de taxons pour lesquels les trois types de données étaient disponibles. Les nœuds fortement soutenus de cette phylogénie ont ensuite été utilisés comme contrainte pour une seconde analyse de parcimonie avec les données morphologiques d’un ensemble plus important de taxons. Les caractères morphologiques ont été optimisés sur l’un des arbres les plus parcimonieux de cette seconde analyse. Un certain nombre de nouvelles relations au niveau de l’espèce ont été résolues, créant une image plus claire quant à l’évolution de la forme florale dans le temps, particulièrement pour les genres Labichea et Dialium. En plus de leur morphologie florale mature diverse, les Dialiinae sont également très variables dans leur ontogénèse florale, affichant à la fois la perte et la suppression des organes, et présentant une variété de modes d’initiation d’organes. Afin de construire une image plus complète du développement floral et de l’évolution dans ce clade, l’ontogénèse florale de plusieurs espèces non documentées à ce jour a été étudiée. La série complète du développement a été compilée pour six espèces de Dialiinae; quatre de Dialium, ainsi que Poeppigia procera et Mendoravia dumaziana. Le mode et le moment de l’initiation des organes étaient pour la plupart uniforme pour toutes les espèces de Dialium étudiés. Tant pour ce qui est des gains ou des pertes d’organes chez Dialium, une tendance est apparente – l’absence d’organe abaxial. Que ce soit pour les sépales ou les étamines, les gains se produisent toujours en position médiane adaxiale, tandis que les étamines et les pétales perdus sont toujours les organes les plus ventraux. Les taxons étudiés ici illustrent le manque apparent de canalisation du développement observé chez les Caesalpinioideae. Cette plasticité ontogénétique est le reflet de la diversité morphologique au niveau des fleurs tel qu’observée dans l’ensemble de la sous-famille. Une des espèces de Dialiinae, Apuleia leiocarpa, produit une inflorescence andromonoïque, une caractéristique qui est unique en son clade et rare dans les légumineuses dans son ensemble. La microscopie optique et électronique ont été utilisées pour entreprendre une étude détaillée de la morphologie florale de ce taxon. On a constaté que tandis que les fleurs hermaphrodites produisent un seul carpelle et deux étamines, les fleurs staminées produisent trois étamines sans toutefois montrer signe de développement du carpelle. Les inflorescences semblent produire près de quatre fois plus de fleurs staminées que de fleurs hermaphrodites, lesquelles occupent toujours la position centrale de l’inflorescence cymeuse. Ce ratio élevé mâle/bisexuel et la détermination précoce du sexe chez Apuleia sont rares chez les Caesalpinioideae, ce qui suggère que l’andromonoecie se développe dans ce genre comme un moyen d’accroître la dispersion du pollen plutôt qu’en réponse à des limitations de ressources.