946 resultados para Formal analysis


Relevância:

60.00% 60.00%

Publicador:

Resumo:

Pós-graduação em Educação Matemática - IGCE

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Pós-graduação em Estudos Literários - FCLAR

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Until recently the debate on the ontology of spacetime had only a philosophical significance, since, from a physical point of view, General Relativity has been made "immune" to the consequences of the "Hole Argument" simply by reducing the subject to the assertion that solutions of Einstein equations which are mathematically different and related by an active diffeomorfism are physically equivalent. From a technical point of view, the natural reading of the consequences of the "Hole Argument” has always been to go further and say that the mathematical representation of spacetime in General Relativity inevitably contains a “superfluous structure” brought to light by the gauge freedom of the theory. This position of apparent split between the philosophical outcome and the physical one has been corrected thanks to a meticulous and complicated formal analysis of the theory in a fundamental and recent (2006) work by Luca Lusanna and Massimo Pauri entitled “Explaining Leibniz equivalence as difference of non-inertial appearances: dis-solution of the Hole Argument and physical individuation of point-events”. The main result of this article is that of having shown how, from a physical point of view, point-events of Einstein empty spacetime, in a particular class of models considered by them, are literally identifiable with the autonomous degrees of freedom of the gravitational field (the Dirac observables, DO). In the light of philosophical considerations based on realism assumptions of the theories and entities, the two authors then conclude by saying that spacetime point-events have a degree of "weak objectivity", since they, depending on a NIF (non-inertial frame), unlike the points of the homogeneous newtonian space, are plunged in a rich and complex non-local holistic structure provided by the “ontic part” of the metric field. Therefore according to the complex structure of spacetime that General Relativity highlights and within the declared limits of a methodology based on a Galilean scientific representation, we can certainly assert that spacetime has got "elements of reality", but the inevitably relational elements that are in the physical detection of point-events in the vacuum of matter (highlighted by the “ontic part” of the metric field, the DO) are closely dependent on the choice of the global spatiotemporal laboratory where the dynamics is expressed (NIF). According to the two authors, a peculiar kind of structuralism takes shape: the point structuralism, with common features both of the absolutist and substantival tradition and of the relationalist one. The intention of this thesis is that of proposing a method of approaching the problem that is, at least at the beginning, independent from the previous ones, that is to propose an approach based on the possibility of describing the gravitational field at three distinct levels. In other words, keeping the results achieved by the work of Lusanna and Pauri in mind and following their underlying philosophical assumptions, we intend to partially converge to their structuralist approach, but starting from what we believe is the "foundational peculiarity" of General Relativity, which is that characteristic inherent in the elements that constitute its formal structure: its essentially geometric nature as a theory considered regardless of the empirical necessity of the measure theory. Observing the theory of General Relativity from this perspective, we can find a "triple modality" for describing the gravitational field that is essentially based on a geometric interpretation of the spacetime structure. The gravitational field is now "visible" no longer in terms of its autonomous degrees of freedom (the DO), which, in fact, do not have a tensorial and, therefore, nor geometric nature, but it is analyzable through three levels: a first one, called the potential level (which the theory identifies with the components of the metric tensor), a second one, known as the connections level (which in the theory determine the forces acting on the mass and, as such, offer a level of description related to the one that the newtonian gravitation provides in terms of components of the gravitational field) and, finally, a third level, that of the Riemann tensor, which is peculiar to General Relativity only. Focusing from the beginning on what is called the "third level" seems to present immediately a first advantage: to lead directly to a description of spacetime properties in terms of gauge-invariant quantites, which allows to "short circuit" the long path that, in the treatises analyzed, leads to identify the "ontic part” of the metric field. It is then shown how to this last level it is possible to establish a “primitive level of objectivity” of spacetime in terms of the effects that matter exercises in extended domains of spacetime geometrical structure; these effects are described by invariants of the Riemann tensor, in particular of its irreducible part: the Weyl tensor. The convergence towards the affirmation by Lusanna and Pauri that the existence of a holistic, non-local and relational structure from which the properties quantitatively identified of point-events depend (in addition to their own intrinsic detection), even if it is obtained from different considerations, is realized, in our opinion, in the assignment of a crucial role to the degree of curvature of spacetime that is defined by the Weyl tensor even in the case of empty spacetimes (as in the analysis conducted by Lusanna and Pauri). In the end, matter, regarded as the physical counterpart of spacetime curvature, whose expression is the Weyl tensor, changes the value of this tensor even in spacetimes without matter. In this way, going back to the approach of Lusanna and Pauri, it affects the DOs evolution and, consequently, the physical identification of point-events (as our authors claim). In conclusion, we think that it is possible to see the holistic, relational, and non-local structure of spacetime also through the "behavior" of the Weyl tensor in terms of the Riemann tensor. This "behavior" that leads to geometrical effects of curvature is characterized from the beginning by the fact that it concerns extensive domains of the manifold (although it should be pointed out that the values of the Weyl tensor change from point to point) by virtue of the fact that the action of matter elsewhere indefinitely acts. Finally, we think that the characteristic relationality of spacetime structure should be identified in this "primitive level of organization" of spacetime.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Stocks’ overexploitation and socio-economic sustainability are two major issues currently at stake in European fisheries. In this view the European Commission is considering the implementation of management plans as a means to move towards a longer-term perspective on fisheries management, to consider regional differences and to increase stakeholder involvement. Adriatic small pelagic species (anchovies and sardines) are some of the most studied species in the world from a biologic perspective; several economic analysis have also been realised on Italian pelagic fishery; despite that, no complete bioeconomic modelization has been carried out yet considering all biologic, technical and economic issues. Bioeconomic models cannot be considered foolproof tools but are important implements to help decision makers and can supply a fundamental scientific basis for management plans. This research gathers all available information (from biologic, technologic and economic perspectives) in order to carry out a bioeconomic model of the Adriatic pelagic fishery. Different approaches are analyzed and some of them developed to highlight potential divergences in results, characteristics and implications. Growth, production and demand functions are estimated. A formal analysis about interaction and competition between Italian and Croatian fleet is examined proposing different equilibriums for open access, duopoly and a form of cooperative solution. Anyway normative judgments are limited because of poor knowledge of population dynamics and data related to the Croatian fleet.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

