Aplicação de retroanálise na escavação de um túnel na Ilha da Madeira

Pretende-se determinar os parâmetros geomecânicos de um maciço atravessado por um túnel construído na ilha da Madeira, através de retroanálise. Para tal, recorre-se a um modelo numérico tridimensional para simular o avanço da escavação e a dados obtidos a partir da instrumentação da obra, nomeadamente, através da medição de convergências e deslocamentos superficiais. A análise numérica é aplicada a um problema de identificação de parâmetros geomecânicos, em três secções localizadas muito próximas do emboquilhamento do Faial, do túnel do Faial/Cortado. Este problema rege-se por um comportamento elástico perfeitamente plástico e um critério de rotura de Mohr-Coulomb. Para a resolução do problema recorreu-se à utilização do software de diferenças finitas, FLAC3D, tendo-se usufruído da sua base de programação para modelar o processo complexo de escavação e suporte do túnel. A modelação tridimensional no FLAC3D é conseguida através da sua linguagem de programação interna, FISH, criando funções capazes de simular o processo da escavação parcial, instalação dos elementos de suporte, e monitorizar e extrair as variáveis pretendidas. Numa primeira fase realizou-se uma análise paramétrica relativamente ao comportamento do maciço fazendo variar alguns parâmetros geomecânicos deste. Numa segunda fase do estudo, procedeu-se à otimização de um conjunto de parâmetros elásticos e resistentes, intrínsecos ao material envolvente do túnel, através de retroanálise. A otimização dos parâmetros foi realizada por meio da utilização de expressões de cálculo de medida de dispersão estatística entre os dados obtidos a partir da instrumentação em obra e os resultados correspondentes obtidos a partir da análise numérica. Os valores obtidos para os diferentes parâmetros do maciço rochoso foram comparados com os respetivos valores recolhidos na bibliografia para maciços da ilha da Madeira, bem como com os valores previstos pela caracterização geomecânica efetuada durante a fase de construção do túnel objeto de estudo.

Os robots na aprendizagem da trignometria

Este trabalho foi elaborado no âmbito do Mestrado de Ensino de Matemática do 3º Ciclo do Ensino Básico e Secundário da Universidade da Madeira, no ano letivo de 2012/2013. Os grandes objetivos deste estudo são os de analisar qualitativamente uma atividade, para compreender como é que os alunos aprendem trigonometria, utilizando os robots NXT da Lego. De igual modo, se procede também, de forma sucinta, à apresentação do trabalho desenvolvido pelo grupo de estágio, ao longo da Prática de Ensino Supervisionado. Para a realização da investigação, foram recolhidos dados pelo investigador, através de registos audiovisuais do trabalho dos alunos, com câmara e vídeo. Com o fim de melhor estudar o problema aqui apresentado, o mesmo foi dissecado em três questões de investigação: (a) Que aprendizagens os alunos realizam com a montagem, programação e interação com os robots? (b) De que forma é que os alunos aprendem trigonometria, quando utilizam os Robots? (c) Quais as dificuldades manifestadas pelos alunos na resolução de problemas? As questões de investigação iluminaram a análise dos dados. Das conclusões que advêm deste estudo destaca-se o papel essencial da robótica e dos materiais manipuláveis, na construção e concetualização do conhecimento dos alunos.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Natureza morta...edifício com vida: uma arquitetura sustentável para o Serviço de Verificação de Óbitos

