[pt] Esta Dissertação destina-se ao desenvolvimento de novas técnicas de realce aplicadas no domínio da transformada. O estudo das transformadas bidimensionais motivaram o desenvolvimento de técnicas baseadas nestas ferramentas matemáticas. Análises comparativas entre os métodos de realce no domínio espacial e no domínio da transformada logo revelaram as vantagens do uso das transformadas. É proposta e analisada uma nova técnica de realce no domínio da Transformada Cosseno Discreta (DCT). Os resultados mostraram que esta nova proposta é menos afetada por ruído e realça mais a imagem que as técnicas apresentadas na literatura. Adicionalmente, considera-se uma estratégia com o objetivo de eliminar o efeito de escurecimento da imagem processada pelo Alpha-rooting. É também apresentada uma nova proposta de realce no domínio da Transformada Wavelet Discreta (DWT). As simulações mostraram que a imagem resultante possui melhor qualidade visual que a de técnicas relatadas na literatura, além de ser pouco afetada pelo ruído. Além disso, a escolha do parâmetro de realce é simplificada. / [en] This Dissertation is aimed at the development of new enhancement techniques applied in the transform domain. The study of the bidimensional transforms motivated the development of techniques based on these mathematical tools. The comparative analysis between the enhancement methods in the spatial domain and in the transform domain revealed the advantages of the use of transforms. A new proposal of enhancement in the Discrete Cosine Transform (DCT) domain is analysed. The results showed that this new proposal is less affected by noise and enhances more the image than other techniques reported in the literature. In addition, a strategy to eliminate the darkening effect of enhancement by Alpha-rooting is considered. A new proposal of enhancement in the Discrete Wavelet Transform (DWT) domain is also presented. Simulation results showed that the enhanced images have better visual quality than other ones presented in the literature and is less affected by noise. Moreover, the choice of the enhancement parameter is simplified.

Web application development is a complex and time consuming process that involves di erent stakeholders (ranging from customers to developers); these applications have some unique characteristics like navigational access to information, sophisticated interaction features, etc. However, there have been few proposals to represent those requirements that are speci c to Web applications. Consequently, validation of requirements (e.g. in acceptance tests) is usually informal, and as a result troublesome. To overcome these problems, this PhD Thesis proposes WebSpec, a domain speci c language for specifying the most relevant and characteristic requirements of Web applications: those involving interaction and navigation. We describe WebSpec diagrams, discussing their abstraction and expressive power. As part of this work, we have created a test driven model based approach called WebTDD that gives a good framework for the language. Using the language with this approach we have test several of its features such as automatic test generation, management of changes in requirements, and improving the understanding of the diagrams through application simulation. This PhD Thesis is composed of a set of published and submitted papers. In order to write this PhD Thesis as a collection of papers, several requirements must be taken into account as stated by the University of Alicante. With regard to the content of the PhD Thesis, it must speci cally include a summary which is devoted to the description of initial hypotheses, research objectives, and the collection of publications itself, thus justifying its coherence. It should be underlined that this summary of the PhD Thesis must also include research results and nal conclusions. This summary corresponds to part I of this PhD Thesis (chapter 1 has been written in Spanish while chapter 2 is in English). This work has been partially supported by the following projects: MANTRA (GV/2011/035) from Valencia Ministry, MANTRA (GRE09-17) from the University of Alicante and by the MESOLAP (TIN2010-14860) project from the Spanish Ministry of Education and Science. / Este trabajo ha sido parcialmente financiado por los siguientes proyectos: Mantra (GV/2011/035), Ministerio de Valencia, MANTRA (GRE09-17) de la Universidad de Alicante y por el MESOLAP (TIN2010-14860) proyecto del Ministerio de Educación y Ciencia de España.