The maximum principle is an important property of solutions to PDE. Correspondingly, it's of great interest for people to design a high order numerical scheme solving PDE with this property maintained. In this thesis, our particular interest is solving convection-dominated diffusion equation. We first review a nonconventional maximum principle preserving(MPP) high order finite volume(FV) WENO scheme, and then propose a new parametrized MPP high order finite difference(FD) WENO framework, which is generalized from the one solving hyperbolic conservation laws. A formal analysis is presented to show that a third order finite difference scheme with this parametrized MPP flux limiters maintains the third order accuracy without extra CFL constraint when the low order monotone flux is chosen appropriately. Numerical tests in both one and two dimensional cases are performed on the simulation of the incompressible Navier-Stokes equations in vorticity stream-function formulation and several other problems to show the effectiveness of the proposed method.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Mixed Reality (MR) aims to link virtual entities with the real world and has many applications such as military and medical domains [JBL+00, NFB07]. In many MR systems and more precisely in augmented scenes, one needs the application to render the virtual part accurately at the right time. To achieve this, such systems acquire data related to the real world from a set of sensors before rendering virtual entities. A suitable system architecture should minimize the delays to keep the overall system delay (also called end-to-end latency) within the requirements for real-time performance. In this context, we propose a compositional modeling framework for MR software architectures in order to specify, simulate and validate formally the time constraints of such systems. Our approach is first based on a functional decomposition of such systems into generic components. The obtained elements as well as their typical interactions give rise to generic representations in terms of timed automata. A whole system is then obtained as a composition of such defined components. To write specifications, a textual language named MIRELA (MIxed REality LAnguage) is proposed along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification of time constraints. These automata may also be used to generate source code skeletons for an implementation on a MR platform. The approach is illustrated first on a small example. A realistic case study is also developed. It is modeled by several timed automata synchronizing through channels and including a large number of time constraints. Both systems have been simulated in UPPAAL and checked against the required behavioral properties.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

The doctrine of fair use allows unauthorized copying of original works of art, music, and literature for limited purposes like criticism, research, and education, based on the rationale that copyright holders would consent to such uses if bargaining were possible. This paper develops the first formal analysis of fair use in an effort to derive the efficient legal standard for applying the doctrine. The model interprets copies and originals as differentiated products and defines fair use as a threshold separating permissible copying from infringement. Application of the analysis to several key cases (including the recent Napster case) shows that this interpretation is consistent with actual legal reasoning. The analysis also underscores the role of technology in shaping the efficient scope of fair use.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Este escrito da cuenta de un recorrido de lecturas. Se han seleccionado algunos textos de Arturo Roig con la preocupación de responder interrogantes vinculados con las herramientas hermenéuticas y metodológicas propias del autor en su labor como filósofo e historiador de las ideas. Si se ha determinado la posición de Roig frente al análisis del discurso, sus estudios y su crítica al estructuralismo, es para comprender una metodología que no se queda en el análisis formal de los discursos, sino que atiende al carácter histórico y situado de los mismos. También permite identificar e interrogar sobre las relaciones entre lenguaje y sujeto, discurso e ideología, y la historicidad en el pensamiento latinoamericano mediante el abordaje de una historia episódica, antípodas de una idea de continuidad y despliegue lineal. Esto permite comprender el vínculo con una antropología de la emergencia, cuyo carácter final es el de ponerse a sí mismo como valioso.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

