A indústria do betão pré fabricado é, por tradição, inovadora, precursora de novas tecnologias e de novos materiais.O processo produtivo de estruturas com elementos pré-fabricados difere significativamente do das estruturas betonadas em obra pelo facto de uma parte, ou a totalidade, dos elementos da estrutura serem produzidos em fábrica, em condições de produção melhoradas em relação às condições da obra, e serem posteriormente transportados para a obra, onde são, finalmente ligados entre si. A produção em fábrica é efectuada em ambiente protegido do Sol e da chuva, com operários fixos e com formação profissional para desenvolverem tarefas com procedimentos normalizados. Consequentemente, os elementos executados em fábrica possuem melhor qualidade, sob vários aspectos, do que as estruturas executadas em obra.Este livro divide-se em duas grandes áreas, numa primeira abordam-se algumas aplicações de estruturas pré-moldadas no mundo e numa segunda parte descreve-se o seu comportamento estrutural face a diferentes acções. Nos primeiros capítulos relata-se a experiência da pré-fabricação em três países de diferentes continentes: o Brasil, Portugal e a Austrália e revelam-se novas oportunidades que poderão surgir para a indústria da pré-fabricação. Nos capítulos seguintes dá-se um especial enfoque à investigação do comportamento das ligações (rígidas e semi-rígidas). Aborda-se o projecto de estruturas de betão pré-fabricado às acções acidentais. E por fim, dedicam-se os últimos capítulos ao comportamento das estruturas pré-fabricadas face às acções sísmicas. Nesta área, o bom desempenho das estruturas e grande parte do conhecimento e da tecnologia actual advém da resposta dada pelos engenheiros, investigadores e construtores aos fenómenos naturais que afectam as nossas construções, como comprova o desempenho das ligações dúcteis resistentes a momentos em edifícios pré fabricados de betão no verdadeiro teste sísmico que foram os sismos de Christchurch de 2010 e 2011.

This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. 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 work builds on a novel deep-heap analysis technique based on separation logic to statically approximate the read- and write-sets of a transactional memory Java program. We implement our technique and apply our tool to a set of micro benchmarks and also to one benchmark of the STAMP package. 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 our analysis has identified transactions that potentially trigger previously unknown write-skew anomalies.>

There have been many and very significant advances in the Wireless Power Transfer, resulting up to now in flexible and safe battery charging eliminating the necessity of power cables. The relatively low frequencies (tens of kilohertz) applied for those {"}classical{"} chargers are already well developed. A {"}new{"} technology appeared now that makes possible to apply a strong magnetic resonant coupling. Similar experiments were applied by N. Tesla more than a hundred years ago but now the researchers are capable to reach much higher frequencies. To achieve the necessary high level of magnetic field coupling it is essential to allow high levels of electric current intensity inside the resonant loops. In this article the achievement of highest magnetic field is analysed and experimented. Some results are discussed based on the choice of the resonant loop type and construction. The applications in the on-line energy supply for the EV are one of the aimed goals. The other goal may be the future more efficient induction machine.

The research on the solar concentrating equipment is intensified in the recent years in many scientific and industry groups and institutions. This growing interest is based mainly on the higher efficiency and lower investment in material that is typical for this solar technology. This work started not to answer a market problem but with the idea of development a new application for an domestic size collector of line-focussing Fresnel collector. Which is will be a important step for the renewable energy. If successful, in a few years a common person will be ready to produce solar thermoelectricity at home with the double benefit of producing electricity and hot steam. The paper presents a design methodology and heat transfer calculation for an concentrating system based on the Linear Fresnel Reflector (LFR) concept. The basic absorber design is an trapezoidal inverted air cavity without glass cover. The absorber is covered with a selective surface and is oriented north- south. This arrangement has shown good optical and thermal performance results validated by measurements during outdoor tests.

In the last time many research works were devoted to the electrical drive train with induction motors due to its robust construction and low cost in comparison with its competitor, PM synchronous motor. The construction of the induction motor is simple but its efficient control needs more sophisticated algorithms and appropriate inverters in order to obtain the highest technical and economical performance. In this paper we present a review of the last research results on the induction motor topologies dedicated to EV, on the architecture of inverters and of the efficient control strategies. There will be presented many promising solutions which are analysed and compared in order to offer to the EV electrical drive train designers the necessary information for a selection to be done.

