Esta dissertação contempla o estudo sobre os principais aspectos que norteiam as propostas normativas com critérios de dimensionamento de estruturas de concreto armado reforçadas com Polímeros Reforçados com Fibras (FRP). Este trabalho procura avaliar e discutir as metodologias de cálculo sugeridas pelas publicações American Concrete Institute (ACI) \"Committee 440\" e Fédération Internationale du béton (FIB) e propor um procedimento para a análise e dimensionamento do reforço aos esforços de flexão e discutir a importância do esforço cortante com relação à flexão. Primeiramente, efetuou-se uma revisão bibliográfica sobre o estado da arte no que concerne ao dimensionamento de reforços com materiais compósitos de FRP. Em seguida, apresentou-se a análise da verificação de segurança de elementos reforçados à flexão segundo a perspectiva das publicações acima mencionadas: ACI440.2R (2017) e FIB Model Code (2010). Posteriormente, estabeleceu-se um estudo de análise comparativa entre os resultados experimentais encontrados na bibliografia, os previstos pelos referidos manuais para os modelos aqui estudados. Os valores máximos da capacidade resistente dos modelos serão confrontados e a importância do conhecimento das características dos materiais discutidos. Com tais informações sistematizaram-se os procedimentos de cálculo a se adotar em um projeto de reforço estrutural com sistemas compósitos de FRP, respeitando as propostas normativas que mais se adequam ao Brasil. / The present dissertation results from a study concerning the main design criteria for reinforced concrete structures through externally bonding Fibre-Reinforced Polymer (FRP) systems. This paper tries to evaluate and discuss the design methodologies proposed by the guidelines publications American Concrete Institute (ACI) \"Committee 440\" and Fédération Internationale du béton (FIB) and seek to propose a procedure for the analysis and design of FRP strengthened RC elements in bending and discuss the importance of shear stress regarding the bending efforts. Initially, a state-of-art concerning design criterias on the use of FRP composites is presented. Then, the analysis and procedures of the safety concept is exposed from the perspective of the publications: ACI440.2R (2017) and FIB Model Code 2010. After, it established a study of comparative analysis between the experimental results found in the bibliography and the ones predicted by international guidelines for beams and slabs. The maximum ultimate capacity of the strengthened element will be compared and confronted and the importance of the knowledge of the characteristics of the materials discussed. Finally, conclusions are drawn out and recommendations concerning the design and safety concepts are presented, respecting the guidelines proposals that are most appropriate to Brazil.