Sustainability in buildings, while reducing the impact on the environment, contributes to the promotion of social welfare, to increase the health and productivity of occupants. The search for a way of build that meets the aspirations and development of humanity without, however, represent degradation of the environment, has become the great challenge of contemporary architecture. It is considered that the incorporation of principles that provide a sustainable building with careful choices of design solutions contribute to a better economic and thermal performance of the building, as well as functional and psychological comfort to its users. Based on this general understanding, this paper presents an architecture project aimed to health care whose the solutions adopted follow carefully the relevant legislation and sets his sights on the theme of sustainability. The methodology began with studies on the themes of verification service of deaths, sustainability and those application in construction developed through research in academic studies and analysis of architectural projects, using them like reference for the solutions adopted. Within the project analysis was performed a visit to the verification service of deaths in the city of Palmas in Tocantins, subsidizing information that, plus the relevant legislation, led to functional programming and pre-dimensional of the building to be designed. The result of this programming environments were individual records with information from environmental restrictions, space required for the development of activities, desirable flow and sustainability strategies, that can be considered as the first product of relevance of the professional master's degree. Finally we have outlined the basic design architecture of a Verification Service of Death SVO/RN (in portuguese), whose process of projecting defined as a guiding line of work four points: the use of bioclimatic architecture as the main feature projectual, the use of resources would provide minimal harm to the environment, the use of modulation and structure to the building as a form of rationalization and finally the search for solutions that ensure environmental and psychological comfort to users. Importantly to highlight that, besides owning a rare theme in literature that refers to architectural projects, the whole project was drawn up with foundations in projective criteria that contribute to environmental sustainability, with emphasis on thermal performance, energy efficiency and reuse of rainwater

Todo Brasileiro merece nível A : habitação multifamiliar para o programa minha casa minha vida energeticamente eficiente

This thesis describes the theoretical, methodological and programmatic proposal for a multifamily residential building located in the urban expansion area of Parnamirim/RN, inserted in the program Minha Casa Minha Vida and level of energy efficiency "A", as the RegulamentoTécnico de Qualidade (RTQ-R/INMETRO) for residential buildings. The development project initially consists of procedures as the study of theoretical, architectural programming and cases studies. With the delimitation of a field solution, situated between the reference and the context, proposals are studied to determine the solution and architectural detailing of the proposal. The architectural program was built based on the method of Problem Seeking (Peña and Parshall, 2001) and research has highlighted aspects of reducing the environmental impact and of the program Minha Casa Minha Vida , among others. The design process was characterized by the incorporation of aspects reviewed and programmed, seeking them compatible and have an economically viable building, socio-spatial quality and energy efficient. The results show that it is possible to obtain a building that meets the constraints of the program that provides housing and energy efficiency level A - and many other environmental qualities and constructive, particularly through architectural design

Projeto do complexo ambulatorial do Hospital Universitário João de Barros Barreto visando a critérios de sustentabilidade

The purpose of this dissertation is the architectural project of the ambulatory complex of the Federal University of Pará in Belém. It is a health care establishment whose focus is sustainability, energy efficiency and humanization. This design went through the application of architectural concepts, the study of references (theorical and empirical ones), planning, examining the terrain and its conditions and the preliminay design and resulted in a preliminary architecture blueprint. The empirical research is based on the main building of the Hospital Universitário João de Barros Barreto in Belém, Hospital Sarah Kubitschek of Fortaleza (Architect João Filgueiras de Lima - Lelé) and Hospital e Maternity São Luiz of São Paulo (Architect Siegbert Zanettini). Part of the planning is based on the method "Problem Seeking of Pena and Parshal (2001)". During the development process I sought to incorporate sustainability criterias, energy efficiency and humanization. In relation to sustainability the dissertation focuses on the utilization of rainwater for non-potable usage

O tema no processo criativo da asmarias companhia de teatro

