O controlo da concorrência no acesso a estado partilhado assume actualmente um papel de destaque no desenvolvimento de software. Trabalhos recentes propõem que tal gestão seja expressa ao nível dos dados, em alternativa à usual centralidade no código. A principal vantagem é o acoplamento da gestão da concorrência com a declaração dos dados, eliminando desse modo a descentralização dos erros de concorrência, facilitando a sua correção. No entanto, as abordagens centradas nos dados existentes pecam por não garantirem a ausência de deadlocks em todos os cenários e/ou exigirem do programador a agregação explícita dos recursos que devem ser avaliados atomicamente. A nossa proposta colmata ambas estas limitações. O programador anota isoladamente que zonas de memória requerem acesso exclusivo, sendo que uma análise estática infere quais dessas devem ser agrupadas e adquiridas atomicamente, e garante que o código gerado é ausente de deadlocks. De modo a aferir-se a eficiência da nossa solução, comparamos o seu desempenho e a sua produtividade relativamente à memória transacional e outras abordagens centrada nos dados.

A decomposição correta de um problema paralelo com base na hierarquia de memória onde irá executar pode levar a ganhos de desempenho significativos durante execução do mesmo. No entanto, os subsistemas de memória das arquiteturas multicore modernas apresentam variadas configurações, em termos das suas organizações hierárquicas e da capacidade dos seus diversos níveis de memória. Existem diversas abordagens que permitem adequar a execução de uma aplicação à estratificação hierárquica da memória,. Contudo estas exigem do programador um conhecimento profundo da arquitetura alvo e de programação paralela em geral. A abordagem apresentada neste artigo contrasta com as demais, transpondo esta responsabilidade para o sistema de execução, colocando sobre a sua alçada a decomposição hierárquica da computação. Nessa medida, ao programador cabe apenas expressar de forma genérica os algoritmos de subdivisão do domínio do problema. Avaliamos o desempenho da nossa abordagem relativamente a outra baseada na usual decomposição horizontal do domínio do problema. Os resultados são bons, apresentando ganhos de performance em aplicações que usufruem do tipo de otimização efetuada e desempenhos equiparáveis nas restantes.

A rapidly changing market leads to software systems with highly volatile requirements. In many cases, new demands in software can often be met by extending the functionality of systems already in operation. By modularizing volatile requirements that can be altered at the client’s initiative or according to market demands, we can build a stepping-stone for management of requirements change. The volatility must be managed in a way that reduces the time and costs associated with updating a system to meet the new requirements. In this chapter, we present an approach for handling volatile concerns during early life cycle software modeling. The key insight is that techniques for aspect-oriented software development can be applied to modularize volatility and to weave volatile concerns into the base software artifacts.

Purpose - The main objective of this paper is to identify and rank a set of performance measures using the Interpretive Structural Modeling (ISM) approach to support the automotive supply chain performance evaluation.
Design/methodology/approach - The paper develops a framework to analyze the interactions among a suggested set of performance measures using the {ISM} approach. To identify the contextual relationships among the suggested measures, five experts from the automotive industry were consulted.
Findings - Using the {ISM} approach the performance measures were clustered attending to their driving and dependence power. Inventory level and lead time are the two performance measures at the bottom level of the hierarchy, implying higher driving power. Also, operational costs, business wastage, environmental costs, delivery time and customer satisfaction are identified as autonomous measures. This means that they are relatively disconnected from the other suggested performance measures. It is also observed that the cash-to-cash cycle is a weak driver but strongly dependent on the other performance measures.
Practical implications - The proposed approach gives managers a better understanding on mutual influences of performance measures (driving performance measures) and also those measures which are most influenced by others (dependent performance measures). Using {ISM} managers can get insight on the order and direction of complex relations among the suggested performance measures. This kind of information is strategic for managers could identify which performance measures they should concentrate on, and how they can manage the tradeoffs between them.
Originality/value - This paper highlights the deployment of {ISM} as a manager' decision support tool in the identification and ranking of a set of performance measures to make part of a supply chain performance measurement system.

The advancement of CMOS technology led to the integration of more complex functions. In the particular of wireless transceivers, integrated LC tanks are becoming popular both for VCOs and integrated filters [1]. For RF applications the main challenge is still the design of integrated inductors with the maximum quality factor. For that purpose, tapered, i.e., variable width inductors have been proposed in the literature. In this paper, analytical expressions for the determination the pi-model parameters, for the characterization of variable width integrated inductors are proposed. The expressions rely exclusively on geometrical and technological parameters, thus granting the rapid adaptation of the model to different technologies. The results obtained with the model are compared against simulation with ASITIC, showing errors below 10%. The model is then integrated into an optimization procedure where inductors with a quality factor improvement in the order of 20-30% are obtained, when compared with fixed width inductors.

