948 resultados para Modula-2 (Computer program language)
Resumo:
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.
Resumo:
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.
Resumo:
Objective. Smoking prevalence is highest among the young adult cohort. Postsecondary students are no exception. Although many students intend to quit smoking, no research has established what methods best promote reductions in, or complete abstinence from smoking. This randomized controlled trial examined the effectiveness of three self-help smoking cessation interventions. Method. On six post-secondary campuses, 483 smokers who voluntarily accessed Leave The Pack Behind (a tobacco control initiative) were randomly assigned to one of three smoking cessation interventions: One Step At A Time (a 2-booklet, *gold standard' program for adults); Smoke|Quit (a newly-developed 2-booklet program for young adult students); and usual care (a 'Quit Kit' containing a booklet on stress management, information about pharmacological quitting aides and novelty items). All participants also received one proactive telephone support call from a peer counsellor. During the study, 85 participants withdrew. The final sample of 216 students who completed baseline questionnaires and 12-week follow-up telephone interviews was representative of the initial sample in terms of demographic characteristics, and smokingquitting- related variables. Results. Whether participants quit smoking depended upon treatment condition, ^(2, N=2\6) = 6.34, p = .04, with Smoke|Quit producing more successfijl quitters (18.4%) than One Step At A Time (4.5%) or the Quit Kit (1 1.4%). On average, participants had quit 53.46 days, with no significant difference across treatments. Selfefficacy also increased. Use of the intervention or other quitting aides was not associated with treatment condition. Among the 191 participants who did not quit smoking, treatment condition did not influence outcomes. Overall, 46.2% had made a quit attempt. Significant decreases in weekly tobacco consumption and increases in self-efficacy to resist smoking were observed from baseline to follow-up. Conclusion. Post-secondary institutions represent a potentially final opportunity for age-targeted interventions. Self-help resources tailored to students' social and contextual characteristics will have considerable more impact than stage-only tailored interventions. Both reduction and abstinence outcomes should be emphasized to positively support students to stop smoking.
Resumo:
Catalase dismutes H20 2 to O2 and H20. In successive twoelectron reactions H20 2 induces both oxidation and reduction at the heme group. In the first step the protoheme prosthetic group of beef liver catalase forms compound I, in which the heme has been oxidized from Fe3+ to Fe4+=0 and a porphyrin radical has been created. Compound II is formed by the oneelectron reduction of comp I. It retains Fe4+=0 but lacks the porphyrin radical and is catalytically inert. Molecular structures are available for Escherichia coli Hydroperoxidase II, Micrococcus Iysodeiktus, Penicillium vitale and beef liver enzymes, which contain different hemes and heme pockets. In the present work, the pockets and substrate access channels of protoheme (beef liver & Micrococcus) and heme d (HPII of E. coli and Penicillium) catalases have been analysed using Quanta™ and CharmMTM molecular modeling packages on the Silicon Graphics Iris Indigo 2 computer. Experimental studies have been carried out with two catalases, HPII (and its mutants) and beef liver. Fluoride and formate' are inhibitors of both enzymes, and their binding is modulated by the heme and by distal residues N201 & H128. Both HPII and beef liver enzymes form compound I with H202 or peracetate. The reduction of beef liver enzyme compound I to II and the decay of compound II are accelerated by fluoride. The decay of compound II is also accelerated by formate, and this reagent acts as a 2-electron donor towards compound I of both enzymes. It is concluded that heme d enzymes (Penicillium and HPII of E. coli) are formed by autocatalytic transformation of protoheme in a modified pocket which contains a characteristic serine residue as well as a partially occluded heme channel. They are less active than protoheme enzymes but also do not form the inactive compound II species. Binding of peroxide as well as fluoride and formate is prevented by mutation of H128 and modulated by mutation of N201.
Resumo:
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
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
Se realizó un capítulo sobre la descripción del examen neurológico como herramienta principal en el abordaje del paciente con patología neurológica.
Resumo:
Introducción: La inhalación de polvo de carbón favorece el desarrollo de neumoconiosis, causa daños irreversibles al pulmón que se identifican radiológicamente. Los síntomas son tardíos y la patología se puede desarrollar tras varios años de exposición. Objetivo: Caracterizar los hallazgos radiográficos según la metodología de la Organización Internacional del Trabajo (OIT) 2000 y relacionarlos con la sintomatología respiratoria en trabajadores expuestos a polvo de carbón en las labores de minería de socavón en el departamento de Boyacá, Colombia, 2015. Materiales y métodos: Estudio de corte transversal realizado en 232 mineros, se indagó características sociodemográficas, signos y síntomas del sistema respiratorio. Se realizó radiografías de tórax y se aplicó la metodología OIT para describir los hallazgos. Se estableció asociación estadística a través de la prueba Chi cuadrado de Pearson. Para el procesamiento de la información se utilizó el programa SPSS statistics 2.3 Resultados: Toda la población fue de sexo masculino, con una edad promedio de 40,8 años. El cargo de picador fue el más frecuente en 72,4% de los trabajadores. Las radiografías mostraron opacidades pequeñas redondeadas (q/q) en 42%. La expectoración fue el síntoma más frecuente 66,4%. Se encontró una relación estadísticamente significativa entre el tabaquismo con las anomalía parenquimatosas (p=0,002).Conclusión: La prevalencia de neumoconiosis para el departamento de Boyacá fue de 29.7% entre los trabajadores valorados según los criterios OIT para lectura de radiografías de tórax, por lo que se requiere poner en práctica medidas de control a fin de reducir al mínimo la exposición de los trabajadores.
Resumo:
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
Resumo:
Resumen basado en el de la publicación
Resumo:
Monográfico con el título: 'Nuevas perspectivas en la sección de idiomas de la Prueba de Acceso a la Universidad'. Resumen basado en el de la publicación
Resumo:
La present Tesi Doctoral, titulada desenvolupament computacional de la semblança molecular quàntica, tracta, fonamentalment, els aspectes de càlcul de mesures de semblança basades en la comparació de funcions de densitat electrònica.El primer capítol, Semblança quàntica, és introductori. S'hi descriuen les funcions de densitat de probabilitat electrònica i llur significança en el marc de la mecànica quàntica. Se n'expliciten els aspectes essencials i les condicions matemàtiques a satisfer, cara a una millor comprensió dels models de densitat electrònica que es proposen. Hom presenta les densitats electròniques, mencionant els teoremes de Hohenberg i Kohn i esquematitzant la teoria de Bader, com magnituds fonamentals en la descripció de les molècules i en la comprensió de llurs propietats.En el capítol Models de densitats electròniques moleculars es presenten procediments computacionals originals per l'ajust de funcions densitat a models expandits en termes de gaussianes 1s centrades en els nuclis. Les restriccions físico-matemàtiques associades a les distribucions de probabilitat s'introdueixen de manera rigorosa, en el procediment anomenat Atomic Shell Approximation (ASA). Aquest procediment, implementat en el programa ASAC, parteix d'un espai funcional quasi complert, d'on se seleccionen variacionalment les funcions o capes de l'expansió, d'acord als requisits de no negativitat. La qualitat d'aquestes densitats i de les mesures de semblança derivades es verifica abastament. Aquest model ASA s'estén a representacions dinàmiques, físicament més acurades, en quant que afectades per les vibracions nuclears, cara a una exploració de l'efecte de l'esmorteïment dels pics nuclears en les mesures de semblança molecular. La comparació de les densitats dinàmiques respecte les estàtiques evidencia un reordenament en les densitats dinàmiques, d'acord al que constituiria una manifestació del Principi quàntic de Le Chatelier. El procediment ASA, explícitament consistent amb les condicions de N-representabilitat, s'aplica també a la determinació directe de densitats electròniques hidrogenoides, en un context de teoria del funcional de la densitat.El capítol Maximització global de la funció de semblança presenta algorismes originals per la determinació de la màxima sobreposició de les densitats electròniques moleculars. Les mesures de semblança molecular quàntica s'identifiquen amb el màxim solapament, de manera es mesuri la distància entre les molècules, independentment dels sistemes de referència on es defineixen les densitats electròniques. Partint de la solució global en el límit de densitats infinitament compactades en els nuclis, es proposen tres nivells de aproximació per l'exploració sistemàtica, no estocàstica, de la funció de semblança, possibilitant la identificació eficient del màxim global, així com també dels diferents màxims locals. Es proposa també una parametrització original de les integrals de recobriment a través d'ajustos a funcions lorentzianes, en quant que tècnica d'acceleració computacional. En la pràctica de les relacions estructura-activitat, aquests avenços possibiliten la implementació eficient de mesures de semblança quantitatives, i, paral·lelament, proporcionen una metodologia totalment automàtica d'alineació molecular. El capítol Semblances d'àtoms en molècules descriu un algorisme de comparació dels àtoms de Bader, o regions tridimensionals delimitades per superfícies de flux zero de la funció de densitat electrònica. El caràcter quantitatiu d'aquestes semblances possibilita la mesura rigorosa de la noció química de transferibilitat d'àtoms i grups funcionals. Les superfícies de flux zero i els algorismes d'integració usats han estat publicats recentment i constitueixen l'aproximació més acurada pel càlcul de les propietats atòmiques. Finalment, en el capítol Semblances en estructures cristal·lines hom proposa una definició original de semblança, específica per la comparació dels conceptes de suavitat o softness en la distribució de fonons associats a l'estructura cristal·lina. Aquests conceptes apareixen en estudis de superconductivitat a causa de la influència de les interaccions electró-fonó en les temperatures de transició a l'estat superconductor. En aplicar-se aquesta metodologia a l'anàlisi de sals de BEDT-TTF, s'evidencien correlacions estructurals entre sals superconductores i no superconductores, en consonància amb les hipòtesis apuntades a la literatura sobre la rellevància de determinades interaccions.Conclouen aquesta tesi un apèndix que conté el programa ASAC, implementació de l'algorisme ASA, i un capítol final amb referències bibliogràfiques.