A feature-based object-oriented expert system to model and support product design

In this paper a computer program to model and support product design is presented. The product is represented through a hierarchical structure that allows the user to navigate across the product’s components, and it aims at facilitating each step of the detail design process. A graphical interface was also developed, which shows visually to the user the contents of the product structure. Features are used as building blocks for the parts that compose the product, and object-oriented methodology was used as a means to implement the product structure. Finally, an expert system was also implemented, whose knowledge base rules help the user design a product that meets design and manufacturing requirements.

Analysis of emergency braking performance with particular consideration of temperature effects on brakes

During vehicle deceleration due to braking there is friction between the lining surface and the brake drum or disc. In this process the kinetic energy of vehicle is turned into thermal energy that raises temperature of the components. The heating of the brake system in the course of braking is a great problem, because besides damaging the system, it may also affect the wheel and tire, which can cause accidents. In search of the best configuration that considers the true conditions of use, without passing the safety limits, models and formulations are presented with respect to the brake system, considering different braking conditions and kinds of brakes. Some modeling was analyzed using well-known methods. The flat plate model considering energy conservation was applied to a bus, using for this a computer program. The vehicle is simulated to undergo an emergency braking, considering the change of temperature on the lining-drum. The results include deceleration, braking efficiency, wheel resistance, normal reaction on the tires and the coefficient of adhesion. Some of the results were compared with dynamometer tests made by FRAS-LE and others were compared with track tests made by Mercedes-Benz. The convergence between the results and the tests is sufficient to validate the mathematical model. The computer program makes it possible to simulate the brake system performance in the vehicle. It assists the designer during the development phase and reduces track tests.

Kolme kaupallista analyysiohjelmaa ekologeille

Tietokoneohjelman arvostelu.

Defense reaction induced by a metabotropic glutamate receptor agonist microinjected into the dorsal periaqueductal gray of rats

The behavioral effects of trans-(±)-1-amino-1,3-cyclopentanedicarboxylic acid (t-ACPD), a metabotropic glutamate receptor (mGluR) agonist, or 0.9% (w/v) saline, injected into the dorsal periaqueductal gray (DPAG), was investigated. Male Wistar rats showed defense reactions characterized by jumps toward the top edges of the cages (saline = 0 vs t-ACPD = 6.0, medians P<0.05) and gallops (saline = 0 vs t-ACPD = 10.0, medians P<0.05) during the 60-s period after the beginning of the injection. In another experiment animals were placed inside an open arena for 5 min immediately after injection. Their behavior was recorded by a video camera and a computer program analyzed the videotapes. Eleven of fifteen rats injected with t-ACPD showed a short-lasting (about 1 min) flight reaction. No saline-treated animal showed this reaction (P<0.0005, chi-square test). The drug induced an increase in turning behavior (P = 0.002, MANOVA) and a decrease in the number of rearings (P<0.001, MANOVA) and grooming episodes (P<0.001, MANOVA). These results suggest that mGluRs play a role in the control of defense reactions in the DPAG.

Generalization of temporal order detection skill learning: two experimental studies of children with dyslexia

The objective of this study was to investigate the phenomenon of learning generalization of a specific skill of auditory temporal processing (temporal order detection) in children with dyslexia. The frequency order discrimination task was applied to children with dyslexia and its effect after training was analyzed in the same trained task and in a different task (duration order discrimination) involving the temporal order discrimination too. During study 1, one group of subjects with dyslexia (N = 12; mean age = 10.9 ± 1.4 years) was trained and compared to a group of untrained dyslexic children (N = 28; mean age = 10.4 ± 2.1 years). In study 2, the performance of a trained dyslexic group (N = 18; mean age = 10.1 ± 2.1 years) was compared at three different times: 2 months before training, at the beginning of training, and at the end of training. Training was carried out for 2 months using a computer program responsible for training frequency ordering skill. In study 1, the trained group showed significant improvement after training only for frequency ordering task compared to the untrained group (P < 0.001). In study 2, the children showed improvement in the last interval in both frequency ordering (P < 0.001) and duration ordering (P = 0.01) tasks. These results showed differences regarding the presence of learning generalization of temporal order detection, since there was generalization of learning in only one of the studies. The presence of methodological differences between the studies, as well as the relationship between trained task and evaluated tasks, are discussed.

Exchange energy calculation of He-He with supermolecular one-matrix

Exch~nge energy of the He-He system is calculated using the one-density matrix which has been modified according to the supermolecular density formula quoted by Kolos. The exchange energy integrals are computed analytically and by the Monte Carlo method. The results obtained from both ways compared favourably,with the results obtained from the SCF program HONDO

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Using HeadSprout Early Reading with a child with Autism Spectrum Disorder: An examination of phonological awareness, participant engagement, and participant enjoyment

This study examined the effectiveness of a 9-week reading program in improving the phonological awareness (PA) skills of a seven year old boy with Autism Spectrum Disorder (ASD), Attention Deficit Hyperactivity Disorder (ADHD), and Oppositional Defiant Disorder (ODD). The study’s secondary goal was to describe how the participant engaged with and enjoyed the HeadSprout computer program. The participant attended a one hour reading program incorporating 30 minutes of HeadSprout Early Reading three days a week for 9 weeks. Results demonstrated that the participant’s PA scores increased from the 16th percentile at pre-test to the 35th percentile post program. Four of five measures of PA increased, segmenting nonwords decreased to the 2nd percentile post program. Momentary time sampling procedures revealed the participant was engaged with the computer program 94.5% of the time. Perceived ratings of enjoyment indicated the participant enjoyed using the program. Specific components of the program which may have influenced participant enjoyment and engagement are discussed. Study limitations and implications of these findings are discussed in reference to future research.