Seted in the context of the educational actions of Casa Renascer, a non-governmental organization, located in Natal city, which had as its primary purpose the care with children and adolescent girls in vulnerable situations, this research is based on describing and analysis on the topic in the creative process developed by Asmarias Theatre Company from 1993 to 2003, a process that culminated in the assembly of the dramatic text, Mateus e Mateusa, of Qorpo-Santo. In this research is focused on the route of the Theatre Company has done so much theater in its early history (1993), with the practice of reading and dramatic writing in the preparation of didactic material called Primer of Inventions, as in the procedures with theater street and forum theater (1997 to 2000) to the reunion in 2001 of seven teenagers which articulated the last group formation next to the assembly's text Qorpo-Santo (2002- 2003). During the development on this learning, the evolution of the creative process based on institutional theme when asked if one can provide moments of educational experiences through the traditional form of theater, with reference to the issues inherent in the dramatic texts considered classics. The debate on the issue through research and analysis in its descriptions and finds in the interim between his past and present indications that lead to conclusive guises. The methodology, which is guided by research, is based in theatrical archeology (PAVIS, 2005), the evidential paradigm (GINZBURG, 1989) and the second approaches the experiences narrated by Benjamin (1985). We selected documents in formats of written texts, photographic and filmed, and identified in these files, marks and tracks which took us to understand the subject in the creative process of Asmarias Theatre Company during the tests with the dramatic text, Mateus and Mateusa, of Qorpo-Santo. In this theatrical practice, located in the field of the theater pedagogy, it appears that the actions across thematic theater in the Casa Renascer and allowed the formation of critical aesthetic perspective and personal social dimension of the subjects involved. The theme has gained a significant proportion in the theatrical activity as a guiding point of the creative process of Theatre Company, taking in the theatrical art form. In this sense, the creative process with the dramatic and classic texts won the educational dimension to address the issue in the movement of the drama as the focus of individual creation which added to the collective universe of the interactive game

Utilização de resíduo lignocelulósico na obtenção de chapa de madeira aglomerada homogênea e compósito reforçado com fibra de vidro-E

This research is about the use of the coconut´s endocarp (nucifera linn) and the waste of derivatives of wood and furniture as raw material to technological use. In that sense, the lignocellulosic waste is used for manufacture of homogeneous wood sheet agglomerate (LHWS) and lignocellulosic load which take part of a polymeric composite with fiber glass E (GFRP-WC). In the manufacturing of the homogeneous wood sheet agglomerate (LHWS), it was used mamona´s resin as waste s agglutinating element. The plates were taken up in a hydraulic press engine, heated, with temperature control, where they were manufactured for different percentage of waste wood and coconuts nucífera linn. Physical tests were conducted to determine the absorption of water, density, damp grade (in two hours and twenty-four hours), swelling thickness (in two hours and twenty-four hours), and mechanical tests to evaluate the parallel tensile strength (internal stick) and bending and the static (steady) flexural. The physical test´s results indicate that the LHWS can be classified as bonded wood plate of high-density and with highly water resistant. In the mechanical tests it was possible to establish that LHWS presents different characteristics when submitted to uniaxial tensile and to the static (steady) flexural, since brittle and elasticity module had a variation according to the amount of dry endocarp used to manufacture each trace of LHWS. The GFRP-WC was industrially manufactured by a hand-lay-up process where the fiber glass E was used as reinforcement the lignocellulósic´s waste as load. The matrix was made with ortofitalic unsaturated polyester resin. Physical and mechanical tests were performed in presence of saturated humidity and dry. The results indicated good performance of the GFRP-WC, as traction as in flexion in three points. The presence of water influenced the modules obtained in the flexural and tensile but there were no significant alteration in the properties analyzed. As for the fracture, the analysis showed that the effects are more harmful in the presence of damp, under the action of loading tested, but despite this, the fracture was well defined starting in the external parts and spreading to the internal regions when one when it reaches the hybrid load

Análise gráfica de estruturas porosas sobre a ótica da estereologia

In this work we developed a computer simulation program for physics porous structures based on programming language C + + using a Geforce 9600 GT with the PhysX chip, originally developed for video games. With this tool, the ability of physical interaction between simulated objects is enlarged, allowing to simulate a porous structure, for example, reservoir rocks and structures with high density. The initial procedure for developing the simulation is the construction of porous cubic structure consisting of spheres with a single size and with varying sizes. In addition, structures can also be simulated with various volume fractions. The results presented are divided into two parts: first, the ball shall be deemed as solid grains, ie the matrix phase represents the porosity, the second, the spheres are considered as pores. In this case the matrix phase represents the solid phase. The simulations in both cases are the same, but the simulated structures are intrinsically different. To validate the results presented by the program, simulations were performed by varying the amount of grain, the grain size distribution and void fraction in the structure. All results showed statistically reliable and consistent with those presented in the literature. The mean values and distributions of stereological parameters measured, such as intercept linear section of perimeter area, sectional area and mean free path are in agreement with the results obtained in the literature for the structures simulated. The results may help the understanding of real structures.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