This thesis covers an investigation regarding the failure in the bridge slab of Gruvvägsbron, which was the result of the full scale test that the bridge was subjected to prior to demolition. Using the non-linear finite element software ATENA 3D, a model of the bridge was assembled, with the purpose to attempt to reenact the test procedure and realistically capture the failure load and behaviour. This in order to be able to conclude what kind of failure that occurred. The initial part of this thesis presents a summary of a conducted literature study, which aims to give deeper knowledge regarding the linear shear and punching shear phenomena and their respective failure mechanisms, and how they are applied on bridge slabs. Furthermore, the shear capacity of the bridge was calculated according to current design codes. A parameter study was conducted on the model, which initially showed a over-stiff response. The aim of this was to study the influence of key variables on the outcome of the analysis, and hopefully get closer to the failure load acquired inthe experiment. From the studied parameters, it was observed that a combined reduction of the tensile strength and fracture energy, together with a low fixed crack coefficient had the largest influence on the outcome of the analysis. It was also observed that the location of the failure and failing load was dependant on how the loading was applied to the model, i.e. via load control or deformation control. The final model failed at a load which surpassed the actual failure load by 10.5%. The mode of failure obtained in all the analyses were the result of a large shear crack propagating from the edges of the loading plate, through the slab to the slab/girder-intersection. This indicates that the type of failure that occurred was primarily due to a linear shear mechanism with a secondary punching effect. The design values calculated by keeping with the current codes resulted in too conservative values when compared to the obtained failure load from the experiment. This proves the difficulty in regarding the internal force distribution in slab struc-tures as well as the shear carrying width, which from the analysis were found to be larger than that obtained from the code. / Denna uppsats behandlar en utredning gällande brottet i plattan på Gruvvägsbron, som var resultatet av det fullskaletest som bron utsattes för innan rivning. Med hjälp av den icke-linjära finita element-programvaran ATENA 3D skapades en modell avbron, med syfte att på ett realistiskt sätt försöka återskapa experimentet och fånga brons verkliga beteende. Detta för att således kunna dra slutsatser angående brottets natur. Den första delen av denna uppsats innehåller en sammanfattning av en utförd litteraturstudie, som ämnar ge en ökad förståelse angående fenomenen skjuvning och genomstansning, tillsammans med olika brottmekanismer relaterade till dessa. Vidare har brons motstånd mot skjuv- och genomstansningbrott beräknats enligt rådande normer. En parameterstudie utfördes på modellen, då den ursprungligen uppvisade ett överstyvt beteende. Syftet med detta var att studera nyckelparametrars påverkan på analysens resultat, och eventuellt komma närmare den verkliga brottlasten i experimentet. Av de studerade parametrarna observerades att en samtida reduktion av draghållfasthet och brottenergi, samt ett lågt värde på den så kallade "fixedcrack"-koefficienten gav störst inverkan på resultatet. Vidare observerades att brottets lokalisering och brottlasten var beroende av hur lasten påfördes modellen, dvs genom last- eller deformationsstyrning. Den slutgiltiga modellen gick till brott vid en last som översteg den verkliga brottlasten med 10.5%. Brottet som skedde var i samtliga analyser resultatet av en skjuvspricka som sträckte sig från kanten av lastplattan, genom plattan, ner till mötet mellan platta och balk. Detta indikerar att den typ av brott som skedde var ett primärt skjuvbrott med en sekundär stanseffekt. Lastvärdena beräknade enligt rådande normer tycks vara för konservativa, om jämförelse görs med lasten som uppnåddes i experimentet. Detta visar på svårigheten i att bedöma den inre kraftspridningen i plattor, och även dess skjuvbärande bredd, då analysen visade att denna var betydligt större än vad som ges i koden.

Submitted by admin tede (tede@pucgoias.edu.br) on 2016-09-01T18:47:12Z No. of bitstreams: 1 WALÉRIO MAGALHÃES BANDEIRA.pdf: 638499 bytes, checksum: 076850cede05ad0d47d19d649279c29f (MD5) / Made available in DSpace on 2016-09-01T18:47:12Z (GMT). No. of bitstreams: 1 WALÉRIO MAGALHÃES BANDEIRA.pdf: 638499 bytes, checksum: 076850cede05ad0d47d19d649279c29f (MD5) Previous issue date: 2013-12-09 / Started in England in the second half of the eighteenth century , the Industrial Revolution gave rise to a radical change in society , giving rise gradually worldwide relations of mass, with the production and distribution of goods and services on a large scale , affecting the lives hundreds , thousands or millions of people, sometimes by a single act or legal fact , highlighting transindividual or collective and hence giving rise to the "second great wave of law" rights , which is the protection of collective rights ( the first wave focused on providing access from " poor " to justice through legal aid ) . This work follows the movement of the " third great wave " , which aims to identify the pitfalls for the effectiveness of collective process , and to achieve this objective should be analyzed: a) proper access to justice , with the delivery of the good life by correct representation of the trust b ) the essential exercise a more active role of the judge and humanized c ) the extension of the concept of res judicata ed ) on the effective coercive means for the proper fulfillment of obligations . To achieve this aim , we build on the innovations brought about by the "Preliminary Draft Model Code of Collective Processes for Ibero - America," written by Brazilian Scholars , in a comparative study with the national legal system , for, through a critical approach delineate problems in national legal system , finally finding answers that solve . / Iniciada na Inglaterra, na segunda metade do século XVIII, a Revolução Industrial deu ensejo a uma mudança radical na sociedade, fazendo surgir gradativamente em todo mundo as chamadas relações de massa, com o advento da produção e circulação de bens e serviços em larga escala, o que afetou, direta ou indiretamente, a vida de centenas, milhares ou até milhões de pessoas, por vezes em razão de um único ato ou fato jurídico, pondo em evidência a necessidade da tutela dos chamados direitos transindividuais ou coletivos “lato sensu”, o que fez surgir o movimento jurídico conhecido como a “segunda grande onda do direito”: a da tutela dos direitos coletivos (a primeira onda tratou do acesso pelos “pobres” à justiça por meio da assistência judiciária). O presente trabalho segue o movimento da “terceira grande onda”, que visa identificar os escolhos para a efetividade do processo coletivo e, para alcançar tal desiderato, serão analisados os seguintes pontos: a) o devido acesso à justiça, com a entrega do bem da vida pela correta representação dos tutelados; b) a imprescindibilidade de um novo papel, mais ativo e humanizado, do juiz; c) o alargamento da noção de coisa julgada e d) dos meios coercitivos eficientes para o devido cumprimento das obrigações, a fim de se realizar a entrega da tutela jurisdicional. Para alcançar tal desiderato, toma-se como base as inovações trazidas no “Anteprojeto do Código Modelo de Processos Coletivos para a Ibero-América”, inovador trabalho elaborado por doutrinadores de escol dos países interessados, sob direção de eminentes doutrinadores brasileiros. O presente trabalho trata, assim, de um estudo comparado do homenageado anteprojeto com o ordenamento jurídico pátrio, objetivando, por meio de uma abordagem crítica, delinear os problemas existentes no atual sistema jurídico brasileiro, a fim encontrar respostas ou rotas que os solucionem.

