Colección de exámenes de la asignatura Aplicación de Ordenadores 2005 – 2011: fundamentos de programación y algoritmia

Esta divulgación docente recoge los ejercicios resueltos de aquellos exámenes realizados durante los curso 2005-2011, correspondientes a la asignatura Aplicación de Ordenadores de 3º curso de la titulación de Ingeniería Técnica de Obras Públicas de la Escuela Politécnica Superior de la Universidad de Alicante. El contenido de esta colección de exámenes versa sobre fundamentos de programación y algoritmos.

Entornos de programación no mediados simbólicamente para el desarrollo del pensamiento computacional. Una experiencia en la formación de profesores de Informática de la Universidad Central del Ecuador

Este artículo aborda la investigación, realizada con los estudiantes del primer semestre de la titulación de Informática de la Facultad de Filosofía, Letras y Ciencias de la Educación de la Universidad Central del Ecuador, cuyo propósito ha sido analizar el uso de entornos de programación no mediados simbólicamente como herramienta didáctica para el desarrollo del pensamiento computacional. Se pretende establecer las posibles ventajas de aplicar este tipo de entorno para que los estudiantes desarrollen habilidades del pensamiento computacional tales como la creatividad, modelación y abstracción, entre otras, consideradas relevantes dentro de la programación. La metodología en que se apoyó la investigación es mixta, con investigación de campo y documental a nivel descriptivo. Se utilizó como instrumento un cuestionario para la recolección de datos entre el alumnado de la titulación. Finalmente, con la información recopilada se procedió al procesamiento de datos a partir de la estadística descriptiva para, así, obtener resultados que permitiesen alcanzar las pertinentes conclusiones y recomendaciones.

Experiències senzilles de física recreativa: Conservació del moment lineal, efecte Coandă i emissió atòmica

La realització pràctica d’experiments és fonamental en qualsevol disciplina científica. Per això, en aquest treball exposem una sèrie d’experiències de física senzilles i sorprenents que ens permetran reforçar diversos conceptes físics d’una manera amena, utilitzant materials molt assequibles i barats. Amb la realització d’aquests experiments volem estimular la curiositat de l’alumnat i el plaer per la investigació i el descobriment de nous fenòmens físics. Aquestes experiències estan adreçades tant a estudiants d’educació secundària i batxillerat com a alumnes dels primers cursos d’universitat. Hem dissenyat i dut a terme experiències de diversos camps de la física, entre els quals hi ha algunes pràctiques per a posar de manifest la conservació del moment lineal, o l’efecte Coandă en fluids en moviment, i també experiments de física atòmica relacionats amb l’emissió atòmica en l’espectre visible, que posen de manifest la quantització de l’energia dels nivells atòmics. Amb aquestes experiències volem motivar els alumnes en l’estudi i l’interès per la física des d’una perspectiva diferent de l’habitual.

Desarrollo y Aplicación de Herramientas Teóricas, Numéricas y Códigos Computacionales en Dinámica de Gases para Ingeniería Aeronáutica

Objetivos generales: • Desarrollo de un código utilizando programación orientada objeto y Fortran 2003 para simulación de flujos de gases de alta entalpía incluyendo efectos químicos. • Mejora de técnicas numéricas con la finalidad de simular flujos gas dinámicos con alta entalpía y químicamente activos. • Mejora de la comprensión del fenómeno de intermitencia caótica. • Mejorar en la comprensión, implementación y utilización del código openFOAM para la simulación de flujos de interés en la industria aeroespacial. Objetivos específicos: • Poseer la capacidad de simular las ecuaciones de la dinámica de gases tridimensionales, químicamente activas y dependientes del tiempo usando volúmenes finitos mediante códigos propios. • Continuar con el desarrollo de la nueva teoría que permite una descripción más adecuada y precisa del fenómeno de intermitencia como una de las rutas hacia el caos. • Adaptar el código openFoam para la simulación de la dinámica del flujo de gases con elevada entalpía y/o reactivos. • Aplicación de los códigos desarrollados a la simulación de flujos de interés aeronáutico tales como chorros supersónicos, flujos supersónicos alrededor de objetos en vuelo atmosférico y procesos de combustión difusiva. Resultados esperados • Obtención de un código numérico en volúmenes finitos mediante programación orientada a objeto desarrollado en la UNC con la capacidad de simular flujos gas-dinámicos, tridimensionales, viscosos, químicamente activos y dependientes del tiempo. Este código será la base para un programa de multifísica en flujos gaseosos que en un futuro deberá incluir ionización y simulación de flujos magnetohidrodinámicos compresibles. • Desarrollo y/o mejora de técnicas numéricas para la solución de flujos gas-dinámicos químicamente activos. Se continuará con la investigación que usa distintas funciones limitadoras para distintas ondas. • Mejora del conocimiento sobre fenómenos que presentan intermitencia caótica. Se continuará con la teoría que está actualmente en desarrollo por integrantes del grupo en colaboración con investigadores de universidades de España. Principalmente se pondrá énfasis para obtener una formulación más general de la teoría mediante el desarrollo de una técnica de perturbación que permita aproximar cualquier función no lineal que gobierna el proceso de reinyección. • Implementación del código openFOAM para simular flujos supersónicos y procesos de combustión. Se generarán librerías específicas para utilizar este software en aplicaciones de flujos compresibles. • Se espera alcanza una mejor descripción numérica del fenómeno de chorros supersónicos sub-expandidos que impactan sobre paredes sólidas.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Tratado de perspectiva lineal : dispuesto para el uso de los discípulos de la Real Academia de S. Fernando /