Ethnic Identity under Inka Rule: An Archaeological and Ethnohistoric Assessment of the Effects of the Inka State on the Canas Ethnic GroupCieza de Leon describes how after agreeing to an amnesty with Inka Viracocha the Canas ethnic group became major allies of the Inka and relocated their settlements away from the hill tops and down onto the valley floor. In this paper we will consider these claims in the light of archaeological evidence for changes and continuities within the Canas territory during the Late Intermediate and Inka periods. This will be primarily based upon the results of survey, architectural analysis, excavations and artifact studies within a 520 km2 survey area around the site of Cacha/Raqchi. We will describe the very limited effect which inclusion within the Inka Empire seems to have had on local settlement organization as well as examing the administrative apparatus that the Inka state located within the Canas territory. We will evaluate what this archaeological evidence tells us about how the Inka treated their allies and to what degree local ethnic identity can be recognized before, during, and following incorporation into the Inka Empire. Finally, we will contrast the Canas situation with the factors that led to the development of an "Inka" identity in the Cuzco region prior to the emergence of the Inka state. / Cieza de León describe como luego de acordar una amnistía con el Inka Viracocha, el grupo étnico Canas se convirtió en aliado principal de los inkas y reubicó sus asentamientos lejos de la cumbre de los cerros y, más bien, se asentaron en el fondo de los valles. En el presente trabajo se consideran estas afirmaciones a la luz de las evidencias arqueológicas de cambios y continuidades dentro del territorio canas durante el Periodo Intermedio Tardío y el Periodo Inca. Por ello se basa primeramente en los resultados de análisis de datos de prospección, análisis arquitectónicos, excavaciones y estudios de los artefactos en un área prospectada de 520 km2 alrededor del sitio de Cacha/Raqchi. Se describe el efecto muy limitado que la incorporación dentro del imperio parece haber tenido en el patrón de asentamiento local, así como se examina el aparato administrativo que el estado estableció dentro del territorio canas. Se evalúa lo que estas evidencias arqueológicas aportan acerca de cómo los inkas trataron a sus aliados y en que grado se puede reconocer la identidad étnica local antes, durante y después de su incorporación dentro del Imperio Inka. Finalmente, se contrasta la situación de los canas con los factores que condujeron al desarrollo de la identidad "inka" en la región del Cuzco antes del surgimiento del Estado Inka.

La posesión como derecho es la consecuencia jurídica de la posesión como hecho, es decir, la posesión se sustenta en la apariencia de un derecho frente a terceros (conducta posesoria). El fundamento de la posesión en la doctrina difiere, sin embargo, como señala el autor, en nuestro país el Código Civil ha adoptado uno, el cuál debe ser adecuado acorde al tiempo y al sistema registral. La posesión se configura como un sustituto de la prueba de propiedad ante la dificultad que significa acreditar el dominio en cada momento, aunque ilegítimos (no propietarios) se beneficien de ello; por ello la aspiración es perfeccionar la prueba de la propiedad. Es decir, la posesión es ahora sólo la mejor fórmula que existe para resolver el problema de las dificultades probatorias.

Technological Production and Identity during the Inka Domination in Northwestern ArgentinaInka domination in the Yocavil valley of Northwestern Argentina implied a complex articulation between central and local social formations power. Using technology production as the field to explore ways and results of struggle between state and subordinated sector interests, we analize some aspects of the changes and continuities in Santa Maria metallurgy and pottery in their technical and expressive aspects. From such analysis, we conclude that, as the circulation of material within the empire operated by restricted channels, the traditional forms of production persisted. Interpreting evidence from the perspective of cultural resistence, we propose that, in order to achieve production targets for the region, state administrators must have respected some elements of the local system of representation that were related to the specific organizational qualities of social formations in the region. / La dominación incaica en el valle de Yocavil del Noroeste Argentino implicó una espinosa articulación entre el poder central y el de las formaciones sociales complejas locales. Considerando a la producción tecnológica como un campo adecuado para explorar las formas y resultados del enfrentamiento entre los intereses estatales y los de los sectores subordinados, se analizan algunos aspectos de los cambios y continuidades en la metalurgia y alfarería santamarianas, tanto en sus aspectos técnicos como expresivos. De dicho análisis se desprende que, así como la circulación de materiales asociados al imperio operó por canales restringidos, el "modo de hacer" tradicional, en términos amplios, mantuvo vigencia. Interpretando la evidencia en el marco de fenómenos de resistencia cultural, se propone que, para alcanzar los objetivos programados para la región, los administradores estatales debieron respetar determinados elementos del sistema de representaciones autóctono, a su vez vinculados con cualidades organizativas de las formaciones sociales.

