Ground Vibrations Induced by High-Speed Trains in Regions with Sudden Foundation Stiffness Change

In this paper analytical transient solutions of dynamic response of one-dimensional systems with sudden change of foundation stiffness are derived. In more details, cantilever dynamic response, expressed in terms of vertical displacement, is extended to account for elastic foundation and then two cantilever solutions, corresponding to beams clamped on left and right hand side, with different value of Winkler constant are connected together by continuity conditions. The internal forces, as the unknowns, can be introduced by the same values in both clamped beam solutions and solved. Assumption about time variation of internal forces at the section of discontinuity must be adopted and originally analytical solution will have to include numerical procedure.

Transverse Vibrations in Beams Supported by a Piece-Wise Homogeneous Visco- Elastic Foundation

Transversal vibrations induced by a load moving uniformly along an infinite beam resting on a piece-wise homogeneous visco-elastic foundation are studied. Special attention is paid to the additional vibrations, conventionally referred to as transition radiations, which arise as the point load traverses the place of foundation discontinuity. The governing equations of the problem are solved by the normalmode analysis. The solution is expressed in a form of infinite sum of orthogonal natural modes multiplied by the generalized coordinate of displacement. The natural frequencies are obtained numerically exploiting the concept of the global dynamic stiffness matrix. This ensures that the frequencies obtained are exact. The methodology has restrictions neither on velocity nor on damping. The approach looks simple, though, the numerical expression of the results is not straightforward. A general procedure for numerical implementation is presented and verified. To illustrate the utility of the methodology parametric optimization is presented and influence of the load mass is studied. The results obtained have direct application in analysis of railway track vibrations induced by high-speed trains when passing regions with significantly different foundation stiffness.

Proposta de alinhamento do balanced scorecard com a gestão do conhecimento para a empresa Foundation Brakes Portugal, S.A.

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Does direct cash flow presentation help in predicting future operating cash flow?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Smart windows with permanent memory effect

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

A clustering approach for vehicle routing problems with hard time windows

Dissertação para obtenção do Grau de Mestre em Logica Computicional

Precast concrete wall-foundation connection. Development of a seismic dissipative connection

Seismic events are a major factor to consider in structural design of buildings in many countries. With the purpose of saving lives, most of the design codes lead to structural solutions that withstand large seismic actions without collapsing, but without taking into account a possible usage of the structures after the earthquake. As a result, it is necessary to consider the time needed to repair/retrofit the damaged structures (i.e. the downtime) since this period of inactivity may result in huge financial implications for the occupants of the buildings. In order to minimise the damages and simplify repair operations, structural solutions with rocking systems and negligible residual displacements have been developed during the last two decades. Systems with precast concrete rocking walls were studied with the aim of investigat- ing suitable and convenient structural alternatives to minimise the damage in case of an earthquake. Experimental, numerical and analytical analyses on post-tensioned solutions, with and without energy dissipation devices, were carried out in this research. The energy dissipation devices were made from steel angles that were further developed during the research. Different solutions for these devices were experimentally tested under cyclic loading and the results are presented. Numerical and analytical work on steel angles was also carried out. Regarding the concrete rocking wall systems, two concrete rocking wall systems were studied: post-tensioned walls and post-tensioned walls with energy dissipation devices. In the latter, the solution was to fix them externally to the wall, allowing their easy replacement after an earthquake. It is shown that the dissipaters are a viable solution for use in precast concrete rocking wall systems. A building case study is presented. The comparison between a traditional monolithic system and a hybrid solution was carried out, allowing the evaluation of the efficiency of the solution that was developed.

Dynamic stiffness of the piled foundation of a onshore wind turbine

One of today's biggest concerns is the increase of energetic needs, especially in the developed countries. Among various clean energies, wind energy is one of the technologies that assume greater importance on the sustainable development of humanity. Despite wind turbines had been developed and studied over the years, there are phenomena that haven't been yet fully understood. This work studies the soil-structure interaction that occurs on a wind turbine's foundation composed by a group of piles that is under dynamic loads caused by wind. This problem assumes special importance when the foundation is implemented on locations where safety criteria are very demanding, like the case of a foundation mounted on a dike. To the phenomenon of interaction between two piles and the soil between them it's given the name of pile-soil-pile interaction. It is known that such behavior is frequency dependent, and therefore, on this work evaluation of relevant frequencies for the intended analysis is held. During the development of this thesis, two methods were selected in order to assess pile-soil-pile interaction, being one of analytical nature and the other of numerical origin. The analytical solution was recently developed and its called Generalized pile-soil-pile theory, while for the numerical method the commercial nite element software PLAXIS 3D was used. A study of applicability of the numerical method is also done comparing the given solution by the nite element methods with a rigorous solution widely accepted by the majority of the authors.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Does direct cash flow presentation help in predicting future operating cash flow?

