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.

Aula virtual de inglés : desarrollo de la expresión escrita mediante la integración de las TIC.

Mejorar la producción escrita de los alumnos de ESO y Bachillerato a través de un cambio en la metodología, creando materiales que incorporen las TIC como instrumento didáctico.

Museo virtual.

Contiene información sobre artistas, sobre museos, enlaces web, recomendaciones bibliográficas, aplicaciones didácticas y detalles técnicos.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Taming Chaotic Circuits

Control algorithms that exploit chaotic behavior can vastly improve the performance of many practical and useful systems. The program Perfect Moment is built around a collection of such techniques. It autonomously explores a dynamical system's behavior, using rules embodying theorems and definitions from nonlinear dynamics to zero in on interesting and useful parameter ranges and state-space regions. It then constructs a reference trajectory based on that information and causes the system to follow it. This program and its results are illustrated with several examples, among them the phase-locked loop, where sections of chaotic attractors are used to increase the capture range of the circuit.

Virtual Model Control of a Biped Walking Robot

The transformation from high level task specification to low level motion control is a fundamental issue in sensorimotor control in animals and robots. This thesis develops a control scheme called virtual model control which addresses this issue. Virtual model control is a motion control language which uses simulations of imagined mechanical components to create forces, which are applied through joint torques, thereby creating the illusion that the components are connected to the robot. Due to the intuitive nature of this technique, designing a virtual model controller requires the same skills as designing the mechanism itself. A high level control system can be cascaded with the low level virtual model controller to modulate the parameters of the virtual mechanisms. Discrete commands from the high level controller would then result in fluid motion. An extension of Gardner's Partitioned Actuator Set Control method is developed. This method allows for the specification of constraints on the generalized forces which each serial path of a parallel mechanism can apply. Virtual model control has been applied to a bipedal walking robot. A simple algorithm utilizing a simple set of virtual components has successfully compelled the robot to walk eight consecutive steps.

Virtual Model Control of a Hexapod Walking Robot

Since robots are typically designed with an individual actuator at each joint, the control of these systems is often difficult and non-intuitive. This thesis explains a more intuitive control scheme called Virtual Model Control. This thesis also demonstrates the simplicity and ease of this control method by using it to control a simulated walking hexapod. Virtual Model Control uses imagined mechanical components to create virtual forces, which are applied through the joint torques of real actuators. This method produces a straightforward means of controlling joint torques to produce a desired robot behavior. Due to the intuitive nature of this control scheme, the design of a virtual model controller is similar to the design of a controller with basic mechanical components. The ease of this control scheme facilitates the use of a high level control system which can be used above the low level virtual model controllers to modulate the parameters of the imaginary mechanical components. In order to apply Virtual Model Control to parallel mechanisms, a solution to the force distribution problem is required. This thesis uses an extension of Gardner`s Partitioned Force Control method which allows for the specification of constrained degrees of freedom. This virtual model control technique was applied to a simulated hexapod robot. Although the hexapod is a highly non-linear, parallel mechanism, the virtual models allowed text-book control solutions to be used while the robot was walking. Using a simple linear control law, the robot walked while simultaneously balancing a pendulum and tracking an object.

A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

3D Object Recognition: Symmetry and Virtual Views

Many 3D objects in the world around us are strongly constrained. For instance, not only cultural artifacts but also many natural objects are bilaterally symmetric. Thoretical arguments suggest and psychophysical experiments confirm that humans may be better in the recognition of symmetric objects. The hypothesis of symmetry-induced virtual views together with a network model that successfully accounts for human recognition of generic 3D objects leads to predictions that we have verified with psychophysical experiments.

Biologically Plausible Neural Circuits for Realization of Maximum Operations

Object recognition in the visual cortex is based on a hierarchical architecture, in which specialized brain regions along the ventral pathway extract object features of increasing levels of complexity, accompanied by greater invariance in stimulus size, position, and orientation. Recent theoretical studies postulate a non-linear pooling function, such as the maximum (MAX) operation could be fundamental in achieving such invariance. In this paper, we are concerned with neurally plausible mechanisms that may be involved in realizing the MAX operation. Four canonical circuits are proposed, each based on neural mechanisms that have been previously discussed in the context of cortical processing. Through simulations and mathematical analysis, we examine the relative performance and robustness of these mechanisms. We derive experimentally verifiable predictions for each circuit and discuss their respective physiological considerations.

Preliminary Characterisation of Low-Temperature Bonded Copper Interconnects for 3-D Integrated Circuits

Three dimensional (3-D) integrated circuits can be fabricated by bonding previously processed device layers using metal-metal bonds that also serve as layer-to-layer interconnects. Bonded copper interconnects test structures were created by thermocompression bonding and the bond toughness was measured using the four-point test. The effects of bonding temperature, physical bonding and failure mechanisms were investigated. The surface effects on copper surface due to pre-bond clean (with glacial acetic acid) were also looked into. A maximum average bond toughness of approximately 35 J/m² was obtained bonding temperature 300 C.