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.

Recycled asphalt mixtures with foamed bitumen: an alternative to build ecofriendly road pavements

Nowadays, recycling has become a very important objective for the society in the scope of a closed loop product life cycle. In recent years, new recycling techniques have been developed in the area of road pavements that allow the incorporation of high percentages of reclaimed asphalt (RA) materials in recycled asphalt mixtures. The use of foamed bitumen for production of recycled asphalt mixtures is one of those techniques, which also allows the reduction of the mixing temperatures (warm mix technology). However, it is important to evaluate if this solution can maintain or improve the performance of the resulting mixtures. Thus, the main aim of the present study is to assess the performance of warm recycled asphalt mixtures incorporating foamed bitumen as the new binder and 50% RA, in comparison with a control mixture using conventional bitumen. Four mixtures have been produced with 50% RA, one of them at typical high mixing temperatures with a conventional bitumen (control mixture) and the other three with foamed bitumen at different production temperatures. These four mixtures were tested to evaluate their compactability and water sensitivity. The laboratory test results showed that the production of recycled mixtures with foamed bitumen can be reduced by 40ºC without changing the performance of the resulting mixtures.

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Aplicação da teoria das opções reais em análise de projetos estratégicos: um estudo de caso sobre o valor da opção de prosseguir com os investimentos no programa de desenvolvimento de submarinos da Marinha do Brasil

Dissertação de mestrado em Estudos de Gestão

Design formula for the flexural strengthening of RC beams using prestressed CFRP reinforcement

Applying a certain prestress level to the carbon fiber reinforced polymer (CFRP) reinforcement according to either externally bonded reinforcing (EBR) or near surface mounted (NSM) techniques can mobilize the strengthening potentialities of this high tensile strength composite material. For the prediction of the flexural behavior of reinforced concrete (RC) structures strengthened with prestressed EBR or NSM CFRPs, however, simplified analytical and design formulations still need to be developed as a guidance for engineers to design this type of strengthened structures by hand calculation without any programming help. Hence, the current work aims to briefly explain a developed simplified analytical approach, with a design framework, to predict the flexural behavior of RC beams flexurally strengthened with either prestressed EBR or NSM CFRP reinforcements. Moreover, an upper limit for the prestress level is proposed in order to optimize the ductility performance of the NSM prestressing technique. The good predictive performance of the analytical approaches was appraised by simulating the results of experimental programs composed of RC beams strengthened with prestressed NSM CFRP reinforcements.

Affordable prefabricated modular houses using cement and polymer based materials and advanced design tools

By taking advantage of the appropriate use of cement and polymer based materials and advanced computational tools, a pre-fabricated affordable house was built in a modular system. Modular system refers to the complete structure that is built-up by assembling pre-fabricated sandwich panels composed of steel fibre reinforced self-compacting concrete (SFRSCC) outer layers that are connected by innovative glass fibre reinforced polymer (GFRP) connectors, resulting in a panel with adequate structural, acoustic, and thermal insulation properties. The modular house was prepared for a typical family of six members, but its living area can be easily increased by assembling other pre-fabricated elements. The speed of construction and the cost of the constructive elements make these houses competitive when compared to traditional solutions. In this paper the relevant research subjacent to this project (LEGOUSE) is briefly described, as well as the construction process of the built real scale prototype.

Assessment of the effectiveness of steel fibre reinforcement for the punching resistance of flat slabs by experimental research and design approach

The present paper deals with the experimental assessment of the effectiveness of steel fibre reinforcement in terms of punching resistance of centrically loaded flat slabs, and to the development of an analytical model capable of predicting the punching behaviour of this type of structures. For this purpose, eight slabs of 2550 x 2550 x 150 mm3 dimensions were tested up to failure, by investigating the influence of the content of steel fibres (0, 60, 75 and 90 kg/m3) and concrete strength class (50 and 70 MPa). Two reference slabs without fibre reinforcement, one for each concrete strength class, and one slab for each fibre content and each strength class compose the experimental program. All slabs were flexurally reinforced with a grid of ribbed steel bars in a percentage to assure punching failure mode for the reference slabs. Hooked ends steel fibres provided the unique shear reinforcement. The results have revealed that steel fibres are very effective in converting brittle punching failure into ductile flexural failure, by increasing both the ultimate load and deflection, as long as adequate fibre reinforcement is assured. An analytical model was developed based on the most recent concepts proposed by the fib Mode Code 2010 for predicting the punching resistance of flat slabs and for the characterization of the behaviour of fibre reinforced concrete. The most refined version of this model was capable of predicting the punching resistance of the tested slabs with excellent accuracy and coefficient of variation of about 5%.

An investigation of safety design practices of metal machines

BACKGROUND: Machinery safety issues are a challenge facing manufacturers who are supposed to create and provide products in a better and faster way. In spite of their construction and technological advance, they still contribute to many potential hazards for operators and those nearby. OBJECTIVE: The aim of this study is to investigate safety aspects of metal machinery offered for sale on Internet market according to compliance with minimum and fundamental requirements. METHODS: The study was carried out with the application of a checklist prepared on the basis of Directive 2006/42/EC and Directive 2009/104/EC and regulations enforcing them into Polish law. RESULTS: On the basis of the study it was possible to reveal the safety aspects that were not met in practice. It appeared that in the case of minimum requirements the most relevant problems concerned information, signal and control elements, technology and machinery operations, whereas as far as fundamental aspects are concerned it was hard to assure safe work process. CONCLUSIONS: In spite of the fact that more and more legal acts binding in the Member Countries of the European Union are being introduced to alleviate the phenomenon, these regulations are often not fulfilled.

