Don Pedro Luis Sanchez... Certifico que por Reales Ordenes de su Magestad... se ha servido resolver que mande a todas las Justicias del Reyno... no permitan el abuso introducido entre los medicos de firmarse doctores... que no esten graduados.. [Texto impreso]

Tít. y autor tomados de comienzo de texto

Aranceles Reales recopilados en uno, para el mas pronto y uniforme despacho en las aduanas [Texto impreso]

[]2, A-Z4, Aa-Gg4, Kk6

Descripcion de todas las provincias, reynos, estados, y ciudades principales del mundo [Texto impreso] : sacada de las relaciones toscanas de Juan Botero Benes en que se trata de las costumbres, industria ... de Europa, Asia, Africa ...

Existe una ed. con el mismo pie de imp., pero con diferente signaturización tipográfica

Suma y compendio de todas las chronicas del mundo [Texto impreso] : desde su principio hasta el año presente

Marca tip. en port.

Reportorio Universal de todas las leyes destos reynos de Castilla [Texto impreso]

Datos de impresor tomados del colofón

Manifiesto que hizo a... Carlos 3º en 30 de Septiembre de 1788, sobre lo mui combeniente que seria la creación de un tribunal... y Audiencia de todas las causas de Tercias Reales de las dos Castillas con inclusión de las Andalucias... [Manuscrito]

Incipit : "Señor D. Francisco Rojo, Archivero... del Marqués de Valdecanzana..."

A framework for mixed-criticality partitioned real-time embedded systems