Simulador de escoamento multifásico em poços de petróleo (SEMPP)

The multiphase flow occurrence in the oil and gas industry is common throughout fluid path, production, transportation and refining. The multiphase flow is defined as flow simultaneously composed of two or more phases with different properties and immiscible. An important computational tool for the design, planning and optimization production systems is multiphase flow simulation in pipelines and porous media, usually made by multiphase flow commercial simulators. The main purpose of the multiphase flow simulators is predicting pressure and temperature at any point at the production system. This work proposes the development of a multiphase flow simulator able to predict the dynamic pressure and temperature gradient in vertical, directional and horizontal wells. The prediction of pressure and temperature profiles was made by numerical integration using marching algorithm with empirical correlations and mechanistic model to predict pressure gradient. The development of this tool involved set of routines implemented through software programming Embarcadero C++ Builder® 2010 version, which allowed the creation of executable file compatible with Microsoft Windows® operating systems. The simulator validation was conduct by computational experiments and comparison the results with the PIPESIM®. In general, the developed simulator achieved excellent results compared with those obtained by PIPESIM and can be used as a tool to assist production systems development

Sistema inteligente para apoio à decisão na operação de uma malha de escoamento de petróleo

The petroleum production pipeline networks are inherently complex, usually decentralized systems. Strict operational constraints are applied in order to prevent serious problems like environmental disasters or production losses. This paper describes an intelligent system to support decisions in the operation of these networks, proposing a staggering for the pumps of transfer stations that compose them. The intelligent system is formed by blocks which interconnect to process the information and generate the suggestions to the operator. The main block of the system uses fuzzy logic to provide a control based on rules, which incorporate knowledge from experts. Tests performed in the simulation environment provided good results, indicating the applicability of the system in a real oil production environment. The use of the stagger proposed by the system allows a prioritization of the transfer in the network and a flow programming

Implementação do algoritmo (RTM) para processamento sísmico em arquiteturas não convencionais

With the growth of energy consumption worldwide, conventional reservoirs, the reservoirs called "easy exploration and production" are not meeting the global energy demand. This has led many researchers to develop projects that will address these needs, companies in the oil sector has invested in techniques that helping in locating and drilling wells. One of the techniques employed in oil exploration process is the reverse time migration (RTM), in English, Reverse Time Migration, which is a method of seismic imaging that produces excellent image of the subsurface. It is algorithm based in calculation on the wave equation. RTM is considered one of the most advanced seismic imaging techniques. The economic value of the oil reserves that require RTM to be localized is very high, this means that the development of these algorithms becomes a competitive differentiator for companies seismic processing. But, it requires great computational power, that it still somehow harms its practical success. The objective of this work is to explore the implementation of this algorithm in unconventional architectures, specifically GPUs using the CUDA by making an analysis of the difficulties in developing the same, as well as the performance of the algorithm in the sequential and parallel version

Influência da posição e da profundidade de semeadura na emergência de plântulas de açaí (Euterpe oleracea Mart. - Arecaceae)

O objetivo deste trabalho foi determinar a posição e a profundidade de semeadura mais adequadas para a emergência de plântulas de açaizeiro. As sementes foram colocadas para germinar nas profundidades de 0; 3 e 6 cm e nas seguintes posições: sementes com a rafe perpendicular à superfície do substrato e poro germinativo para cima, rafe perpendicular e poro germinativo para baixo, rafe paralela à superfície e poro germinativo para baixo e rafe paralela à superfície e poro germinativo para cima. A emergência de plântulas de açaizeiro com a rafe perpendicular à superfície do substrato e poro germinativo para cima é a mais adequada, pois proporciona igual porcentagem e menor tempo médio de emergência. Profundidades iguais ou superiores a 3 cm são inadequadas para semeadura de Euterpe oleracea Mart.