989 resultados para Hatzan, Ada Rolston
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
We discuss experiences gained by porting a Software Validation Facility (SVF) and a satellite Central Software (CSW) to a platform with support for Time and Space Partitioning (TSP). The SVF and CSW are part of the EagleEye Reference mission of the European Space Agency (ESA). As a reference mission, EagleEye is a perfect candidate to evaluate practical aspects of developing satellite CSW for and on TSP platforms. The specific TSP platform we used consists of a simulate D LEON3 CPU controlled by the XtratuM separation micro-kernel. On top of this, we run five separate partitions. Each partition ru n s its own real-time operating system or Ada run-time kernel, which in turn are running the application software of the CSW. We describe issues related to partitioning; inter-partition communication; scheduling; I/O; and fault-detection, isolation, and recovery (FDIR)
Resumo:
Partitioning is a common approach to developing mixed-criticality systems, where partitions are isolated from each other both in the temporal and the spatial domain in order to prevent low-criticality subsystems from compromising other subsystems with high level of criticality in case of misbehaviour. The advent of many-core processors, on the other hand, opens the way to highly parallel systems in which all partitions can be allocated to dedicated processor cores. This trend will simplify processor scheduling, although other issues such as mutual interference in the temporal domain may arise as a consequence of memory and device sharing. The paper describes an architecture for multi-core partitioned systems including critical subsystems built with the Ada Ravenscar profile. Some implementation issues are discussed, and experience on implementing the ORK kernel on the XtratuM partitioning hypervisor is presented.
Resumo:
La historia de uno de los protagonistas tecnológicos del siglo XX, el láser, ha estado salpicada desde antes de sus inicios con las leyendas más descabelladas y las esperanzas más espectaculares. Han pasado ya más de cincuenta años desde su anuncio en los medios de comunicación y, a pesar de todo, sigue manteniendo un protagonismo que muchos otros descubrimientos de esa misma época perdieron hace ya bastante tiempo. Quizás puede ser porque gran parte de los objetivos que se decía que iba a alcanzar aun están pendientes y quizás, también, porque muchos terrenos en los cuales no se pensaba que pudiera incidir, al final tuvo en ellos una importancia destacada.