A demanda de energia, faz com que o homem esteja sempre a procura de novas soluções para a sua produção. Uma opção é a energia eólica, por se tratar de uma energia limpa, renovável e inesgotável. Para se evitar a ocupação das terras férteis, é natural a busca de soluções no mar. Portanto, neste trabalho é estudado o comportamento estrutural dinâmico de uma torre treliçada em concreto armado pós-tensionado por tirantes externos idealizada para uso offshore com a finalidade de suporte para turbinas eólicas de eixo horizontal. A torre está sujeita às ações gravitacionais, aerodinâmicas e hidrodinâmicas. Para considerar estas ações desenvolveu-se um código computacional específico usando a linguagem MATLAB. É proposto um modelo simplificado para análise bi-dimensional, utilizando-se elementos de pórtico plano com a finalidade de contornar as dificuldades de uma análise tridimensional. Embora específico para este tipo de torre, o codigo permite variar geometrias, carregamentos e alterações do nível do mar. Nas cargas aerodinâmicas élevado em conta o espectro de Von Karman. As cargas hidrodinâmicas são avaliadas pela equação de Morison. As cargas nodais equivalentes são determinadas por integração ao longo do elemento estrutural de acordo com o proposto por Souza. Os tirantes pós-tensionados são monitorados para não sofrerem esforços de compressão. A análise é realizada no domínio do tempo utilizando-se o algoritmo de integração de Newmark.. Através dos procedimentos adotados foi possível obter resultados para as freqüências, deslocamentose esforços, que se mostraram coerentes com os obtidos por modelos tri dimensionais mais complexos. O código desenvolvido permitiu a análise de forma simples, eficiente e confiável de torres treliçadas de concreto armado.

Este trabalho apresenta o desenvolvimento de um software para análise de torres treliçadas em concreto armado, pós-tensionada por tirantes externos, com a finalidade de suporte para turbinas eólicas de eixo horizontal, em ambiente offshore. A torre está sujeita às ações gravitacionais, aerodinâmicas, hidrodinâmicas. Desenvolveu-se um código computacional, em linguagem MATLAB, específico para este tipo de torre. As dificuldades de uma análise tridimensional mais complexa foram reduzidas propondo-se um modelo simplificado bi-dimensional utilizando-se elementos de pórtico plano. As cargas de vento são variadas segundo o espectro de von Karman. Para as ondas marítimas e correntes são implementados o espectro de Pierson-Moskowitz e o de JONSWAP. As cargas hidrodinâmicas são avaliadas pela equação de Morison. Estas cargas são integradas ao longo dos elementos estruturais e transformadas em cargas nodais equivalentes, de acordo com o proposto por Souza. A análise é realizada no domínio do tempo com algoritmo de Newmark. Este software, por ser específico para este tipo de torre, possui facilidades na introdução de dados e na modelagem da estrutura. Com estas estratégias o modelo apresentou bons resultados para a avaliação de cargas, cálculo de freqüências naturais, resposta de deslocamentos, esforços e reações.

ABSTRACT New elasmosaurid plesiosaur specimens are described from the Early Maastrichtian of Angola. Phylogenetic analyses reconstruct the Angolan taxon as an aristonectine elasmosaurid and the sister taxon of an unnamed form of similar age from New Zealand. Comparisons also indicate a close relationship with an unnamed form previously described from Patagonia. All of these specimens exhibit an ostensibly osteologically immature external morphology, but histological analysis of the Angolan material suggests an adult with paedomorphic traits. By extension, the similarity of the Angolan, New Zealand and Patagonian material indicates that these specimens represent a widespread paedomorphic yet unnamed taxon.

A reabilitação de um edifício tem muitas vezes de ser analisada e efetuada tendo em conta os edifícios vizinhos e a envolvente. No caso particular da reabilitação de um edifício, à partida devem considerar-se, de forma integrada, todos os requisitos que não são cumpridos face aos padrões atuais. Com base nessa análise, e tendo em conta muitas vezes condicionantes vários, que vão desde estéticos, técnicos, culturais a económicos, e que dependem em larga medida das tipologias construtivas, a intervenção tem de ser cuidadosamente concebida, preparada e executada. Apresentam-se sinteticamente as tipologias construtivas mais correntes, o contexto legislativo português da construção e específico da reabilitação. Efetua-se uma análise à legislação vigente, detalhando com maior detalhe o Regime Especial da Reabilitação Urbana, que possibilita dispensas de cumprimentos regulamentares mas apenas relativos a aspetos construtivos. Por esse motivo apresenta-se também uma síntese de aspetos relativos à segurança estrutural na reabilitação de edifícios com tipologias correntes. Pretende-se, através desta síntese, contribuir para uma visão mais integrada da reabilitação.

