L'aspect ludique du faux documentaire : entre complicité et mystification

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

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Un aspect méconnu de l’île de Montréal : les occupations amérindiennes du Sylvicole supérieur à la fin du XVIIe siècle

Ce mémoire a pour objectif général de définir et de caractériser les présences amérindiennes sur l’île de Montréal au cours de la période s’échelonnant du Sylvicole supérieur à la fin du XVIIe siècle ainsi que de tenter de comprendre le rôle qu’exerça le mont Royal dans ce contexte. En nous appuyant sur des théories de l’archéologie du paysage, nous avons étudié la création consciente et inconsciente de paysages et la manière par laquelle ces lieux ont façonné les comportements et les identités de leurs occupants. Grâce à la continuité d’activités répétitives, liées au concept de taskscape, nous avons tenté d’y établir un modèle de trame d’occupation reflétant une utilisation dynamique et stratégique du paysage face aux politiques coloniales. La démarche adoptée est celle d’une approche holistique s’appuyant à la fois sur des données archéologiques, historiques, ethnohistoriques et ethnographiques émanant des rapports de fouilles archéologiques, des traditions orales et des différents documents coloniaux datant des XVIe, XVIIe et XVIIIe siècles. Cette étude a permis de déterminer différentes zones associées à des perceptions différentes du paysage reflétant une stratégie de continuité dans la conceptualisation, l’organisation et la manipulation de l’espace à la suite de l’appropriation des terres par le gouvernement colonial.

Évaluation de la densité osseuse et du statut nutritionnel en vitamine D chez des enfants prépubères avec allergie au lait non résolue

L'allergie au lait de vache (ALV) représente l'allergie alimentaire la plus fréquemment rencontrée durant l'enfance. Cette allergie a longtemps été reconnue comme transitoire mais des données récentes révèlent que celle-ci est persistante chez environ 15% des enfants qui en sont touchés durant l'enfance, posant ainsi un risque à leur santé. La présente étude examine 26 enfants avec ALV et 12 enfants contrôles recrutés au CHU Sainte-Justine durant l’hiver 2011-2012. L'objectif étant de comparer la densité minérale osseuse (DMO) et les niveaux sériques de 25(OH)D d'enfants prépubères avec ALV non résolue à un groupe contrôle d'enfants avec autres allergies alimentaires, en plus d'évaluer les apports en calcium et en vitamine D ainsi que l'adhérence à la supplémentation chez cette population. La DMO lombaire (L2-L4) ne diffère pas significativement entre les groupes. Cependant, une faible densité osseuse, caractérisée par un score-Z entre -1,0 et -2,0 pour l'âge et le sexe, est détectée chez plus de 30% des enfants avec ALV et plus de 16% du groupe contrôle, sans allergie au lait. Tel qu'attendu, les apports en calcium sont significativement moins élevés chez les enfants avec ALV comparé au groupe contrôle, avec près de 90% de tous nos participants ne rencontrant pas les besoins pour l’âge en vitamine D. Plus de la moitié des enfants avec ALV présentent une concentration de 25(OH)D inférieure à 75 nmol/L. Cependant, notre étude n'a décelé aucune différence entre les niveaux sériques de 25(OH)D des enfants avec ALV comparativement au groupe contrôle. Enfin, l'adhérence à la supplémentation est jugée adéquate chez plus de 75% de notre groupe d'enfants avec ALV, soit ≧ 4 journées par semaine, un facteur aussi associé à une meilleure atteinte de leurs apports nutritionnels en calcium et en vitamine D. Enfin, ces résultats soulignent l'importance de suivre la santé osseuse d'enfants avec ALV ainsi qu'avec allergies multiples, qui présentent un risque de faible densité osseuse. L'intervention nutritionnelle devrait suivre l'adhérence à la supplémentation chez les enfants avec ALV non résolue, afin d'optimiser les apports nutritionnels insuffisants en calcium et en vitamine D

Studies on some aspect of biology and utilisation of mantis-Shrimp Oratosquilla nepa(LATREILLA) (Crutacea stomatopoda)

The thesis is a study undertaken to understand the distribution pattern of Q nega in Cochin waters for better exploitation of the resource and to learn the biological aspects of the animal which has a direct bearing on its utilization for producing different products .The study also presents a thorough knowledge on the size groups available during different seasons for judicious exploitation and utilization of the resource and the changes in the biochemical composition of Q nega during different seasons so as to utilize it properly for producing suitable products throughout the year. The thesis also tests the suitability of the material for producing different products and to test the acceptability of the same for human consumption. The study also aims to show that Squilla can be utilized for the production of industrial products like chitin and chitosan.

From Market- to Development Orientation - The Trade Aspect of Food Security and Agriculture

