998 resultados para Modelos de elementos finitos
Resumo:
Esta tesis propone una completa formulacin termo-mecnica para la simulacin no-lineal de mecanismos flexibles basada en mtodos libres de malla. El enfoque se basa en tres pilares principales: la formulacin de Lagrangiano total para medios continuos, la discretizacin de Bubnov-Galerkin, y las funciones de forma libres de malla. Los mtodos sin malla se caracterizan por la definicin de un conjunto de funciones de forma en dominios solapados, junto con una malla de integracin de las ecuaciones discretas de balance. Dos tipos de funciones de forma se han seleccionado como representacin de las familias interpolantes (Funciones de Base Radial) y aproximantes (Mnimos Cuadrados Mviles). Su formulacin se ha adaptado haciendo sus parmetros compatibles, y su ausencia de conectividad predefinida se ha aprovechado para interconectar mltiples dominios de manera automtica, permitiendo el uso de mallas de fondo no conformes. Se propone una formulacin generalizada de restricciones, juntas y contactos, vlida para slidos rgidos y flexibles, siendo estos ltimos discretizados mediante elementos finitos (MEF) o libres de malla. La mayor ventaja de este enfoque reside en que independiza completamente el dominio con respecto de las uniones y acciones externas a cada slido, permitiendo su definicin incluso fuera del contorno. Al mismo tiempo, tambin se minimiza el nmero de ecuaciones de restriccin necesarias para la definicin de uniones realistas. Las diversas validaciones, ejemplos y comparaciones detalladas muestran como el enfoque propuesto es genrico y extensible a un gran nmero de sistemas. En concreto, las comparaciones con el MEF indican una importante reduccin del error para igual nmero de nodos, tanto en simulaciones mecnicas, como trmicas y termo-mecnicas acopladas. A igualdad de error, la eficiencia numrica de los mtodos libres de malla es mayor que la del MEF cuanto ms grosera es la discretizacin. Finalmente, la formulacin se aplica a un problema de diseo real sobre el mantenimiento de estructuras masivas en el interior de un reactor de fusin, demostrando su viabilidad en anlisis de problemas reales, y a su vez mostrando su potencial para su uso en simulacin en tiempo real de sistemas no-lineales. A new complete formulation is proposed for the simulation of nonlinear dynamic of multibody systems with thermo-mechanical behaviour. The approach is founded in three main pillars: total Lagrangian formulation, Bubnov-Galerkin discretization, and meshfree shape functions. Meshfree methods are characterized by the definition of a set of shape functions in overlapping domains, and a background grid for integration of the Galerkin discrete equations. Two different types of shape functions have been chosen as representatives of interpolation (Radial Basis Functions), and approximation (Moving Least Squares) families. Their formulation has been adapted to use compatible parameters, and their lack of predefined connectivity is used to interconnect different domains seamlessly, allowing the use of non-conforming meshes. A generalized formulation for constraints, joints, and contacts is proposed, which is valid for rigid and flexible solids, being the later discretized using either finite elements (FEM) or meshfree methods. The greatest advantage of this approach is that makes the domain completely independent of the external links and actions, allowing to even define them outside of the boundary. At the same time, the number of constraint equations needed for defining realistic joints is minimized. Validation, examples, and benchmarks are provided for the proposed formulation, demonstrating that the approach is generic and extensible to further problems. Comparisons with FEM show a much lower error for the same number of nodes, both for mechanical and thermal analyses. The numerical efficiency is also better when coarse discretizations are used. A final demonstration to a real problem for handling massive structures inside of a fusion reactor is presented. It demonstrates that the application of meshfree methods is feasible and can provide an advantage towards the definition of nonlinear real-time simulation models.
Resumo:
Los sistemas empotrados son cada da ms comunes y complejos, de modo que encontrar procesos seguros, eficaces y baratos de desarrollo software dirigidos especficamente a esta clase de sistemas es ms necesario que nunca. A diferencia de lo que ocurra hasta hace poco, en la actualidad los avances tecnolgicos en el campo de los microprocesadores de los ltimos tiempos permiten el desarrollo de equipos con prestaciones ms que suficientes para ejecutar varios sistemas software en una nica mquina. Adems, hay sistemas empotrados con requisitos de seguridad (safety) de cuyo correcto funcionamiento depende la vida de muchas personas y/o grandes inversiones econmicas. Estos sistemas software se disean e implementan de acuerdo con unos estndares de desarrollo software muy estrictos y exigentes. En algunos casos puede ser necesaria tambin la certificacin del software. Para estos casos, los sistemas con criticidades mixtas pueden ser una alternativa muy valiosa. En esta clase de sistemas, aplicaciones con diferentes niveles de criticidad se ejecutan en el mismo computador. Sin embargo, a menudo es necesario certificar el sistema entero con el nivel de criticidad de la aplicacin ms crtica, lo que hace que los costes se disparen. La virtualizacin se ha postulado como una tecnologa muy interesante para contener esos costes. Esta tecnologa permite que un conjunto de mquinas virtuales o particiones ejecuten las aplicaciones con unos niveles de aislamiento tanto temporal como espacial muy altos. Esto, a su vez, permite que cada particin pueda ser certificada independientemente. Para el desarrollo de sistemas particionados con criticidades mixtas se necesita actualizar los modelos de desarrollo software tradicionales, pues estos no cubren ni las nuevas actividades ni los nuevos roles que se requieren en el desarrollo de estos sistemas. Por ejemplo, el integrador del sistema debe definir las particiones o el desarrollador de aplicaciones debe tener en cuenta las caractersticas de la particin donde su aplicacin va a ejecutar. Tradicionalmente, en el desarrollo de sistemas empotrados, el modelo en V ha tenido una especial relevancia. Por ello, este modelo ha sido adaptado para tener en cuenta escenarios tales como el desarrollo en paralelo de aplicaciones o la incorporacin de una nueva particin a un sistema ya existente. El objetivo de esta tesis doctoral es mejorar la tecnologa actual de desarrollo de sistemas particionados con criticidades mixtas. Para ello, se ha diseado e implementado un entorno dirigido especficamente a facilitar y mejorar los procesos de desarrollo de esta clase de sistemas. En concreto, se ha creado un algoritmo que genera el particionado del sistema automticamente. En el entorno de desarrollo propuesto, se han integrado todas las actividades necesarias para desarrollo de un sistema particionado, incluidos los nuevos roles y actividades mencionados anteriormente. Adems, el diseo del entorno de desarrollo se ha basado en la ingeniera guiada por modelos (Model-Driven Engineering), la cual promueve el uso de los modelos como elementos fundamentales en el proceso de desarrollo. As pues, se proporcionan las herramientas necesarias para modelar y particionar el sistema, as como para validar los resultados y generar los artefactos necesarios para el compilado, construccin y despliegue del mismo. Adems, en el diseo del entorno de desarrollo, la extensin e integracin del mismo con herramientas de validacin ha sido un factor clave. En concreto, se pueden incorporar al entorno de desarrollo nuevos requisitos no-funcionales, la generacin de nuevos artefactos tales como documentacin o diferentes lenguajes de programacin, etc. Una parte clave del entorno de desarrollo es el algoritmo de particionado. Este algoritmo se ha diseado para ser independiente de los requisitos de las aplicaciones as como para permitir al integrador del sistema implementar nuevos requisitos del sistema. Para lograr esta independencia, se han definido las restricciones al particionado. El algoritmo garantiza que dichas restricciones se cumplirn en el sistema particionado que resulte de su ejecucin. Las restricciones al particionado se han diseado con una capacidad expresiva suficiente para que, con un pequeo grupo de ellas, se puedan expresar la mayor parte de los requisitos no-funcionales ms comunes. Las restricciones pueden ser definidas manualmente por el integrador del sistema o bien pueden ser generadas automticamente por una herramienta a partir de los requisitos funcionales y no-funcionales de una aplicacin. El algoritmo de particionado toma como entradas los modelos y las restricciones al particionado del sistema. Tras la ejecucin y como resultado, se genera un modelo de despliegue en el que se definen las particiones que son necesarias para el particionado del sistema. A su vez, cada particin define qu aplicaciones deben ejecutar en ella as como los recursos que necesita la particin para ejecutar correctamente. El problema del particionado y las restricciones al particionado se modelan matemticamente a travs de grafos coloreados. En dichos grafos, un coloreado propio de los vrtices representa un particionado del sistema correcto. El algoritmo se ha diseado tambin para que, si es necesario, sea posible obtener particionados alternativos al inicialmente propuesto. El entorno de desarrollo, incluyendo el algoritmo de particionado, se ha probado con xito en dos casos de uso industriales: el satlite UPMSat-2 y un demostrador del sistema de control de una turbina elica. Adems, el algoritmo se ha validado mediante la ejecucin de numerosos escenarios sintticos, incluyendo algunos muy complejos, de ms de 500 aplicaciones. ABSTRACT The importance of embedded software is growing as it is required for a large number of systems. Devising cheap, efficient and reliable development processes for embedded systems is thus a notable challenge nowadays. Computer processing power is continuously increasing, and as a result, it is currently possible to integrate complex systems in a single processor, which was not feasible a few years ago.Embedded systems may have safety critical requirements. Its failure may result in personal or substantial economical loss. The development of these systems requires stringent development processes that are usually defined by suitable standards. In some cases their certification is also necessary. This scenario fosters the use of mixed-criticality systems in which applications of different criticality levels must coexist in a single system. In these cases, it is usually necessary to certify the whole system, including non-critical applications, which is costly. Virtualization emerges as an enabling technology used for dealing with this problem. The system is structured as a set of partitions, or virtual machines, that can be executed with temporal and spatial isolation. In this way, applications can be developed and certified independently. The development of MCPS (Mixed-Criticality Partitioned Systems) requires additional roles and activities that traditional systems do not require. The system integrator has to define system partitions. Application development has to consider the characteristics of the partition to which it is allocated. In addition, traditional software process models have to be adapted to this scenario. The V-model is commonly used in embedded systems development. It can be adapted to the development of MCPS by enabling the parallel development of applications or adding an additional partition to an existing system. The objective of this PhD is to improve the available technology for MCPS development by providing a framework tailored to the development of this type of system and by defining a flexible and efficient algorithm for automatically generating system partitionings. The goal of the framework is to integrate all the activities required for developing MCPS and to support the different roles involved in this process. The framework is based on MDE (Model-Driven Engineering), which emphasizes the use of models in the development process. The framework provides basic means for modeling the system, generating system partitions, validating the system and generating final artifacts. The framework has been designed to facilitate its extension and the integration of external validation tools. In particular, it can be extended by adding support for additional non-functional requirements and support for final artifacts, such as new programming languages or additional documentation. The framework includes a novel partitioning algorithm. It has been designed to be independent of the types of applications requirements and also to enable the system integrator to tailor the partitioning to the specific requirements of a system. This independence is achieved by defining partitioning constraints that must be met by the resulting partitioning. They have sufficient expressive capacity to state the most common constraints and can be defined manually by the system integrator or generated automatically based on functional and non-functional requirements of the applications. The partitioning algorithm uses system models and partitioning constraints as its inputs. It generates a deployment model that is composed by a set of partitions. Each partition is in turn composed of a set of allocated applications and assigned resources. The partitioning problem, including applications and constraints, is modeled as a colored graph. A valid partitioning is a proper vertex coloring. A specially designed algorithm generates this coloring and is able to provide alternative partitions if required. The framework, including the partitioning algorithm, has been successfully used in the development of two industrial use cases: the UPMSat-2 satellite and the control system of a wind-power turbine. The partitioning algorithm has been successfully validated by using a large number of synthetic loads, including complex scenarios with more that 500 applications.
Resumo:
Los fenmenos dinmicos pueden poner en peligro la integridad de estructuras aeroespaciales y los ingenieros han desarrollado diferentes estrategias para analizarlos. Uno de los grandes problemas que se plantean en la ingeniera es cmo atacar un problema dinmico estructural. En la presente tesis se plantean distintos fenmenos dinmicos y se proponen mtodos para estimar o simular sus comportamientos mediante un anlisis paramtrico determinista y aleatorio del problema. Se han propuesto desde problemas sencillos con pocos grados de libertad que sirven para analizar las diferentes estrategias y herramientas a utilizar, hasta fenmenos muy dinmicos que contienen comportamientos no lineales, daos y fallos. Los primeros ejemplos de investigacin planteados cubren una amplia gama de los fenmenos dinmicos, como el anlisis de vibraciones de elementos msicos, incluyendo impactos y contactos, y el anlisis de una viga con carga armnica aplicada a la que tambin se le aaden parmetros aleatorios que pueden responder a un desconocimiento o incertidumbre de los mismos. Durante el desarrollo de la tesis se introducen conceptos y se aplican distintos mtodos, como el mtodo de elementos finitos (FEM) en el que se analiza su resolucin tanto por esquemas implcitos como explcitos, y mtodos de anlisis paramtricos y estadsticos mediante la tcnica de Monte Carlo. Ms adelante, una vez ya planteadas las herramientas y estrategias de anlisis, se estudian fenmenos ms complejos, como el impacto a baja velocidad en materiales compuestos, en el que se busca evaluar la resistencia residual y, por lo tanto, la tolerancia al dao de la estructura. Se trata de un suceso que puede producirse por la cada de herramienta, granizo o restos en la pista de aterrizaje. Otro de los fenmenos analizados tambin se da en un aeropuerto y se trata de la colisin con un dispositivo frangible, el cual tiene que romperse bajo ciertas cargas y, sin embargo, soportar otras. Finalmente, se aplica toda la metodologa planteada en simular y analizar un posible incidente en vuelo, el fenmeno de la prdida de pala de un turbohlice. Se trata de un suceso muy particular en el que la estructura tiene que soportar unas cargas complejas y excepcionales con las que la aeronave debe ser capaz de completar con xito el vuelo. El anlisis incluye comportamientos no lineales, daos, y varios tipos de fallos, y en el que se trata de identificar los parmetros clave en la secuencia del fallo. El suceso se analiza mediante anlisis estructurales deterministas ms habituales y tambin mediante otras tcnicas como el mtodo de Monte Carlo con el que se logran estudiar distintas incertidumbres en los parmetros con variables aleatorias. Se estudian, entre otros, el tamao de pala perdida, la velocidad y el momento en el que se produce la rotura, y la rigidez y resistencia de los apoyos del motor. Se tiene en cuenta incluso el amortiguamiento estructural del sistema. Las distintas estrategias de anlisis permiten obtener unos resultados valiosos e interesantes que han sido objeto de distintas publicaciones. ABSTRACT Dynamic phenomena can endanger the integrity of aerospace structures and, consequently, engineers have developed different strategies to analyze them. One of the major engineering problems is how to deal with the structural dynamics. In this thesis, different dynamic phenomena are introduced and several methods are proposed to estimate or simulate their behaviors. The analysis is considered through parametric, deterministic and statistical methods. The suggested issues are from simple problems with few degrees of freedom, in order to develop different strategies and tools to solve them, to very dynamic phenomena containing nonlinear behaviors failures, damages. The first examples cover a wide variety of dynamic phenomena such as vibration analysis of mass elements, including impacts and contacts, and beam analysis with harmonic load applied, in which random parameters are included. These parameters can represent the unawareness or uncertainty of certain variables. During the development of the thesis several concepts are introduced and different methods are applied, such as the finite element method (FEM), which is solved through implicit and explicit schemes, and parametrical and statistical methods using the Monte Carlo analysis technique. Next, once the tools and strategies of analysis are set out more complex phenomena are studied. This is the case of a low-speed impact in composite materials, the residual strength of the structure is evaluated, and therefore, its damage tolerance. This incident may occur from a tool dropped, hail or debris throw on the runway. At an airport may also occur, and it is also analyzed, a collision between an airplane and a frangible device. The devise must brake under these loads, however, it must withstand others. Finally, all the considered methodology is applied to simulate and analyze a flight incident, the blade loss phenomenon of a turboprop. In this particular event the structure must support complex and exceptional loads and the aircraft must be able to successfully complete the flight. Nonlinear behavior, damage, and different types of failures are included in the analysis, in which the key parameters in the failure sequence are identified. The incident is analyzed by deterministic structural analysis and also by other techniques such as Monte Carlo method, in which it is possible to include different parametric uncertainties through random variables. Some of the evaluated parameters are, among others, the blade loss size, propeller rotational frequency, speed and angular position where the blade is lost, and the stiffness and strength of the engine mounts. The study does also research on the structural damping of the system. The different strategies of analysis obtain valuable and interesting results that have been already published.
Resumo:
El presente proyecto consiste en el estudio detallado de las solicitaciones mecnicas a las que se encuentra sometido un labe correspondiente a la seccin de baja presin de una turbina de vapor. Primeramente se llevar a cabo una introduccin a este tipo de turbomquinas con el fin de definir conceptos relevantes como el grado de reaccin o el tringulo de velocidades, necesarios para comprender el funcionamiento de estas mquinas. A medida que se avance en la explicacin de los fundamentos tericos de la turbina de vapor, se ir profundizando cada vez ms hasta llegar a la corona de labes del rotor. Aqu se describirn las fuerzas de distinta naturaleza que soportan los labes en condiciones de trabajo, as como el principio de formacin de humedad que ocurre en los ltimos escalonamientos de la etapa de baja presin. Una vez revisados todos los conceptos tericos de inters, se pasar a simular con ayuda de un programa de Elementos Finitos la distribucin de velocidades y de presin del flujo de vapor a su paso por un labe de la ltima corona del rotor. El objetivo que se persigue es cuantificar tanto las tensiones mecnicas como los desplazamientos por deformacin a los que se encuentra sometido el labe debido a la interaccin con el fluido a elevada velocidad. Posteriormente, como ampliacin a este modelo, se ha tenido en cuenta el efecto de los condensados (pequeas gotas de agua) que se forman en los ltimos escalonamientos de la turbina debido a grandes subenfriamientos locales del vapor. Estas gotas impactan sobre el lado de succin del perfil del labe, por tanto su contribucin a los valores de tensin y desplazamiento que experimenta el labe tambin ser cuantificada en el programa de Elementos Finitos. Por ltimo, se har una recopilacin de las principales conclusiones obtenidas tras el modelo simulado por ordenador, as como de la importancia de la calidad del vapor para el buen funcionamiento de la turbomquina.
Resumo:
Los criterios de dimensionamiento en tableros de hormign pretensado estn claramente establecidos para sistemas de pretensado convencional adherente o no, interior o exterior a la losa del tablero as como para sistemas de atirantamiento convencionales. Pero no para sistemas de atirantamiento no convencional como los puentes de atirantamiento extradosado. Con la realizacin de este trabajo, se pretende llegar a unos criterios de dimensionamiento en Estado Lmite de Servicio (ELS), analizando los criterios de dimensionamiento ya existentes en sistemas de atirantamiento convencional, estableciendo las bases para su generalizacin al sistema de atirantamiento extradosado. El desarrollo del presente proyecto comenzar con una breve introduccin sobre los sistemas estructurales con cables y tirantes, explicando sus caractersticas y comportamientos estructurales y dar paso al desarrollo del proyecto, utilizando para dicho estudio la modelizacin de un puente atirantado y otro dos extradosados, uno cuyos tirantes soportarn el 100% de la carga permanente mientras que en el otro soportarn el 60%. Se ha utilizado el programa de elementos finitos SAP 2000 v.17 para su modelacin. Para llegar al dimensionamiento ptimo del puente extradosado, se han llevado a cabo diferentes clculos para el predimensionamiento del pretensado, el efecto de la fluencia y el dimensionamiento final del pretensado. Llegando finalmente al coste que supondra el acero de cada una de las tipologas estudiadas.
Resumo:
La tecnologa de las mquinas mviles autnomas ha sido objeto de una gran investigacin y desarrollo en las ltimas dcadas. En muchas actividades y entornos, los robots pueden realizar operaciones que son duras, peligrosas o simplemente imposibles para los humanos. La exploracin planetaria es un buen ejemplo de un entorno donde los robots son necesarios para realizar las tareas requeridas por los cientficos. La reciente exploracin de Marte con robots autnomos nos ha mostrado la capacidad de las nuevas tecnologas. Desde la invencin de la rueda, que esta acertadamente considerado como el mayor invento en la historia del transporte humano, casi todos los vehculos para exploracin planetaria han empleado las ruedas para su desplazamiento. Las nuevas misiones planetarias demandan maquinas cada vez mas complejas. En esta Tesis se propone un nuevo diseo de un robot con patas o maquina andante que ofrecer claras ventajas en entornos extremos. Se demostrara que puede desplazarse en los terrenos donde los robots con ruedas son ineficientes, convirtindolo en una eleccin perfecta para misiones planetarias. Se presenta una resea histrica de los principales misiones espaciales, en particular aquellos dirigidos a la exploracin planetaria. A travs de este estudio ser posible analizar las desventajas de los robots con ruedas utilizados en misiones anteriores. El diseo propuesto de robot con patas ser presentado como una alternativa para aquellas misiones donde los robots con ruedas puedan no ser la mejor opcin. En esta tesis se presenta el diseo mecnico de un robot de seis patas capaz de soportar las grandes fuerzas y momentos derivadas del movimiento de avance. Una vez concluido el diseo mecnico es necesario realizar un anlisis que permita entender el movimiento y comportamiento de una maquina de esta complejidad. Las ecuaciones de movimiento del robot sern validadas por dos mtodos: cinemtico y dinmico. Dos cdigos Matlab han sido desarrollados para resolver dichos sistemas de ecuaciones y han sido verificados por un tercer mtodo, un modelo de elementos finitos, que tambin verifica el diseo mecnico. El robot con patas presentado, ha sido diseado para la exploracin planetaria en Marte. El comportamiento del robot durante sus desplazamientos ser probado mediante un cdigo de Matlab, desarrollado para esta tesis, que permite modificar las trayectorias, el tipo de terreno, y el nmero y altura de los obstculos. Estos terrenos y requisitos iniciales no han sido elegidos de forma aleatoria, si no que estn basados en mi experiencia como miembro del equipo de MSL-NASA que opera un instrumento a bordo del rover Curiosity en Marte. El robot con patas desarrollado y fabricado por el Centro de Astrobiologa (INTA-CSIC), esta basado en el diseo mecnico y anlisis presentados en esta tesis. ABSTRACT The autonomous machines technology has undergone a major research and development during the last decades. In many activities and environments, robots can perform operations that are tought, dangerous or simply imposible to humans. Planetary exploration is a good example of such environment where robots are needed to perform the tasks required by the scientits. Recent Mars exploration based on autonomous vehicles has shown us the capacity of the new technologies. From the invention of the wheel, which is rightly regarded as the greatest invention in the history of human transportation, nearly all-planetary vehicles are based in wheeled locomotion, but new missions demand new types of machines due to the complex tasks needed to be performed. It will be proposed in this thesis a new design of a legged robot or walking machine, which may offer clear advantages in tough environments. This Thesis will show that the proposed walking machine can travel, were terrain difficulties make wheeled vehicles ineffective, making it a perfect choice for planetary mission. A historical background of the main space missions, in particular those aimed at planetary exploration will be presented. From this study the disadvantages found in the existing wheel rovers will be analysed. The legged robot designed will be introduced as an alternative were wheeled rovers could be no longer the best option for planetary exploration. This thesis introduces the mechanical design of a six-leg robot capable of withstanding high forces and moments due to the walking motion. Once the mechanical design is concluded, and in order to analyse a machine of this complexity an understanding of its movement and behaviour is mandatory. This movement equation will be validated by two methods: kinematics and dynamics. Two Matlab codes have been developed to solve the systems of equations and validated by a third method, a finite element model, which also verifies the mechanical design. The legged robot presented has been designed for a Mars planetary exploration. The movement behaviour of the robot will be tested in a Matlab code developed that allows to modify the trajectories, the type of terrain, number and height of obstacles. These terrains and initial requirements have not been chosen randomly, those are based on my experience as a member of the MSL NASA team, which operates an instrument on-board of the Curiosity rover in Mars. The walking robot developed and manufactured by the Center of Astrobiology (CAB) is based in the mechanical design and analysis that will be presented in this thesis.
Resumo:
En los ltimos aos, y asociado al desarrollo de la tecnologa MEMS, la tcnica de indentacin instrumentada se ha convertido en un mtodo de ensayo no destructivo ampliamente utilizado para hallar las caractersticas elstico-plsticas de recubrimientos y capas delgadas, desde la escala macroscpica a la microscpica. Sin embargo, debido al complejo mecanismo de contacto debajo de la indentacin, es urgente proponer un mtodo ms simple y conveniente para obtener unos resultados comparables con otras mediciones tradicionales. En este estudio, el objetivo es mejorar el procedimiento analtico para extraer las propiedades elstico-plsticas del material mediante la tcnica de indentacin instrumentada. La primera parte se centra en la metodologa llevada a cabo para medir las propiedades elsticas de los materiales elsticos, presentndose una nueva metodologa de indentacin, basada en la evolucin de la rigidez de contacto y en la curva fuerza-desplazamiento del ensayo de indentacin. El mtodo propuesto permite discriminar los valores de indentacin experimental que pudieran estar afectados por el redondeo de la punta del indentador. Adems, esta tcnica parece ser robusta y permite obtener valores fiables del modulo elstico. La segunda parte se centra en el proceso analtico para determinar la curva tensin-deformacin a partir del ensayo de indentacin, empleando un indentador esfrico. Para poder asemejar la curva tension-deformacin de indentacin con la que se obtendra de un ensayo de traccin, Tabor determin empricamente un factor de constriccin de la tensin () y un factor de constriccin de la deformacin (). Sin embargo, la eleccin del valor de y necesitan una derivacin analtica. Se describi analticamente una nueva visin de la relacin entre los factores de constriccin de tensin y la deformacin basado en la deduccin de la ecuacin de Tabor. Un modelo de elementos finitos y un diseo experimental se realizan para evaluar estos factores de constriccin. A partir de los resultados obtenidos, las curvas tension-deformacin extraidas de los ensayos de indentacin esfrica, afectadas por los correspondientes factores de constriccin de tension y deformacin, se ajustaron a la curva nominal tensin-deformacin obtenida de ensayos de traccin convencionales. En la ltima parte, se estudian las propiedades del revestimiento de cermet Inconel 625-Cr3C2 que es depositado en el medio de una aleacin de acero mediante un lser. Las propiedades mecnicas de la matriz de cermet son estudiadas mediante la tcnica de indentacin instrumentada, haciendo uso de las metodologas propuestas en el presente trabajo. In recent years, along with the development of MEMS technology, instrumented indentation, as one type of a non-destructive measurement technique, is widely used to characterize the elastic and plastic properties of metallic materials from the macro to the micro scale. However, due to the complex contact mechanisms under the indentation tip, it is necessary to propose a more convenient and simple method of instrumented indention to obtain comparable results from other conventional measurements. In this study, the aim is to improve the analytical procedure for extracting the elastic plastic properties of metallic materials by instrumented indentation. The first part focuses on the methodology for measuring the elastic properties of metallic materials. An alternative instrumented indentation methodology is presented. Based on the evolution of the contact stiffness and indentation load versus the depth of penetration, the possibility of obtaining the actual elastic modulus of an elastic-plastic bulk material through instrumented sharp indentation tests has been explored. The proposed methodology allows correcting the effect of the rounding of the indenter tip on the experimental indentation data. Additionally, this technique does not seem too sensitive to the pile-up phenomenon and allows obtaining convincing values of the elastic modulus. In the second part, an analytical procedure is proposed to determine the representative stress-strain curve from the spherical indentation. Tabor has determined the stress constraint factor (stress CF), and strain constraint factor (strain CF), empirically but the choice of a value for and is debatable and lacks analytical derivation. A new insight into the relationship between stress and strain constraint factors is analytically described based on the formulation of Tabors equation. Finite element model and experimental tests have been carried out to evaluate these constraint factors. From the results, representative stress-strain curves using the proposed strain constraint factor fit better with the nominal stress-strain curve than those using Tabors constraint factors. In the last part, the mechanical properties of an Inconel 625-Cr3C2 cermet coating which is deposited onto a medium alloy steel by laser cladding has been studied. The elastic and plastic mechanical properties of the cermet matrix are studied using depth-sensing indentation (DSI) on the micro scale.
Resumo:
El objetivo de la tesis es la investigacin de algoritmos numricos para el desarrollo de herramientas numricas para la simulacin de problemas tanto de comportamiento en la mar como de resistencia al avance de buques y estructuras flotantes. La primera herramienta desarrollada resuelve el problema de difraccin y radiacin de olas. Se basan en el mtodo de los elementos finitos (MEF) para la resolucin de la ecuacin de Laplace, as como en esquemas basados en MEF, integracin a lo largo de lneas de corriente, y en diferencias finitas desarrollados para la condicin de superficie libre. Se han desarrollado herramientas numricas para la resolucin de la dinmica de slido rgido en sistemas multicuerpos con ligaduras. Estas herramientas han sido integradas junto con la herramienta de resolucin de olas difractadas y radiadas para la resolucin de problemas de interaccin de cuerpos con olas. Tambin se han diseado algoritmos de acoplamientos con otras herramientas numricas para la resolucin de problemas multifsica. En particular, se han realizado acoplamientos con una herramienta numrica basada de clculo de estructuras con MEF para problemas de interaccin fluido-estructura, otra de clculo de lneas de fondeo, y con una herramienta numrica de clculo de flujos en tanques internos para problemas acoplados de comportamiento en la mar con sloshing. Se han realizado simulaciones numricas para la validacin y verificacin de los algoritmos desarrollados, as como para el anlisis de diferentes casos de estudio con aplicaciones diversas en los campos de la ingeniera naval, ocenica, y energas renovables marinas. ABSTRACT The objective of this thesis is the research on numerical algorithms to develop numerical tools to simulate seakeeping problems as well as wave resistance problems of ships and floating structures. The first tool developed is a wave diffraction-radiation solver. It is based on the finite element method (FEM) in order to solve the Laplace equation, as well as numerical schemes based on FEM, streamline integration, and finite difference method tailored for solving the free surface boundary condition. It has been developed numerical tools to solve solid body dynamics of multibody systems with body links across them. This tool has been integrated with the wave diffraction-radiation solver to solve wave-body interaction problems. Also it has been tailored coupling algorithms with other numerical tools in order to solve multi-physics problems. In particular, it has been performed coupling with a MEF structural solver to solve fluid-structure interaction problems, with a mooring solver, and with a solver capable of simulating internal flows in tanks to solve couple seakeeping-sloshing problems. Numerical simulations have been carried out to validate and verify the developed algorithms, as well as to analyze case studies in the areas of marine engineering, offshore engineering, and offshore renewable energy.
Resumo:
El principal objetivo de esta tesis es el desarrollo de mtodos de sntesis de diagramas de radiacin de agrupaciones de antenas, en donde se realiza una caracterizacin electromagntica rigurosa de los elementos radiantes y de los acoplos mutuos existentes. Esta caracterizacin no se realiza habitualmente en la gran mayora de mtodos de sntesis encontrados en la literatura, debido fundamentalmente a dos razones. Por un lado, se considera que el diagrama de radiacin de un array de antenas se puede aproximar con el factor de array que nicamente tiene en cuenta la posicin de los elementos y las excitaciones aplicadas a los mismos. Sin embargo, como se mostrar en esta tesis, en mltiples ocasiones un riguroso anlisis de los elementos radiantes y del acoplo mutuo entre ellos es importante ya que los resultados obtenidos pueden ser notablemente diferentes. Por otro lado, no es sencillo combinar un mtodo de anlisis electromagntico con un proceso de sntesis de diagramas de radiacin. Los mtodos de anlisis de agrupaciones de antenas suelen ser costosos computacionalmente, ya que son estructuras grandes en trminos de longitudes de onda. Generalmente, un diseo de un problema electromagntico suele comprender varios anlisis de la estructura, dependiendo de las variaciones de las caractersticas, lo que hace este proceso muy costoso. Dos mtodos se utilizan en esta tesis para el anlisis de los arrays acoplados. Ambos estn basados en el mtodo de los elementos finitos, la descomposicin de dominio y el anlisis modal para analizar la estructura radiante y han sido desarrollados en el grupo de investigacin donde se engloba esta tesis. El primero de ellos es una tcnica de anlisis de arrays finitos basado en la aproximacin de array infinito. Su uso es indicado para arrays planos de grandes dimensiones con elementos equiespaciados. El segundo caracteriza el array y el acoplo mutuo entre elementos a partir de una expansin en modos esfricos del campo radiado por cada uno de los elementos. Este mtodo calcula los acoplos entre los diferentes elementos del array usando las propiedades de traslacin y rotacin de los modos esfricos. Es capaz de analizar agrupaciones de elementos distribuidos de forma arbitraria. Ambas tcnicas utilizan una formulacin matricial que caracteriza de forma rigurosa el campo radiado por el array. Esto las hace muy apropiadas para su posterior uso en una herramienta de diseo, como los mtodos de sntesis desarrollados en esta tesis. Los resultados obtenidos por estas tcnicas de sntesis, que incluyen mtodos rigurosos de anlisis, son consecuentemente ms precisos. La sntesis de arrays consiste en modificar uno o varios parmetros de las agrupaciones de antenas buscando unas determinadas especificaciones de las caractersticas de radiacin. Los parmetros utilizados como variables de optimizacin pueden ser varios. Los ms utilizados son las excitaciones aplicadas a los elementos, pero tambin es posible modificar otros parmetros de diseo como son las posiciones de los elementos o las rotaciones de estos. Los objetivos de las sntesis pueden ser dirigir el haz o haces en una determinada direccin o conformar el haz con formas arbitrarias. Adems, es posible minimizar el nivel de los lbulos secundarios o del rizado en las regiones deseadas, imponer nulos que evitan posibles interferencias o reducir el nivel de la componente contrapolar. El mtodo para el anlisis de arrays finitos basado en la aproximacin de array infinito considera un array finito como un array infinito con un nmero finito de elementos excitados. Los elementos no excitados estn fsicamente presentes y pueden presentar tres diferentes terminaciones, corto-circuito, circuito abierto y adaptados. Cada una de estas terminaciones simular mejor el entorno real en el que el array se encuentre. Este mtodo de anlisis se integra en la tesis con dos mtodos diferentes de sntesis de diagramas de radiacin. En el primero de ellos se presenta un mtodo basado en programacin lineal en donde es posible dirigir el haz o haces, en la direccin deseada, adems de ejercer un control sobre los lbulos secundarios o imponer nulos. Este mtodo es muy eficiente y obtiene soluciones ptimas. El mismo mtodo de anlisis es tambin aplicado a un mtodo de conformacin de haz, en donde un problema originalmente no convexo (y de difcil solucin) es transformado en un problema convexo imponiendo restricciones de simetra, resolviendo de este modo eficientemente un problema complejo. Con este mtodo es posible disear diagramas de radiacin con haces de forma arbitraria, ejerciendo un control en el rizado del lbulo principal, as como en el nivel de los lbulos secundarios. El mtodo de anlisis de arrays basado en la expansin en modos esfricos se integra en la tesis con tres tcnicas de sntesis de diagramas de radiacin. Se propone inicialmente una sntesis de conformacin del haz basado en el mtodo de la recuperacin de fase resuelta de forma iterativa mediante mtodos convexos, en donde relajando las restricciones del problema original se consiguen unas soluciones cercanas a las ptimas de manera eficiente. Dos mtodos de sntesis se han propuesto, donde las variables de optimizacin son las posiciones y las rotaciones de los elementos respectivamente. Se define una funcin de coste basada en la intensidad de radiacin, la cual es minimizada de forma iterativa con el mtodo del gradiente. Ambos mtodos reducen el nivel de los lbulos secundarios minimizando una funcin de coste. El gradiente de la funcin de coste es obtenido en trminos de la variable de optimizacin en cada mtodo. Esta funcin de coste est formada por la expresin rigurosa de la intensidad de radiacin y por una funcin de peso definida por el usuario para imponer prioridades sobre las diferentes regiones de radiacin, si as se desea. Por ltimo, se presenta un mtodo en el cual, mediante tcnicas de programacin entera, se buscan las fases discretas que generan un diagrama de radiacin lo ms cercano posible al deseado. Con este mtodo se obtienen diseos que minimizan el coste de fabricacin. En cada uno de las diferentes tcnicas propuestas en la tesis, se presentan resultados con elementos reales que muestran las capacidades y posibilidades que los mtodos ofrecen. Se comparan los resultados con otros mtodos disponibles en la literatura. Se muestra la importancia de tener en cuenta los diagramas de los elementos reales y los acoplos mutuos en el proceso de sntesis y se comparan los resultados obtenidos con herramientas de software comerciales. ABSTRACT The main objective of this thesis is the development of optimization methods for the radiation pattern synthesis of array antennas in which a rigorous electromagnetic characterization of the radiators and the mutual coupling between them is performed. The electromagnetic characterization is usually overlooked in most of the available synthesis methods in the literature, this is mainly due to two reasons. On the one hand, it is argued that the radiation pattern of an array is mainly influenced by the array factor and that the mutual coupling plays a minor role. As it is shown in this thesis, the mutual coupling and the rigorous characterization of the array antenna influences significantly in the array performance and its computation leads to differences in the results obtained. On the other hand, it is difficult to introduce an analysis procedure into a synthesis technique. The analysis of array antennas is generally expensive computationally as the structure to analyze is large in terms of wavelengths. A synthesis method requires to carry out a large number of analysis, this makes the synthesis problem very expensive computationally or intractable in some cases. Two methods have been used in this thesis for the analysis of coupled antenna arrays, both of them have been developed in the research group in which this thesis is involved. They are based on the finite element method (FEM), the domain decomposition and the modal analysis. The first one obtains a finite array characterization with the results obtained from the infinite array approach. It is specially indicated for the analysis of large arrays with equispaced elements. The second one characterizes the array elements and the mutual coupling between them with a spherical wave expansion of the radiated field by each element. The mutual coupling is computed using the properties of translation and rotation of spherical waves. This method is able to analyze arrays with elements placed on an arbitrary distribution. Both techniques provide a matrix formulation that makes them very suitable for being integrated in synthesis techniques, the results obtained from these synthesis methods will be very accurate. The array synthesis stands for the modification of one or several array parameters looking for some desired specifications of the radiation pattern. The array parameters used as optimization variables are usually the excitation weights applied to the array elements, but some other array characteristics can be used as well, such as the array elements positions or rotations. The desired specifications may be to steer the beam towards any specific direction or to generate shaped beams with arbitrary geometry. Further characteristics can be handled as well, such as minimize the side lobe level in some other radiating regions, to minimize the ripple of the shaped beam, to take control over the cross-polar component or to impose nulls on the radiation pattern to avoid possible interferences from specific directions. The analysis method based on the infinite array approach considers an infinite array with a finite number of excited elements. The infinite non-excited elements are physically present and may have three different terminations, short-circuit, open circuit and match terminated. Each of this terminations is a better simulation for the real environment of the array. This method is used in this thesis for the development of two synthesis methods. In the first one, a multi-objective radiation pattern synthesis is presented, in which it is possible to steer the beam or beams in desired directions, minimizing the side lobe level and with the possibility of imposing nulls in the radiation pattern. This method is very efficient and obtains optimal solutions as it is based on convex programming. The same analysis method is used in a shaped beam technique in which an originally non-convex problem is transformed into a convex one applying symmetry restrictions, thus solving a complex problem in an efficient way. This method allows the synthesis of shaped beam radiation patterns controlling the ripple in the mainlobe and the side lobe level. The analysis method based on the spherical wave expansion is applied for different synthesis techniques of the radiation pattern of coupled arrays. A shaped beam synthesis is presented, in which a convex formulation is proposed based on the phase retrieval method. In this technique, an originally non-convex problem is solved using a relaxation and solving a convex problems iteratively. Two methods are proposed based on the gradient method. A cost function is defined involving the radiation intensity of the coupled array and a weighting function that provides more degrees of freedom to the designer. The gradient of the cost function is computed with respect to the positions in one of them and the rotations of the elements in the second one. The elements are moved or rotated iteratively following the results of the gradient. A highly non-convex problem is solved very efficiently, obtaining very good results that are dependent on the starting point. Finally, an optimization method is presented where discrete digital phases are synthesized providing a radiation pattern as close as possible to the desired one. The problem is solved using linear integer programming procedures obtaining array designs that greatly reduce the fabrication costs. Results are provided for every method showing the capabilities that the above mentioned methods offer. The results obtained are compared with available methods in the literature. The importance of introducing a rigorous analysis into the synthesis method is emphasized and the results obtained are compared with a commercial software, showing good agreement.
Resumo:
Os papeis de homens e mulheres na sociedade contempornea tm sido reestruturados, assim como a prpria noo das estruturas familiares se renova. Algumas marcas esto atentas a essas mudanas e, no contexto mercadolgico, fica evidente que os consumidores so diversos, com novas demandas e expectativas pelo reconhecimento dessa diversidade. Esta dissertao discute a mudana de abordagem na representao da famlia, demonstrando suas mutaes de papeis na publicidade, esta vista como um produto sociocultural. Para tanto foi desenvolvida uma pesquisa qualitativa subsidiada pela anlise de discurso de linha francesa. Primeiramente, o estudo qualitativo se desenvolve a partir de uma abordagem bibliogrfica e documental e uma parte emprica de anlise de discurso de campanhas publicitrias dos ltimos anos, selecionadas a partir de seu foco nas representaes familiares contemporneas, de marcas que as tratem com naturalidade e demonstrem aceitar essas transies, buscando-as atravs da anlise de casos mltiplos de amostras intencionais os avanos quando se trata dos modelos familiares, elementos que se desviam de representao conservadora da famlia. Demonstrou-se que h uma tendncia de algumas marcas reforarem qual o pblico que desejam atingir atravs de suas construes discursivas que apontam para o reconhecimento das famlias reconstitudas, para a adoo e para a homo e monoparentalidade, ou seja, para a confirmao da existncia dos variados tipos de famlia.
Resumo:
A necessidade de obter soluo de grandes sistemas lineares resultantes de processos de discretizao de equaes diferenciais parciais provenientes da modelagem de diferentes fenmenos fsicos conduz busca de tcnicas numricas escalveis. Mtodos multigrid so classificados como algoritmos escalveis.Um estimador de erros deve estar associado soluo numrica do problema discreto de modo a propiciar a adequada avaliao da soluo obtida pelo processo de aproximao. Nesse contexto, a presente tese caracteriza-se pela proposta de reutilizao das estruturas matriciais hierrquicas de operadores de transferncia e restrio dos mtodos multigrid algbricos para acelerar o tempo de soluo dos sistemas lineares associados equao do transporte de contaminantes em meio poroso saturado. Adicionalmente, caracteriza-se pela implementao das estimativas residuais para os problemas que envolvem dados constantes ou no constantes, os regimes de pequena ou grande adveco e pela proposta de utilizao das estimativas residuais associadas ao termo de fonte e condio inicial para construir procedimentos adaptativos para os dados do problema. O desenvolvimento dos cdigos do mtodo de elementos finitos, do estimador residual e dos procedimentos adaptativos foram baseados no projeto FEniCS, utilizando a linguagem de programao PYTHONR e desenvolvidos na plataforma Eclipse. A implementao dos mtodos multigrid algbricos com reutilizao considera a biblioteca PyAMG. Baseado na reutilizao das estruturas hierrquicas, os mtodos multigrid com reutilizao com parmetro fixo e automtica so propostos, e esses conceitos so estendidos para os mtodos iterativos no-estacionrios tais como GMRES e BICGSTAB. Os resultados numricos mostraram que o estimador residual captura o comportamento do erro real da soluo numrica, e fornece algoritmos adaptativos para os dados cuja malha retornada produz uma soluo numrica similar uma malha uniforme com mais elementos. Adicionalmente, os mtodos com reutilizao so mais rpidos que os mtodos que no empregam o processo de reutilizao de estruturas. Alm disso, a eficincia dos mtodos com reutilizao tambm pode ser observada na soluo do problema auxiliar, o qual necessrio para obteno das estimativas residuais para o regime de grande adveco. Esses resultados englobam tanto os mtodos multigrid algbricos do tipo SA quanto os mtodos pr-condicionados por mtodos multigrid algbrico SA, e envolvem o transporte de contaminantes em regime de pequena e grande adveco, malhas estruturadas e no estruturadas, problemas bidimensionais, problemas tridimensionais e domnios com diferentes escalas.
Resumo:
Este trabalho trata do desenvolvimento de um sistema computacional, para a gerao de dados e apresentao de resultados, especfico para as estruturas de edifcios. As rotinas desenvolvidas devem trabalhar em conjunto com um sistema computacional para anlise de estruturas com base no Mtodo dos Elementos Finitos, contemplando tanto as estruturas de pavimentos; com a utilizao de elementos de barra, placa/casca e molas; como as estruturas de contraventamento; com a utilizao de elementos de barra tridimensional e recursos especiais como n mestre e trechos rgidos. A linguagem computacional adotada para a elaborao das rotinas mencionadas o Object Pascal do DELPHI, um ambiente de programao visual estruturado na programao orientada a objetos do Object Pascal. Essa escolha tem como objetivo, conseguir um sistema computacional onde alteraes e adies de funes possam ser realizadas com facilidade, sem que todo o conjunto de programas precise ser analisado e modificado. Por fim, o programa deve servir como um verdadeiro ambiente para anlise de estruturas de edifcios, controlando atravs de uma interface amigvel com o usurio uma srie de outros programas j desenvolvidos em FORTRAN, como por exemplo o dimensionamento de vigas, pilares, etc.
Resumo:
Os motores de corrente contnua convencionais so muito bem conhecidos pela sua robustez e pelo seu alto nvel de controlabilidade, alem do fato de possibilitarem a operao na regio de enfraquecimento de campo (modo motor), quando esta situao se fizer necessria. Por estas caractersticas, as mquinas de corrente contnua ainda so empregadas nos dias atuais em nichos especficos de utilizao. No obstante, a mquina c.c. apresenta algumas desvantagens, principalmente a intensiva e dispendiosa manuteno eletromecnica necessria para sua operao. Como opo de sanar este problema, surgiram na dcada de 60, as mquinas eltricas de corrente contnua sem escovas (brushless) com excitao por ms permanentes de fluxo trapezoidal. O problema destas mquinas se deve justamente a impossibilidade da variao de fluxo de excitao uma vez que so produzidos puramente pelos ms. Sendo assim, este trabalho tem como propsito, o estudo de topologias diferenciadas da mquina eltrica, atravs de um circuito magntico no convencional para aplicao e utilizao em sistemas de trao eltrica para operao na regio de enfraquecimento de campo atravs da variao do fluxo resultante no entreferro. Como objeto de estudo, foi focada a topologia de fluxo axial com excitao hbrida, ou seja, dupla excitao (excitao a ms permanentes e excitao eltrica). Para o projeto da topologia proposta, nesta tese, adicionalmente ao mtodo analtico, foram realizadas simulaes computacionais para a comparao e refinamento dos resultados das grandezas eletromagnticas da mquina.
Resumo:
O presente trabalho trata do clculo da fora contra eletromotriz em carga de uma mquina sncrona com ms na superfcie do rotor (cuja forma de onda de fora contra eletromotriz no senoidal) sendo esta alimentada por correntes de fase cujas forma de onda so quadradas. Para conduzir esta investigao e calcular a fora contra eletromotriz da mquina em estudo, faz-se uma reviso sobre o Mtodo da Permeabilidade Fixa, mtodo este que permite a linearizao do ponto de operao da mquina. Dessa forma, as simulaes so conduzidas por meio do mtodo dos elementos finitos e do Mtodo da Permeabilidade Fixa, levando-se em conta a forma de onda da corrente de alimentao. Ateno especial dada ao modo que se analisa o fluxo concatenado e a forma de obteno da fora contra eletromotriz uma vez que as formas de onda do fluxo concatenado sofrem variaes abruptas a cada 60 eltricos. Alm destes parmetros, analisa-se tambm cada uma das parcelas do torque eletromagntico, i.e., torque mtuo, torque de relutncia e torque de borda, sendo realizado ao final do trabalho, uma comparao entre a soma da estimativa de cada parmetro com o valor do torque eletromagntico obtido por meio de uma simulao no linear.
Resumo:
O foco do presente trabalho estudar a intensificao da presso de contato entre os dentes de duas engrenagens cilndricas de dentes retos, que ocorre por causa do deslocamento dos componentes de um redutor de velocidades. Essa intensificao ocorre inclusive em um redutor fabricado sem quaisquer erros de usinagem ou de montagem. A correo de hlice uma usinagem realizada na superfcie do dente da engrenagem que compensa os deslocamentos dos eixos e engrenagens, devido flexo e toro, e os deslocamentos dos dentes das engrenagens, devido flexo e presso de contato. Foram estudados efeitos importantes para essa correo de hlice em um redutor de velocidades. Com isso, foi desenvolvido um modelo analtico que calcula a correo necessria para diminuir esse intensificador de presso de contato em funo dos deslocamentos citados acima. Esse modelo analtico foi comparado com um modelo analtico da literatura e com o software comercial RIKOR. Os resultados de correo de hlice propostos so similares aos da literatura e do RIKOR com exceo das bordas das engrenagens, aonde existem algumas divergncias. Posteriormente, foi desenvolvido um modelo slido de engrenagem com o perfil evolvente e com as correes de hlice calculadas analiticamente. Este modelo tridimensional (3D) foi elaborado usando os softwares SolidWorks e Inventor e simulado por elementos finitos por meio do software ANSYS. Verificou-se que as trs correes de hlice - a proposta, a da literatura e a do RIKOR - realmente diminuem a intensificao de presso de contato no flanco do dente da engrenagem. Por fim, foi possvel visualizar que a correo proposta nesta dissertao 3% mais efetiva que a proposta pela literatura e pelo RIKOR para o caso analisado.