The historically-famous Lotus Fortress site, a deep 1.5–3.0-meter-high, 200-meter-long horizonal notch high up in near-vertical sandstone cliffs comprising the Cretaceous Jiaguan Formation, has been known since the 13th Century as an impregnable defensive position. The site is also extraordinary for having multiple tetrapod track-bearing levels, of which the lower two form the floor of part of the notch, and yield very well preserved asseamblages of ornithopod, bird (avian theropod) and pterosaur tracks. Trackway counts indicate that ornithopods dominate (69%) accounting for at least 165 trackmakers, followed by bird (18%), sauropod (10%), and pterosaur (3%). Previous studies designated Lotus Fortress as the type locality of Caririchnium lotus and Wupus agilis both of which are recognized here as valid ichnotaxa. On the basis of multiple parallel trackways both are interpreted as representing the trackways of gregarious species. C. lotus is redescribed here in detail and interpreted to indicate two age cohorts representing subadults that were sometimes bipedal and larger quadrupedal adults. Two other previously described dinosaurian ichnospecies, are here reinterpreted as underprints and considered nomina dubia. Like a growing number of significant tetrapod tracksites in China the Lotus Fortress site reveals new information about the composition of tetrapod faunas from formations in which the skeletal record is sparse. In particular, the site shows the relatively high abundance of Caririchium in a region where saurischian ichnofaunas are often dominant. It is also the only site known to have yielded Wupus agilis. In combination with information from other tracksites from the Jiaguan formation and other Cretaceous formations in the region, the track record is proving increasingly impotant as a major source of information on the vertebrate faunas of the region. The Lotus Fortress site has been developed as a spectacular, geologically-, paleontologically- and a culturally-significant destination within Qijiang National Geological Park.

n/a

n/a

Neste texto apresentamos os jogos no ensino da matemática como uma forma de aprendizagem de conteúdos e não apenas como um recurso que cada professor pode usar nas suas aulas para tornar a aula diferente. Analisamos dois jogos desenvolvidos por nós e que utilizámos com alunos dos 7.º e 10.º anos de escolaridade, procurando não só apresentar os jogos, mas também aspetos da sua implementação em sala de aula, ponderando o contributo que trouxeram à aprendizagem dos alunos.
Aprender matemática depende de um grande número de variáveis, o que torna o ensino um processo complexo, pois é necessário que se desenvolva o raciocínio lógico, além de estimular o desenvolvimento das mais variadas capacidades transversais, tais como o pensamento autónomo, a criatividade, o sentido de estratégia e a capacidade de resolver problemas.
Duas das dificuldades frequentemente encontradas pelos professores passam pela falta de motivação para a aprendizagem e pelo desinteresse pela Matemática. A solução para estes problemas pode passar pela utilização de jogos para complementar o estudo, mas também para a aquisição de novos conteúdos. No entanto, apenas a implementação dos jogos não basta. O papel do professor é de extrema importância e a planificação e orientação da aula são fundamentais para que se alcancem os objetivos pretendidos.

Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such parallel programs often contain code blocks that a thread must execute atomically, i.e., with no interference from the other threads of the program. Failing to execute these code blocks atomically leads to errors known as atomicity violations. However, frequently it not obvious to tell when a piece of code should be executed atomically, especially when that piece of code contains calls to some third-party library functions, about which the programmer has little or no knowledge at all. One solution to this problem is to associate a contract with such a library, telling the programmer how the library functions should be used, and then check whether the contract is indeed respected. For contract validation, static approaches have been proposed, with known limitations on precision and scalability. In this paper, we propose a dynamic method for contract validation, which is more precise and scalable than static approaches.

Abstract The bond behavior between Fiber Reinforced Polymers (FRPs) and masonry substrates has been the subject of many studies during the last years. Recent accelerated aging tests have shown that bond degradation and \{FRP\} delamination are likely to occur in FRP-strengthened masonry components under hygrothermal conditions. While an investigation on the possible methods to improve the durability of these systems is necessary, the applicability of different bond repair methods should also be studied. This paper aims at investigating the debonding mechanisms after repairing delaminated FRP-strengthened masonry components. FRP-strengthened brick specimens, after being delaminated, are repaired with two different adhesives: a conventional epoxy resin and a highly flexible polymer. The latter is used as an innovative adhesive in structural applications. The bond behavior in the repaired specimens is investigated by performing single-lap shear bond tests. Digital image correlation (DIC) is used for deeper investigation of the surface deformation and strains development. The effectiveness of the repair methods is discussed and compared with the strengthened specimens.

Neste artigo apresentamos um protocolo de controlo de concorrência que garante que a execução concorrente de transações é equivalente à sua execução sequencial por uma ordem predefinida. Isto permite executar programas que usam transações de forma determinista. O protocolo (1) permite, pela primeira vez, a execução determinista de programas que usam memória transacional por hardware; e (2) garante a execução determinista de programas que usam memória transacional por software com um desempenho claramente superior ao estado da arte.

Software Transactional Memory algorithms associate metadata with the memory locations accessed during a transactions lifetime. This metadata may be stored in an external table and accessed by way of a function that maps the address of each memory location with the table entry that keeps its metadata (this is the out-place or external scheme); or alternatively may be stored adjacent to the associated memory cell by wrapping them together (the in-place scheme). In transactional memory multi-version algorithms, several versions of the same memory location may exist. The efficient implementation of these algorithms requires a one-to-one correspondence between each memory location and its list of past versions, which is stored as metadata. In this chapter we address the matter of the efficient implementation of multi-version algorithms in Java by proposing and evaluating a novel in-place metadata scheme for the Deuce framework. This new scheme is based in Java Bytecode transformation techniques and its use requires no changes to the application code. Experimentation indicates that multi-versioning STM algorithms implemented using our new in-place scheme are in average 6 × faster than when implemented with the out-place scheme.