Combining data mining and evolutionary computation for multi-criteria optimization of earthworks

Earthworks tasks aim at levelling the ground surface at a target construction area and precede any kind of structural construction (e.g., road and railway construction). It is comprised of sequential tasks, such as excavation, transportation, spreading and compaction, and it is strongly based on heavy mechanical equipment and repetitive processes. Under this context, it is essential to optimize the usage of all available resources under two key criteria: the costs and duration of earthwork projects. In this paper, we present an integrated system that uses two artificial intelligence based techniques: data mining and evolutionary multi-objective optimization. The former is used to build data-driven models capable of providing realistic estimates of resource productivity, while the latter is used to optimize resource allocation considering the two main earthwork objectives (duration and cost). Experiments held using real-world data, from a construction site, have shown that the proposed system is competitive when compared with current manual earthwork design.

Industrial engineering and management curriculum profile: Developing a framework of competences

This paper presents a framework of competences developed for Industrial Engineering and Management that can be used as a tool for curriculum analysis and design, including the teaching and learning processes as well as the alignment of the curriculum with the professional profile. The framework was applied to the Industrial Engineering and Management program at University of Minho (UMinho), Portugal, and it provides an overview of the connection between IEM knowledge areas and the competences defined in its curriculum. The framework of competences was developed through a process of analysis using a combination of methods and sources for data collection. The framework was developed according to four main steps: 1) characterization of IEM knowledge areas; 2) definition of IEM competences; 3) survey; 4) application of the framework at the IEM curriculum. The findings showed that the framework is useful to build an integrated vision of the curriculum. The most visible aspect in the learning outcomes of IEM program is the lack of balance between technical and transversal competences. There was not almost any reference to the transversal competences and it is fundamentally concentrated on Project-Based Learning courses. The framework presented in this paper provides a contribution to the definition of IEM professional profile through a set of competences which need to be explored further. In addition, it may be a relevant tool for IEM curriculum analysis and a contribution for bridging the gap between universities and companies.

Design of a case-based reasoner for information security in military organizations

Information security is concerned with the protection of information, which can be stored, processed or transmitted within critical information systems of the organizations, against loss of confidentiality, integrity or availability. Protection measures to prevent these problems result through the implementation of controls at several dimensions: technical, administrative or physical. A vital objective for military organizations is to ensure superiority in contexts of information warfare and competitive intelligence. Therefore, the problem of information security in military organizations has been a topic of intensive work at both national and transnational levels, and extensive conceptual and standardization work is being produced. A current effort is therefore to develop automated decision support systems to assist military decision makers, at different levels in the command chain, to provide suitable control measures that can effectively deal with potential attacks and, at the same time, prevent, detect and contain vulnerabilities targeted at their information systems. The concept and processes of the Case-Based Reasoning (CBR) methodology outstandingly resembles classical military processes and doctrine, in particular the analysis of “lessons learned” and definition of “modes of action”. Therefore, the present paper addresses the modeling and design of a CBR system with two key objectives: to support an effective response in context of information security for military organizations; to allow for scenario planning and analysis for training and auditing processes.

Systematic design analysis and risk management on engineered nanoparticles occupational exposure

The production of nanotechnology-based products is increasing, along with the conscience of the possible harmful effects of some nanomaterials. The “safety-by-design” approaches are getting attention as helpful tools to develop safer products and production processes. The Systematic Design Analysis Approach could help to identify the solutions to control the workplace risks by defining the emission and exposure scenarios and the possible barriers to interrupt them. By applying this approach in a photocatalytic ceramic tiles development project it was possible to identify relevant nanoparticles emission scenarios and related barriers, and defining possible ways to reduce it.

A domain-specific language for ETL patterns specification in Data Warehousing Systems

During the last few years many research efforts have been done to improve the design of ETL (Extract-Transform-Load) systems. ETL systems are considered very time-consuming, error-prone and complex involving several participants from different knowledge domains. ETL processes are one of the most important components of a data warehousing system that are strongly influenced by the complexity of business requirements, their changing and evolution. These aspects influence not only the structure of a data warehouse but also the structures of the data sources involved with. To minimize the negative impact of such variables, we propose the use of ETL patterns to build specific ETL packages. In this paper, we formalize this approach using BPMN (Business Process Modelling Language) for modelling more conceptual ETL workflows, mapping them to real execution primitives through the use of a domain-specific language that allows for the generation of specific instances that can be executed in an ETL commercial tool.

Validação de design de armazém automatizado com uso de simulação discreta

Dissertação de mestrado em Engenharia de Sistemas

Using the GPU to design complex profile extrusion dies

In the present work the benefits of using graphics processing units (GPU) to aid the design of complex geometry profile extrusion dies, are studied. For that purpose, a3Dfinite volume based code that employs unstructured meshes to solve and couple the continuity, momentum and energy conservation equations governing the fluid flow, together with aconstitutive equation, was used. To evaluate the possibility of reducing the calculation time spent on the numerical calculations, the numerical code was parallelized in the GPU, using asimple programing approach without complex memory manipulations. For verificationpurposes, simulations were performed for three benchmark problems: Poiseuille flow, lid-driven cavity flow and flow around acylinder. Subsequently, the code was used on the design of two real life extrusion dies for the production of a medical catheter and a wood plastic composite decking profile. To evaluate the benefits, the results obtained with the GPU parallelized code were compared, in terms of speedup, with a serial implementation of the same code, that traditionally runs on the central processing unit (CPU). The results obtained show that, even with the simple parallelization approach employed, it was possible to obtain a significant reduction of the computation times.