El consumo energético de las Redes de Sensores Inalámbricas (WSNs por sus siglas en inglés) es un problema histórico que ha sido abordado desde diferentes niveles y visiones, ya que no solo afecta a la propia supervivencia de la red sino que el creciente uso de dispositivos inteligentes y el nuevo paradigma del Internet de las Cosas hace que las WSNs tengan cada vez una mayor influencia en la huella energética. Debido a la tendencia al alza en el uso de estas redes se añade un nuevo problema, la saturación espectral. Las WSNs operan habitualmente en bandas sin licencia como son las bandas Industrial, Científica y Médica (ISM por sus siglas en inglés). Estas bandas se comparten con otro tipo de redes como Wi-Fi o Bluetooth cuyo uso ha crecido exponencialmente en los últimos años. Para abordar este problema aparece el paradigma de la Radio Cognitiva (CR), una tecnología que permite el acceso oportunista al espectro. La introducción de capacidades cognitivas en las WSNs no solo permite optimizar su eficiencia espectral sino que también tiene un impacto positivo en parámetros como la calidad de servicio, la seguridad o el consumo energético. Sin embargo, por otra parte, este nuevo paradigma plantea algunos retos relacionados con el consumo energético. Concretamente, el sensado del espectro, la colaboración entre los nodos (que requiere comunicación adicional) y el cambio en los parámetros de transmisión aumentan el consumo respecto a las WSN clásicas. Teniendo en cuenta que la investigación en el campo del consumo energético ha sido ampliamente abordada puesto que se trata de una de sus principales limitaciones, asumimos que las nuevas estrategias deben surgir de las nuevas capacidades añadidas por las redes cognitivas. Por otro lado, a la hora de diseñar estrategias de optimización para CWSN hay que tener muy presentes las limitaciones de recursos de estas redes en cuanto a memoria, computación y consumo energético de los nodos. En esta tesis doctoral proponemos dos estrategias de reducción de consumo energético en CWSNs basadas en tres pilares fundamentales. El primero son las capacidades cognitivas añadidas a las WSNs que proporcionan la posibilidad de adaptar los parámetros de transmisión en función del espectro disponible. La segunda es la colaboración, como característica intrínseca de las CWSNs. Finalmente, el tercer pilar de este trabajo es teoría de juegos como algoritmo de soporte a la decisión, ampliamente utilizado en WSNs debido a su simplicidad. Como primer aporte de la tesis se presenta un análisis completo de las posibilidades introducidas por la radio cognitiva en materia de reducción de consumo para WSNs. Gracias a las conclusiones extraídas de este análisis, se han planteado las hipótesis de esta tesis relacionadas con la validez de usar capacidades cognitivas como herramienta para la reducción de consumo en CWSNs. Una vez presentada las hipótesis, pasamos a desarrollar las principales contribuciones de la tesis: las dos estrategias diseñadas para reducción de consumo basadas en teoría de juegos y CR. La primera de ellas hace uso de un juego no cooperativo que se juega mediante pares de jugadores. En la segunda estrategia, aunque el juego continúa siendo no cooperativo, se añade el concepto de colaboración. Para cada una de las estrategias se presenta el modelo del juego, el análisis formal de equilibrios y óptimos y la descripción de la estrategia completa donde se incluye la interacción entre nodos. Con el propósito de probar las estrategias mediante simulación e implementación en dispositivos reales hemos desarrollado un marco de pruebas compuesto por un simulador cognitivo y un banco de pruebas formado por nodos cognitivos capaces de comunicarse en tres bandas ISM desarrollados en el B105 Lab. Este marco de pruebas constituye otra de las aportaciones de la tesis que permitirá el avance en la investigación en el área de las CWSNs. Finalmente, se presentan y discuten los resultados derivados de la prueba de las estrategias desarrolladas. La primera estrategia proporciona ahorros de energía mayores al 65% comparados con una WSN sin capacidades cognitivas y alrededor del 25% si la comparamos con una estrategia cognitiva basada en el sensado periódico del espectro para el cambio de canal de acuerdo a un nivel de ruido fijado. Este algoritmo se comporta de forma similar independientemente del nivel de ruido siempre que éste sea espacialmente uniformemente. Esta estrategia, a pesar de su sencillez, nos asegura el comportamiento óptimo en cuanto a consumo energético debido a la utilización de teoría de juegos en la fase de diseño del comportamiento de los nodos. La estrategia colaborativa presenta mejoras respecto a la anterior en términos de protección frente al ruido en escenarios de ruido más complejos donde aporta una mejora del 50% comparada con la estrategia anterior. ABSTRACT Energy consumption in Wireless Sensor Networks (WSNs) is a known historical problem that has been addressed from different areas and on many levels. But this problem should not only be approached from the point of view of their own efficiency for survival. A major portion of communication traffic has migrated to mobile networks and systems. The increased use of smart devices and the introduction of the Internet of Things (IoT) give WSNs a great influence on the carbon footprint. Thus, optimizing the energy consumption of wireless networks could reduce their environmental impact considerably. In recent years, another problem has been added to the equation: spectrum saturation. Wireless Sensor Networks usually operate in unlicensed spectrum bands such as Industrial, Scientific, and Medical (ISM) bands shared with other networks (mainly Wi-Fi and Bluetooth). To address the efficient spectrum utilization problem, Cognitive Radio (CR) has emerged as the key technology that enables opportunistic access to the spectrum. Therefore, the introduction of cognitive capabilities to WSNs allows optimizing their spectral occupation. Cognitive Wireless Sensor Networks (CWSNs) do not only increase the reliability of communications, but they also have a positive impact on parameters such as the Quality of Service (QoS), network security, or energy consumption. These new opportunities introduced by CWSNs unveil a wide field in the energy consumption research area. However, this also implies some challenges. Specifically, the spectrum sensing stage, collaboration among devices (which requires extra communication), and changes in the transmission parameters increase the total energy consumption of the network. When designing CWSN optimization strategies, the fact that WSN nodes are very limited in terms of memory, computational power, or energy consumption has to be considered. Thus, light strategies that require a low computing capacity must be found. Since the field of energy conservation in WSNs has been widely explored, we assume that new strategies could emerge from the new opportunities presented by cognitive networks. In this PhD Thesis, we present two strategies for energy consumption reduction in CWSNs supported by three main pillars. The first pillar is that cognitive capabilities added to the WSN provide the ability to change the transmission parameters according to the spectrum. The second pillar is that the ability to collaborate is a basic characteristic of CWSNs. Finally, the third pillar for this work is the game theory as a decision-making algorithm, which has been widely used in WSNs due to its lightness and simplicity that make it valid to operate in CWSNs. For the development of these strategies, a complete analysis of the possibilities is first carried out by incorporating the cognitive abilities into the network. Once this analysis has been performed, we expose the hypotheses of this thesis related to the use of cognitive capabilities as a useful tool to reduce energy consumption in CWSNs. Once the analyses are exposed, we present the main contribution of this thesis: the two designed strategies for energy consumption reduction based on game theory and cognitive capabilities. The first one is based on a non-cooperative game played between two players in a simple and selfish way. In the second strategy, the concept of collaboration is introduced. Despite the fact that the game used is also a non-cooperative game, the decisions are taken through collaboration. For each strategy, we present the modeled game, the formal analysis of equilibrium and optimum, and the complete strategy describing the interaction between nodes. In order to test the strategies through simulation and implementation in real devices, we have developed a CWSN framework composed by a CWSN simulator based on Castalia and a testbed based on CWSN nodes able to communicate in three different ISM bands. We present and discuss the results derived by the energy optimization strategies. The first strategy brings energy improvement rates of over 65% compared to WSN without cognitive techniques. It also brings energy improvement rates of over 25% compared with sensing strategies for changing channels based on a decision threshold. We have also seen that the algorithm behaves similarly even with significant variations in the level of noise while working in a uniform noise scenario. The collaborative strategy presents improvements respecting the previous strategy in terms of noise protection when the noise scheme is more complex where this strategy shows improvement rates of over 50%.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