Los sistemas empotrados son cada día más comunes y complejos, de modo que encontrar procesos seguros, eficaces y baratos de desarrollo software dirigidos específicamente a esta clase de sistemas es más necesario que nunca. A diferencia de lo que ocurría hasta hace poco, en la actualidad los avances tecnológicos en el campo de los microprocesadores de los últimos tiempos permiten el desarrollo de equipos con prestaciones más que suficientes para ejecutar varios sistemas software en una única máquina. Además, hay sistemas empotrados con requisitos de seguridad (safety) de cuyo correcto funcionamiento depende la vida de muchas personas y/o grandes inversiones económicas. Estos sistemas software se diseñan e implementan de acuerdo con unos estándares de desarrollo software muy estrictos y exigentes. En algunos casos puede ser necesaria también la certificación del software. Para estos casos, los sistemas con criticidades mixtas pueden ser una alternativa muy valiosa. En esta clase de sistemas, aplicaciones con diferentes niveles de criticidad se ejecutan en el mismo computador. Sin embargo, a menudo es necesario certificar el sistema entero con el nivel de criticidad de la aplicación más crítica, lo que hace que los costes se disparen. La virtualización se ha postulado como una tecnología muy interesante para contener esos costes. Esta tecnología permite que un conjunto de máquinas virtuales o particiones ejecuten las aplicaciones con unos niveles de aislamiento tanto temporal como espacial muy altos. Esto, a su vez, permite que cada partición pueda ser certificada independientemente. Para el desarrollo de sistemas particionados con criticidades mixtas se necesita actualizar los modelos de desarrollo software tradicionales, pues estos no cubren ni las nuevas actividades ni los nuevos roles que se requieren en el desarrollo de estos sistemas. Por ejemplo, el integrador del sistema debe definir las particiones o el desarrollador de aplicaciones debe tener en cuenta las características de la partición donde su aplicación va a ejecutar. Tradicionalmente, en el desarrollo de sistemas empotrados, el modelo en V ha tenido una especial relevancia. Por ello, este modelo ha sido adaptado para tener en cuenta escenarios tales como el desarrollo en paralelo de aplicaciones o la incorporación de una nueva partición a un sistema ya existente. El objetivo de esta tesis doctoral es mejorar la tecnología actual de desarrollo de sistemas particionados con criticidades mixtas. Para ello, se ha diseñado e implementado un entorno dirigido específicamente a facilitar y mejorar los procesos de desarrollo de esta clase de sistemas. En concreto, se ha creado un algoritmo que genera el particionado del sistema automáticamente. En el entorno de desarrollo propuesto, se han integrado todas las actividades necesarias para desarrollo de un sistema particionado, incluidos los nuevos roles y actividades mencionados anteriormente. Además, el diseño del entorno de desarrollo se ha basado en la ingeniería guiada por modelos (Model-Driven Engineering), la cual promueve el uso de los modelos como elementos fundamentales en el proceso de desarrollo. Así pues, se proporcionan las herramientas necesarias para modelar y particionar el sistema, así como para validar los resultados y generar los artefactos necesarios para el compilado, construcción y despliegue del mismo. Además, en el diseño del entorno de desarrollo, la extensión e integración del mismo con herramientas de validación ha sido un factor clave. En concreto, se pueden incorporar al entorno de desarrollo nuevos requisitos no-funcionales, la generación de nuevos artefactos tales como documentación o diferentes lenguajes de programación, etc. Una parte clave del entorno de desarrollo es el algoritmo de particionado. Este algoritmo se ha diseñado para ser independiente de los requisitos de las aplicaciones así como para permitir al integrador del sistema implementar nuevos requisitos del sistema. Para lograr esta independencia, se han definido las restricciones al particionado. El algoritmo garantiza que dichas restricciones se cumplirán en el sistema particionado que resulte de su ejecución. Las restricciones al particionado se han diseñado con una capacidad expresiva suficiente para que, con un pequeño grupo de ellas, se puedan expresar la mayor parte de los requisitos no-funcionales más comunes. Las restricciones pueden ser definidas manualmente por el integrador del sistema o bien pueden ser generadas automáticamente por una herramienta a partir de los requisitos funcionales y no-funcionales de una aplicación. El algoritmo de particionado toma como entradas los modelos y las restricciones al particionado del sistema. Tras la ejecución y como resultado, se genera un modelo de despliegue en el que se definen las particiones que son necesarias para el particionado del sistema. A su vez, cada partición define qué aplicaciones deben ejecutar en ella así como los recursos que necesita la partición para ejecutar correctamente. El problema del particionado y las restricciones al particionado se modelan matemáticamente a través de grafos coloreados. En dichos grafos, un coloreado propio de los vértices representa un particionado del sistema correcto. El algoritmo se ha diseñado también para que, si es necesario, sea posible obtener particionados alternativos al inicialmente propuesto. El entorno de desarrollo, incluyendo el algoritmo de particionado, se ha probado con éxito en dos casos de uso industriales: el satélite UPMSat-2 y un demostrador del sistema de control de una turbina eólica. Además, el algoritmo se ha validado mediante la ejecución de numerosos escenarios sintéticos, incluyendo algunos muy complejos, de más de 500 aplicaciones. ABSTRACT The importance of embedded software is growing as it is required for a large number of systems. Devising cheap, efficient and reliable development processes for embedded systems is thus a notable challenge nowadays. Computer processing power is continuously increasing, and as a result, it is currently possible to integrate complex systems in a single processor, which was not feasible a few years ago.Embedded systems may have safety critical requirements. Its failure may result in personal or substantial economical loss. The development of these systems requires stringent development processes that are usually defined by suitable standards. In some cases their certification is also necessary. This scenario fosters the use of mixed-criticality systems in which applications of different criticality levels must coexist in a single system. In these cases, it is usually necessary to certify the whole system, including non-critical applications, which is costly. Virtualization emerges as an enabling technology used for dealing with this problem. The system is structured as a set of partitions, or virtual machines, that can be executed with temporal and spatial isolation. In this way, applications can be developed and certified independently. The development of MCPS (Mixed-Criticality Partitioned Systems) requires additional roles and activities that traditional systems do not require. The system integrator has to define system partitions. Application development has to consider the characteristics of the partition to which it is allocated. In addition, traditional software process models have to be adapted to this scenario. The V-model is commonly used in embedded systems development. It can be adapted to the development of MCPS by enabling the parallel development of applications or adding an additional partition to an existing system. The objective of this PhD is to improve the available technology for MCPS development by providing a framework tailored to the development of this type of system and by defining a flexible and efficient algorithm for automatically generating system partitionings. The goal of the framework is to integrate all the activities required for developing MCPS and to support the different roles involved in this process. The framework is based on MDE (Model-Driven Engineering), which emphasizes the use of models in the development process. The framework provides basic means for modeling the system, generating system partitions, validating the system and generating final artifacts. The framework has been designed to facilitate its extension and the integration of external validation tools. In particular, it can be extended by adding support for additional non-functional requirements and support for final artifacts, such as new programming languages or additional documentation. The framework includes a novel partitioning algorithm. It has been designed to be independent of the types of applications requirements and also to enable the system integrator to tailor the partitioning to the specific requirements of a system. This independence is achieved by defining partitioning constraints that must be met by the resulting partitioning. They have sufficient expressive capacity to state the most common constraints and can be defined manually by the system integrator or generated automatically based on functional and non-functional requirements of the applications. The partitioning algorithm uses system models and partitioning constraints as its inputs. It generates a deployment model that is composed by a set of partitions. Each partition is in turn composed of a set of allocated applications and assigned resources. The partitioning problem, including applications and constraints, is modeled as a colored graph. A valid partitioning is a proper vertex coloring. A specially designed algorithm generates this coloring and is able to provide alternative partitions if required. The framework, including the partitioning algorithm, has been successfully used in the development of two industrial use cases: the UPMSat-2 satellite and the control system of a wind-power turbine. The partitioning algorithm has been successfully validated by using a large number of synthetic loads, including complex scenarios with more that 500 applications.

