Cost efficiency and resistance to chemical attack of a fly ash geopolymeric mortar versus epoxy resin and acrylic paint coatings

This article presents results of an experimental investigation on the resistance to chemical attack (with sulphuric, hydrochloric and nitric acid) of several materials: OPC concrete, high-performance concrete, epoxy resin, acrylic painting and a fly ash-based geopolymeric mortar). Three types of acids with three high concentrations (10, 20 and 30%) were used to simulate long-term degradation. A cost analysis was also performed. The results show that the epoxy resin has the best resistance to chemical attack independently of the acid type and the acid concentration. However, the cost analysis shows that the epoxy resin-based solution is the least cost-efficient solution being 70% above the cost efficiency of the fly ash-based geopolymeric mortar.

Materiais compósitos com incorporação de cânhamo industrial

Projeto de Investigação integrado de mestrado Internacional em Sustentabilidade do Ambiente Construído

External and internal dynamics in the EU's counter-terrorism policy: a political and legal analysis

Tese de Doutoramento em Ciência Política e Relações Internacionais

Seismic behavior of concrete block masonry buildings

Tese de Doutoramento em Engenharia Civil

Evaluation of the performance of steel fibre reinforced self-compacting concrete in elevated slab systems; from the material to the structure

Degree of Doctor of Philosophy of Structural/Civil Engineering

Development of hybrid composite plate (HCP) for strengthening and repair of RC structures

Tese de Doutoramento em Engenharia Civil

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.

Resilience of concrete structures in the marine environment through microstructural innovation

Dissertação de mestrado integrado em Engenharia Civil

An integrated model for simulation of construction phasing of arch concrete dams

Dissertação de mestrado integrado em Civil Engineering

Estudo da ligação entre componentes estruturais de GFRP (glass fiber reinforced polymer) e componentes estruturais em betão

Dissertação de mestrado integrado em Engenharia Civil

Influence of different fibers on the change of pore pressure of self-consolidating concrete exposed to fire

The focus of this paper is given to investigate the effect of different fibers on the pore pressure of fiber reinforced self-consolidating concrete under fire. The investigation on the pore pressure-time and temperature relationships at different depths of fiber reinforced self-consolidating concrete beams was carried out. The results indicated that micro PP fiber is more effective in mitigating the pore pressure than macro PP fiber and steel fiber. The composed use of steel fiber, micro PP fiber and macro PP fiber showed clear positive hybrid effect on the pore pressure reduction near the beam bottom subjected to fire. Compared to the effect of macro PP fiber with high dosages, the effect of micro PP fiber with low fiber contents on the pore pressure reduction is much stronger. The significant factor for reduction of pore pressure depends mainly on the number of PP fibers and not only on the fiber content. An empirical formula was proposed to predict the relative maximum pore pressure of fiber reinforced self-consolidating concrete exposed to fire by considering the moisture content, compressive strength and various fibers. The suggested model corresponds well with the experimental results of other research and tends to prove that the micro PP fiber can be the vital component for reduction in pore pressure, temperature as well spalling of concrete.

Disposición plasmática y residuos tisulares de marbofloxacina en truchas arco iris (oncorhynchus mykiss) en condiciones estivales e invernales. Plasmatic disposition and tissue residues of marbofloxacin in rainbow trouts (oncorhynchus mykiss) in summer and winter conditions

