Listar por título
Mostrando ítems 17478-17497 de 26911
-
Model checking techniques for runtime testing and QoS analysis
(Universidad de Málaga, Servicio de Publicaciones y Divulgación Científica, 2014)Los sistemas software y hardware se encuentran cada vez más presentes en nuestras vidas, en multitud de campos de aplicación y de cualquier tamaño. El análisis de estos sistemas es una tarea dura pero necesaria para ... -
Model Driven Development of Agents for Ambient Intelligence
(Universidad de Málaga, Servicio de Publicaciones y Divulgación Científica, 2013)En esta tesis se define un proceso dirigido por modelos para el desarrollo de sistemas de Inteligencia Ambiental (AmI) basados en agentes auto-gestionados que pueden ser ejecutados en los dispositivos más usuales de los ... -
Model Driven Evolution of an Agent-Based Home Energy Management System
(2018-10-17)Advanced smart home appliances and new models of energy tariffs imposed by energy providers pose new challenges in the automation of home energy management. Users need some assistant tool that helps them to make complex ... -
A Model for Electrodialytic Treatment of Lithium-Ion Batteries
(2019-10-08)New recycling processes for secondary batteries are needed to achieve sustainable use of natural resources. Indeed, many components in lithium ion batteries, such as cobalt and graphite, are in the European Union’s ... -
Model integration and decision-making for self-adaptation in mobile robotics
(2019-11-22)Software Engineering today is increasingly faced with the challenge of creating systems that involve both software and physical systems -- or CPS -- from robotic systems, to autonomous vehicles, to increasingly sophisticated ... -
Model predictive control of six-phase induction motor drives using virtual voltage vectors
(IEEE, 2017-06)The most serious and recent competitor to the standard field oriented control for induction motors (IM) is the finite control set model predictive control (FCS-MPC). Nevertheless, the extension to multiphase drives faces ... -
Model Transformation Testing and Debugging: A Survey
(ACM, 2022)Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ... -
Model-Based Adaptation of Software Communicating via FIFO Buffers
(2015-04-10)Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to ... -
Model-based testing of apps in real network scenarios.
(Springer Nature, 2019-04-01)Traditional testing methods for mobile apps focus on detecting execution errors. However, the evolution of mobile networks towards 5G will require additional support for app developers to also ensure good performance and ... -
La modelación de distribución de especies aplicada a la detección temprana de especies exóticas invasoras: Rugulopteryx okamurae como caso de estudio aplicado a especies marinas.
(2022)Se considera a una especie como invasora cuando consigue sobrepasar los límites de sus distribuciones geográficas gracias a la actividad humana. La preocupación por la rápida expansión de estas especies es creciente a nivel ... -
Modelación de llanuras mareales en el estuario del Guadalquivir (SO, España).
(2023)The Guadalquivir estuary (SW, Spain) is a complex system influenced by various factors such as maritime traffic, agricultural and aquaculture water usage, and its proximity to the UNESCO Biosphere Reserve, Doñana. Recent ... -
Modelado 3D & Análisis Numérico del Oído Interno mediante Elementos Finitos
(UMA Editorial, 2020-03-09)La presente tesis constituye una nueva aportación al estudio del oído interno del Sistema Auditivo Humano. El objetivo primordial es realizar un modelo del oído interno, en elementos finitos, lo más representativo posible ... -
Modelado con elementos finitos y actualización con ensayos modales experimentales de un cantón de catenaria rígida
(2017-11-03)La catenaria rígida, comúnmente instalada en metropolitanos subterráneos, presenta ciertas ventajas respecto a otros sistemas convencionales de alimentación eléctrica en el transporte ferroviario, como es la catenaria ... -
Modelado de circuitos neuronales empleando técnicas de programación orientada a bloques
(2017-01-20)El presente trabajo consiste en la implementación de un modelo del circuito completo del arco reflejo basado en la neurona biológica y en el estudio de su comportamiento dinámico. El circuito reflejo modular básico está ... -
Modelado de educación terapéutica en diabetes. Revisión sistemática y análisis cualitativo
(UMA Editorial, 2017-10-30)OBJETIVO: modelizar un programa de educación terapéutica para pacientes con Diabetes Mellitus (DM) tipo 2 en el entorno de Atención Primaria. ANTECEDENTES: la DM es considerada una de las enfermedades no contagiosas más ... -
Modelado de la calidad de experiencia del servicio para YouTube Live en redes inalámbricas
(2017-10-06)YouTube Live is one of the most popular services on the Internet, enabling an easy streaming of a live video with acceptable video quality. Thus, understanding user´s perception of this service is of the utmost importance ... -
El modelado de la cuenca del río Vélez (provincia de Málaga)
(Facultad de Filosofía y Letras. Universidad de Málaga, 1996)Se ha investigado la evolución de una cuenca hidrográfica enclavada en el sector oriental de la provincia de Málaga, la cuenca del río Velez, a lo largo del periodo Cuaternario y hasta nuestros tiempos. Del mismo modo, se ... -
Modelado de la interacción entre pantógrafo y catenaria rígida con técnicas de elementos finitos y validación con ensayos modales experimentales
(UMA Editorial, 2023)El trabajo de la presente tesis se enmarca en el sector ferroviario. Desde su invención, el ferrocarril trajo cambios importantes en las costumbres de las sociedades. A día de hoy, el ferrocarril tiene además un papel ... -
Modelado de rendimiento de segmento en redes de acceso radio mediante aprendizaje supervisado
(2022-09)In 5G systems, the Network Slicing (NS) feature allows to deploy several logical networks customized for specific verticals over a common physical infrastructure. In the Radio Access Network (RAN), cellular operators need ... -
Modelado de ruido de una cámara para lectura de biosensores fotónicos multiplexados.
(2023)Los biosensores fotónicos basados en arquitecturas interferométricas de Mach-Zehnder con lectura de fase coherente han demostrado ser idóneos para la implementación de dispositivos de diagnóstico compactos, de bajo coste ...