A finite element model with discrete and explicit representation of steel fibers is applied for modeling the post-cracking behavior of Steel Fiber Reinforced Concrete (SFRC) in order to contribute on the design of beams with combined reinforcement of steel fibers and rebars (RC-SFRC beams). In this numerical approach, concrete and fibers are initially discretized in finite elements in an independent way, avoiding high computational costs due to conforming meshes. Then, coupling finite elements are introduced to describe the concrete-fiber interaction. The steel fibers are discretized using truss finite elements and their behavior described by an elastoplastic constitutive model. The position of each fiber is defined into the specimen by an uniform isotropic random distribution using as reference the concrete finite element mesh. Concrete and concrete-fiber interface are represented using three and fournoded triangular finite elements, respectively, and their behavior represented by appropriate continuum damage models integrated using an implicit-explicit scheme to enhance the robustness and to reduce the expense of computation. Firstly, the numerical tool is applied in the simulation of three-point bending tests according to EN 14651 to verify its ability to obtain the performance parameters of SFRC and for calibrating the material parameters that describe the concrete-fiber interface. Secondly, both numerical and experimental performance parameters of SFRC are used on the design of RC-SFRC beams according to fib Model Code 2010 to study their influence on the amount of bending and shear reinforcements required. Thirdly, the RC-SFRC beams designed are numerically simulated and the results are compared to the designed ones in terms of crack width, mean crack spacing, deflection and ultimate and service loads. Finally, the numerical results of small scale beams are compared to the experimental and the fib Model Code 2010 predictions to study the capability of the numerical tool to simulate the behavior of structural members. The results demonstrated that computational simulations with an appropriated approach to represent the composite may be an important tool to contribute to better understanding its behavior, extrapolating the conditions considered in laboratory and contributing on the design of SFRC structural members. / Um modelo em elementos finitos com representação discreta e explícita de fibras de aço é utilizado para modelar o comportamento pós-fissuração do Concreto Reforçado com Fibras de Aço (CRFA) com objetivo de contribuir para o dimensionamento de vigas com reforço combinado de fibras e armadura convencional (vigas de CACRFA). Na abordagem numérica utilizada para modelagem de CRFA o concreto e as fibras são inicialmente discretizados em elementos finitos de forma independente, evitando altos custos computacionais devido às malhas conformes. Então, elementos finitos de acoplamento são introduzidos para descrever a interação concreto-fibra. As fibras de aço são discretizadas utilizando elementos finitos de treliça e seu comportamento é descrito por um modelo constitutivo elastoplástico Um algoritmo para distribuição isotrópica randômica é utilizado para gerar e distribuir fibras de aço com base na malha de elementos finitos do concreto. O concreto e a interface concreto-fibra são representados utilizando elementos finitos triangulares de três e quatro nós, respectivamente, e seus comportamentos representados por uma modelos apropriados de dano contínuo integrados utilizando um esquema implícito-explícito com objetivo de aumentar a robustez a reduzir o custo computacional. Primeiramente, a ferramenta numérica é aplicada na simulação de ensaios de flexão de três pontos de acordo com EN 14651 para verificar sua capacidade de obter os parâmetros de desempenho do CRFA e para calibrar os parâmetros do material que descrevem a interface concreto-fibra. Em segundo lugar, os parâmetros de desempenho numéricos e experimentais do CRFA são usados no vigas de CA-CRFA de acordo com o fib Model Code 2010, a fim de estudar sua influência na quantidade de armadura de flexão e cisalhamento necessárias. Em terceiro lugar, as vigas de CA-CRFA são numericamente simuladas e os resultados são comparados com os dimensionados em termos de largura de fissura, espaçamento médio entre fissuras, flecha e cargas últimas e de serviço. Finalmente, os resultados numéricos de vigas de pequena escala são comparados com aqueles obtidos experimentalmente e pelo fib Model Code 2010 para estudar a capacidade da ferramenta numérica em simular o comportamento de elementos estruturais. Os resultados demonstraram que a utilização de simulações computacionais com uma abordagem apropriada para representar o compósito podem ser uma importante ferramenta para contribuir para um melhor entendimento do seu comportamento, extrapolando as condições consideradas em laboratório e contribuindo para o dimensionamento de elementos estruturais de CRFA.