En la ciudad de Valencia a los 28 dias del mes mayo de 1756 el señor Don Sebastian del Castillo... dixo que mediante hallarse... abastecida la caxa... de todas las classes y especies de papel... [Texto impreso]

Texto certificado por Sebastián del Castillo

L.A.V. Madrid-Levante. Tramo: Albacete-Murcia. Subtramo: Chinchilla-Casa de las Monjas

La actuación que se desarrolla en este proyecto se corresponde con el tramo comprendido entre Chinchilla de Monte Aragón y Casa de las Monjas (Albacete), con una longitud de 34+727 kilómetros. Trata de emular un supuesto proyecto de construcción de este tramo de la línea, suponiendo que nuestro cliente sería el Administrador de Infraestructuras Ferroviarias (ADIF), aunque teniendo en cuenta la imposibilidad, por parte del alumno, de realizar todas las actividades que serían estrictamente necesarias para su redacción real. En este sentido, se han descrito las actividades realizadas por el alumno en cada una de las áreas de estudio, así como las actividades que deberían realizarse para completar el proyecto en el caso de tratarse de una situación real

Guía de las actividades de los contenidos del segundo cuatrimestre de la asignatura de Citología e Histología Vegetal y Animal

En este trabajo recogemos las principales pautas y metodología seguida para la elaboración de la Guía de Estudio de parte de los contenidos del segundo cuatrimestre de la asignatura de Citología e Histología Animal y Vegetal de los estudios de Biología. En dicha guía se recoge el desarrollo de las actividades docentes que han sido llevadas a cabo utilizando la plataforma informática Campos Virtual de la Universidad de Alicante. Se trata del ensayo de una nueva manera de abordar el proceso de enseñanza/aprendizaje de nuestros alumnos, tendente a la adaptación de los contenidos de Histología al Espacio Europeo de Educación Superior (EEES). El método empleado ha sido introducir a nuestros alumnos a ser los artífices de su propia formación, mediante la realización tanto de tareas de autoaprendizaje como la exposición de sus resultados al resto de sus compañeros en una serie de seminarios. La metodología empleada se expone en cada uno de los apartados de esta guía.

Factores determinantes de los resultados derivados de las actividades de patrocinio y mecenazgo

El objetivo de este trabajo consiste en analizar los resultados empresariales derivados de las acciones de patrocinio y mecenazgo, así como sus factores determinantes. La metodología aplicada utiliza el event study para estimar los excesos de rentabilidad de las acciones generadas en Bolsa por una muestra de 21 noticias de patrocinio y 37 noticias de mecenazgo, correspondientes a 26 empresas españolas. Adicionalmente se realiza un análisis de regresión para determinar la influencia de ciertas dimensiones (el origen del evento, así como el vínculo entre el evento y la actividad de la empresa) sobre dichas rentabilidades anormales. La aplicación empírica efectuada ha permitido detectar que sólo las acciones de patrocinio generan rentabilidad, siendo sus principales determinantes el tamaño y el vínculo entre el evento financiado y la actividad de la empresa.

Contribución de las actividades prácticas en la evaluación de asignaturas pertenecientes a grados de ciencias experimentales

Se presentan los resultados del proceso de evaluación de algunas asignaturas experimentales incluidas dentro de diferentes títulos, Grado en Biología, Grado en Ciencias del Mar, Grado en Químicas, Grado en Óptica y Optometría y Grado en Ingeniería Química, en las que el Departamento de Química Orgánica de la Universidad de Alicante está involucrado. Los resultados recogidos muestran como la evaluación continua y la realización de una prueba final influyen en la calificación final de la asignatura. Además, dentro de la evaluación continua se han diseñado diferentes actividades, considerando la realización de prácticas de laboratorio, la resolución de problemas y presentación de los mismos, así como la entrega de cuestionarios y ejercicios a través de plataformas virtuales. Se presenta el análisis de como cada una de estas actividades contribuye en el resultado final obtenido por los estudiantes, mostrando que las actividades de carácter práctico influyen en la calificación final de una manera más positiva.

Reflexiones en torno a la evaluación de las actividades del proceso de enseñanza-aprendizaje

