n/a

No património edificado português as rochas granulares assumem importância relevante nos elementos construtivos presentes no património histórico e cultural, nomeadamente as pedras graníticas e areníticas. Tendo por objectivo a avaliação do comportamento mecânico de rochas granulares presentes no património edificado histórico foi realizado um estudo de investigação experimental sobre amostras dos litótipos seleccionados e que são representativos de rochas presentes no próprio edificado, em termos de propriedades petrográficas, físicas e mecânicas. Neste artigo apresenta-se um modelo analítico definido com base em ensaios experimentais que permite efectuar a simulação do comportamento das rochas em compressão uniaxial (diagramas de tensão-deformação), função de propriedades físicas e mecânicas obtidas através de ensaios não destrutivos e quasi não destrutivos. Este modelo permite desta forma a avaliação do comportamento mecânico de rochas granulares sem afectar a integridade do património histórico.

n/a

The objective of this study was to analyse the behaviour of prestress strand anchorages by bonding with an epoxy adhesive for structural strengthening use. Pull-out and push-in tests were carried out on 15·2 mm diameter prestress steel strands sealed in 18 mm diameter holes with several embedment lengths, complemented by long-term tests. Experimental results are presented and compared with theoretical results regarding maximum pull-out and transmittable loads and also draw-in results. Theoretical results are obtained by solving the governing equation of the bond phenomenon adopting a non-linear local bond/slip law derived from pull-out tests with short embedment length. The study shows that it is reasonable to assume an average constant bond stress for anchorage design with the studied epoxy adhesive in the range of the studied values of anchor embedment length and diameter. The average values for bond stress to be used for determining the maximum pull-out and transmittable loads were found to be 12·0 and 5·2 MPa, respectively. Experimental draw-in values show a great variability, and so determining transmission length based on draw-in values may lead to a false perception that the transmission length is very variable.

n/a

n/a

In 1968, Gohberg and Krupnik found a Fredholm criterion for singular integral operators of the form $aP+bQ$, where $a,b$ are piecewise continuous functions and $P,Q$ are complementary projections associated to the Cauchy singular integral operator, acting on Lebesgue spaces over Lyapunov curves. We extend this result to the case of Nakano spaces (also known as variable Lebesgue spaces) with certain weights having finite sets of discontinuities on arbitrary Carleson curves.

n/a

n/a

In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the life-cycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.

Two combustion tests were performed in a fluidized bed combustor of a thermo-electric power plant: (1) combustion of coal; (2) co-combustion of coal (68.7% w/w), sewage sludge (9.2% w/w) and meat and bone meal (MBM) (22.1% w/w).

Three samples of ashes (bottom, circulating and fly ashes) were collected in each combustion test. The ashes were submitted to the following assays: (a) evaluation of the leaching behaviour; (b) stabilization/solidification of fly ashes and evaluation of the leaching behaviour of the stabilized/solidified (s/s) materials; (c) production of concrete from bottom and circulating ashes. The eluates of all materials were submitted to chemical and ecotoxicological characterizations. The crude ashes have shown similar chemical and ecotoxicological properties. The s/s materials have presented compressive strengths between 25 and 40 MPa, low emission levels of metals through leaching and were classified as non-hazardous materials. The formulations of concrete have presented compressive strengths between 12 and 24 MPa. According to the Dutch Building Materials Decree, some concrete formulations can be used in both scenarios of limited moistening and without insulation, and with permanent moistening and with insulation.

This paper presents StarTM , an automatic verification tool for transactional memory Java programs executing under relaxed isolation levels. We certify which transactions in a program are safe to execute under Snapshot Isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements.
Our tool builds on a novel shape analysis technique based on Separation Logic to statically approximate the read- and write-sets of a transactional memory Java program. This technique is particularly challenging due to the presence of dynamically allocated memory.
We implement our technique and apply our tool to a set of intricate examples. We corroborate known results, certifying some of the examples for safe execution under Snapshot Isolation by proving the absence of write-skew anomalies. In other cases we identify transactions that potentially trigger the write-skew anomaly.