La aparición del tren de alta velocidad en Europa en las últimas décadas del siglo XX supuso el resurgir de un medio de transporte en progresivo declive desde la popularización del automóvil y del avión. La decadencia del ferrocarril había supuesto en muchos casos el abandono, o incluso la demolición, de estaciones históricas y el deterioro de su entorno urbano. Como reacción a esa desatención surgió, también en el último cuarto de siglo, una mayor conciencia social preocupada por la conservación del patrimonio construido del ferrocarril. La necesidad de adaptación de las grandes estaciones de ferrocarril para dar servicio al nuevo sistema de transporte, junto con el interés por poner en valor sus construcciones históricas y su céntrico entorno, ha dado como resultado la realización de importantes transformaciones. El objeto de la presente investigación es el estudio de las transformaciones que han sufrido las grandes estaciones europeas del siglo XIX con la llegada del tren de alta velocidad, profundizando de manera especial en el caso más significativo que tenemos en nuestro país: la estación de Atocha. En el ámbito europeo es donde se localizan los ejemplos más relevantes de estaciones que tuvieron gran trascendencia en el siglo XIX y que ahora, con la llegada de la Alta Velocidad, vuelven a recuperar su grandeza. En España, el crecimiento de la Alta Velocidad en los últimos años ha sido extraordinario, hasta situarse como el segundo país del mundo con más kilómetros de líneas de alta velocidad en operación y, en consecuencia, se ha construido un gran número de estaciones adaptadas a este servicio. El caso más notable es el de la estación de Atocha, que desde la llegada del AVE en 1992 hasta el día de hoy, se ha convertido en uno de los complejos ferroviarios más importantes del mundo. El trabajo parte del estudio de otros referentes europeos, como las Gares de París, la estación de St Pancras en Londres y de otras cinco estaciones del centro de Europa –Amsterdam Centraal, Antwerpen Centraal, Köln Hauptbahnhof, Frankfurt (Main) Hauptbahnhof y la Gare de Strasbourg–, para establecer el marco analítico sobre el que se profundiza con la estación de Atocha. El proceso de transformación de la estación de Atocha se ha gestado a través de una serie de proyectos que han ido configurando la estación hasta el momento actual y planteando la previsión de futuro: el proyecto del Plan General de Madrid, el concurso de ideas para el diseño de la estación, la estación de Cercanías, la estación de Alta Velocidad y Largo Recorrido, la ampliación de esta para separar los flujos por niveles, los Estudios Informativos del Nuevo Complejo Ferroviario de la Estación de Atocha y su primera fase de construcción. Estos siete proyectos son objeto de un análisis en tres niveles: análisis cronológico, análisis funcional y análisis formal. La estación de Atocha fue la primera estación histórica europea en sufrir una gran transformación vinculada a la llegada de la Alta Velocidad. Aporta el entendimiento de la estación como un todo y la intermodalidad como sus principales valores, además de la gran mejora urbana que supuso la «operación Atocha», y adolece de ciertas carencias en su desarrollo comercial, vinculadas en parte a la presencia del jardín tropical, y de un pobre espacio en las salas de embarque para los pasajeros de salidas. La estación de Atocha completa su transformación a partir de su renovación funcional, manteniendo la carga simbólica de su historia. De la confrontación del caso de Atocha con otras importantes estaciones europeas resulta la definición de las principales consecuencias de la llegada de la Alta Velocidad a las grandes terminales europeas y la identificación de los elementos clave en su transformación. Las consecuencias principales son: la potenciación de la intermodalidad con otros medios de transporte, el desarrollo comercial no necesariamente destinado a los usuarios de los servicios ferroviarios, y la puesta en valor de la antigua estación y de su entorno urbano. Por su parte, los elementos clave en la transformación de las grandes estaciones tienen que ver directamente con la separación de flujos, el entendimiento de la estación por niveles, la dotación de nuevos accesos laterales y la construcción de una nueva gran cubierta para los nuevos andenes. La preeminencia de unos elementos sobre otros depende del carácter propio de cada estación y de cada país, de la magnitud de la intervención y, también, de la estructura y composición de los equipos encargados del diseño de la nueva estación. En la actualidad, nos encontramos en un momento interesante respecto a las estaciones de Alta Velocidad. Tras el reciente atentado frustrado en el Thalys que viajaba de Ámsterdam a París, se ha acordado establecer controles de identidad y equipajes en todas las estaciones de la red europea de alta velocidad, lo que implicará modificaciones importantes en las grandes estaciones que, probablemente, tomarán el modelo de la estación de Atocha como referencia. ABSTRACT The emergence of the high speed train in Europe in the last few decades of the 20th century represented the resurgence of a means of transport in progressive decline since the popularization of the car and the airplane. The railway decay brought in many cases the abandonment, or even the demolition, of historical stations and the deterioration of its urban environment. In response to that neglect, a greater social awareness towards the preservation of the railway built heritage raised up, also in the last quarter-century. The need for adaptation of the great railway stations to serve the new transport system, along with the interest in enhancing the historical buildings and its central locations, had resulted in important transformations. The subject of current investigation is the study of the transformations that the great 19th century European stations have experienced with the arrival of the high speed rail, deepening in particular in the most significant case we have in Spain: Atocha railway station. At European level is where the most relevant examples of stations which have had a great significance in the 19th century and now, with the arrival of the high speed train, have regain their greatness, are located. In Spain, the growth of the high speed rail over the past few years has been outstanding. Today is the second country in the world with the longest high speed rail network in operation and, therefore, with a great number of new stations adapted to this service. The most remarkable case is Atocha station. Since the arrival of the AVE in 1992, the station has become one of the world's most important railway hub. The research starts with the study of other European reference points, as the Gares of Paris, St Pancras station in London and five other stations of Central Europe –Amsterdam Centraal, Antwerpen Centraal, Köln Hauptbahnhof, Frankfurt (Main) Hauptbahnhof y la Gare de Strasbourg–, to establish the analytical framework that will be deepen with Atocha station. The transformation process of Atocha station has been created through a number of projects that have forged the station to date and have raised the sights in the future: the project of the General Urban Development Plan, the ideas competition for the station design, the Suburban train station, the High Speed and Long Distance station, its enlargement in order to separate passenger flows in different levels, the 'Masterplans' for the new Atocha transport hub and its first phase of construction. These seven projects are under scrutiny at three levels: chronological analysis, functional analysis and formal analysis. Atocha station was the first European historical station to undergo a great transformation tied to the arrival of the high speed rail. It brings the understanding of the station as a whole and the intermodality as its greatest values, besides the great urban improvement of the 'Atocha operation', and suffers from certain shortcomings in its commercial development, partly linked to the presence of the tropical garden, and from a poor space in the departure lounges. Atocha station completes its transformation on the basis of its functional renewal, keeping the symbolic charge of its history. The confrontation of Atocha case with the great European stations results in the definition of the principal consequences of the high speed rail arrival to the great European terminals and the identification of the key elements in its transformation. The principal consequences are: the empowering of the intermodality with other means of transport, of the commercial development, not necessarily intended for railway services users, and the enhancement of the old station and its urban environment. On the other hand, the key elements in the transformation of the great stations are directly related with the separation of passenger flows, the understanding of the station in different levels, the placement of new lateral accesses and the construction of a new deck over the new platforms. The pre-eminence of some elements over the others depends on the particular nature of each station and each country, on the scale of the intervention and also in the structure and composition of the teams in charge of the new station design. Nowadays, this is an interesting time concerning the high speed rail stations. After the recent foiled terrorist attempt in the Thalys train travelling from Amsterdam to Paris, it was agreed to establish passenger and luggage controls in every European high speed rail station. This will mean important changes in these great stations, which probably will take Atocha station's model as a reference.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