Esta tese apresenta o desenvolvimento de um método de elementos de contorno (BEM) no domínio do tempo baseado em fontes de Rankine para analise linear de comportamento no mar de sistemas oceânicos. O método e formulado por dois problemas de valor inicial de contorno definidos para os potenciais de velocidade e aceleração, sendo este ultimo utilizado para calcular de maneira acurada a derivada temporal do potencial de velocidades. Testes de verificação são realizados para a solução dos problemas de difração, radiação e de corpo livre para flutuar. Uma vez verificada, a ferramenta e aplicada em dois problemas multicorpos considerados no estado-da-arte em termos de modelagem hidrodinâmica utilizando BEM. O primeiro trata do problema envolvendo duas embarcações atracadas a contrabordo. Este é um caso no qual os códigos baseados na teoria de escoamento potencial são conhecidos por apresentarem dificuldades na determinação das soluções, tendendo a superestimar as elevações de onda no vão entre as embarcações e a apresentar problemas de convergência numérica associados a efeitos ressonantes de onda. O problema e tratado por meio do método de damping lid e a convergência das series temporais e investigada avaliando diferentes níveis de amortecimento. Os resultados são comparados com dados experimentais. O segundo problema se refere a analise de sistemas multicorpos com grandes deslocamentos relativos. Neste problema, ferramentas no domínio da frequência nao podem ser utilizadas, por considerarem apenas malhas fixas. Deste modo, o presente método e estendido para considerar um gerador de malhas de paineis e um algoritmo de interpolação de ordem alta no laco de tempo do código, possibilitando a mudança de posições relativas entre os corpos durante a simulação. Os resultados são comparados com dados de experimentos executados especificamente para fins de verificação do código, apresentando uma boa concordância. De acordo com o conhecimento do autor, esta e a primeira vez que certas questões relativas a modelagem numérica destes dois problemas multicorpos são relatadas na literatura especializada em hidrodinâmica computacional. / The development of a time domain boundary elements method (BEM) based on Rankine\'s sources for linear seakeeping analysis of offshore systems is here addressed. The method is formulated by means of two Initial Boundary Value Problems defined for the velocity and acceleration potentials, the latter being used to ensure an accurate calculation of the time derivatives of the velocity potential. Verification tests for solving the difraction, radiation and free floating problems are presented. Once verified, the code is applied for two complex multi-body problems considered to be in the state-of-the-art for hydrodynamic modelling using BEM. The first is the seakeeping problem of two ships arranged in side-by-side, a problem in which all potential flow codes are known to have a poor performance, tending to provide unrealistic high wave elevations in the gap between the vessels and to present numerical convergence problems associated to resonant effects. The problem is here addressed by means of a damping lid method and the convergence of the time series with different damping levels is investigated. Results are compared to data measured in an experimental campaign. The second problem refers to the analysis of multi-body systems composed of bodies undergoing large relative displacements. This is a case that cannot be properly analyzed by frequency domain codes, since they only consider fixed meshes. For this application, the present numerical method is extended to consider a panel mesh generator in the time loop of the code, enabling the change of body relative positions during the computations. Furthermore, a higher order interpolation algorithm designed to recover the solutions of a previous time-step was also implemented, enabling the calculations to progress with reasonable accuracy in time. The numerical results are compared to data of experimental tests designed and executed for verification of the code, and presented a very good agreement. To the author\'s knowledge, this is the first time that certain issues concerning the numerical modelling of these two complex multi-body problems are reported in the literature specialized in hydrodynamic computations.

