A layered JavaScript virtual machine supporting dynamic instrumentation

L’observation de l’exécution d’applications JavaScript est habituellement réalisée en instrumentant une machine virtuelle (MV) industrielle ou en effectuant une traduction source-à-source ad hoc et complexe. Ce mémoire présente une alternative basée sur la superposition de machines virtuelles. Notre approche consiste à faire une traduction source-à-source d’un programme pendant son exécution pour exposer ses opérations de bas niveau au travers d’un modèle objet flexible. Ces opérations de bas niveau peuvent ensuite être redéfinies pendant l’exécution pour pouvoir en faire l’observation. Pour limiter la pénalité en performance introduite, notre approche exploite les opérations rapides originales de la MV sous-jacente, lorsque cela est possible, et applique les techniques de compilation à-la-volée dans la MV superposée. Notre implémentation, Photon, est en moyenne 19% plus rapide qu’un interprète moderne, et entre 19× et 56× plus lente en moyenne que les compilateurs à-la-volée utilisés dans les navigateurs web populaires. Ce mémoire montre donc que la superposition de machines virtuelles est une technique alternative compétitive à la modification d’un interprète moderne pour JavaScript lorsqu’appliqué à l’observation à l’exécution des opérations sur les objets et des appels de fonction.

A virtual reality approach to the study of visually driven postural control in developing and aging humans

L'être humain utilise trois systèmes sensoriels distincts pour réguler le maintien de la station debout: la somesthésie, le système vestibulaire, et le système visuel. Le rôle de la vision dans la régulation posturale demeure peu connu, notamment sa variabilité en fonction de l'âge, du type développemental, et des atteintes neurologiques. Dans notre travail, la régulation posturale induite visuellement a été évaluée chez des participants au développement et vieillissement normaux âgés de 5-85 ans, chez des individus autistes (développement atypique) âgés de 12-33 ans, ainsi que chez des enfants entre 9-18 ans ayant subi un TCC léger. À cet effet, la réactivité posturale des participants en réponse à un tunnel virtuel entièrement immersif, se mouvant à trois niveaux de vélocité, a été mesurée; des conditions contrôles, où le tunnel était statique ou absent, ont été incluses. Les résultats montrent que la réactivité (i.e. instabilité) posturale induite visuellement est plus élevée chez les jeunes enfants; ensuite, elle s'atténue pour rejoindre des valeurs adultes vers 16-19 ans et augmente de façon linéaire en fonction de l'âge après 45 ans jusqu'à redevenir élevée vers 60 ans. De plus, à la plus haute vélocité du tunnel, les plus jeunes participants autistes ont manifesté significativement moins de réactivité posturale comparativement à leurs contrôles; cette différence n'était pas présente chez des participants plus âgés (16-33 ans). Enfin, les enfants ayant subi un TCC léger, et qui étaient initialement modérément symptomatiques, ont montré un niveau plus élevé d'instabilité posturale induite visuellement que les contrôles, et ce jusqu'à 12 semaines post-trauma malgré le fait que la majorité d'entre eux (89%) n'étaient plus symptomatiques à ce stade. En somme, cela suggère la présence d'une importante période de transition dans la maturation des systèmes sous-tendant l'intégration sensorimotrice impliquée dans le contrôle postural vers l'âge de 16 ans, et d'autres changements sensorimoteurs vers l'âge de 60 ans; cette sur-dépendance visuelle pour la régulation posturale chez les enfants et les aînés pourrait guider l'aménagement d'espaces et l'élaboration d'activités ajustés à l'âge des individus. De plus, le fait que l'hypo-réactivité posturale aux informations visuelles chez les autistes dépende des caractéristiques de l'environnement visuel et de l'âge chronologique, affine notre compréhension des anomalies sensorielles propres à l'autisme. Par ailleurs, le fait que les enfants ayant subi un TCC léger montrent des anomalies posturales jusqu'à 3 mois post-trauma, malgré une diminution significative des symptômes rapportés, pourrait être relié à une altération du traitement de l'information visuelle dynamique et pourrait avoir des implications quant à la gestion clinique des patients aux prises avec un TCC léger, puisque la résolution des symptômes est actuellement le principal critère utilisé pour la prise de décision quant au retour aux activités. Enfin, les résultats obtenus chez une population à développement atypique (autisme) et une population avec atteinte neurologique dite transitoire (TCC léger), contribuent non seulement à une meilleure compréhension des mécanismes d'intégration sensorimotrice sous-tendant le contrôle postural mais pourraient aussi servir comme marqueurs sensibles et spécifiques de dysfonction chez ces populations. Mots-clés : posture, équilibre, vision, développement/vieillissement sensorimoteur, autisme, TCC léger symptomatique, réalité virtuelle.

