Desenvolvimento de estruturas fibrosas com comportamento auxético

Tese de Doutoramento Engenharia Têxtil

Relatório sobre “Surgical cases packages”

Problema apresentado pelo Hospital de Braga no 109th European Study Group with Industry 10 a 15 de maio de 2015. Departamento de Produção e Sistemas Escola de Engenharia da Universidade do Minho Guimarães Portugal 24 de julho de 2015

On simple bounds for eigenvalues of symmetric tridiagonal matrices

How much can be said about the location of the eigenvalues of a symmetric tridiagonal matrix just by looking at its diagonal entries? We use classical results on the eigenvalues of symmetric matrices to show that the diagonal entries are bounds for some of the eigenvalues regardless of the size of the off-diagonal entries. Numerical examples are given to illustrate that our arithmetic-free technique delivers useful information on the location of the eigenvalues.

Auxetic effect of natural fiber knitted fabrics

Since they present a negative Poisson's radio, auxetic materials are different from conventional ones. These materials present an unusual behaviour: when stretched (elongated in the longitudinal direction), their cross-section is increased. There are two different ways to obtain auxetic materials: through polymers or through structures. It is possible to affirm that those obtained through fibrous structures are very recent and that few authors have been dedicated to their study. The main objective of this work is to study the effect of the negative Poisson

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Desenvolvimento de materiais auxéticos para aplicações estruturais

Dissertação de mestrado integrado em Engenharia Civil

Development of composite auxetic structures for civil engineering applications

Tese de Doutoramento em Engenharia Têxtil