Discrete fractional order system vibrations

A theory of free vibrations of discrete fractional order (FO) systems with a finite number of degrees of freedom (dof) is developed. A FO system with a finite number of dof is defined by means of three matrices: mass inertia, system rigidity and FO elements. By adopting a matrix formulation, a mathematical description of FO discrete system free vibrations is determined in the form of coupled fractional order differential equations (FODE). The corresponding solutions in analytical form, for the special case of the matrix of FO properties elements, are determined and expressed as a polynomial series along time. For the eigen characteristic numbers, the system eigen main coordinates and the independent eigen FO modes are determined. A generalized function of visoelastic creep FO dissipation of energy and generalized forces of system with no ideal visoelastic creep FO dissipation of energy for generalized coordinates are formulated. Extended Lagrange FODE of second kind, for FO system dynamics, are also introduced. Two examples of FO chain systems are analyzed and the corresponding eigen characteristic numbers determined. It is shown that the oscillatory phenomena of a FO mechanical chain have analogies to electrical FO circuits. A FO electrical resistor is introduced and its constitutive voltage–current is formulated. Also a function of thermal energy FO dissipation of a FO electrical relation is discussed.

Spectral and homogenization problems

Dissertation for the Degree of Doctor of Philosophy in Mathematics

A eficácia dos contratos-programa no setor público da saúde na região Norte de Portugal

Em Portugal o sistema de saúde assume uma importante função no desenvolvimento económico e social, na medida em que os serviços prestados pelo mesmo influenciam não só o bem-estar social como também a produtividade. O processo de contratualização alia-se ao setor público da saúde através do contrato-programa, o qual pretende estabelecer uma estratégia a seguir. O presente trabalho pretende verificar se o setor público da saúde respeita os princípios de economia, eficiência e eficácia, de um modo geral, pretende-se perceber se os contratos-programa são cumpridos na sua totalidade. Para tal procedeu-se à recolha da informação descrita nos relatórios de gestão dos quinze Hospitais que pertencem à Administração Regional de Saúde do Norte. A incerteza relacionada com os contratos-programa, a não existência de um modelo linear para a divulgação pública dos resultados no âmbito do contrato-programa, e ainda o facto de a totalidade das entidades não ser obrigada a emitir essa publicação, conduz à possibilidade de que não estejam a ser cumpridos os princípios da economia, eficácia e eficiência.

Otimização do processo de injeção de ZAMAK

A indústria automóvel necessita aumentar a produtividade de forma sistemática, com vista à redução de custos e incremento da competitividade. A otimização dos produtos e processos é uma constante. O presente trabalho foi solicitado pela empresa FicoCables, do Grupo FICOSA, tendo em vista a otimização do processo de injeção de pequenas peças injetadas em ZAMAK, que constituem o bloqueio na extremidade de cada cabo metálico inserido nos automóveis para abertura da mala, portas, travão de mão, reservatório de combustível, capô, etc. A empresa possui cerca de 52 equipamentos de injeção de ZAMAK, cuja temperatura dos bicos era mantida com base numa chama de gás. Os sucessivos problemas de controlo do sistema ditaram uma mudança estratégica no aquecimento desses bicos, passando a ser usadas resistências elétricas anelares. No entanto, esta mudança veio a apresentar problemas inesperados, os quais se vieram inclusivamente a tornar em problemas de segurança, devido ao desgaste interior prematuro dos bicos, os quais apresentaram esmo problema de rotura. Paralelamente, todos os parâmetros relacionados com este processo de fabrico estavam também estudados de forma algo incipiente, pelo que se tornou necessário compreender e dissecar todas as variáveis relacionadas com o processo e implementar sistemas que impedissem o ajuste não controlado dos parâmetros por parte dos operadores. Também os moldes foram alvo de ações de melhoria, com vista a evitar problemas na zona de contacto do bico com o molde. O processo foi analisado em pormenor, permitindo um controlo muito mais apurado do mesmo. Os resultados fizeram sentir-se de forma imediata, graças ao trabalho desenvolvido neste estudo e à abertura demonstrada pela empresa para implementar todas as soluções propostas. O resultado final traduz-se num incremento significativo da segurança para os operadores, num controlo muito mais apurado de todos os parâmetros envolvidos no processo, numa maior garantia da qualidade nos produtos injetados em ZAMAK e em ganhos financeiros significativos para a empresa.

Desenvolvimento de sensores colorimétricos para despiste de antibióticos

introdução de drogas que assegurem o crescimento e a preservação das espécies, mas que eventualmente se espalham para o meio aquático envolvente, promovendo alterações da biodiversidade e entrar, directamente ou indirectamente, na cadeia alimentar. Quando estas drogas são agentes antimicrobianos de uso humano, tais como a amoxicilina, tetraciclina ou sulfonamidas, há um alto risco de aparecimento de espécies bacterianas resistentes, algo que constitui uma ameaça grave para a saúde pública. Esta introdução de agentes antimicrobianos no ambiente aquático através do sector das pescas pode ser reduzida através da monitorização regular ou contínua dos níveis de antibióticos no sistema de água, durante a execução, bem como antes da descarga para o meio aquático. Para isso, é necessário métodos analíticos que permitam uma frequência analítica elevada e continua, nos tanques de cultivos dos peixes. O presente trabalho descreve para este efeito, um sensor constituído por papel quimicamente modificado por reações em monocamadas, assumindo uma coloração típica após contacto com o antibiótico . A intensidade da coloração estava relacionada com a concentração desse antibiótico. A modificação do papel foi baseada na alteração química das unidades de glucose do papel por meio de uma reação covalente com reagentes apropriados. De seguida, criou-se uma camada de quitosano sobre o papel modificado onde se adsorveu a espécie metálica capaz de mudar de cor na presença de sulfadiazina. As modificações resultantes foram avaliadas em relação a vários parâmetros, com o intuito de provocar uma variação de cor intensa face à concentração de antibiótico. Os sensores preparados foram caracterizados do ponto de vista do seu desempenho analítico, efetuou-se a construção de uma gama de concentração que permitiu obter uma resposta previsível e transversal em relação a outros antibióticos, bem como a identificação de uma relação linear entre concentração e coordenadas de cor e a aplicação de sensores em amostra de água ambiental dopados com antibiótico. Generalizando, foi possível estabelecer um processo de modificação simples de papel capaz de medir a presença e quantidade de sulfadiazina

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.

Experimental and numerical approaches for structural assessment in new footbridge designs (SFRSCC–GFPR hybrid structure)

Within the civil engineering field, the use of the Finite Element Method has acquired a significant importance, since numerical simulations have been employed in a broad field, which encloses the design, analysis and prediction of the structural behaviour of constructions and infrastructures. Nevertheless, these mathematical simulations can only be useful if all the mechanical properties of the materials, boundary conditions and damages are properly modelled. Therefore, it is required not only experimental data (static and/or dynamic tests) to provide references parameters, but also robust calibration methods able to model damage or other special structural conditions. The present paper addresses the model calibration of a footbridge bridge tested with static loads and ambient vibrations. Damage assessment was also carried out based on a hybrid numerical procedure, which combines discrete damage functions with sets of piecewise linear damage functions. Results from the model calibration shows that the model reproduces with good accuracy the experimental behaviour of the bridge.