In obtaining uniform array of ZnO 1D nanostructures, especially using solution based methods, the thickness and the morphology of the epitaxial seeds layer are very important. The paper presents the effect of the thickness and the morphology of the Al:ZnO seeds layer on the morphology and properties of ZnO nanowires array grown by hydrothermal method. Compact and vertically aligned ZnO 1D nanostructures were obtained. Concentration of 0.02 M of zinc nitrate was found to be optimal for growing nanowires with diameters up to 50 nm and lengths between 1.5 and 2.5 microns. Using 0.04 M solution, nanorods with diameter between 50 and 100 nm were obtained. The correlation between the crystal structure and optical properties of ZnO nanowires is discussed. From electrical measurements on single nanowire, resistivity value of 9×10?2 cm was obtained. The I-V curves of single ZnO NWs show quasi diode characteristic when an e-beam is irradiating the NWs, and a typical semiconductive behaviour when the e-beam is turned off. Copyright © 2013 American Scientific Publishers.

As técnicas e algoritmos desenvolvidos sobre diferentes infraestruturas específicas dificilmente podem ser comparados entre si. Este princípio também se aplica às infraestruturas para execução de Memória Transacional Distribuída (MTD), pois não só são muito escassas aquelas que permitem o desenvolvimento, teste e comparação de vários algoritmos e técnicas de implementação, como fornecem uma interface intrusiva para o programador. Sem uma comparação justa, não é possível aferir quais as técnicas e algoritmos mais apropriados em cada contexto de utilização (workload). Neste artigo propomos uma infraestrutura generalista, muito flexível, que possibilita a experimentação de várias estratégias de MTD, permitindo o desenvolvimento de uma grande variedade de algoritmos e de técnicas de implementação eficientes e otimizadas. Através da sua utilização, é agora possível a comparação de técnicas e algoritmos em diferentes contextos de utilização (workloads), recorrendo a uma única infraestrutura e com implicações mínimas no código da aplicação.

Domain-Specific Languages (DSLs) are claimed to bring important productivity improvements to developers,
when compared to General-Purpose Languages (GPLs). The increased Usability is regarded as one of the key benefits of DSLs when compared to GPLs, and has an important impact on the achieved productivity of the DSL users. So, it is essential to build in good usability while developing the DSL. The purpose of this proposal is to contribute to the systematic activity of Software Language Engineering by focusing on the
issue of the Usability evaluation of DSLs. Usability evaluation is often skipped, relaxed, or at least omitted from papers reporting development of DSLs. We argue that a systematic approach based on User Interface experimental validation techniques should be used to assess the impact of new DSLs. For that purpose, we propose to merge common Usability evaluation processes with the DSL development process. In order to provide reliable metrics and tools we should reuse and identify good practices that exist in Human-Computer
Interaction community.

The present study is part of an extensive research project, where the main objective is to evaluate a strengthening solution for reinforced concrete structures using a small thickness jacketing in the compression side of the RC element with unidirectional fiber reinforced grout - UFRG.
For this purpose a high performance cementitious grout reinforced with continuous and unidirectional non woven fibermat has been developed. It was expected that the use of these type of fibers allowed an optimization of its percentage and orientation. It was expected that the use of these type of fibers allowed an optimization of its percentage and orientation. Besides, for continuous fibers (with an aspect ratio, defined as the length-to-diameter ratio, l/d=∞), the composite should attain higher tensile strength since the fiber embedment length is enough to prevent fiber pullout.
The experimental campaign included a set of preliminary tests that allowed the design of the fiber reinforced grout, sustained with rheological parameters [7] and mechanical characterization tests of the materials.
Finally, an experimental campaign was carried out in order to proceed to the mechanical characterization of the unidirectional fiber reinforced grout. Compressive tests were conducted in small thickness tubular specimens that enable the determination of the compressive strength and the static modulus of elasticity of the material. The tensile strength of the material was obtained using splitting tests of cubic specimens (according the standard DIN 1048-5). The experimental results are presented and analyzed.

In this work the design and planning of a Closed-Loop Supply Chain (CLSC) under uncertain conditions is considered and a two-stage scenario-based modeling approach is proposed in order to deal with this multi-product, multi-period problem. The network design and tactical plan are simultaneously optimized in a given time horizon, comprehending the raw material acquisition and the processing, storage and distribution of intermediates, returns and final products. Uncertainty is associated to the returns, both in terms of their quantity, which is customer dependent, and quality, which is determined at the sorting centers. Therefore, the ensuing mathematical MILP formulation considers the simultaneous integration of two important uncertainty sources, which represents an important modeling advantage, allowing a better understanding of the reverse network structure. For each probabilistic scenario, the model estimates the amount of products to be returned by customers and of returns to be remanufactured for each quality level, as well as the storage levels. Several tests based on a real sized example of a Portuguese glass company are undertaken in order to show the applicability of the developed approach. Based on these tests, the influence of the uncertain quality and quantity of returns on the design and planning of the CLSC is assessed.

