Thermal conditions affecting heat transfer in FDM/FFE: a contribution towards the numerical modelling of the process

The performance of parts produced by Free Form Extrusion (FFE), an increasingly popular additive manufacturing technique, depends mainly on their dimensional accuracy, surface quality and mechanical performance. These attributes are strongly influenced by the evolution of the filament temperature and deformation during deposition and solidification. Consequently, the availability of adequate process modelling software would offer a powerful tool to support efficient process set-up and optimisation. This work examines the contribution to the overall heat transfer of various thermal phenomena developing during the manufacturing sequence, including convection and radiation with the environment, conduction with support and between adjacent filaments, radiation between adjacent filaments and convection with entrapped air. The magnitude of the mechanical deformation is also studied. Once this exercise is completed, it is possible to select the material properties, process variables and thermal phenomena that should be taken in for effective numerical modelling of FFE.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Sensores de fibra ótica baseados em novos materiais flexíveis

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Numerical simulation of the reflow soldering process

Dissertação de mestrado integrado em Mechanical Engineering

Characterization of the oculomotor alterations in inicial phase of Multiple Sclerosis

Dissertação de mestrado em Advanced Optometry

Topography of aligned PNIPAm nanogels determines cell motility and cytoskeleton architecture

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)

Laccase-catalyzed synthesis of conducting polyaniline-lignosulfonate composite

Enzymatic polymerization of aniline was first performed in lignosulfonate (LGS) template system. High-redox-potential catalyst laccase, isolated from Aspergillus, was used as a biocatalyst in the synthesis of conducting polyaniline/lignosulfonate (PANI-ES-LGS) complex using atmospheric oxygen as the oxidizing agent. The linear templates (LGS), also serving as the dopants, could facilitate the directional alignment of the monomer and improve the solubility of the conducting polymer. The process of the polymerization was monitored using UV-Vis spectroscopy, by which the conditions for laccase-catalyzed synthesis of PANI-ES-LGS complex were also optimized. The structure characterizations and solubility of the complex were carried out using corresponding characterization techniques respectively. The PANI-ES-LGS suspensions obtained was used as coating for cotton with a conventional padder to explore the applications of the complex. The variable optoelectronic properties of the coated cotton were confirmed by cyclic voltammetry and color strength test. The molecular weight changes of LGS treated by laccase were also studied to discuss the mechanism of laccase catalyzed aniline polymerization in LGS template system.

Efeito da adição de Zr no endurecimento de ligas Al-Sc

Dissertação de mestrado integrado em Engenharia de Materiais

As relações públicas online como uma nova estratégia de valorização das marcas: o estudo de caso Ramirez

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)