Sustentabilidade no Design: uma abordagem aos resíduos limpos das indústrias do calçado

Dissertação de mestrado em Design e Marketing

Numerical modeling and assessment of the thermal environment in an industrial premise of automotive components

Dissertação de mestrado em Engenharia Industrial

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.

Implementação de metodologias BIM na Direção de Engenharia de Barragens da EDP: casos de estudo de projeto de estruturas em obras hidroelétricas

Dissertação de mestrado integrado em Engenharia Civil

Effective stiffness behaviour of sandwich beams under uncoupled bending and torsion loadings

Sandwich geometries, mainly in the form of panels and beams, are commonly applied in various transportation industries, such as aerospace, aeronautic and automotive. Sandwich geometries represent important advantages in structural applications, namely high specific stiffness, low weight, and possibility of design optimization prior to manufacturing. The aim of this paper is to uncover the influence of the number of reinforcements (ribs), and of the thickness on the mechanical behavior of all-metal sandwich panels subjected to uncoupled bending and torsion loadings. In this study, four geometries are compared. The orientation of the reinforcements and the effect of transversal ribs are also considered in this study. It is shown that the all the relations are non-linear, despite the elastic nature of the analysis in the Finite Element software ANSYS MECHANICAL APDL.