Mass balances of ash and potassium for a fluidized bed combustor were performed incorporating measurement uncertainties. The total output mass of ash or a chemical element should be equal to the mass in the input fuel; however, this is not often achieved. A realistic estimation of recovery uncertainty can support the reliability of a mass balance. Estimation of uncertainty helps to establish a reliable evaluation of the recovery ratio of ash mass and elemental mass. This may clarify whether any apparent lack in closing the mass balance can be attributed to uncertainties. The evaluation of measurement uncertainty for different matrices, namely coal, biomass, sand and ashes from different streams was based on internal quality control data and external quality control data, namely analysis of samples from proficiency tests or use of a certified reference material. The evaluation of intermediate precision and trueness allowed the estimation of measurement uncertainty. Due to the different physic and chemical characteristics of the studied matrices, the uncertainty of precision was evaluated using R-charts of data obtained from the analysis of duplicates for the majority of samples. This allowed evaluating sample heterogeneity effects. The instrumental acceptance criterion was also considered and included in the combined uncertainty. The trueness was evaluated using data from several proficiency tests and from analysis of a certified reference material or sample spiking. Statistically significant bias was included.

The properties of the light flexible device, ion jelly, which combines gelatin with an ionic liquid (IL) were recently reported being promising to develop safe and highly conductive electrolytes. This article aims for the understanding of the ion jelly conductive mechanism using dielectric relaxation spectroscopy (DRS) in the frequency range 10−1−106 Hz; the study was complemented with differential scanning calorimetry (DSC) and pulse field gradient nuclear magnetic resonance (PFG NMR) spectroscopy. The room temperature ionic liquid 1-butyl-3-methylimmidazolium dicyanamide (BMIMDCA) used as received (1.9% w/w water content) and with 6.6% (w/w) of water content and two ion jellies with two different ratios BMIMDCA/gelatin/water % (w/w), IJ1 (41.1/46.7/12.2) and IJ3 (67.8/25.6/6.6), have been characterized. A glass transition was detected by DSC for all materials allowing for classifying them as glass formers. For the ionic liquid, it was observed that the glass transition temperature decreases with the increase of water content. While in subsequent calorimetric runs crystallization was observed for BMIMDCA with negligible water content, no crystallization was detected for any of the ion jelly materials upon themal cycling. To the dielectric spectra of all tested materials, both dipolar relaxation and conductivity contribute; at the lowest frequencies, electrode and interfacial polarization highly dominate. Conductivity, which manifests much more intensity relative to dipolar reorientations, strongly evidences subdiffusive ion dynamics at high frequencies. From dielectric measures, transport properties as mobility and diffusion coefficients were extracted. Data treatment was carried out in order to deconvolute the average diffusion coefficients estimated from dielectric data in its individual contributions of cations (D+) and anions (D−). The D+ values thus obtained for IJ3, the ion jelly with the highest IL/gelatin ratio, cover a large temperature range up to room temperature and revealed excellent agreement with direct measurements from PFG NMR, obeying to the same VFT equation. For BMIMDCA6.6%water, which has the same water amount as IJ3, the diffusion coefficients were only estimated from DRS measurements over a limited temperature range; however, a single VFT equation describes both DRS and PFG NMR data. Moreover, it was found that the diffusion coefficients and mobility are similar for the ionic liquid and IJ3, which points to a role of both water and gelatin weakening the contact ion pair, facilitating the translational motion of ions and promoting its dissociation; nevertheless, it is conceivable that a critical composition of gelatin that leads to those properties. The VFT temperature dependence observed for the conductivity was found to be determined by a similar dependence of the mobility. Both conductivity and segmental motion revealed to be correlated as inferred by the relatively low values of the decoupling indexes. The obtained results show that ion jelly could be in fact a very promising material to design novel electrolytes for different electrochemical devices, having a performance close to the IL but presenting an additional stability regarding electrical measurements and resistance against crystallization relative to the bulk ionic liquid.