Research literature and regulators are unconditional in pointing the disclosure of operating cash flow through direct method a section of unique information. Besides the intuitive facet, it is also consistent in forecasting future operating cash flows and a cohesive piece to financial statement puzzle. Bearing this in mind, I produce an analysis on the usefulness and predictive ability on the disclosure of gross cash receipts and payments over the disclosure of reconciliation between net income and accruals for two markets with special features, Portugal and Spain. Results validate the usefulness of direct method format in predicting future operating cash flow. Key

Lovers and Madmen: The Μανία-Φρονεῖν Opposition in Plato’s Phaedrus

In this thesis we propose to examine the first half of the Phaedrus (sc. until the end of the palinode) in light of the opposition between the notions of μανία and φρονεῖν, as they are explicitly and implicitly presented in the erotic speeches. These are read in dialogue with what we have designated as the “implicit speech” or “speeches”, i.e., the plurality of conceptions regarding ἔρως, μανία and φρονεῖν that were part of Ancient Greek culture. Our reading of the two speeches against ἔρως, Lysias’ and Socrates’ first speech, engages with this cultural background, and extracts a conception of μανία and φρονεῖν with which the palinode will primarily confront. Our reading of the palinode divides it into two sections: the first, the presentation of the first three kinds of beneficial μανία; the second, the mythical narrative that deals with erotic μανία. We emphasise the existence of a wide gulf between these two moments in terms of their ontological, theological and anthropological conceptions. The second section of the palinode is revolutionary not only in contrast with the “implicit speech” and the speeches against ἔρως, but also in contrast with the very beginning of the palinode – which preserves many of the conceptions and assumptions found in the previous speeches and in the cultural tradition. It is in order to explain the foundation, meaning and significance of this gulf that we explore and discuss the notion of ὑπόθεσις and its role as an implicit operator in the Phaedrus. From our reading of the second part of the palinode, it is clear how the introduction of the ὑπερουράνιος τόπος brings about a radical revision of the perspectives on the nature of reality and on human nature and condition that were implicit in the previous speeches and in the first part of the palinode. We show that the ὑπερουράνιος τόπος corresponds to the projection of a multiplicity of cognitive and desiderative requirements that our normal perspective demands, but cannot possibly satisfy. In other words, our perspective is shown to be living beyond its means, yearning for something that by far exceeds what it can get in its de facto condition: the superlative. This results in a major revision of the understanding of φρονεῖν and μανία – a revision that challenges the traditional understanding of these two notions as binary opposites, thereby revealing a much more complex landscape.

Cross-presentation by WASp deficient B cells and dendritic cells

The immune system comprises of different cell types whose role is to protect us against pathogens. This thesis investigates a very important mechanism for our organism protection in a specific disorder: cross-presentation in Wiskott-Aldrich Syndrome (WAS). WAS is caused by loss-of-function mutations in the cytoskeletal regulator WASp and WAS patients suffer from eczema, thrombocytopenia, and immunodeficiency. X-linked neutropenia (XLN) is caused by gain-of-function mutations in WASp and XLN patients suffer from severe congenital neutropenia and immunodeficiency. This thesis was focused on the role of B and T lymphocytes and dendritic cells (DCs). This work will be divided into two main topics: 1) In the first part I studied the capacity of B cells to take up, degrade and present antigen. Moreover I studied the capacity of B cells to induce T cell proliferation. 2) In the second part, I studied T cell proliferation induced by dendritic cells. To increase our understanding about this mechanism, additional experiments were performed, including acidification capacity of CD8+ and CD8- DCs, reactive oxygen species (ROS) production since it is directly connected to acidification. These assays were measured by flow cytometry. Localization of Rac1 and Rac2 GTPases was assessed by confocal microscopy. Proliferation, acidification and ROS production assays were performed also with cells from X-linked neutropenia (XLN) mice. From this study we concluded that B cells cannot induce CD8+ T cell proliferation however they take up and present antigen. Moreover I have shown that increased cross-presentation by WASp KO DCs with ovalbumin is associated with decreased capacity to acidify endosomal compartment; and WASp KO CD8- DCs have increased Rac2 localization to the phagosome. XLN dendritic cells have similar acidification and ROS production capacity than wildtype cells. In conclusion, our data suggests that WASp regulates antigen processing and presentation in DCs.

Portraying the Portuguese Foundation Sector

Foundations’ importance in the actual economy has been increasingly recognized. This work project assesses the impact of the new legal framework in the foundations’ financial reporting and offers a financial statement analysis of the Portuguese foundational sector. It unveils links between financial performance and characteristics of foundations, and profiles foundations in three clusters, each with different approaches to disclosure, volunteer workforce, and taxes. It is concluded that foundations are not respecting the benefits trusted to them, calling for a tighter control to their financial reporting, and that even though that slowly, the sector is expected to continue growing.