La evaluación es un proceso sistemático, continuo e integral destinado a determinar hasta qué punto han sido alcanzados los objetivos educativos. En ella se aúnan dos actividades fundamentales: medir y emitir juicios de valor a partir, de los datos. Sin embargo, a pesar de la claridad de estos conceptos la forma de evaluar a los alumnos todavía sigue plagada de importantes contradicciones entre los profesores, lo que manifiesta unas conductas didácticas alejadas de lo que debiera ser una pedagogía basada en la evidencia. El objetivo de este proyecto es evidenciar las citadas discrepancias, entre los agentes del proceso de enseñanza aprendizaje (alumnos y profesores), a la hora de elaborar, realizar y calificar las pruebas de evaluación (“exámenes”) de los alumnos de varias disciplinas relacionadas con la Biomedicina. La metodología empleada ha consistido en aplicar a los estudiantes un sencillo cuestionario con preguntas de elección múltiple. A partir de los resultados, se pretende reflexionar sobre conjunto de criterios sólidos que permitan realizar las evaluaciones de los alumnos con mayor validez, fiabilidad, objetividad y pertinencia, como recomienda la OMS en su Guía Pedagógica para el Personal de Salud.

Manual de Buenas Prácticas para la Salud Auditiva

El presente Proyecto tiene como objetivo desarrollar un Manual de Buenas Prácticas para la Salud Auditiva, como una de las actividades de extensión a la comunidad del Programa Multidisciplinario de Conservación y Promoción de la Audición implementado por el Centro de Investigación y Transferencia en Acústica (CINTRA). Este Programa de Investigación y Transferencia aborda holísticamente la problemática del deterioro temprano de la audición inducido por ruido de tipo social (o recreativo), desarrollando un estudio longitudinal con el objetivo de conocer variables audiológicas, acústicas y psicosociales involucradas en la exposición a música a altos niveles sonoros. Los resultados del estudio mostraron en el aspecto audiológico descensos en los umbrales auditivos de todos los adolescentes evaluados en el cuarto año de estudio; este deterioro paulatino general de su audición permitió diferenciar dos grupos: con Desplazamiento Leve y con Desplazamiento Significativo de los umbrales auditivos. En el aspecto acústico, las mediciones de niveles sonoros realizadas tanto en lugares bailables (entre 108 y 112), dBA como durante el uso de Reproductores Personales de Música (entre 83 y 105) dBA, mostraron valores elevados de inmisión sonora por parte de los adolescentes participantes. Por último, en el aspecto psicosocial se observó un incremento al cuarto año de estudio de la participación en todas las actividades recreativas asociadas a música a altos niveles sonoros: escuchar música en la casa, participar en bandas de música, asistir a discotecas, asistir a recitales en vivo y usar reproductores personales de música. Los resultados obtenidos son congruentes con otros estudios sobre el tema a nivel internacional, y ponen de relieve la necesidad de diseñar estrategias educativas dirigidas a la promoción de la audición en una etapa del desarrollo en que aún se desconoce la importancia de cuidar la salud para una mejor calidad de vida en el futuro. En las últimas décadas se han desarrollado programas educativos para tal finalidad que evidencian la importancia de brindar información para aumentar la concientización respecto a la problemática. Por ejemplo, la Sociedad Española de Acústica lleva a cabo un Programa de Concienciación sobre el Ruido desde el año 2008. Por otra parte, el Instituto Nacional de Salud de E.E.U.U. junto a otras instituciones vinculadas a la audición, implementa desde el año 1999 el Programa “Dangerous Decibels”. Ambos programas acompañan la formación con Manuales didácticos destinados a los alumnos y profesores de enseñanza primaria y secundaria. A nivel nacional, el CINTRA desarrolló actividades de Promoción de Salud Auditiva en escuelas de nivel medio a través de la formación de Jóvenes Promotores de Salud Auditiva desde el año 2008. Como continuidad de estas acciones y a partir de la visualización de la necesidad de intervenir a edades tempranas, a partir del año 2012 se dictó un curso de capacitación destinado a docentes de Escuelas Municipales basado en la premisa de “formación de formadores” para que sean ellos los responsables de transmitir desde el ámbito escolar las estrategias de autocuidado en materia de salud auditiva y de responsabilidad hacia la educación ambiental. El subsidio solicitado posibilitará la elaboración y edición del manual didáctico para reforzar y enriquecer el contenido impartido en el mencionado curso y se constituirá en el material didáctico para docentes. Este Manual incluirá los siguientes contenidos conceptuales: Educación y Salud, Salud Auditiva y, Programas Educativos para la Promoción de la Salud Auditiva, y Buenas Prácticas para la Salud Auditiva.