Virtual (dis) connectivities : mobile intimacy and presence for women in long distance relationships

Nous vivons dans une époque où la mobilité internationale est une pratique très courante; ainsi, de plus en plus de partenaires doivent maintenir leurs relations à distance. Le phénomène va de pair avec le développement des nouvelles technologies, qui introduisent de nouvelles formes et de pratiques pour maintenir l’intimité. Cela soulève des questions sur les pratiques de connexion (ou déconnexion) lorsque les couples sont séparés par la distance et le temps. Ce mémoire propose d’explorer comment les femmes dans des relations amoureuses à distance utilisent divers modes d’expression (visuels, textuels, oraux et tactiles) ainsi que plusieurs sens à travers de multiples technologies mobiles, qui lui permettent de reconstruire la présence et l’intimité avec l’autre. Inspiré par le new mobilities paradigm (Sheller & Urry, 2006), ainsi que les concepts de mobile intimacy (Hjorth & Lim, 2012; Elliott & Urry, 2010) et la présence imaginée (Chayko, 2002; Elliott & Urry, 2010), je propose les notions de (dé) connectivité virtuelle, le lieu virtuel, ainsi que la présence/absence technologique. Utilisant une approche méthodologique mixte, venant des données d’entrevues semi-dirigées, de l’autoethnographie, de la recherche création et de journaux de bord multimédias, certaines pratiques de contrôle et de surveillance, des formes émergentes de travail, l’immédiateté et la réciprocité émergent dans une époque d’interconnectivité.

Multi-view 3D reconstruction using virtual cameras

Ce mémoire s'intéresse à la reconstruction d'un modèle 3D à partir de plusieurs images. Le modèle 3D est élaboré avec une représentation hiérarchique de voxels sous la forme d'un octree. Un cube englobant le modèle 3D est calculé à partir de la position des caméras. Ce cube contient les voxels et il définit la position de caméras virtuelles. Le modèle 3D est initialisé par une enveloppe convexe basée sur la couleur uniforme du fond des images. Cette enveloppe permet de creuser la périphérie du modèle 3D. Ensuite un coût pondéré est calculé pour évaluer la qualité de chaque voxel à faire partie de la surface de l'objet. Ce coût tient compte de la similarité des pixels provenant de chaque image associée à la caméra virtuelle. Finalement et pour chacune des caméras virtuelles, une surface est calculée basée sur le coût en utilisant la méthode de SGM. La méthode SGM tient compte du voisinage lors du calcul de profondeur et ce mémoire présente une variation de la méthode pour tenir compte des voxels précédemment exclus du modèle par l'étape d'initialisation ou de creusage par une autre surface. Par la suite, les surfaces calculées sont utilisées pour creuser et finaliser le modèle 3D. Ce mémoire présente une combinaison innovante d'étapes permettant de créer un modèle 3D basé sur un ensemble d'images existant ou encore sur une suite d'images capturées en série pouvant mener à la création d'un modèle 3D en temps réel.

El pensamiento sublime en 3D. Proyecto experimental de Instalación Museográfica Virtual

Entre los años 2005 y 2006, se realizaron en Madrid dos interesantes encuentros internacionales denominados Tecnologías para una Museografía Avanzada, promovidos por el Consejo Internacional de Museos (ICOM), donde representantes de diversas instituciones culturales explicaban las influencias enriquecedoras que han aportado a sus exposiciones los nuevos medios tecnológicos en conjunto con la didáctica y la Museografía Interactiva como elementos mediadores de discurso. Representantes y Directores de instituciones como el Museo de Historia de Valencia (MHV), el Museo Arqueológico Provincial de Alicante (MARQ) o el Museo de la Cultura Bizantina de Grecia por ejemplo, han presentado las propuestas que en este contexto les ha permitido comunicar ideas refrescantes y nuevas estrategias para la compresión de diversos tipos de patrimonios. La premisa expuesta por ellos enfatizaba el pensamiento de que las nuevas tecnologías aunadas a la Museografía Interactiva, constituyen un apoyo didáctico a la hora de transmitir significados provenientes de los objetos patrimoniales para desarrollar y ampliar la comprensión del visitante en relación a los contenidos de las exposiciones. A este respecto, llama la atención la ausencia de museos especializados en Arte ante este tipo de discursos innovadores que suelen provocar en los visitantes soluciones educativas in situ, otorgando nuevos enfoques de las cosas, de la historia, de los objetos y de las generaciones pasadas.

A virtual backbone based approach for cooperative caching in mobile ad hoc networks