This work aims to study a new flat slab strengthening technique based on post-tensioning with anchorages by bonding using an epoxy adhesive. The main advantages of this technique over the traditional prestress strengthening systems that use mechanical anchorages are that it does not need external permanent anchorages, meaning that the forces are introduced into the concrete gradually instead of being localized, thereby preserving aesthetics and useable space. The seven tested slab models show that this technique meets its objective as it is able to reduce reinforcement strains at service loads by up to 80{%} if the strengthening technique is applied in two directions and slab deformations by up to 70{%}, consequently making crack widths smaller. It can also increase punching load capacity by as much as 51{%} when compared to non-strengthened slabs. The results are compared with the EC2 (2004) [20], ACI 318-08 (2008) [23] and MC2010 (2010) [21] provisions. The main conclusions are that this strengthening technique is effective regarding ultimate and serviceability states and that it represents an advance in RC slab strengthening techniques. ?? 2011 Elsevier Ltd.

Em caso de falha abrupta de um sistema, é imperativo garantir a consistência do Sistema de Ficheiros (SF). Actualmente existem várias soluções que visam garantir que tanto os dados como os metadados do SF se encontram num estado consistente, mas que não contemplam a garantia de consistência dos dados do ponto de vista das aplicações. Por exemplo, aplicações que pretendam alterar vários ficheiros de configuração terão de encontrar mecanismos para garantir que, ou todos os ficheiros são devidamente alterados, ou nenhum o é, evitando assim que numa situação de falha o conteúdo dos ficheiros fique inconsistente. Do ponto de vista da aplicação, pode não ser simples implementar este comportamento sobre um SF típico; e pode também não ser razoável utilizar um Sistema de Gestão de Bases de Dados (SGBD), que oferece propriedades ACID. Neste artigo propomos, testamos e avaliamos uma integração das propriedades ACID num SF. Partindo do suporte para snapshots do sistema de ficheiros Btrfs, oferece-se uma semântica transaccional às aplicações que operam sobre volumes (sub-árvores) do SF, sem comprometer a semântica POSIX do SF.

Transactional Memory [3] (TM) is a new paradigm for concurrency control that brings the concept of transactions, widely known from the Databases community, into the management of data located in main memory. TM delivers a powerful semantics for constraining concurrency and provides the means for the extensive use of the available parallel hardware. TM uses abstractions that promise to ease the development of scalable parallel applications by achieving performances close to fine-grained locking while maintaining the simplicity of coarse-grained locking.

n/a

n/a

n/a

A DC-DC step-up micro power converter for solar energy harvesting applications is presented. The circuit is based on a switched-capacitor voltage tripler architecture with MOSFET capacitors, which results in an, area approximately eight times smaller than using MiM capacitors for the 0.131 mu m CMOS technology. In order to compensate for the loss of efficiency, due to the larger parasitic capacitances, a charge reutilization scheme is employed. The circuit is self-clocked, using a phase controller designed specifically to work with an amorphous silicon solar cell, in order to obtain the maximum available power from the cell. This will be done by tracking its maximum power point (MPPT) using the fractional open circuit voltage method. Electrical simulations of the circuit, together with an equivalent electrical model of an amorphous silicon solar cell, show that the circuit can deliver a power of 1132 mu W to the load, corresponding to a maximum efficiency of 66.81%.

Software transactional memory is a promising programming model that adapts many concepts borrowed from the databases world to control concurrent accesses to main memory (RAM). This paper discusses how to support revertible operations, such as memory allocation and release, within software libraries that will be used in software memory transactional contexts. The proposal is based in the extension of the transaction life cycle state diagram with new states associated to the execution of user-defined handlers. The proposed approach is evaluated in terms of functionality and performance by way of a use case study and performance tests. Results demonstrate that the proposal and its current implementation are flexible, generic and efficient

The final thermally stimulated discharge current method allows a better selection of the experimental conditions for sample polarization. By decreasing the ratio between the charging time and the discharging time, the apparent peak is of the same order of magnitude as the genuine peaks and there is only a partial overlap between then. Two peaks have been identified for polyamide 11, one associated with the glass transition around 60 degrees C and the second associated with the Curie transition around 96 degrees C.

The final thermally stimulated discharge current method allows a better selection of the experimental conditions for sample polarization. By decreasing the ratio between the charging time and the discharging time, the apparent peak is of the same order of magnitude as the genuine peaks and there is only a partial overlap between then. Two peaks have been identified for polyamide 11, one associated with the glass transition around 60 degrees C and the second associated with the Curie transition around 96 degrees C.

n/a