Argamassas de cal hidráulica natural NHL3.5 com metacaulino – Caracterização após três anos em cura laboratorial e marítima

A presente dissertação enquadra-se num estudo que esteve inserido nos projetos FCT-METACAL e FCT-LIMECONTECH, e cujos resultados foram já parcialmente publicados por GRILO et al. (2014a e 2014b). Nesse estudo produziram-se e caraterizaram-se, aos 28, 90 e 180 dias, argamassas de cal hidráulica natural, NHL3.5 produzida em Portugal, com substituições percentuais de ligante por metacaulino (Mk). Outro fator estudado foi a influência do tipo de cura, estando as amostras das argamassas sujeitas a 3 tipos de cura diferentes: standard, marítima e húmida. Aos 180 dias de cura, as argamassas com 10% de substituição de Mk apresentaram melhorias nas resistências mecânicas e melhorias evidentes no comportamento em relação à absorção de água e secagem. No geral as características das argamassas indiciavam a sua adequação para a conservação de fachadas de edifícios antigos e aplicação na reabilitação de edifícios com suportes mais resistentes ou mesmo em construção nova. No presente estudo foram caracterizadas as mesmas argamassas, desta feita com 3 anos de idade, e avaliada a evolução das suas caraterísticas até esta idade em cura marítima e húmida. Ao contrário do previsto, as resistências mecânicas das argamassas com substituição de metacaulino tiveram reduções nos seus valores, chegando, em alguns casos, a ficar abaixo dos valores das argamassas sem Mk. Pela caracterização química e mineralógica constata-se que essa redução foi motivada pela instabilidade dos compostos pozolânicos formados pelo Mk, embora esses compostos tenham sido os responsáveis pelas elevadas resistências mecânicas registadas a idades jovens. As argamassas com Mk apresentaram um melhor comportamento à água, devido ao refinamento da sua estrutura porosa. Dos ensaios realizados apenas o índice de secagem e o ensaio de resistência aos sais revelaram resultados piores nas argamassas com Mk, quando em comparação com as argamassas de referência, só com NHL. Em relação ao tipo de cura, verificou-se não existirem grandes diferenças entre a cura húmida e a marítima.

Natural hydraulic lime (nhl3.5) mortars with scrap tire rubber

The use of wastes and industrial by-products as building materials is an important issue in order to decrease costs with waste management and the embodied energy of building products. In this study scrap tire rubber was used as additional aggregate of mortars based on natural hydraulic lime NHL 3.5 and natural sand. Different particle size fractions and proportions of scrap tire rubber were used: a mix obtained directly from industry and separated fine, medium and coarse fractions; 0 %, 18 %, 36 % and 54 % of the weight of binder, corresponding to 2.5 %, 5 % and 7.5 % of the weight of sand. As mortars based on NHL specifications became stricter with the current version of EN 459–1:2015, the influence of the rubber’s additions on the mortars’ fresh state, mechanical and physical performance is presented in this work: flow table consistency, water retention, dynamic elasticity modulus, flexural and compressive strength, open porosity and bulk density, capillary absorption, drying and thermal conductivity are studied. The use of the rubber mix coming from the waste tire industry seems advantageous and may open possibilities for use as raw material by the mortars industry.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.