A finite element model with discrete and explicit representation of steel fibers is applied for modeling the post-cracking behavior of Steel Fiber Reinforced Concrete (SFRC) in order to contribute on the design of beams with combined reinforcement of steel fibers and rebars (RC-SFRC beams). In this numerical approach, concrete and fibers are initially discretized in finite elements in an independent way, avoiding high computational costs due to conforming meshes. Then, coupling finite elements are introduced to describe the concrete-fiber interaction. The steel fibers are discretized using truss finite elements and their behavior described by an elastoplastic constitutive model. The position of each fiber is defined into the specimen by an uniform isotropic random distribution using as reference the concrete finite element mesh. Concrete and concrete-fiber interface are represented using three and fournoded triangular finite elements, respectively, and their behavior represented by appropriate continuum damage models integrated using an implicit-explicit scheme to enhance the robustness and to reduce the expense of computation. Firstly, the numerical tool is applied in the simulation of three-point bending tests according to EN 14651 to verify its ability to obtain the performance parameters of SFRC and for calibrating the material parameters that describe the concrete-fiber interface. Secondly, both numerical and experimental performance parameters of SFRC are used on the design of RC-SFRC beams according to fib Model Code 2010 to study their influence on the amount of bending and shear reinforcements required. Thirdly, the RC-SFRC beams designed are numerically simulated and the results are compared to the designed ones in terms of crack width, mean crack spacing, deflection and ultimate and service loads. Finally, the numerical results of small scale beams are compared to the experimental and the fib Model Code 2010 predictions to study the capability of the numerical tool to simulate the behavior of structural members. The results demonstrated that computational simulations with an appropriated approach to represent the composite may be an important tool to contribute to better understanding its behavior, extrapolating the conditions considered in laboratory and contributing on the design of SFRC structural members. / Um modelo em elementos finitos com representação discreta e explícita de fibras de aço é utilizado para modelar o comportamento pós-fissuração do Concreto Reforçado com Fibras de Aço (CRFA) com objetivo de contribuir para o dimensionamento de vigas com reforço combinado de fibras e armadura convencional (vigas de CACRFA). Na abordagem numérica utilizada para modelagem de CRFA o concreto e as fibras são inicialmente discretizados em elementos finitos de forma independente, evitando altos custos computacionais devido às malhas conformes. Então, elementos finitos de acoplamento são introduzidos para descrever a interação concreto-fibra. As fibras de aço são discretizadas utilizando elementos finitos de treliça e seu comportamento é descrito por um modelo constitutivo elastoplástico Um algoritmo para distribuição isotrópica randômica é utilizado para gerar e distribuir fibras de aço com base na malha de elementos finitos do concreto. O concreto e a interface concreto-fibra são representados utilizando elementos finitos triangulares de três e quatro nós, respectivamente, e seus comportamentos representados por uma modelos apropriados de dano contínuo integrados utilizando um esquema implícito-explícito com objetivo de aumentar a robustez a reduzir o custo computacional. Primeiramente, a ferramenta numérica é aplicada na simulação de ensaios de flexão de três pontos de acordo com EN 14651 para verificar sua capacidade de obter os parâmetros de desempenho do CRFA e para calibrar os parâmetros do material que descrevem a interface concreto-fibra. Em segundo lugar, os parâmetros de desempenho numéricos e experimentais do CRFA são usados no vigas de CA-CRFA de acordo com o fib Model Code 2010, a fim de estudar sua influência na quantidade de armadura de flexão e cisalhamento necessárias. Em terceiro lugar, as vigas de CA-CRFA são numericamente simuladas e os resultados são comparados com os dimensionados em termos de largura de fissura, espaçamento médio entre fissuras, flecha e cargas últimas e de serviço. Finalmente, os resultados numéricos de vigas de pequena escala são comparados com aqueles obtidos experimentalmente e pelo fib Model Code 2010 para estudar a capacidade da ferramenta numérica em simular o comportamento de elementos estruturais. Os resultados demonstraram que a utilização de simulações computacionais com uma abordagem apropriada para representar o compósito podem ser uma importante ferramenta para contribuir para um melhor entendimento do seu comportamento, extrapolando as condições consideradas em laboratório e contribuindo para o dimensionamento de elementos estruturais de CRFA.