Trade rules are suggested to be one of the reasons for the hunger in the world and environmental damage. As current trade rules encourage market orientation and therefore specialization and industrialization of agriculture, which has as side effects rural hunger and environmental damage, there is room for improvement in the international trade regime. One main finding of Nexus Foundations' work in Geneva is a possible new orientation for agricultural and food markets – an orientation on development, rather than purely on markets. This development orientation consists of several elements from development of soil fertility to local markets and consumer relatedness. Since the Bali Ministerial in 2013, the WTO has set up a four year work programme on the issue of food security related to food reserves. This opens the chance to discuss broader food security issues in the realm of trade negotiations.

Investigation of aspect ratio of hole drilling from micro to nanoscale via focused ion beam fine milling

Holes with different sizes from microscale to nanoscale were directly fabricated by focused ion beam (FIB) milling in this paper. Maximum aspect ratio of the fabricated holes can be 5:1 for the hole with large size with pure FIB milling, 10:1 for gas assistant etching, and 1:1 for the hole with size below 100 nm. A phenomenon of volume swell at the boundary of the hole was observed. The reason maybe due to the dose dependence of the effective sputter yield in low intensity Gaussian beam tail regions and redeposition. Different materials were used to investigate variation of the aspect ratio. The results show that for some special material, such as Ni-Be, the corresponding aspect ratio can reach 13.8:1 with Cl₂ assistant etching, but only 0.09:1 for Si(100) with single scan of the FIB.

Plasma polymerization of C[subscript 4]F[subscript 8] thin film on high aspect ratio silicon molds

High aspect ratio polymeric micro-patterns are ubiquitous in many fields ranging from sensors, actuators, optics, fluidics and medical. Second generation PDMS molds are replicated against first generation silicon molds created by deep reactive ion etching. In order to ensure successful demolding, the silicon molds are coated with a thin layer of C[subscript 4]F[subscript 8] plasma polymer to reduce the adhesion force. Peel force and demolding status are used to determine if delamination is successful. Response surface method is employed to provide insights on how changes in coil power, passivating time and gas flow conditions affect plasma polymerization of C[subscript 4]F[subscript 8].

Resource dimensioning aspect of heterogeneous traffic with different service requirements: Integration versus segregation

In this paper, we consider the ATM networks in which the virtual path concept is implemented. The question of how to multiplex two or more diverse traffic classes while providing different quality of service requirements is a very complicated open problem. Two distinct options are available: integration and segregation. In an integration approach all the traffic from different connections are multiplexed onto one VP. This implies that the most restrictive QOS requirements must be applied to all services. Therefore, link utilization will be decreased because unnecessarily stringent QOS is provided to all connections. With the segregation approach the problem can be much simplified if different types of traffic are separated by assigning a VP with dedicated resources (buffers and links). Therefore, resources may not be efficiently utilized because no sharing of bandwidth can take place across the VP. The probability that the bandwidth required by the accepted connections exceeds the capacity of the link is evaluated with the probability of congestion (PC). Since the PC can be expressed as the CLP, we shall simply carry out bandwidth allocation using the PC. We first focus on the influence of some parameters (CLP, bit rate and burstiness) on the capacity required by a VP supporting a single traffic class using the new convolution approach. Numerical results are presented both to compare the required capacity and to observe which conditions under each approach are preferred

Heuristic techniques for the analysis of variability as a dynamic aspect of change. 'Técnicas heurísticas para analizar la variabilidad como un aspecto dinámico de cambio'.

Monográfico con el título: 'Los mecanismos del cambio cognitivo'. Resumen basado en el de la publicación

The equity aspect within the framework of the assessment of the quality of Higher Education : developing indicators to identify students with a higher risk of failure at university with a view to improving equality of chances of succes

Resumen basado en el de la publicaci??n

Cross-linguistic influence in the acquisition of tense-aspect in L3 English : a proposal for the study of L2 to L3 transfer in the use of English simple past by L1 Italian / L2 Spanish classroom learners

Resumen basado en el de la publicaci??n

An exploratory study of the effect of aspect-oriented programming on maintainability

In this paper we describe an exploratory assessment of the effect of aspect-oriented programming on software maintainability. An experiment was conducted in which 11 software professionals were asked to carry out maintenance tasks on one of two programs. The first program was written in Java and the second in AspectJ. Both programs implement a shopping system according to the same set of requirements. A number of statistical hypotheses were tested. The results did seem to suggest a slight advantage for the subjects using the object-oriented system since in general it took the subjects less time to answer the questions on this system. Also, both systems appeared to be equally difficult to modify. However, the results did not show a statistically significant influence of aspect-oriented programming at the 5% level. We are aware that the results of this single small study cannot be generalized. We conclude that more empirical research is necessary in this area to identify the benefits of aspect-oriented programming and we hope that this paper will encourage such research.