Development of the Physical Activity Interactive Recall (PAIR) for Aboriginal children

Affiliation: Margaret Cargo : Département de médecine sociale et préventive, Faculté de médecine, Université de Montréal

Temporalité et surveillance dans l'art de David Rokeby

Pour respecter les droits d'auteur, la version électronique de ce mémoire à été dépouillée de ses documents visuels et audio-visuels. La version intégrale du mémoire a été déposée au Service de la gestion des documents et des archives de l'Université de Montréal.

Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant

L’apprentissage machine est un vaste domaine où l’on cherche à apprendre les paramètres de modèles à partir de données concrètes. Ce sera pour effectuer des tâches demandant des aptitudes attribuées à l’intelligence humaine, comme la capacité à traiter des don- nées de haute dimensionnalité présentant beaucoup de variations. Les réseaux de neu- rones artificiels sont un exemple de tels modèles. Dans certains réseaux de neurones dits profonds, des concepts "abstraits" sont appris automatiquement. Les travaux présentés ici prennent leur inspiration de réseaux de neurones profonds, de réseaux récurrents et de neuroscience du système visuel. Nos tâches de test sont la classification et le débruitement d’images quasi binaires. On permettra une rétroac- tion où des représentations de haut niveau (plus "abstraites") influencent des représentations à bas niveau. Cette influence s’effectuera au cours de ce qu’on nomme relaxation, des itérations où les différents niveaux (ou couches) du modèle s’interinfluencent. Nous présentons deux familles d’architectures, l’une, l’architecture complètement connectée, pouvant en principe traiter des données générales et une autre, l’architecture convolutionnelle, plus spécifiquement adaptée aux images. Dans tous les cas, les données utilisées sont des images, principalement des images de chiffres manuscrits. Dans un type d’expérience, nous cherchons à reconstruire des données qui ont été corrompues. On a pu y observer le phénomène d’influence décrit précédemment en comparant le résultat avec et sans la relaxation. On note aussi certains gains numériques et visuels en terme de performance de reconstruction en ajoutant l’influence des couches supérieures. Dans un autre type de tâche, la classification, peu de gains ont été observés. On a tout de même pu constater que dans certains cas la relaxation aiderait à apprendre des représentations utiles pour classifier des images corrompues. L’architecture convolutionnelle développée, plus incertaine au départ, permet malgré tout d’obtenir des reconstructions numériquement et visuellement semblables à celles obtenues avec l’autre architecture, même si sa connectivité est contrainte.

Circulation in the indian ocean in relation to the monsoon circulation of the atmosphere

The present thesis is an attempt by the researcher to Investigate the surface circulation of the Indian Ocean, north of 2095 in relation to the atmospheric circulation over the ocean. The aim is achieved by working out the circu1ation pattern and correlating it with the computed wind stress and its vorticity. The month wise surface circulation is arrived by drawing the streamlines, using freshand method with superimposed isotache. The zonal ad meridional componance of the wind stress and the curl of the wind stress are computed for each month over 2° latitude longitude quadrangle from the bulk aerodynamic formula, using a computer program. The data for drawing the surface circu1ation and for computing the wind stress and its curl have come from the Dutch Atlas.

KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods

KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in hydrodynamics. Unlike other approaches to qualitative reasoning about physical system dynamics, KAM embodies a significant amount of knowledge about nonlinear dynamics. KAM's ability to control numerical experiments arises from the fact that it not only produces pictures for us to see, but also looks at (sic---in its mind's eye) the pictures it draws to guide its own actions. KAM is organized in three semantic levels: orbit recognition, phase space searching, and parameter space searching. Within each level spatial properties and relationships that are not explicitly represented in the initial representation are extracted by applying three operations ---(1) aggregation, (2) partition, and (3) classification--- iteratively.

Búsqueda de selección en el polimorfismo 677C>T (c.665C>T) del gen de la metilentetrahidrofolato reductasa (MTHFR) en una población Colombiana

Se realizó un estudio genético – poblacional en dos grupos etarios de población colombiana con la finalidad de evaluar las diferencias genéticas relacionadas con el polimorfismo MTHFR 677CT en busca de eventos genéticos que soporten la persistencia de este polimorfismo en la especie humana debido que este ha sido asociado con múltiples enfermedades. De esta manera se genotipificaron los individuos, se analizaron los genotipos, frecuencias alélicas y se realizaron diferentes pruebas genéticas-poblacionales. Contrario a lo observado en poblaciones Colombianas revisadas se identificó la ausencia del Equilibrio Hardy-Weinberg en el grupo de los niños y estructuras poblacionales entre los adultos lo que sugiere diferentes historias demográficas y culturales entre estos dos grupos poblacionales al tiempo, lo que soporta la hipótesis de un evento de selección sobre el polimorfismo en nuestra población. De igual manera nuestros datos fueron analizados junto con estudios previos a nivel nacional y mundial lo cual sustenta que el posible evento selectivo es debido a que el aporte de ácido fólico se ha incrementado durante las últimas dos décadas como consecuencia de las campañas de fortificación de las harinas y suplementación a las embarazadas con ácido fólico, por lo tanto aquí se propone un modelo de selección que se ajusta a los datos encontrados en este trabajo se establece una relación entre los patrones nutricionales de la especie humana a través de la historia que explica las diferencias en frecuencias de este polimorfismo a nivel espacial y temporal.  

Enseñanza de inglés asistida por ordenador : evaluación de CALL en general y de algunos programas en particular.

Número homenaje a: Isabel Azcárate Ristori, Carmen García Surrallés, Carmen Pereda del Collado y Máximo Pajares Barón. Resumen basado en el de la revista