Experiments were conducted to investigate the punching shear behaviour of thick slabs with identical spans and depths, subjected to monotonic point load conditions. Variables included: reinforcement ratio, column size, and reinforcement size. Analytical studies conducted as part of this thesis indicate that the current CSA A23.3 and the ACI 318 can be unconservative for thick slabs with low reinforcement ratios. The new fib Model Code provisions for punching offer an effective method for determining the full load-rotation behaviour of a slab up to failure, including accurate failure predictions. A summary of the background of current design procedures and standards will be presented, and a comparison between the different design equations and theories will be given. Based on the findings of this project, it is proposed that the provisions accepted by the fib Model Code should be considered for implementation in the CSA and ACI standards.

Experiments were conducted to investigate the punching shear behaviour of thick slabs with identical spans and depths, subjected to monotonic point load conditions. Variables included: reinforcement ratio, column size, and reinforcement size. Analytical studies conducted as part of this thesis indicate that the current CSA A23.3 and the ACI 318 can be unconservative for thick slabs with low reinforcement ratios. The new fib Model Code provisions for punching offer an effective method for determining the full load-rotation behaviour of a slab up to failure, including accurate failure predictions. A summary of the background of current design procedures and standards will be presented, and a comparison between the different design equations and theories will be given. Based on the findings of this project, it is proposed that the provisions accepted by the fib Model Code should be considered for implementation in the CSA and ACI standards.