Three species of biomass origin (straw pellets, olive cake and wood pellets) and two coals from different countries (Coal Polish and Coal Colombian) have been studied to understand the fate of their ash forming matter during the combustion process and to investigate the influence of co-firing biomass with coal. Three different approaches to investigate the ash behaviour were employed: (1) chemical fractionation analysis to evaluate the association/reactivity of ash forming elements in the fuels as a prediction tool, (2) establishment of elements partitioning in ash streams produced in the combustion and co-combustion trials, and (3) evaluation of enrichment factors of elements in the ash streams. The chemical fractionation analysis was applied to all fuels used to evaluate how the association/reactivity of elements making up ash may influence their behaviour during combustion. Combustion tests were carried out on a pilot scale fluidized bed combustor (FBC). Four ash streams were obtained at different locations. The uncertainty of measurements was estimated allowing a critical evaluation of mass balances over the combustion system and the partitioning of elements in the ash streams. The enrichment factors of elements in the several ash streams were estimated, incorporating uncertainties associated with analytical measurements. Results obtained showed that for FBC the relation between the chemical fractionation and the experimental partitioning is strongly affected by elutriation of particles. The element enrichment factor estimated for each ash stream, using Al as a reference element, revealed better correlations with the elements reactivity obtained by chemical fractionation because it overcomes particles elutriation effects. Nevertheless, it was observed that the reactivity estimated by chemical fractionation could not be solely interpreted as tendency of the elements to volatilize on FBC system, as reaction in bed zone of boiler may also occur retaining reactive elements.

The main aim of this work was to assess the possibility of using biomass ashes as substitutes for cement and natural aggregates in concretes without compromising their mechanical and chemical properties. Thirteen concrete formulations were prepared with different percentages of bottom and fly ashes produced at a forest biomass power plant. These formulations were submitted to mechanical compressive strength assays, after 28, 60 and 90 days of maturation. The reference formulation F1 that was produced without biomass ashes and one formulation incorporating fly and bottom ashes, F4, were selected for further characterization. After 90 days of maturation, the selected formulations were submitted to the leaching test described in the European Standard EN12457-2 (L/S ratio of 10 L/kg, in a batch extraction cycle of 24h) by using two different leaching agents: a synthetic marine medium (ASPM medium) and a synthetic freshwater medium (ISO 6341 medium). The eluates produced were submitted to chemical characterization which comprised a set of metals (As, Sb, Se, Cu, Zn, Ba, Hg, Cd, Mo, Pb, Ni, Cr, Cr VI, Al, Fe, Mg, Na, K and Ca), pH, SO42-, F-, dissolved organic carbon, chlorides, phenolic compounds and total dissolved solids. The substitution of 10% cement by fly ashes has not promoted the reduction of the compressive strength of concrete. The new formulation F4 has presented emission levels of chemical species similar or even lower to those observed for the reference formulation F1.

A set of methods defining an API (Application Programming Interface) are to be made thread safe; thus running any subset of these methods in parallel should not create races or deadlocks. Originally, the set of methods were not designed to be thread safe, so races and deadlocks are expected when running them in parallel. The number of possible interleavings when running methods from this API in parallel is huge, and this work focuses on the identification of the high level data races introduced by such interleavings. We propose an analysis that avoids the exhaustive exploration of all possible interleavings. For a concurrent program P, the closure of P, clos(P), is defined. Roughly speaking, we can say that the clos(P) is obtained by adding threads to P in such a way that high level data races resulting from running P in parallel to other programs are exposed statically. A set of methods representing the API is then modeled as a set of concurrent programs and their closure is analysed to identify high level data races. These high level data races are then inspected and removed to make the API thread safe. We illustrate the application of this methodology with a simple use case.

A strict upper-bound limit analysis finite element formulation is used to estimate shape factors s_gamma and s_q for determining the bearing capacity of shallow foundations using the classic bearing capacity formula. The finite element formulation uses a quadratic approximation for the velocity field, an extension of a previously published Augmented Lagrangian formulation with a linear velocity field, and was implemented for a parallel processing environment. Results from determining the limit loads under three-dimensional conditions are presented and compared with previously published data. The results obtained allow a strict upper-bound determination of the shape factors. Furthermore, a practical proposal for these factors is made and compared with other proposals made by other authors.

The paper deals with the use of strain-gage based ring-sensors to measure the dynamic forces involved in wind-tunnel testing for research of aeroelastic instabilities. In these experiments, the model has to be supported by an elastic suspension system that allows it to move in response to the flow. The motivation for the work here reported was the assessment of the possibility of occurrence of aeroelastic instabilities in a sectional model of a bridge deck under the action of lateral wind. The model is suspended by helical springs linked to four ring-sensors and aerodynamic drag is measured by two other ring-sensors. The entire measuring system stands outside the wind-tunnel and proved to be practical, low-cost and adaptable to other sectional models. The paper describes the development process and evaluation results of the ring sensors. They feature strain gages arranged in full Wheatstone bridge circuit. The measured time series of force values were translated into lift, pitch moment and drag, as well as linear and angular displacements of the model. High quality results were obtained with the assembly, which allowed obtaining the aerodynamic parameters sought. © 2012 Elsevier B.V.