Análise e projeto de superfícies seletivas de frequência com elementos pré-fractais para aplicações em comunicações indoor

In this thesis, a frequency selective surface (FSS) consists of a two-dimensional periodic structure mounted on a dielectric substrate, which is capable of selecting signals in one or more frequency bands of interest. In search of better performance, more compact dimensions, low cost manufacturing, among other characteristics, these periodic structures have been continually optimized over time. Due to its spectral characteristics, which are similar to band-stop or band-pass filters, the FSSs have been studied and used in several applications for more than four decades. The design of an FSS with a periodic structure composed by pre-fractal elements facilitates the tuning of these spatial filters and the adjustment of its electromagnetic parameters, enabling a compact design which generally has a stable frequency response and superior performance relative to its euclidean counterpart. The unique properties of geometric fractals have shown to be useful, mainly in the production of antennas and frequency selective surfaces, enabling innovative solutions and commercial applications in microwave range. In recent applications, the FSSs modify the indoor propagation environments (emerging concept called wireless building ). In this context, the use of pre-fractal elements has also shown promising results, allowing a more effective filtering of more than one frequency band with a single-layer structure. This thesis approaches the design of FSSs using pre-fractal elements based on Vicsek, Peano and teragons geometries, which act as band-stop spatial filters. The transmission properties of the periodic surfaces are analyzed to design compact and efficient devices with stable frequency responses, applicable to microwave frequency range and suitable for use in indoor communications. The results are discussed in terms of the electromagnetic effect resulting from the variation of parameters such as: fractal iteration number (or fractal level), scale factor, fractal dimension and periodicity of FSS, according the pre-fractal element applied on the surface. The analysis of the fractal dimension s influence on the resonant properties of a FSS is a new contribution in relation to researches about microwave devices that use fractal geometry. Due to its own characteristics and the geometric shape of the Peano pre-fractal elements, the reconfiguration possibility of these structures is also investigated and discussed. This thesis also approaches, the construction of efficient selective filters with new configurations of teragons pre-fractal patches, proposed to control the WLAN coverage in indoor environments by rejecting the signals in the bands of 2.4~2.5 GHz (IEEE 802.11 b) and 5.0~6.0 GHz (IEEE 802.11a). The FSSs are initially analyzed through simulations performed by commercial software s: Ansoft DesignerTM and HFSSTM. The fractal design methodology is validated by experimental characterization of the built prototypes, using alternatively, different measurement setups, with commercial horn antennas and microstrip monopoles fabricated for low cost measurements

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Otimização de forma aplicando B-splines sob critério integral de tensões

This work proposes a computational methodology to solve problems of optimization in structural design. The application develops, implements and integrates methods for structural analysis, geometric modeling, design sensitivity analysis and optimization. So, the optimum design problem is particularized for plane stress case, with the objective to minimize the structural mass subject to a stress criterion. Notice that, these constraints must be evaluated at a series of discrete points, whose distribution should be dense enough in order to minimize the chance of any significant constraint violation between specified points. Therefore, the local stress constraints are transformed into a global stress measure reducing the computational cost in deriving the optimal shape design. The problem is approximated by Finite Element Method using Lagrangian triangular elements with six nodes, and use a automatic mesh generation with a mesh quality criterion of geometric element. The geometric modeling, i.e., the contour is defined by parametric curves of type B-splines, these curves hold suitable characteristics to implement the Shape Optimization Method, that uses the key points like design variables to determine the solution of minimum problem. A reliable tool for design sensitivity analysis is a prerequisite for performing interactive structural design, synthesis and optimization. General expressions for design sensitivity analysis are derived with respect to key points of B-splines. The method of design sensitivity analysis used is the adjoin approach and the analytical method. The formulation of the optimization problem applies the Augmented Lagrangian Method, which convert an optimization problem constrained problem in an unconstrained. The solution of the Augmented Lagrangian function is achieved by determining the analysis of sensitivity. Therefore, the optimization problem reduces to the solution of a sequence of problems with lateral limits constraints, which is solved by the Memoryless Quasi-Newton Method It is demonstrated by several examples that this new approach of analytical design sensitivity analysis of integrated shape design optimization with a global stress criterion purpose is computationally efficient

O Desenvolvimento local sustentável no semi-árido nordestino: um estudo de caso na comunidade de mirandas, Caraúbas/RN

Brazil s semi-arid region is an immense territory characterized by a mosaic of natural environments and human settlements. Inside this multifaceted framework, there are problems that are specific to the region (the water resources situation, for example) while others are more universal (such as the inequality between men and women). The circumstances that give rise to these problems are complex and require a holistic view so that our understanding can go beyond the simple concept that this is a problem region . The semi-arid must be perceived as a viable area in need of a new analysis, taking into account its successes, limitations, challenges and the strategic public policy framework that guarantees its sustainable development. The dissertation analyzes, from a sustainable local development perspective, the experience of the Northeastern Brazil Groundwater Project (PROASNE), carried out from 2001 to 2003, in partnership with the Waters and Sewers Company of Rio Grande do Norte (CAERN) in the rural community of Mirandas, municipality of Caraúbas/RN, situated in the middle of the northeastern Brazil semi-arid region