Software Transactional Memory (STM) algorithms correctness rely on metadata associated with the memory locations accessed during the transaction life-time. STM implementations may store this metadata either in-place, by wrapping the memory cells in a container that includes the memory cell itself and the corresponding metadata, or out-place, by resorting to a mapping function that associates the memory cell address to an external table with the corresponding metadata. The implementation techniques for these two approaches are very different and each STM framework is usually biased towards one of them, only allowing the efficient implementation of algorithms that fall into the appropriate category, and inhibiting the fair comparison with STM algorithms falling into the other. In this paper we introduce a technique that supports the use of in-place metadata without requiring to wrap memory cells, thus providing STM algorithms with direct access to the transactional metadata and overcoming the bias. The proposed technique is available as an extension to the DeuceSTM framework and allows the efficient implementation of a wide range of STM algorithms, thus enabling their fair (unbiased) comparison in a common STM infrastructure. We illustrate the benefits of our approach by analyzing its impact in two popular TM algorithms with two different transactional workloads, TL2 and multi-versioning, which bias to out-place and in-place respectively.

Green and lean paradigms have been adopted by companies in order to manage their relationships with suppliers in a supply chain management context, but nearly always separately and with little understanding of their influence on company performance. This paper proposes a theoretical framework for the analysis of the influence of green and lean upstream supply chain management practices on the sustainable development of businesses. To attend this objective, a set of performance measures covering economic (operational cost, environmental cost, and inventory cost), environmental (business wastage, green image, and CO2 emission), and social (corruption risk, supplier screening and local supplier) perspectives is proposed. An explanatory case study was conducted at a Portuguese automaker to test qualitatively the validity of the proposed theoretical framework. From the case study, a model is suggested, which encompasses the relationships between green and lean upstream supply chain practices and sustainable business development.

The function of prion-like protein Doppel was suggested to be related to male fertility. In this study, the importance of ovine Doppel polypeptide on spermatozoa capacitation and fertilization was evaluated. After refolding, recombinant Doppel (rDpl) was supplemented with different concentrations (40, 80 or 190 ng/ml) to ovine spermatozoa during the capacitation process. In experiment 1, post-thawed ovine spermatozoa were incubated with different concentrations of rDpl during 1 h for swim-up, and changes in sperm motility, concentration, vigour, viability and capacitation were monitored (10 replicates). In experiment 2, the fertilization ability of post-swim-up spermatozoa incubated as above was tested through heterologous fertilization of bovine in vitro matured oocytes (n = 423, three replicates). Regardless of dosage, rDpl improved (p = 0.03) spermatozoa viability. Sperm individual motility and vigour were the highest (p = 0.04) for the group receiving 190 ng/ml rDpl. Sperm supplemented with the highest doses of rDpl achieved higher (p = 0.02) fertilization rates (56.0 +/- 3.0%) than control (39.1 +/- 2.2%) and 40 ng/ml rDpl (39.8 +/- 2.7%). Preliminary data suggest that Doppel protein may enhance in vitro spermatozoa fertilizing ability.

Native agars from Gracilaria vermiculophylla produced in sustainable aquaculture systems (IMTA) were extracted under conventional (TWE) and microwave (MAE) heating. The optimal extracts from both processes were compared in terms of their properties. The agars’ structure was further investigated through Fourier transform infrared and NMR spectroscopy. Both samples showed a regular structure with an identical backbone, β-D-galactose (G) and 3,6-anhydro-α-L-galactose (LA) units; a considerable degree of methylation was found at C6 of the G units and, to a lesser extent, at C2 of the LA residues. The methylation degree in the G units was lower for MAEopt agar; the sulfate content was also reduced. MAE led to higher agar recoveries with drastic extraction time and solvent volume reductions. Two times lower values of [η] and Mv obtained for the MAEopt sample indicate substantial depolymerization of the polysaccharide backbone; this was reflected in its gelling properties; yet it was clearly appropriate for commercial application in soft-texture food products.