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.

Is mental practice an effective adjunct therapeutic strategy for upper limb motor restoration after stroke? A systematic review and meta- analysis

Stroke is one of the most common conditions requiring rehabilitation, and its motor impairments are a major cause of permanent disability. Hemiparesis is observed by 80% of the patients after acute stroke. Neuroimaging studies showed that real and imagined movements have similarities regarding brain activation, supplying evidence that those similarities are based on the same process. Within this context, the combination of mental practice (MP) with physical and occupational therapy appears to be a natural complement based on neurorehabilitation concepts. Our study seeks to investigate if MP for stroke rehabilitation of upper limbs is an effective adjunct therapy. PubMed (Medline), ISI knowledge (Institute for Scientific Information) and SciELO (Scientific Electronic Library) were terminated on 20 February 2015. Data were collected on variables as follows: sample size, type of supervision, configuration of mental practice, setting the physical practice (intensity, number of sets and repetitions, duration of contractions, rest interval between sets, weekly and total duration), measures of sensorimotor deficits used in the main studies and significant results. Random effects models were used that take into account the variance within and between studies. Seven articles were selected. As there was no statistically significant difference between the two groups (MP vs control), showed a - 0.6 (95% CI: -1.27 to 0.04), for upper limb motor restoration after stroke. The present meta-analysis concluded that MP is not effective as adjunct therapeutic strategy for upper limb motor restoration after stroke.

A filter inexact-restoration method for nonlinear programming

A new iterative algorithm based on the inexact-restoration (IR) approach combined with the filter strategy to solve nonlinear constrained optimization problems is presented. The high level algorithm is suggested by Gonzaga et al. (SIAM J. Optim. 14:646–669, 2003) but not yet implement—the internal algorithms are not proposed. The filter, a new concept introduced by Fletcher and Leyffer (Math. Program. Ser. A 91:239–269, 2002), replaces the merit function avoiding the penalty parameter estimation and the difficulties related to the nondifferentiability. In the IR approach two independent phases are performed in each iteration, the feasibility and the optimality phases. The line search filter is combined with the first one phase to generate a “more feasible” point, and then it is used in the optimality phase to reach an “optimal” point. Numerical experiences with a collection of AMPL problems and a performance comparison with IPOPT are provided.

Android: desenvolvimento de aplicações com Android Studio

O tema do livro é o desenvolvimento de aplicações para Android 6 usando o novo Android Studio e abordando tópicos emergentes como o novo paradigma de desenho Material Design e uma introdução à plataforma Android Wear. O livro aborda os seguintes temas: - Introdução ao Android e ao Android Studio - Interface Gráfica e Material Design - Gestão de Dados, Multimédia e Networking - Mapas e Localização - Introdução ao Android Wear

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

Induction of male sterility through manipulation of genetic mechanisms present in vector species of Triatominae. II. Partial restoration of male fertility

The development of integrated measures which involve sterile mate release to supplement the conventional insecticidal techniques used in controlagainst insects of medical importance, raised the question, whether the vectors of Chagas'disease possess the natural mechanisms by manipulation of which they may be controlled. Results of earlier expenments, that had been published previously, were restricted to fragmentary information that raised various questions, the answer to which became available in the study herein described. Interspecific hybrids were produced from reciprocal crosses between T. pseudomaculata and T. sórdida and from unilateral crosses between female T. pseudomaculata and male. T. infestans. These females mated with males, laid less than the normal complement of eggs, but offspring was relatively abundant. When T. pseudomaculata females were paired with T. brasiliensis males, hybridization was more difficult because few of the females mated and those that did had a strongly reduced fertility. Adults emerged from ali crosses but exhibited sex disproportion, females predominating in all populations but one. The two Rhodnius species tested were also found to cross, but only when female R. prolixus were paired with male R. neglectus. These females laid a relatively high complement o f eggs, had a strongly reduced fertility, but 50% of the fertile eggs developed into vigorous adults, males predominating females. Neither type of hybrid male elicited fertilized eggs from either parental type of female, through their vesicula seminal is were found to be packed with spermatozoa, some normal looking and moving, others underdeveloped and motionless. Although, no artificial insemination was performed, the sperm in itself did not appear to be the prime inducer of sterility. Females paired with these hybrids did mate, sperm was transfered, as evidenced by the discharged spermatophores smeared with sperm, but did notcontain spermatozoa in their spermatecae. The failure of the sperm to migrate to the spermatecae indicate prezygotic pos-copulation incompatibility, thus the hybrid male can't be used to suppress populations. The female hybrids mated with parent males of either species had reduced fertility and ther sons were sterile as were those of their fertile daughters. However, continous backcrossing of the hybrid females and their female progeny to parental males partially restored fertility of the males and increased fertility of females, as scored by egg hatchability. Fertility of hybrid females, measured by the yield of adults capable to reproduce, indicated that the reproductive perfomance decreased when hybrid females and their daughters were backcrossed additional generations to parental males. It is tentatively suggested that hybrid females could be used for suppression if they compete efficiently with wild females.

Fluvial system restoration – case study: river Tua

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia de Sistemas Ambientais

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.

Alle origine della memoria figurativa: sant’Elisabetta d’Ungheria (1207-1231) e Isabella d’Aragona, rainha santa de portugal (1272-1336) a confronto in uno studio iconografico comparativo

Fundação para a Ciência e a Tecnologia (FCT), Fundação Millennium bcp, Direcção Geral do Livro e das Bibliotecas/MC, Instituto de Estudos Medievais – FCSH/UNL

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.

School governance and academic excellence: the representations of distinguished students in an annual award of excellence

Within a research project on «academic excellence in the state school», this paper is a contribution to the sociological reflection on the cultural and organisational characteristics of the school and its relationship with the academic success of students. The data we present stem from a case study underway at a secondary school in the north of Portugal, referring to the universe of students that since 2003 have distinguished themselves for achieving grades equal to or greater than 18 (on a scale of 0 to 20) and have thus been included in the school’s Framework of Excellence. From a contextual approach to this educational practice, we focused on the cultural characteristics of the school/subject as analytical support for the study of school and non-school dimensions in their mutual connections. To this end, we used the information from document analysis and data collected from a questionnaire survey administered to more than two-thirds of the students included in the above-mentioned Framework of Excellence. Subsequently, we will use the data from this survey to understand the extent to which academic excellence is perceived as an indivisible social construction of the school’s political and organisational matrix, particularly in terms of the educational and teaching guidelines adopted by the management body. We will conclude by questioning the meaning of the school’s management policies regarding the emphasis on educational outcomes, with particular focus on the representations of excellent students in the processes of school leadership, teaching organisation, school merit and justice.

A multi–physics approach applied to masonry structures with non–hydraulic lime mortars

Tese de Doutoramento em Engenharia Civil (área de especialização em Engenharia de Estruturas).