Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Excitación vibracional de moléculas adsorbidas por fotoelectrones de muy baja energía

En esta Tesis Doctoral se demuestra, en primer lugar, la existencia de efectos catalíticos inducidos por láser en procesos de captura electrónica disociativa para las moléculas SF6, acrilonitrilo o 2-propenenitrilo (ACN) y CH3I adsorbidas en Ba y ACN adsorbida en Cu policristalino, detectándose como productos SF−5 y SF−6 para SF6/Ba, CN− para ACN/Ba y ACN/Cu y I− para CH3I/Ba. Para el sistema ACN/Cu, la medida del cociente CN−/e− en función de la longitud de onda del láser, demostró la selectividad vibracional del proceso al replicar el espectro de IR del ACN en fase gaseosa desplazado 20,17 cm−1 hacia el rojo. Estos experimentos se realizaron en un sistema experimental expresamente orientado a la espectroscopía en el infrarrojo. En un segundo sistema experimental especialmente diseñado para la detección y el análisis de electrones de baja energía generados en metal mediante luz láser visible, se estudiaron por primera vez las transiciones intrabanda entre estados sp de cobre generadas mediante 2PPE en Cu(100). Como resultado se consiguió identificar y medir la posición en energía del estado de volumen X′4 con alta precisión EX′4 =2,08±0,04 eV. En este sentido se desarrolló un modelo teórico para estudiar las transiciones intrabanda cerca del estado de alta simetría X. Los ajustes del modelo ofrecieron un valor de energía por fonón de ≈5 meV...

Desarrollo de conocimientos matemáticos informales a través de resoluciones de problemas aritméticos verbales en primer curso de educación primaria

El objetivo general de esta investigación es estudiar el desarrollo de los conocimientos informales sobre la agrupación de base 10 y los conocimientos del valor posicional, a través del estudio de las estrategias utilizadas por los niños en la resolución de problemas aritméticos verbales, así como el análisis de las representaciones de cantidades discretas utilizadas en sus procedimientos, describiendo además, la evolución de las estrategias y representaciones a lo largo de un curso. En la investigación, han participado 54 alumnos de primer curso de educación primaria de un centro público de la zona noroeste de Madrid. Se ha diseñado un taller de resolución de problemas compuesto por 25 sesiones, una por semana, desarrollado a lo largo de un curso escolar. En el taller se han planteado problemas de estructura multiplicativa, de grupos iguales, con agrupamientos de 10, de multiplicación y división; otros de grupos iguales, sin grupos de diez; y problemas de estructura aditiva con números de dos cifras. Los problemas estaban basados en cuentos leídos en el aula. A los alumnos se les ofrecían diversos materiales manipulativos (estructurados y no estructurados), sin instrucción sobre su uso, entre los cuales podían elegir libremente. En los talleres había una fase de trabajo individual, seguida de una puesta en común, y la escritura de una carta con la explicación de proceso de resolución del problema. La recogida de datos se realiza a través de entrevistas individuales, realizadas dentro del aula, grabadas en video o anotadas en hojas de registro. Se han tomado fotografías del proceso de resolución cuando los alumnos utilizaban materiales manipulativos. Finalmente, se han recogido las hojas de trabajo de los alumnos y las cartas escritas. Para analizar las estrategias, se parte de una categorización proveniente de estudios previos. Las estrategias de modelización directa han sido analizadas prestando especial atención a la representación de las cantidades y su conteo. Esta circunstancia, unida a la libertad que se ha dado en la selección y uso de materiales, ha dado lugar a la detección de gran diversidad de modalidades de aplicación de las estrategias no descritas en estudios previos. Algunas de ellas son estrategias de transición de modelización directa a estrategias de conteo y a otras que suponen el uso de hechos numéricos, facilitadas por el uso del rekenrek y la Tabla 100. Otras muestran, con más detalle que los estudios previos, la evolución de las estrategias de modelización directa, desde la ausencia de representación de las cantidades en grupos de 10, a la representación de las cantidades separadas en decenas y unidades con ayuda de materiales no estructurados como los cartones de decenas de huevos y barras de 10 formadas con cubos encajables. Todo esto ha permitido describir la evolución, desde las estrategias informales de modelización a estrategias formales, así como el desarrollo de la comprensión de la decena, para el que se describen transiciones entre niveles de comprensión señalados en estudios previos...