Behavior competence development through e-learning: experience at the undergraduate level in the context of Aula a Distancia Abierta (ADA) Madrid, Spain

This communication presents the results of an innovative approach for competencedevelopment suggesting a new methodology for the integration of these elements in professional development within the ADA initiative (AulaaDistanciaAbierta, Distance and Open Classroom) of the Community of Madrid. The main objective of this initiative is to promote the use of Information and Communication Technologies (ICTs) for educational activities by creating a new learning environment structured on the premises of commitment to self–learning, individual work, communication and virtual interaction, and self and continuous assessment. Results from this experience showed that conceptualization is a positive contribution to learning, as students added names and characteristics to competences and abilities that were previously unknown or underestimated. Also, the diversity of participants’ disciplines indicated multidimensional interest in this idea and supported the theory that this approach to competencedevelopment could be successful in all knowledge areas.

Ada User Guide for LEGO MINDSTORMS NXT

The purpose of this guide is to introduce the robotics kit LEGO MINDSTORMS NXT to the Ada community. All the steps required to complete a working Ada application running under the LEGO MINDSTORMS NXT are covered..

Ada real-time services and virtualization

Virtualization techniques have received increased attention in the field of embedded real-time systems. Such techniques provide a set of virtual machines that run on a single hardware platform, thus allowing several application programs to be executed as though they were running on separate machines, with isolated memory spaces and a fraction of the real processor time available to each of them.This papers deals with some problems that arise when implementing real-time systems written in Ada on a virtual machine. The effects of virtualization on the performance of the Ada real-time services are analysed, and requirements for the virtualization layer are derived. Virtual-machine time services are also defined in order to properly support Ada real-time applications. The implementation of the ORK+ kernel on the XtratuM supervisor is used as an example.

Modelo de concurrencia de ADA: implementación y sus implicaciones en el interfaz con el entorno

El principal problema que impide actualmente una mayor utilización de las máquinas paralelas es la falta de herramientas de programación que permitan generar programas transportables a máquinas con diferentes prestaciones. En este trabajo se ha estudiado si los lenguajes con paralelismo explícito cumplen este requisito y son, por lo tanto, adecuados para programar este tipo de máquinas. El exceso de paralelismo, esto es, el uso de mayor paralelismo en el programa que el proporcionado por la máquina para esconder la latencia en la comunicación, se presenta en este trabajo como una solución a los problemas de eficiencia de los programas con paralelismo explícito cuando se ejecutan en máquinas que no tienen una granularidad adecuada. Con esta técnica, por lo tanto, los programas escritos con estos lenguajes pueden transportarse con eficiencia a diferentes máquinas. Para llevar a cabo el estudio de los lenguajes con paralelismo explícito, se ha desarrollado un modelo abstracto de paralelismo, en el cual un sistema está formado por una jerarquía de máquinas virtuales paralelas. Este modelo permite realizar un análisis genérico de la implementación de este tipo de lenguajes, ya sea sobre una máquina con sistema operativo o directamente sobre la máquina física. Este análisis genérico se ha aplicado a un lenguaje de este tipo, el lenguaje Ada. Se han estudiado las características específicas de Ada que pueden influir en la implementación eficiente del lenguaje, analizando también la propuesta de modificación del lenguaje correspondiente al proceso de revisión Ada 9X. Dentro del marco del modelo de paralelismo, se analiza también la problemática específica de las implementaciones del lenguaje sobre el sistema operativo. En este tipo de implementaciones, las interacciones de un programa con el entorno externo pueden causar ciertos problemas, como el bloqueo del proceso correspondiente del sistema operativo, que disminuyen el rendimiento del programa. Se analizan estos problemas y se proponen soluciones a los mismos. Se desarrolla en profundidad un ejemplo de este tipo de problemas: El acceso al estándar gráfico GKS desde Ada.---ABSTRACT---The major obstacle to the widespread utilization of the parallel machines is the lack of programming tools allowing the development of software portable between machines with different performance. This dissertation analyzes whether languages with explicit parallelism fulfil this requirement. The approach of using programs with more parallelism than available on the machine (parallel slackness) is presented. This technique can solve the efficiency problems appearing in the execution of programs with explicit parallelism over machines with a too coarse granularity. Therefore, with this approach programs can run efficiently on different machines. A new abstract model of parallelism allowing the generic study of the implementation of languages with explicit parallelism is developed. In this model, a parallel system is described by a hierarchy of parallel virtual machines. This generic analysis is applied to Ada language. Ada specific features with problematic implementation are identified and analyzed. The change proposals to Ada language in the frame of Ada 9X revisión process are also analyzed. The specific problematic of the language implementation on top of the operating system is studied under the scope of the parallelism model. With this kind of implementation, program interactions with extemal environments can lead to problems, like the blocking of the corresponding operating system process, decreasing the program execution performance. A practical example of this kind of problems, the access to GKS (Graphic Kernel System) from Ada programs, is analyzed and the implemented solution is described.