El tema de estudio de esta tesis es el análisis morfológico y cronológico de diez ejemplares emblemáticos de la arquitectura doméstica señorial de la Granada del siglo XVI, analizados en comparación con otros casos de referencia construidos en el mismo período en la propia ciudad, conservados y desaparecidos. También se han tenido en cuenta las principales manifestaciones arquitectónicas de los mayores focos urbanos contemporáneos en el reino de Castilla. El trabajo se ha desarrollado partiendo de la realización de una planimetría precisa y completa de las diez casas documentadas, uniendo al trabajo in situ sobre los datos materiales el estudio de las fuentes de archivo y de la bibliografía especializada existente sobre la materia. El análisis formal de las unidades domésticas ha sido enfocado al estudio tipológico de lo construido, haciendo especial hincapié en las pervivencias andalusíes sobre las cuales los nuevos moradores edificaron o adaptaron sus casas solariegas. En apoyo a las hipótesis presentadas se aporta la documentación arqueológica derivada de las excavaciones realizadas en los solares de las viviendas objeto de análisis, además de los planos de los estados previos a las recientes reformas sufridas por muchos de estos edificios. El análisis comparativo con algunos edificios contemporáneos en los que se ha documentado y estudiado cronológicamente su evolución histórica, ha permitido afianzar las hipótesis de datación y de reconstrucción de la distribución espacial de las fábricas originarias de la época tratada. Los objetivos de la investigación han sido orientados a poner de manifiesto la delicada y compleja transición de la medina nazarí a la ciudad cristiana, tratando también ciertas características multiculturales propias de las técnicas constructivas y de sociedad de la época. Los resultados de este estudio multidisciplinar se han registrado en un mapa de datos creado con el Sistema de Información Geográfico, en el que se han incluido tanto los datos cronológicos como formales, individualizando los ambientes que constituyen las pervivencias medievales y los que se han construido después, aportando sus distintas dataciones. Se ha querido dar respuesta a varios interrogativos: ¿Cómo se adapta la arquitectura castellana al tejido urbano andalusí? ¿Reaprovecha las preexistencias o las elimina en cada momento? ¿De qué modo la ciudad ha ido modificándose hasta configurarse como una ciudad moderna? ¿Cuánto se ha mantenido este patrimonio de casas? ¿Cómo se debería conservar? Se ha tratado de resolver estas cuestiones formulando síntesis gráficas en las que se puede comprender la evolución histórica de las viviendas acontecida a lo largo del siglo XVI, junto con sus transformaciones recientes provocadas por las intervenciones contemporáneas. Asimismo se aporta el estudio de las principales características de las intervenciones acometidas sobre este patrimonio único de viviendas, que por su propia naturaleza es altamente perecedero y necesita que se formulen criterios eficaces y correctos para su mayor conservación. El punto de partida de este trabajo no ha sido solamente el análisis de campo sino también la recopilación y ordenación de los datos procedentes de la bibliografía existente para formular discursos coherentes y precisos sobre la evolución de este tipo de viviendas históricas, cuyos valores son tan expuestos a graves deterioros que su catalogación, documentación y valoración se hacen imprescindibles. Pese a que las diez viviendas incluidas en los capítulos de estudio detallado estén catalogadas en los Planes Especiales de Protección (Albaicín, 1990 y Centro, 2002), sus caracteres formales y sus elementos estructurales y decorativos de valor histórico han sufrido un evidente proceso de expolio o destrucción, hecho grave que esta Tesis quiere reflejar de cara a la deseable futura puesta en valor real de estos edificios así como, indirectamente, de sus ámbitos urbanísticos de pertenencia. ABSTRACT The purpose of this thesis is to study the morphological and chronological characteristics of ten emblematic mansions belonging to the architectural period of the 16th Century in Granada, Spain. These houses are compared with other similar outstanding constructions of the same period that are located in the city, which have either been preserved or disappeared. Also, this study has taken into account the main architectural expressions of greater contemporary urban areas of the Kingdom of Castile. The work carried out began, first of all, by drawing a precise and thorough planimetry of the ten surveyed houses, together with in situ tasks based on physical data, a study of archival data, and the specialized existing bibliography on the subject. The formal analysis of the home units is focused as a typological study of erected buildings, with a special attention on Al Andalus remains over which the new householders constructed or adapted their mansions. The hypotheses brought forward have been supported by the archaeological documentation that had been elaborated during the excavation works of the houses concerned in this study. Moreover, the drawings of the states of the sites, previously to the most recent renovation works many of these buildings have undergone, have been presented. The comparative analysis made with some contemporary buildings, which have been chronologically documented and studied in their historical evolution, has confirmed the dating hypotheses, and that of the reconstruction of the spatial distribution of the original factories the period discussed. The aims of this research have been oriented to bring to light the delicate and complex transition of the town, from the Nasrid period to Christian times. The research has also dealt with some special multicultural characteristics of the constructive techniques, as well as of the society of that period. The results of this multidisciplinary study have been registered on a data map created with the Geographical Information System, which includes both the chronological and formal data. The Medieval settings, and those of later constructions, have been individualised and dated. Several questions have been answered: how the Castilian architecture adapts to the Al Andalus urban design? Have the pre-existing structures been reused or eliminated at each stage? How has the town evolved until becoming a modern city? To which degree this heritage of houses has remained? How should it been preserved? These questions have been approached by means of graphical syntheses in an attempt to bring an understanding of the historical evolution of the houses throughout the 16th Century. But also, this work shows the more recent transformations these structures suffered over the contemporary period. Moreover, there is a study of the main characteristics of interventions over this unique patrimony of housing which by nature is perishable and needs a formulation of correct and efficient criteria for better conservation. The starting point of this work has not only been that of field analysis, but also the gathering and ordering of the existing bibliographical data, in order to formulate coherent and precise statements on the evolution of this type of historical housing. Its treasures are so exposed to severe deterioration that their cataloguing, documentation and appreciation are becoming crucial. Despite the fact that the ten houses considered in the chapters of this detailed study are listed in the special protection plans (Planes Especiales de Protección, Albaicín plan of 1990 and the town centre plan of 2002) their formal characteristics, as well as structural and decorative historical value, have suffered gradual plunders or destruction. This thesis tries to reflect how serious is that matter and the need in the future to give this heritage and the surrounding urban environment, a real value.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Un recorrido por la producción de Le Corbusier evidencia la insistente presencia del cuadrado como base de las composiciones en diversos campos (urbanismo, arquitectura, pintura, mobiliario...) y en diferentes formatos (en planta, alzado y sección, o como marco, módulo y cuadrícula). La presente comunicación realiza un análisis formal (gráfico y simbólico) de sus proyectos y obras, rastreando los modos en que se utiliza el cuadrado permaneciendo en el tiempo como una constante recurrente. Para ello se recorren cuatro áreas temáticas que descienden en escala y en dimensiones: 1) capitolios, 2) museos, 3) pabellones y 4) casas, estudiando una serie de ejemplos en cada área a partir de los planos de la Fundación Le Corbusier, generando discursos que reconstruyen un hilo del tiempo en la evolución de los procesos compositivos. De este modo, se desgrana el empleo del cuadrado, en correspondencia con las áreas de estudio, como: 1º) perímetro de la plaza pública donde insertar las arquitecturas representativas, 2º) marco o caja-fuerte donde encerrar los tesoros artísticos (o sagrados), 3º) volumen cúbico abierto y desmontable y 4º) caja definida por la retícula de la estructura. El cuadrado es siempre un medio y no un fin. Persiste un intento de sugerir algunos de los orígenes en su formación clasicista, sus viajes y sus pinturas.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-06

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Esta dissertação apresenta um estudo da Revista O Cruzeiro tendo como f oco principal os gêneros jornalísticos praticados por essa publicação ao longo dos 47 anos em que pertenceu a Assis Chateaubriand/ Diários Associados. Com dois objetivos principais, procurou-se identificar, primeiramente, os gêneros, formatos e tipos de textos jornalísticos presentes na revista entre 1928 e 1975, além de definir as peculiaridades do jornalismo informativo do periódico. Por outro lado, procurou-se descobrir quais as principais temáticas abordadas pela mesma. Ambos os esforços foram realizados com o intuito de definir o perfil de O Cruzeiro. O trabalho foi pautado em duas metodologias, a primeira, Análise Formal que foi utilizada, sobretudo, na identificação dos gêneros a partir da Teoria dos Gêneros Jornalísticos. A segunda metodologia foi a Análise de Conteúdo por Construção Iterativa utilizada no momento da identificação das temáticas. Ao final conclui-se que O Cruzeiro era predominantemente uma revista Opinativa e que seu jornalismo Informativo diverge do praticado hoje, quanto ao modelo de construção da notícia. No que concerne aos assuntos jornalísticos tratados, vemos que os temas relacionados ao ambiente social predominavam inicialmente, tendo a política ganho destaque ao longo dos anos. Por outro lado, sua marca registrada, as grandes reportagens fotográficas realizadas com temas inéditos como candomblé e manicômios, dentre outros, dão a essa publicação um destaque no cenário brasileiro, contribuindo para que a mesma permaneça até os dias atuais como uma das melhores revistas de todos os tempos.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