Memoria (licenciado en ciencias jurídicas y sociales) / No autorizada por el autor para ser publicada a texto completo / Esta memoria de prueba consiste en la actualización de la jurisprudencia y normas legales contenidas en el Título IV, de la ocupación, y Título V, de la accesión, del Libro II del Repertorio de legislación y jurisprudencia del Código Civil y sus leyes complementarias, cuya última edición data del año 1996. La necesidad de esta actualización, surge dada utilidad de esta herramienta para el estudio y práctica del Derecho, así como también para el desarrollo investigativo y científico del Derecho Privado. El trabajo de recopilación de esta memoria de prueba, actualiza la jurisprudencia contenida en las materias señaladas hasta el año 2010, actualizando también las referencias legales insertas en esta obra. Para complementar este trabajo, se incluye un anexo con fichas que extractan las sentencias recopiladas en el proceso de actualización, las que se encuentran debidamente clasificadas por materia y artículo

[pt] O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Algumas discussões subsidiárias, igualmente importantes para o trabalho como um todo, dizem respeito à concepção dos conceitos de modelo e interpretação que se podem depreender dos artigos supracitados, e de como ela difere da assim chamada concepção standard em teoria de modelos. Nosso objetivo principal é mostrar o lugar ocupado pelo conceito de forma lógica na obra de Tarski, e de como sua concepção acerca deste conceito implica uma visão ampliada do conceito de conseqüência lógica, cuja caracterização correta torna necessária a estratificação das formas lógicas numa hierarquia de tipos. / [en] The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.

[pt] Neste trabalho apresenta-se o desenvolvimento experimental de um método de monitoramento que permite localizar as posições das falhas tanto no enlace da fibra óptica como no cabo de cobre, no contexto de transmissão de sinais de rádio analógicos em redes móveis MFH (Mobile Fronthaul) de fibra óptica estendidas por cabos de cobre. O conceito MFH baseia-se na transmissão de sinais de rádio analógicos usando frequências intermediárias para a fibra e para o cabo de cobre e uma unidade de conversão opto/elétrica simples, a fim de utilizar as instalações de cabos de cobre já existentes. O método propõe alocar o sinal de monitoramento varrendo a frequência numa banda determinada a um canal de subportadora óptica. O sinal de monitoramento é utilizado para determinar tanto as características da fibra através do sinal retroespalhado, como também, as características do enlace de cabo de cobre através da técnica de refletômetria no domínio da frequência (FDR: Frequency Domain Reflectrometry). Os resultados mostraram que a técnica de monitoramento híbrido proposta é adequada para as Redes de Rádio Acesso (RAN: Radio Access Networks) que utilizam uma arquitetura de multiplexação em comprimento de onda e subportadora WDM/SCM-PON foi usada. O monitoramento da fibra em serviço apresentou uma resolução espacial de 10 m e uma faixa dinâmica de aproximadamente 9 dB e o monitoramento do cabo apresentou um erro inferior a 1 metro na localização de falhas de ruptura do cabo. / [en] This work shows the experimental development of a monitoring method that allows locate positions of failures in both optical fiber and copper cable links in the context of analogue radio signal transmission over fiber-extended copper mobile fronthaul networks (MFH). The MFH concept is based on transmission of radio signals using unique intermediate frequencies for the fiber and copper cable and a simple optical/electrical conversion unit in order to use existing copper cable installations. The method proposes to allocate the monitoring signal sweeping the frequency in a chosen band to a subcarrier channel. The monitoring signal is used to determine both, the fiber characteristics through the backscattering signal and also the copper cable link characteristics by the Frequency Domain Reflectometry (FDR) technique. The results show that the hybrid monitoring technique is suitable for copper cable-extended radio access network, for which the WDM / SCM-PON technology has been used. In-service fiber monitoring is achievable with a spatial resolution of 10 m and a dynamic range of approximately 9dB. Open circuit faults in the copper line were localized with better than 1-m accuracy.

La primera sección del presente trabajo presenta un desarrollo de la regulación de las conductas de abuso de posición de dominio en el Perú. Para ello, en primer lugar, es necesario desarrollar cuáles son sus fundamentos pues toda política económica, como es el caso de dicha regulación, se sustenta en una teoría económica. Repasando los primeros trabajos sobre el particular, damos con que esta teoría se sustenta en dos modelos de mercado en equilibrio, los cuales se estudian a partir del paradigma Estructura – Conducta – Desempeño: el modelo de competencia perfecta y el modelo de monopolio.