Curso Básico de Cartografía:Almadén, 14,15 y 16 Enero 1985

El Ingeniero Técnico de Minas debe conocer la cartografía existente en el mercado, así como su manejo. Para realizar una explotación minera, la investigación— de un yacimiento o cualquier obra civil de envergadura hay que consultar los mapas geológicos, geotectónicos o topográficos. Los mapas topográficos sirven de base para la cartografía en temas específicos, en ellos, vienen indicados los caminos y vías de acceso a los lugares de interés, el relieve y las poblaciones y otros datos de geografía política y económica. Hasta para una cosa tan simple como es el desplazamiento por carretera solemos llevar un mapa. Dado el interés que tienen estos conocimientos en todos los sectores de la vida económica se ha organizado este curso, tratando de mostrar, los tipos de cartografía existentes, así como su génesis y aprovechamiento.

Gestión y tecnología

El presente artículo trata sobre una cuestión a la que las actuales Juntas del COIT y la AEIT dan una enorme importancia, como es la formación en aspectos de gestión en nuestras escuelas, asignatura pendiente que lleva a nuestros ingenieros de telecomunicación no lleguen a ocupar, en la medida de lo necesario y deseable, puestos de responsabilidad gerencial y directiva en las empresas del sector

Aula Web "Pensamiento Matemático". Un complemento a la enseñanza de las matemáticas

Al igual que otras asignaturas pero quizás de manera más pronunciada las matemáticas, están viendo reducidos en gran medida sus créditos en los nuevos planes de estudios. Por ello, ofertar acciones que posibiliten alcanzar competencias relacionadas con esta y otras ciencias básicas resulta de gran utilidad. Con este propósito, desde el Grupo de Innovación Educativa de la Universidad Politécnica de Madrid “Pensamiento Matemático”, se ofrece a los alumnos un “Aula de Pensamiento Matemático”. En ella se presentan una serie de actividades on-line que permiten la capacitación de los alumnos en diversas competencias transversales, la mayoría relacionadas con el pensamiento matemático.

Mejorando el aprendizaje y la evaluación en e-learning usando recursos multimedia

Para mejorar los procesos de enseñanza, aprendizaje y evaluación a través de los sistemas de e-learning, proponemos la creación de nuevas actividades educativas basadas en el uso de recursos multimedia como el screencast. En este artículo explicaremos como el uso de estos recursos multimedia ha mejorado los procesos de aprendizaje y evaluación en el curso online "Seminarios Internaciones de Ciencia de Materiales I" que forman parte del proyecto ADA-Madrid. Nuestro propósito es estimular la creatividad, motivación y dinamismo del proceso de aprendizaje tanto para los profesores como para alumnos.

Encuadre histórico general: cultura, ciencia y tecnología de las aguas subterráneas

El hombre inicialmente se acerca al recurso hídrico para su aprovechamiento, pero no comprende su origen. También se asombra ante las catástrofes generadas por el temporal o por el efecto vivificante del agua sobre los cultivos. Surgen cosmogonías acuáticas y con frecuencia, dioses de las fuentes o de los manantiales, así como de la lluvia; tal es el caso de Kon, entre los incas, o Tlaloc entre los aztecas, y Chac entre los mayas, por poner algún ejemplo

Del adiestramiento a la educación: propuestas de evaluación en sistemas EVAs para la Ingeniería Agroforestal