Mode of access: Internet.

The builder's complete assistant, or, A library of arts and sciences, absolutely necessary to be understood by builders and workmen in general : viz. I. Arithmetick, vulgar and decimal, in whole numbers and fractions. II. Geometry, lineal, superficial, and solid. III. Architecture, universal. IV. Mensuration. V. Plain trigonometry. VI. Surveying of land, &c. VII. Mechanick powers. VIII. Hydrostaticks : illustrated by above thirteen hundred examples of lines, superficies, solids, mouldings, pedestals, columns, pilasters, entablatures, pediments, imposts, block cornices, rustick quoins, frontispieces, arcades, porticos, &c. : proportioned by modules and minutes, according to Andrea Palladio, and by equal parts : likewise great varieties of trussed roofs, timber bridges, centerings, arches, groins, twisted rails, compartments, obelisks, vases, pedestals for bustos, sun-dials, fonts, &c. and methods for raising heavy bodies by the force of levers, pulleys, axes in peritrochio, screws, and wedges, as also water, by the common pump, crane, etc. : wherein the properties, and pressure of the air on water, &c. are explained : the whole exemplified by 77 large quarto copper-plates /

All of the numbered plates in the atlas are double plates, and thus are counted twice in the adjusted plate count.

The autobiography of Sir John Bramston, K.B., of Skreens, in the hundred of Chelmsford; now first printed from the original ms. in the possession of his lineal descendant Thomas William Bramston, esq. ...

Contains a "Pedigree of Bramston", and genealogical matter.

Lineal List of Commissioned and Warrant Officers of the Marine Corps Reserve

Mode of access: Internet.

Líneas de investigación experimentales del grupo de dinámica no lineal y fibras ópticas del Instituto de Óptica "Daza de Valdes del CSIC"

Se presenta y describen las líneas de trabajo experimentales que se vienen cultivando en el Grupo de investigación en Dinámica no Lineal y Fibras ópticas, recientemente creado en el Instituto de Óptica del CSIC. We present the experimental lines developed in last years in the Nonlinear Dynamics and Fiber Optics Group (NDFO) of the Optics Institute "Daza de Valdés" (IO-CSIC). © Sociedad Española de Óptica.

Pistas pedagógicas en juez online de programación

Cada vez son más los usuarios que optan por usar un juez online de programación como entrenamiento para un concurso de programación o inclusive como herramienta de estudio en el ámbito docente. No obstante, es natural que con su uso se cometan errores que muchas veces no se alcanzan a entender. Por ello, en este proyecto, se trata de resolver esa carencia mediante el ofrecimiento de pistas a los usuarios. Es decir, dado un problema con un formato concreto y una solución en código fuente, se devuelve una ayuda sobre el error cometido en la solución, lo cual supone, no solo una ayuda para participantes en concursos, sino también para alumnos y profesores que pueden beneficiarse de esta ayuda. De hecho, el uso de herramientas de corrección automática está en aumento, y con la solución propuesta, se podría obtener pistas para los problemas que respeten el formato esperado.

Técnicas en análisis lineal (y no lineal) y aplicaciones

La presente tesis est a centrada en dos temas principales: el primero abarca el primer cap tulo y el segundo se divide entre los cap tulos dos y tres. En el primer cap tulo estudio un problema que apareci o como tal hace relativamente poco tiempo (aunque ya en la segunda mitad del pasado siglo se publicaron una serie de resultados que, con la terminolog a adecuada, estar an englobados dentro de esta teor a). Nos interesaremos en la b usqueda de estructuras algebraicas (como espacios vectoriales, algebras, espacios de Banach) contenidas en subconjuntos de funciones cuyos elementos (con la posible excepci on del elemento nulo) veri can ciertas propiedades anti-intuitivas (propiedades de dif cil visualizaci on). Ello nos puede conducir a la idea de c omo la intuci on puede enga~narnos, y sugerir que, aunque se haya dedicado una ingente cantidad de esfuerzo y tiempo para encontrar un unico ejemplo que veri que tales propiedades, y dicho trabajo pueda dar la idea de que no existen muchos m as espec menes de similares caracter sticas, de hecho existen ejemplares su cientes como para construir espacios \grandes" cuyos elementos (salvo el cero) satisfacen las mismas propiedades. M as espec camente, decimos que un subconjunto de un espacio vectorial topol ogico es -lineable (dado un numero cardinal ) si podemos garantizar la existencia de un espacio vectorial de dimensi on contenido en el conjunto (uni on el elemento cero, en caso de que cero no forme parte del conjunto de partida). Si el espacio vectorial es cerrado, nos referiremos a este conjunto como - espaciable (y la propiedad que trataremos ser a la de -espaciabilidad) y si la estructura en cuesti on es un algebra de Banach, entonces diremos que el conjunto es ( ; )-algebrable (donde aqu es la cardinalidad de un conjunto minimal de generadores del algebra)...

Reconocimiento de la palabra en implantados cocleares con programación frecuencial

Programa de doctorado: Patología quirúrgica, reproducción humana y factores psicológicos y el proceso de enfermar. La fecha de publicación es la fecha de lectura.