Los sistemas intensivos de producción, predisponen en los peces a la presentación de diversas enfermedades, lo que demanda el empleo de antimicrobianos para mantener la salud de los lotes de cultivo. En tal sentido es importante contar con información local en cuanto al comportamiento cinético a los efectos de determinar una adecuada dosificación de los antimicrobianos empleados y con esta información, establecer los periodos de resguardo necesarios para evitar la presencia violativa de estos fármacos en el animal destinado a consumo humano. En el presente proyecto se propone efectuar un estudio farmacocinético de concentraciones plasmáticas y tisulares alcanzadas y establecer los periodos de resguardo para marbofloxacina, antimicrobiano del cual no se tienen antecedentes regionales en cuanto a su disposición a diferentes temperaturas como las que condicionan las estaciones de verano e invierno, de marcada variación en la provincia, modificando la actividad metabólica de los peces. La concreción de este proyecto permitirá entregar conocimientos concretos y de aplicación directa en la cría intensiva de la trucha arco iris (Oncorhynchus mykiss) en diferentes condiciones ambientales, al contarse con la información necesaria para una adecuada dosificación y periodos de resguardo necesarios para evitar el residuo de este fármaco. Además, permitirá consolidar una línea de investigación dentro de la acuicultura muy poco desarrollada actualmente en el país. Intensive production systems predispose fishes to diverse diseases, which demands antimicrobial use for health maintenance in the lots of culture. In such sense it is important to have local information of the kinetic behavior to determine a suitable dosing of the antimicrobials employed, and on this information, to establish withdrawal periods to avoid the violative presence of these drugs in animals for human consumption. The present project will carry out a pharmacokinetic study of plasmatic and tissue concentrations to establish the withdrawal period for marbofloxacin, being known that temperature, modify the metabolic activity of the fish, and there are no local antecedents of disposition at different temperatures in summer and winter for this antimicrobial. The concretion of this project will allow to give concrete knowledge of direct application in intensive production of rainbow trout (Oncorhynchus mykiss), in different environmental conditions, counting with the necessary information for a suitable dosification and withdrawal periods to avoid residues of this drug. In addition, it will allow to consolidate an investigation line in acuiculture, not much developed in our country.

Coupling and monotonicity of queueing processes

The main purpose of this work is to give a survey of main monotonicity properties of queueing processes based on the coupling method. The literature on this topic is quite extensive, and we do not consider all aspects of this topic. Our more concrete goal is to select the most interesting basic monotonicity results and give simple and elegant proofs. Also we give a few new (or revised) proofs of a few important monotonicity properties for the queue-size and workload processes both in single-server and multi- server systems. The paper is organized as follows. In Section 1, the basic notions and results on coupling method are given. Section 2 contains known coupling results for renewal processes with focus on construction of synchronized renewal instants for a superposition of independent renewal processes. In Section 3, we present basic monotonicity results for the queue-size and workload processes. We consider both discrete-and continuous-time queueing systems with single and multi servers. Less known results on monotonicity of queueing processes with dependent service times and interarrival times are also presented. Section 4 is devoted to monotonicity of general Jackson-type queueing networks with Markovian routing. This section is based on the notable paper [17]. Finally, Section 5 contains elements of stability analysis of regenerative queues and networks, where coupling and monotonicity results play a crucial role to establish minimal suficient stability conditions. Besides, we present some new monotonicity results for tandem networks.

Modelling the cooling of concrete by piped water

Piped water is used to remove hydration heat from concrete blocks during construction. In this paper we develop an approximate model for this process. The problem reduces to solving a one-dimensional heat equation in the concrete, coupled with a first order differential equation for the water temperature. Numerical results are presented and the effect of varying model parameters shown. An analytical solution is also provided for a steady-state constant heat generationmodel. This helps highlight the dependence on certain parameters and can therefore provide an aid in the design of cooling systems.

Integrated assessment of agricultural sustainability: the pros and cons of reductionism

In this paper I review a series of theoretical concepts that are relevant for the integrated assessment of agricultural sustainability but that are not generally included in the curriculum of the various scientific disciplines dealing with quantitative analysis of agriculture. I first illustrate with plain narratives and concrete examples that sustainability is an extremely complex issue requiring the simultaneous consideration of several aspects, which cannot be reduced into a single indicator of performance. Following, I justify this obvious need for multi-criteria analysis with theoretical concepts dealing with the epistemological predicament of complexity, starting from classic philosophical lessons to arrive to recent developments in complex system theory, in particular Rosen´s theory of modelling relation which is essential to analyze the quality of any quantitative representation. The implications of these theoretical concepts are then illustrated with applications of multi-criteria analysis to the sustainability of agriculture. I wrap up by pointing out the crucial difference between "integrated assessment" and "integrated analysis". An integrated analysis is a set of indicators and analytical models generating an analytical output. An integrated assessment is much more than that. It is about finding an effective way to deal with three key issues: (i) legitimacy – how to handle the unavoidable existence of legitimate but contrasting points of view about different meanings given by social actors to the word "development"; (ii) pertinence – how to handle in a coherent way scientific analyses referring to different scales and dimensions; and (iii) credibility – how to handle the unavoidable existence of uncertainty and genuine ignorance, when dealing with the analysis of future scenarios.