Spelling suggestions: "subject:"1203 - ciencia dde los coordenadores"" "subject:"1203 - ciencia dde los ordenados""
21 |
Prisma: aspect-oriented software architecturesPérez Benedí, Jenifer 07 May 2008 (has links)
Hoy en día, la complejidad de los sistemas software y la gran relevancia que han adquirido los
requisitos no funcionales son retos que han de abordarse durante el proceso de desarrollo
software. En los últimos años, estas propiedades han provocado un gran incremento en el
tiempo y el personal necesario para llevar a cabo los procesos de desarrollo y mantenimiento
del software. Por ello, existe un gran interés en mejorar dichos procesos. Esta tesis presenta un
nuevo enfoque de desarrollo para sistemas software complejos. Dicho enfoque, llamado
PRISMA, da soporte a estos nuevos retos y permite satisfacer la elevada competitividad del
mercado.
El enfoque PRISMA se ha materializado en un marco de trabajo formado por un modelo,
un lenguaje, una metodología y un prototipo de herramienta CASE (Computer-Aided Software
Engineering). El modelo de PRISMA combina dos aproximaciones para definir arquitecturas
software: el Desarrollo de Software Basado en Componentes (DSBC) y el Desarrollo de
Software Orientado a Aspectos (DSOA). Las principales aportaciones del modelo es la manera
en la que integra ambas aproximaciones para obtener sus ventajas y su lenguaje formal.
PRISMA tiene en cuenta los requisitos no funcionales desde las primeras etapas del ciclo de
vida software y mejora su reutilización y el mantenimiento. Todo ello gracias a la
descomposición que realiza de los sistemas software utilizando dos conceptos diferentes:
aspectos y elementos arquitectónicos (componentes y conectores).
PRISMA proporciona un Lenguaje de Descripción de Arquitecturas Orientado a Aspectos
(LDAOA) formal para la especificación de arquitecturas software orientadas a aspectos. El
LDAOA de PRISMA es independiente de cualquier tecnología y está basado en lenguajes
formales para evitar la ambigüedad y poder aplicar técnicas de generación automática de
código.
La metodología de PRISMA apuesta por el desarrollo de software siguiendo el Paradigma
de la Prototipación Automática mediante la aplicación del e / Pérez Benedí, J. (2006). Prisma: aspect-oriented software architectures [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1928 / Palancia
|
22 |
On the design of fast and efficient wavelet image coders with reduced memory usageOliver Gil, José Salvador 06 May 2008 (has links)
Image compression is of great importance in multimedia systems and
applications because it drastically reduces bandwidth requirements for
transmission and memory requirements for storage. Although earlier
standards for image compression were based on the Discrete Cosine
Transform (DCT), a recently developed mathematical technique, called
Discrete Wavelet Transform (DWT), has been found to be more efficient
for image coding.
Despite improvements in compression efficiency, wavelet image coders
significantly increase memory usage and complexity when compared with
DCT-based coders. A major reason for the high memory requirements is
that the usual algorithm to compute the wavelet transform requires the
entire image to be in memory. Although some proposals reduce the memory
usage, they present problems that hinder their implementation. In
addition, some wavelet image coders, like SPIHT (which has become a
benchmark for wavelet coding), always need to hold the entire image in
memory.
Regarding the complexity of the coders, SPIHT can be considered quite
complex because it performs bit-plane coding with multiple image scans.
The wavelet-based JPEG 2000 standard is still more complex because it
improves coding efficiency through time-consuming methods, such as an
iterative optimization algorithm based on the Lagrange multiplier
method, and high-order context modeling.
In this thesis, we aim to reduce memory usage and complexity in
wavelet-based image coding, while preserving compression efficiency. To
this end, a run-length encoder and a tree-based wavelet encoder are
proposed. In addition, a new algorithm to efficiently compute the
wavelet transform is presented. This algorithm achieves low memory
consumption using line-by-line processing, and it employs recursion to
automatically place the order in which the wavelet transform is
computed, solving some synchronization problems that have not been
tackled by previous proposals. The proposed encode / Oliver Gil, JS. (2006). On the design of fast and efficient wavelet image coders with reduced memory usage [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1826 / Palancia
|
23 |
Contractive Maps and Complexity Analysis in Fuzzy Quasi-Metric SpacesTirado Peláez, Pedro 04 September 2008 (has links)
En los últimos años se ha desarrollado una teoría matemática con propiedades robustas con el fin de fundamentar la Ciencia de la Computación. En este sentido, un avance significativo lo constituye el establecimiento de modelos matemáticos que miden la "distancia" entre programas y entre algoritmos, analizados según su complejidad computacional.
En 1995, M. Schellekens inició el desarrollo de un modelo matemático para el análisis de la complejidad algorítmica basado en la construcción de una casi-métrica definida en el espacio de las funciones de complejidad, proporcionando una interpretación computacional adecuada del hecho de que un programa o algoritmo sea más eficiente que otro en todos su "inputs". Esta información puede extraerse en virtud del carácter asimétrico del modelo. Sin embargo, esta estructura no es aplicable al análisis de algoritmos cuya complejidad depende de dos parámetros. Por tanto, en esta tesis introduciremos un nuevo espacio casi-métrico de complejidad que proporcionará un modelo útil para el análisis de este tipo de algoritmos. Por otra parte, el espacio casi-métrico de complejidad no da una interpretación computacional del hecho de que un programa o algoritmo sea "sólo" asintóticamente más eficiente que otro. Los espacios casi-métricos difusos aportan un parámetro "t", cuya adecuada utilización puede originar una información extra sobre el proceso computacional a estudiar; por ello introduciremos la noción de casi-métrica difusa de complejidad, que proporciona un modelo satisfactorio para interpretar la eficiencia asintótica de las funciones de complejidad.
En este contexto extenderemos los principales teoremas de punto fijo en espacios métricos difusos , utilizando una determinada noción de completitud, y obtendremos otros nuevos. Algunos de estos teoremas también se establecerán en el contexto general de los espacios casi-métricos difusos intuicionistas, de lo que resultarán condiciones de contracción menos fuertes.
Los resultados obt / Tirado Peláez, P. (2008). Contractive Maps and Complexity Analysis in Fuzzy Quasi-Metric Spaces [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2961 / Palancia
|
Page generated in 0.1199 seconds