La finalidad última de este trabajo y de las reflexiones que ha generado en el grupo de profesores que lo presentan, es avanzar hacia herramientas de evaluación acordes a los procesos formativos que priman la educación frente al adiestramiento. En este sentido, en una asignatura avanzada de la titulación de Ingeniero Agrónomo se ha definido e implementado una actividad, en la que el procedimiento de evaluación se ajusta a un modelo holístico, tiene en cuenta las particularidades de la calificación en el aprendizaje colaborativo e implica a los propios estudiantes en la evaluación de sus compañeros. El presente trabajo estudia las posibilidades de implementación de los métodos de evaluación propuestos en entornos virtuales de aprendizaje (EVAs), identificando los aspectos positivos pero también las carencias derivadas de su uso.

A platform for real-time control education with LEGO MINDSTORMS.

A set of software development tools for building real-time control systems on a simple robotics platform is described in the paper. The tools are being used in a real-time systems course as a basis for student projects. The development platform is a low-cost PC running GNU/Linux, and the target system is LEGO MINDSTORMS NXT, thus keeping the cost of the laboratory low. Real-time control software is developed using a mixed paradigm. Functional code for control algorithms is automatically generated in C from Simulink models. This code is then integrated into a concurrent, real-time software architecture based on a set of components written in Ada. This approach enables the students to take advantage of the high-level, model-oriented features that Simulink oers for designing control algorithms, and the comprehensive support for concurrency and real-time constructs provided by Ada.

Including hardware/software co-design in the ASSERT model driven engineering process.

Abstract. The ASSERT project de?ned new software engineering methods and tools for the development of critical embedded real-time systems in the space domain. The ASSERT model-driven engineering process was one of the achievements of the project and is based on the concept of property- preserving model transformations. The key element of this process is that non-functional properties of the software system must be preserved during model transformations. Properties preservation is carried out through model transformations compliant with the Ravenscar Pro?le and provides a formal basis to the process. In this way, the so-called Ravenscar Computational Model is central to the whole ASSERT process. This paper describes the work done in the HWSWCO study, whose main objective has been to address the integration of the Hardware/Software co-design phase in the ASSERT process. In order to do that, non-functional properties of the software system must also be preserved during hardware synthesis. Keywords : Ada 2005, Ravenscar pro?le, Hardware/Software co-design, real- time systems, high-integrity systems, ORK

Time and space partition platform for safe and secure flight software.

There are a number of research and development activities that are exploring Time and Space Partition (TSP) to implement safe and secure flight software. This approach allows to execute different real-time applications with different levels of criticality in the same computer board. In order to do that, flight applications must be isolated from each other in the temporal and spatial domains. This paper presents the first results of a partitioning platform based on the Open Ravenscar Kernel (ORK+) and the XtratuM hypervisor. ORK+ is a small, reliable real-time kernel supporting the Ada Ravenscar Computational model that is central to the ASSERT development process. XtratuM supports multiple virtual machines, i.e. partitions, on a single computer and is being used in the Integrated Modular Avionics for Space study. ORK+ executes in an XtratuM partition enabling Ada applications to share the computer board with other applications.

Repercusiones de las etapas del desarme sobre las políticas nacionales de ciencia y tecnología

Cuando el título de la presente contribución fue escrito, estaban aún cercanos los ecos de toda la serie acontecimientos que llenaron, de forma esperanzada, la primera mitad del presente año. Parecía que el miedo a una conflagración global se había alejado y que los dos grandes bloques habían llegado a un entendimiento que presagiaba un futuro brillante. Artículos como el célebre ¿El fin de la historia?, de Francis Fukuyama, marcaron el inicio de un conjunto de visiones optimistas de la historia, en las que el hombre iba, por fin, a poderse dedicar a toda una serie de tareas que, hasta ahora, había pospuesto ante la inminencia de tensiones más o menos reales. Parecía que un nuevo espíritu se había adueñado de la Humanidad y que todos los problemas de carácter político iban a desaparecer en virtud de la aceptación universal de un principio de armonía en torno a los valores incuestionables de la Democracia. Puede ser conveniente, a efectos de resaltar este espíritu que comentamos, entresacar algún párrafo del citado artículo de Fukuyama.

Static analysis of WCET in a satellite software subsystem

This paper describes the authors? experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within the UPMSat-2 project. Some aspects of the aiT tool, specifically those dealing with SPARC register windows, are compared to another static analysis tool, Bound-T. The results of the analysis are discussed, and some conclusions on the use of static WCET analysis tools on the SPARC architecture are commented in the paper.