Archivo Digital UPM (1.282 recursos) This is an institutional repository providing access to the research output of the institution. Primarily contains thesis.
Mostrando recursos 1 - 20 de 105
1. Autoecología paramétrica de Juniperus thurifera L. en Castilla y León - Alonso Ponce, Rafael El enebro o sabina albar, Juniperus thurifera L., se extiende por más de 200.000 ha del territorio castellano-leonés, algo más de la mitad de las cuales son masas puras o con el enebro como especie arbórea dominante.
4. Comportamiento en servicio del hormigón estructural : Estudio teórico y experimental - Pérez Caldentey, Alejandro En esta tesis se aborda el comportamiento en servicio del hormigón estructural de una forma global partiendo del comportamiento a nivel de fibra y analizado los distintos métodos para evaluar las consecuencias que entraña dicho comportamiento a nivel estructural.
5. Fabricación en frio de áridos artificiales a partir de suelos arcillosos y arenosos - Perales Calderón, Fernando La presente Tesis Doctoral trata de demostrar qué materiales arcillosos y arenosos, tratados en frío con derivados del petróleo y mezclados con los adecuados componentes químicos, pueden dar como resultado productos pétreos artificiales con características semejantes o comparables con los áridos naturales.
7. El error como proceso de Markov no homogéneo : aplicación al análisis de la fiabilidad de los sistemas lógicos - Sáiz de Bustamante Pérez, Bárbara El presente estudio constituye un análisis de las técnicas existentes para la modelización de la fiabilidad de los sistemas lógicos y una aportación de nuevas técnicas, aplicables durante la etapa de pruebas de dichos sistemas con el fin de evaluar la evolución de su fiabilidad, y poder determinar el momento óptimo para la finalización de dicha etapa, se han examinado las hipótesis y los fundamentos matemáticos de los modelos mas característicos hoy en uso, estableciéndose un esquema para su clasificación sistemática, y se han desarrollado dos nuevas funciones de fiabilidad.el esquema de clasificación sistemática permite una rápida y sencilla elección del modelo mas apropiado a cada caso en base a las hipótesis básicas sobre las que se formulan los distintos modelos.
8. Nuevas perspectivas sobre modelización de preferencias basadas en la descomposición de relaciones binarias y funciones de elección. - Rodríguez Galiano, María Isabel En los problemas sobre selección de alternativas en un conjunto finito o infinito, se han dado históricamente tres aproximaciones, y por consiguiente tres lenguajes, para la descripción de los algoritmos de selección que tienen lugar en el proceso: lenguaje basado en criterios, lenguaje basado en relaciones binarias y lenguaje basado en funciones de elección.
9. Bifurcaciones de la ecuación de balance no lineal del buque - Zamora Rodriguez, Ricardo Esta tesis pretende utilizar el aparato matemático que sustenta la Teoría de Catástrofes y en concreto la teoría de bifurcaciones y su aplicación a la ecuación no lineal de balance de un buque, para tratar de abordar el problema de la estabilidad del buque.
11. Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad - Mengual Galán, Luis En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización del proceso de verificación, análisis e implementación de protocolos de seguridad a partir de una especificación formal y con ello, la versatilidad en la incorporación de distintos servicios de seguridad en un entorno distribuido.
16. Análisis hidrodinamico y proyecto del bulbo de proa - Carlier de Lavalle, Manuel En la primera parte de la tesis se resume el estado actual de la teoría sobre los diferentes fenómenos que justifican la acción hidrodinámica del bulbo prestando especial atención a los peor conocidos como son su acción sobre la resistencia en buques lentos mediante la reducción de la resistencia por olas rompientes y su efecto positivo sobre el rendimiento propulsivo.
1. 