Cache look up is an integral part of cooperative caching in ad hoc networks. In this paper, we discuss a cooperative caching architecture with a distributed cache look up protocol which relies on a virtual backbone for locating and accessing data within a cooperate cache. Our proposal consists of two phases: (i) formation of a virtual backbone and (ii) the cache look up phase. The nodes in a Connected Dominating Set (CDS) form the virtual backbone. The cache look up protocol makes use of the nodes in the virtual backbone for effective data dissemination and discovery. The idea in this scheme is to reduce the number of nodes involved in cache look up process, by constructing a CDS that contains a small number of nodes, still having full coverage of the network. We evaluated the effect of various parameter settings on the performance metrics such as message overhead, cache hit ratio and average query delay. Compared to the previous schemes the proposed scheme not only reduces message overhead, but also improves the cache hit ratio and reduces the average delay

FEM based Virtual Prototyping and Design of Third Harmonic Excitation System for Low Voltage Brushless Alternators

Salient pole brushless alternators coupled to IC engines are extensively used as stand-by power supply units for meeting in- dustrial power demands. Design of such generators demands high power to weight ratio, high e ciency and low cost per KVA out- put. Moreover, the performance characteristics of such machines like voltage regulation and short circuit ratio (SCR) are critical when these machines are put into parallel operation and alterna- tors for critical applications like defence and aerospace demand very low harmonic content in the output voltage. While designing such alternators, accurate prediction of machine characteristics, including total harmonic distortion (THD) is essential to mini- mize development cost and time. Total harmonic distortion in the output voltage of alternators should be as low as possible especially when powering very sophis- ticated and critical applications. The output voltage waveform of a practical AC generator is replica of the space distribution of the ux density in the air gap and several factors such as shape of the rotor pole face, core saturation, slotting and style of coil disposition make the realization of a sinusoidal air gap ux wave impossible. These ux harmonics introduce undesirable e ects on the alternator performance like high neutral current due to triplen harmonics, voltage distortion, noise, vibration, excessive heating and also extra losses resulting in poor e ciency, which in turn necessitate de-rating of the machine especially when connected to non-linear loads. As an important control unit of brushless alternator, the excitation system and its dynamic performance has a direct impact on alternator's stability and reliability. The thesis explores design and implementation of an excitation i system utilizing third harmonic ux in the air gap of brushless al- ternators, using an additional auxiliary winding, wound for 1=3rd pole pitch, embedded into the stator slots and electrically iso- lated from the main winding. In the third harmonic excitation system, the combined e ect of two auxiliary windings, one with 2=3rd pitch and another third harmonic winding with 1=3rd pitch, are used to ensure good voltage regulation without an electronic automatic voltage regulator (AVR) and also reduces the total harmonic content in the output voltage, cost e ectively. The design of the third harmonic winding by analytic methods demands accurate calculation of third harmonic ux density in the air gap of the machine. However, precise estimation of the amplitude of third harmonic ux in the air gap of a machine by conventional design procedures is di cult due to complex geome- try of the machine and non-linear characteristics of the magnetic materials. As such, prediction of the eld parameters by conven- tional design methods is unreliable and hence virtual prototyping of the machine is done to enable accurate design of the third har- monic excitation system. In the design and development cycle of electrical machines, it is recognized that the use of analytical and experimental methods followed by expensive and in exible prototyping is time consum- ing and no longer cost e ective. Due to advancements in com- putational capabilities over recent years, nite element method (FEM) based virtual prototyping has become an attractive al- ternative to well established semi-analytical and empirical design methods as well as to the still popular trial and error approach followed by the costly and time consuming prototyping. Hence, by virtually prototyping the alternator using FEM, the important performance characteristics of the machine are predicted. Design of third harmonic excitation system is done with the help of results obtained from virtual prototype of the machine. Third harmonic excitation (THE) system is implemented in a 45 KVA ii experimental machine and experiments are conducted to validate the simulation results. Simulation and experimental results show that by utilizing third harmonic ux in the air gap of the ma- chine for excitation purposes during loaded conditions, triplen harmonic content in the output phase voltage is signi cantly re- duced. The prototype machine with third harmonic excitation system designed and developed based on FEM analysis proved to be economical due to its simplicity and has the added advan- tage of reduced harmonics in the output phase voltage.

Virtual Radio Engine