Syftet med denna studie är utforska möjligheterna att återanvända modellkod, skriven i C, över flera plattformar, nämligen iOS, Android och HTML5. Målet är att undersöka kodstorlek och komplexitet vid återanvändning av modellkod skriven i C på plattformarna. Genom en noggrann granskning av tidigare forskning och existerande metoder identifierades lämpliga verktyg och metoder. Det som framkom är att WebAssembly var det rekommenderade verktyget för att koppla C- kod till HTML5. För Android var Java Native Interface (JNI) det mest lämpliga verktyget för att koppla C-kod till Kotlin. Swift, å andra sidan, har inbyggda verktyg för interoperabilitet som möjliggör koppling mellan Swift-kod och C. Därav påvisade resultaten att det är möjligt att återanvända modellkod skriven i C på Android, iOS och HTML5. Dock, för Android krävdes det tillsats av extra kod för att hantera kopplingen mellan Kotlin och C-modellkod. Eftersom dessa språk hanterar datatyper och minneshantering på olika sätt. Inom iOS krävdes inte lika mycket extra kod som på Android för att hantera kopplingen mellan Swift och C eftersom Swift är utvecklat med naturligt stöd för C. I HTML5 behövdes inte lika mycket extra kod som på Swift och Android eftersom Emscripten möjliggjorde automatisk generering av en omvandling från modellkod skriven i C till JavaScript. Detta underlättade utvecklandet av bindningen mellan C-baserad modellkod och HTML5-applikationen. / The purpose of this study was to explore the possibilities of reusing model code, written in C, across multiple platforms, specifically iOS, Android, and HTML5. The objective was to investigate code size and complexity when reusing model code written in C on these platforms. Through a thorough review of previous research and existing methods, suitable tools and methods were identified. It was found that WebAssembly was the recommended tool for linking C code to HTML5. For Android, the Java Native Interface (JNI) was the most appropriate tool for linking C code to Kotlin. Swift, on the other hand, has built-in tools for interoperability that allow for the connection between Swift code and C. The results indicated that it is possible to reuse model code written in C on Android, iOS, and HTML5. For Android, additional code was required to manage the connection between Kotlin and C model code, as these languages handle data types and memory management differently. However, within iOS, there was not needed additional code compared to Android, to manage the linkage between Swift and C. Since Swift is developed with inherent support for C. For HTML5, there was not as much additional code required as in Swift and Android, primarily because Emscripten enabled automatic conversion of model code written in C to JavaScript. This facilitated the development of the binding between C-based model code and the HTML5 application.