The advent of personal communication systems within the last decade has depended upon the utilization of advanced digital schemes for source and channel coding and for modulation. The inherent digital nature of the communications processing has allowed the convenient incorporation of cryptographic techniques to implement security in these communications systems. There are various security requirements, of both the service provider and the mobile subscriber, which may be provided for in a personal communications system. Such security provisions include the privacy of user data, the authentication of communicating parties, the provision for data integrity, and the provision for both location confidentiality and party anonymity. This thesis is concerned with an investigation of the private-key and public-key cryptographic techniques pertinent to the security requirements of personal communication systems and an analysis of the security provisions of Second-Generation personal communication systems is presented. Particular attention has been paid to the properties of the cryptographic protocols which have been employed in current Second-Generation systems. It has been found that certain security-related protocols implemented in the Second-Generation systems have specific weaknesses. A theoretical evaluation of these protocols has been performed using formal analysis techniques and certain assumptions made during the development of the systems are shown to contribute to the security weaknesses. Various attack scenarios which exploit these protocol weaknesses are presented. The Fiat-Sharmir zero-knowledge cryptosystem is presented as an example of how asymmetric algorithm cryptography may be employed as part of an improved security solution. Various modifications to this cryptosystem have been evaluated and their critical parameters are shown to be capable of being optimized to suit a particular applications. The implementation of such a system using current smart card technology has been evaluated.