941 resultados para ADA compliant
Resumo:
Cette thèse a été effectuée en cotutelle entre l'Université Paris-Ouest-Nanterre-La Défense et l'Université de Montréal. Elle a été réalisée avec le logiciel LateX.
Resumo:
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
Resumo:
Le Web représente actuellement un espace privilégié d’expression et d’activité pour plusieurs communautés, où pratiques communicationnelles et pratiques documentaires s’enrichissent mutuellement. Dans sa dimension visible ou invisible, le Web constitue aussi un réservoir documentaire planétaire caractérisé non seulement par l’abondance de l’information qui y circule, mais aussi par sa diversité, sa complexité et son caractère éphémère. Les projets d’archivage du Web en cours abordent pour beaucoup cette question du point de vue de la préservation des publications en ligne sans la considérer dans une perspective archivistique. Seuls quelques projets d’archivage du Web visent la préservation du Web organisationnel ou gouvernemental. La valeur archivistique du Web, notamment du Web organisationnel, ne semble pas être reconnue malgré un effort soutenu de certaines archives nationales à diffuser des politiques d’archivage du Web organisationnel. La présente thèse a pour but de développer une meilleure compréhension de la nature des archives Web et de documenter les pratiques actuelles d’archivage du Web organisationnel. Plus précisément, cette recherche vise à répondre aux trois questions suivantes : (1) Que recommandent en général les politiques d’archivage du Web organisationnel? (2) Quelles sont les principales caractéristiques des archives Web? (3) Quelles pratiques d’archivage du Web organisationnel sont mises en place dans des organisations au Québec? Pour répondre à ces questions, cette recherche exploratoire et descriptive a adopté une approche qualitative basée sur trois modes de collecte des données, à savoir : l’analyse d’un corpus de 55 politiques et documents complémentaires relatifs à l’archivage du Web organisationnel; l’observation de 11 sites Web publics d’organismes au Québec de même que l’observation d’un échantillon de 737 documents produits par ces systèmes Web; et, enfin, des entrevues avec 21 participants impliqués dans la gestion et l’archivage de ces sites Web. Les résultats de recherche démontrent que les sites Web étudiés sont le produit de la conduite des activités en ligne d’une organisation et documentent, en même temps, les objectifs et les manifestations de sa présence sur le Web. De nouveaux types de documents propres au Web organisationnel ont pu être identifiés. Les documents qui ont migré sur le Web ont acquis un autre contexte d’usage et de nouvelles caractéristiques. Les méthodes de gestion actuelles doivent prendre en considération les propriétés des documents dans un environnement Web. Alors que certains sites d’étude n’archivent pas leur site Web public, d’autres s’y investissent. Toutefois les choix établis ne correspondent pas toujours aux recommandations proposées dans les politiques d’archivage du Web analysées et ne garantissent pas la pérennité des archives Web ni leur exploitabilité à long terme. Ce constat nous a amenée à proposer une politique type adaptée aux caractéristiques des archives Web. Ce modèle décrit les composantes essentielles d’une politique pour l’archivage des sites Web ainsi qu’un éventail des mesures que pourrait mettre en place l’organisation en fonction des résultats d’une analyse des risques associés à l’usage de son site Web public dans la conduite de ses affaires.
Resumo:
Objectifs: Les études quantitatives ont documenté l’ampleur des problèmes d’observance en début de psychose et les conséquences cliniques qui en découlent. La compréhension du phénomène demeure toutefois limitée. Notre étude propose d’explorer, à partir de trois perspectives (celles des patients, des proches et des cliniciens), les raisons pour lesquelles les patients en début de psychose acceptent ou refusent les traitements. Méthode: La collecte des données s’est faite à l’aide d’entrevues individuelles semi-structurées auprès de 18 patients d’une clinique spécialisée en psychose débutante classifiés comme étant observants, ambivalents ou non observants, et auprès de 13 de leurs proches, ainsi qu’à l’aide d’un focus group réunissant 8 cliniciens de la clinique. Résultats: L’observance semble s’inscrire dans un processus marqué par une certaine ambivalence pour la plupart des sujets. Cette ambivalence est modulée par: des enjeux identitaires, des enjeux relationnels, la compréhension du diagnostic et la signification du traitement. Conclusion: L’ambivalence et l’inobservance seraient des étapes normales du processus au cours duquel le patient lutte pour reconstruire son identité. La présence d’un lien de confiance permet la résolution progressive de l’ambivalence, facilitant ainsi le processus de réappropriation du traitement par le patient.
Resumo:
Travail dirigé présenté à la Faculté des études supérieures et postdoctorales en vue de l’obtention du grade de Maître ès sciences (M.Sc) en Criminologie – Option sécurité intérieure
Resumo:
In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.
Resumo:
In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code
Resumo:
Die Auszeichnungssprache XML dient zur Annotation von Dokumenten und hat sich als Standard-Datenaustauschformat durchgesetzt. Dabei entsteht der Bedarf, XML-Dokumente nicht nur als reine Textdateien zu speichern und zu transferieren, sondern sie auch persistent in besser strukturierter Form abzulegen. Dies kann unter anderem in speziellen XML- oder relationalen Datenbanken geschehen. Relationale Datenbanken setzen dazu bisher auf zwei grundsätzlich verschiedene Verfahren: Die XML-Dokumente werden entweder unverändert als binäre oder Zeichenkettenobjekte gespeichert oder aber aufgespalten, sodass sie in herkömmlichen relationalen Tabellen normalisiert abgelegt werden können (so genanntes „Flachklopfen“ oder „Schreddern“ der hierarchischen Struktur). Diese Dissertation verfolgt einen neuen Ansatz, der einen Mittelweg zwischen den bisherigen Lösungen darstellt und die Möglichkeiten des weiterentwickelten SQL-Standards aufgreift. SQL:2003 definiert komplexe Struktur- und Kollektionstypen (Tupel, Felder, Listen, Mengen, Multimengen), die es erlauben, XML-Dokumente derart auf relationale Strukturen abzubilden, dass der hierarchische Aufbau erhalten bleibt. Dies bietet zwei Vorteile: Einerseits stehen bewährte Technologien, die aus dem Bereich der relationalen Datenbanken stammen, uneingeschränkt zur Verfügung. Andererseits lässt sich mit Hilfe der SQL:2003-Typen die inhärente Baumstruktur der XML-Dokumente bewahren, sodass es nicht erforderlich ist, diese im Bedarfsfall durch aufwendige Joins aus den meist normalisierten und auf mehrere Tabellen verteilten Tupeln zusammenzusetzen. In dieser Arbeit werden zunächst grundsätzliche Fragen zu passenden, effizienten Abbildungsformen von XML-Dokumenten auf SQL:2003-konforme Datentypen geklärt. Darauf aufbauend wird ein geeignetes, umkehrbares Umsetzungsverfahren entwickelt, das im Rahmen einer prototypischen Applikation implementiert und analysiert wird. Beim Entwurf des Abbildungsverfahrens wird besonderer Wert auf die Einsatzmöglichkeit in Verbindung mit einem existierenden, ausgereiften relationalen Datenbankmanagementsystem (DBMS) gelegt. Da die Unterstützung von SQL:2003 in den kommerziellen DBMS bisher nur unvollständig ist, muss untersucht werden, inwieweit sich die einzelnen Systeme für das zu implementierende Abbildungsverfahren eignen. Dabei stellt sich heraus, dass unter den betrachteten Produkten das DBMS IBM Informix die beste Unterstützung für komplexe Struktur- und Kollektionstypen bietet. Um die Leistungsfähigkeit des Verfahrens besser beurteilen zu können, nimmt die Arbeit Untersuchungen des nötigen Zeitbedarfs und des erforderlichen Arbeits- und Datenbankspeichers der Implementierung vor und bewertet die Ergebnisse.
Resumo:
The three articles constituting this thesis are for reasons of content or method related to the following three fields in economics: Behavioral Economics, Evolutionary Game Theory and Formal Institutional Economics. A core element of these fields is the concept of individual preferences. Preferences are of central importance for the conceptional framework to analyze human behavior. They form the foundation for the theory of rational choice which is defined by the determination of the choice set and the selection of the most preferred alternative according to some consistency requirements. The theory of rational choice is based on a very simplified description of the problem of choice (object function and constraints). However, that choices depend on many more factors is for instance propagated by psychological theories and is supported by many empirical and experimental studies. This thesis adds to a better understanding of individual behavior to the extent that the evolution of certain characteristics of preferences and their consequences on human behavior forms the overarching theme of the dissertation. The long-term effect of evolutionary forces on a particular characteristic of importance in the theoretical, empirical and experimental economic literature, the concept of inequality aversion, is subject of the article “The evolution of inequality aversion in a simplified game of life” (Chapter 4). The contribution of the article is the overcoming of a restriction of former approaches to analyze the evolution of preferences in very simple environments. By classifying human interaction into three central economic games, the article provides a first step towards a simplified and sufficiently complete description of the interaction environment. Within such an environment the article characterizes the evolutionary stable preference distribution. One result shows, that the interaction of the aforementioned three classes can stabilize a preference of inequality aversion in the subpopulation which is favored in the problem of redistribution. The two remaining articles are concerned with social norms, which dissemination is determined by medium-run forces of cultural evolution. The article “The impact of market innovations on the evolution of social norms: the sustainability case.“ (Chapter 2) studies the interrelation between product innovations which are relevant from a sustainability perspective and an according social norm in consumption. This relation is based on a conformity bias in consumption and the attempt to avoid cognitive dissonances resulting from non-compliant consumption. Among others, it is shown that a conformity bias on the consumption side can lead to multiple equilibria on the side of norm adoption. The article “Evolution of cooperation in social dilemmas: signaling internalized norms.” (Chapter 3) studies the emergence of cooperation in social dilemmas based on the signaling of social norms. The article provides a potential explanation of cooperative behavior, which does not rely on the assumption of structured populations or on the unmotivated ability of social norms to restrict individual actions or strategy spaces. A comprehensive result of the single articles is the explanation of the phenomenon of partial norm adaption or dissemination of preferences. The plurality of the applied approaches with respect to the proximity to the rational choice approach and regarding the underlying evolutionary mechanics is a particular strength of the thesis. It shows the equality of these approaches in their potential to explain the phenomenon of cooperation in environments that provide material incentives for defective behavior. This also points to the need of a unified framework considering the biological and cultural coevolution of preference patterns.
Resumo:
Se presenta experiencia educativa que propone una reuni??n quincenal entre el profesorado para organizar las actividades del centro. Se realiza en el CEIP Dolores Romero Pozo en Cenes de la Vega, Granada. Los objetivos son: organizar actividades l??dicas para 'gran grupo'; hacer part??cipes a todos los miembros de la comunidad educativa de esas actividades; crear un clima facilitador de la convivencia.
Resumo:
Unidad did??ctica dise??ada para el tercer ciclo de ense??anza Primaria y primero de Secundaria sobre el Parque Regional de Sierra Espu??a, ??nico espacio natural de la regi??n incluido dentro del programa de la UE conocido como CADISPA (conservaci??n y desarrollo de ??reas escasamente pobladas). Se trata de dos publicaciones, por un lado el libro del profesor, realizado para la orientaci??n de ??ste en su labor docente y la carpeta del alumno compuesta por un conjunto de actividades para descubrir Sierra Espu??a, conocerla, entenderla y colaborar en su conservaci??n. El desarrollo de esta unidad did??ctica est?? previsto para realizarlo durante tres semanas. Los planteamientos metodol??gicos se traducen en la aplicaci??n de m??todos activos y se ha integrado la mayor parte de los objetivos y contenidos de ??reas en un enfoque globalizador, siendo el eje de la unidad el Conocimiento del Medio.
Resumo:
Material para poner en práctica dentro de un sistema abierto de enseñanza del inglés a distancia. Cada uno de los capítulos ofrece formas variadas de actividades tanto de autoevaluación como de heteroevaluación, con las que el profesor-tutor podrá tener conocimiento de cómo se están desarrollando las lecturas y ofrecer la orientación necesaria. Se pretende adaptar el material didáctico que aportan las lecturas graduadas en inglés a este tipo de enseñanza, incluyendo para tal finalidad las soluciones a las actividades propuestas. Los apartados que comprenden cada uno de los capítulos son: desarrollo didáctico, donde se incluyen los objetivos, contenidos y actividades específicas, enfocado para ser utilizado como guía didáctica por el profesor-tutor, un texto concreto y una hoja de trabajo para el alumno para la realización de las actividades. La finalidad del trabajo es desarrollar cada capítulo como una unidad didáctica.
Resumo:
Esta gu??a est?? elaborada con un objetivo prioritario: ayudar al educador a explicar a los alumnos de Secundaria qu?? es el Sida, c??mo se transmite y cu??les son las medidas de prevenci??n. Se parte de una explicaci??n sobre el uso concreto de la gu??a, una informaci??n b??sica dividida en diferentes unidades espec??ficas de informaci??n y un total de 39 actividades en las que se especifica los objetivos, el material, tiempo y m??todo. Como complemento para la prevenci??n se incluyen apartados referidos a la evaluaci??n y normas higienico-sanitarias. La gu??a va acompa??ada de una carpeta con 34 diapositivas y un folleto explicativo que puede utilizarse independientemente en actividades informativas. Se da libertad al educador para su utilizaci??n en funci??n del tipo de programa que haya dise??ado previamente.
Resumo:
Colecci??n de 48 diapositivas dirigidas tanto a los profesionales sociosanitarios como docentes con el objetivo de facilitar la realizaci??n de actividades de Educaci??n para la Salud y especialmente a la lucha antitabaco. El juego de diapositivas est?? formado por fotograf??as, esquemas, gr??ficos, datos epidemiol??gicos y dibujos que hacen referencia a los componentes del tabaco, los factores sociales e individuales que propician el tabaquismo, las consecuencias para la salud y ventajas y estrategias para dejar de fumar. La carpeta va acompa??ada de un folleto explicativo del contenido tem??tico de cada una de las diapositivas.
Resumo:
This thesis presents a new actuator system consisting of a micro-actuator and a macro-actuator coupled in parallel via a compliant transmission. The system is called the Parallel Coupled Micro-Macro Actuator, or PaCMMA. In this system, the micro-actuator is capable of high bandwidth force control due to its low mass and direct-drive connection to the output shaft. The compliant transmission of the macro-actuator reduces the impedance (stiffness) at the output shaft and increases the dynamic range of force. Performance improvement over single actuator systems was expected in force control, impedance control, force distortion and reduction of transient impact forces. A set of quantitative measures is proposed and the actuator system is evaluated against them: Force Control Bandwidth, Position Bandwidth, Dynamic Range, Impact Force, Impedance ("Backdriveability'"), Force Distortion and Force Performance Space. Several theoretical performance limits are derived from the saturation limits of the system. A control law is proposed and control system performance is compared to the theoretical limits. A prototype testbed was built using permanenent magnet motors and an experimental comparison was performed between this actuator concept and two single actuator systems. The following performance was observed: Force bandwidth of 56Hz, Torque Dynamic Range of 800:1, Peak Torque of 1040mNm, Minimum Torque of 1.3mNm. Peak Impact Force was reduced by an order of magnitude. Distortion at small amplitudes was reduced substantially. Backdriven impedance was reduced by 2-3 orders of magnitude. This actuator system shows promise for manipulator design as well as psychophysical tests of human performance.