Model-Based Software Engineering (MBSE) a été proposé comme une méthodologie prometteuse de développement de logiciels pour surmonter les limites de la méthodologie traditionnelle basée sur la programmation pour faire face à la complexité des systèmes embarqués. MBSE favorise l’utilisation de langages de modélisation pour décrire les systèmes d’une manière abstraite et fournit des moyens pour générer automatiquement de différents artefacts de développement, p.ex. code et documentation, à partir de modèles. Le développement d’un système complexe implique souvent de multiples intervenants qui utilisent différents outils pour modifier les artefacts de développement, le modèle et le code en particulier dans cette thèse. Les modifications apportées aux artefacts évoquent le problème de cohérence qui nécessite un processus de synchronisation pour propager les modifications apportées dans l’un artefact aux autres artefacts. Dans cette étude, le problème de la synchronisation des modèles d’architecture basés sur les éléments UML composite structure (UML-CS) et UML state machine (UML-SM) du langage de l’Unified Modeling Language (UML), et le code orienté objet est présenté. UML-CSs sont utilisés pour décrire l’architecture du logiciel basée sur les composants et UML-SMs pour les comportements discrets liés aux événements des systèmes réactifs. Le premier défi est de permettre une collaboration entre les architectes de logiciels et les programmeurs produisant de modèle et de code, en utilisant différents outils. Il soulève le problème de synchronisation où il existe de modifications simultanées des artefacts. En fait, il existe un écart de perception entre les langages à base de diagramme (langages de modélisation) et les langages textuels (langages de programmation). D’une part, les programmeurs préfèrent souvent utiliser la combinaison familière d’un langage de programmation et d’un environnement de développement intégré. D’autre part, les architectes logiciels, travaillant à des niveaux d’abstraction plus élevés, favorisent l’utilisation des modèles et préfèrent donc les langages à base de diagramme pour décrire l’architecture du système. Le deuxième défi est qu’il existe un écart d’abstraction significatif entre les éléments du modèle et les éléments du code: les éléments UML-CS et UML-SM sont au niveau d’abstraction plus élevé que les éléments du code. L’écart rend la difficulté pour les approches de synchronisation actuelles car il n’y a pas de façon facile de réflecter les modifications du code au modèle. Cette thèse propose une approche automatisée de synchronisation composée de deux principales contributions corrélées. Pour aborder le premier défi, on propose un patron méthodologique générique de synchronisation entre modèle et code. Il consiste en des définitions des fonctionnalités nécessaires et plusieurs processus qui synchronisent le modèle et le code en fonction de plusieurs scénarios définis où les développeurs utilisent différents outils pour modifier le modèle et le code. Cette contribution est indépendante de UML-CSs et UML-SMs. La deuxième contribution traite du deuxième défi et est basée sur les résultats de la première contribution. Dans la deuxième contribution, un mapping bidirectionnel est présentée pour réduire l’écart d’abstraction entre le modèle et le code. Le mapping est un ensemble de correspondances entre les éléments de modèle et ceux de code. Il est utilisé comme entrée principale du patron méthodologique générique de synchronisation entre modèle et code. Plus important, l’utilisation du mapping fournit les fonctionnalités définies dans la première contribution et facilite la synchronisation des éléments de UML-CS et UML-SM et du code. L’approche est évaluée au moyen de multiples simulations et d’une étude de cas. / Model-Based Software Engineering (MBSE) has been proposed as a promising software development methodology to overcome limitations of traditional programming-based methodology in dealing with the complexity of embedded systems. MBSE promotes the use of modeling languages for describing systems in an abstract way and provides means for automatically generating different development artifacts, e.g. code and documentation, from models. The development of a complex system often involves multiple stakeholders who use different tools to modify the development artifacts, model and code in particular in this thesis. Artifact modifications must be kept consistent: a synchronization process needs to propagate modifications made in one artifact to the other artifacts. In this study, the problem of synchronizing Unified Modeling Language (UML)-based architecture models, specified by UML composite structure (UML-CS) and UML state machine (UML-SM) elements, and object-oriented code is presented. UML-CSs are used for describing the component-based software architecture and UML-SMs for discrete event-driven behaviors of reactive systems. The first challenge is to enable a collaboration between software architects and programmers producing model and code by using different tools. This raises the synchronization problem of concurrent artifact modifications. In fact, there is a perception gap between diagram-based languages (modeling languages) and text-based languages (programming languages). On the one hand, programmers often prefer to use the more familiar combination of a programming language and an Integrated Development Environment. On the other hand, software architects, working at higher levels of abstraction, tend to favor the use of models, and therefore prefer diagram-based languages for describing the architecture of the system. The second challenge is that there is a significant abstraction gap between the model elements and the code elements: UML-CS andUML-SM elements are at higher level of abstraction than code elements. The gap makes current synchronization approaches hard to be applied since there is no easy way to reflect modifications in code back to model. This thesis proposes an automated synchronization approach that is composed of two main correlated contributions. To address the first challenge, a generic model-code synchronization methodological pattern is proposed. It consists of definitions of necessary functionalities and multiple processes that synchronize model and code based on several defined scenarios where the developers use different tools to modify model and code. This contribution is independent of UML-CSs and UML-SMs. The second contribution deals with the second challenge and is based on the results from the first contribution. In the second contribution, a bidirectional mapping is presented for reducing the abstraction gap between model and code. The mapping is a set of correspondences between model elements and code elements. It is used as main input of the generic model-code synchronization methodological pattern. More importantly, the usage of the mapping provides the functionalities defined in the first contribution and eases the synchronization of UML-CS and UML-SM elements and code. The approach is evaluated by means of multiple simulations and a case study.

The diploma thesis deals with processing of determining the shear strength of concrete structures reinforced with composite reinforcement, subjected to shear force, according to five different design approaches. The theoretical part of the thesis is closely related to the project FW01010520 - "Development of bent composite reinforcement for environmentally exposed concrete constructions", which is realized at the Institut of Concrete and Masonry Structures, Faculty of Civil Engineering, Brno University of Technology. The project deals with the shear strength of concrete beams reinforced with steel and composite reinforcement in various combinations. Then the load-bearing results gained within the project are compared with the values obtained by calculations according to the solved design approaches and computer software Atena Science. The second part of the diploma thesis deals with the static design and assessment of the cell structure. The cell is designed as a room inside of the medical building, where is placed device of magnetic resonance which is the reason why the cell is reinforced with non-magnetic composite reinforcement.