Software Defined Radio (SDR) hardware platforms use parallel architectures. Current concepts of developing applications (such as WLAN) for these platforms are complex, because developers describe an application with hardware-specifics that are relevant to parallelism such as mapping and scheduling. To reduce this complexity, we have developed a new programming approach for SDR applications, called Virtual Radio Engine (VRE). VRE defines a language for describing applications, and a tool chain that consists of a compiler kernel and other tools (such as a code generator) to generate executables. The thesis presents this concept, as well as describes the language and the compiler kernel that have been developed by the author. The language is hardware-independent, i.e., developers describe tasks and dependencies between them. The compiler kernel performs automatic parallelization, i.e., it is capable of transforming a hardware-independent program into a hardware-specific program by solving hardware-specifics, in particular mapping, scheduling and synchronizations. Thus, VRE simplifies programming tasks as developers do not solve hardware-specifics manually.

Plataforma Virtual y Redes del Profesorado de Bibliotecas Escolares.

Monográfico con el título: 'Leer para aprender'. Resumen basado en el de la publicación

Aula virtual de matemáticas.

Se aborda el uso de internet como herramienta en el proceso enseñanza aprendizaje en la asignatura de matemáticas en el centro de Enseñanza Secundaria Carlinda de Málaga. Los objetivos son: 1. Identificar las posibilidades reales de acceso de nuestros alumnos a las nuevas tecnologías incluyendo tanto la infraestructura de que disponen como su formación; 2. Estudio en profundidad de los recursos existentes actualmente en internet aplicables a la docencia en las asignaturas de matemáticas en niveles educativos no universitarios; 3. Crear un portal web que sirva de punto de encuentro de los alumnos en el aula virtual de matemáticas complemento de la tradicional clase presencial de matemáticas; 4. Iniciar al alumnado en el uso de las herramientas de comunicación vía internet como instrumento para el aprendizaje de las matemáticas de forma cooperativa; 5. Elaboración de materiales didácticos que permitan a los alumnos realizar prácticas con el ordenador. Uso de los programas de cálculo simbólico que permitan manipular los objetos matemáticos como medio para descubrir el conocimiento; 6. Utilización de los materiales didácticos para la integración de alumnos y alumnas con minusvalía; 7. Elaboración de tutoriales que incluyen test de autoevaluación para propiciar una ecuación autodidacta que permita llevar a cabo el proceso de enseñanza aprendizaje a distintos ritmos; 8. Propiciar la labor investigadora del alumnado, incluyendo en la web enlaces de interés que cautiven la curiosidad del alumno; 9. Propiciar un encuentro con la matemática aplicada, que destaque su carácter interdisciplinar. El proceso consta de tres fases: en la primera se realizó una encuesta al alumnado sobre las posibilidades reales de acceso a internet, su formación y su uso. Paralelamente se ha rastreado en internet para buscar otras experiencias parecidas que incluyesen la creación de páginas webs de contenidos matemáticos de nivel medio; en la segunda fase se han creado algunos materiales de trabajo para la inclusión en las webs. Básicamente hay dos tipos de actividades: guías para la utilización de programas de ordenador de cálculo simbólico y test de autoevaluación de modo de tutorial; la tercera fase ha consistido en el diseño y la creación de la web que integra las actividades realizadas en las fases anteriores con una serie de herramientas de comunicación. Los resultados concretos obtenidos han sido las actividades realizadas en el marco del proyecto: 1. Realización de una encuesta sobre las posibilidades reales de acceso a internet, su formación y su uso; 2. Relación de referencias de otras experiencias parecidas que incluyesen la creación de páginas webs de contenidos matemáticos de nivel medio; 3. Creación de materiales de trabajo para la inclusión en la webs: guías para la utilización de programas de ordenador de cálculo simbólico y test de autoevaluación a modo de tutorial; 4. Creación de la web que integra los materiales de trabajo junto a una serie de utilidades y herramientas de comunicación.

Enseñanza virtual para el alumnado adulto.

Uso de recursos telemáticos en la Formación de Personas Adultas.

Asistencia virtual para alumnado que por razones de enfermedad no puede asistir al centro educativo.

Garantizar la continuidad del proceso educativo del alumnado de enseñanza obligatoria que por razones de enfermedad no puede asistir físicamente al centro educativo ordinario. Incluir a este alumnado virtualmente en el aula con sus compañeros minimizando el aislamiento y consecuencias que son propias de esta situación.

Comunidad Virtual Educativa Pablo García Baena.

Este proyecto pretende proporcionar los conocimientos y práctica necesarios para utilizar las TICs como recurso educativo y medio de comunicación, tanto por el profesorado como por el alumnado. Asimismo pretende desarrollar las competencias textuales necesarias para evitar la manipulación sutil que a través de la diversidad de códigos y textos que ofrecen estas tecnologías suele producirse, sobre todo en la infancia y la adolescencia. Por otro lado pretende implicar a madres y padres realizando una formación específica para ellos y solicitando su colaboración en las actividades previstas, como el portal virtual.