Critical magnetic elds in superconducting systems with semi-metallic bands

In this work, we study the Zeeman splitting effects in the parallel magnetic field versus temperature phase diagram of two-dimensional superconductors with one graphene-like band and the orbital effects of perpendicular magnetic fields in isotropic two-dimensional semi-metallic superconductors. We show that when parallel magnetic fields are applied to graphene and as the intraband interaction decreases to a critical value, the width of the metastability region present in the phase diagram decreases, vanishing completely at that critical value. In the case of two-band superconductors with one graphene-like band, a new critical interaction, associated primarily with the graphene-like band, is required in order for a second metastability region to be present in the phase diagram. For intermediate values of this interaction, a low-temperature first-order transition line bifurcates at an intermediate temperature into a first-order transition between superconducting phases and a second-order transition line between the normal and the superconducting states. In our study on the upper critical fields in generic semi-metallic superconductors, we find that the pair propagator decays faster than that of a superconductor with a metallic band. As result, the zero field band gap equation does not have solution for weak intraband interactions, meaning that there is a critical intraband interaction value in order for a superconducting phase to be present in semi-metallic superconductors. Finally, we show that the out-of-plane critical magnetic field versus temperature phase diagram displays a positive curvature, contrasting with the parabolic-like behaviour typical of metallic superconductors.

Governance structures and performance management systems in universities: a comparative study between the UK and Portugal

À semelhança do que aconteceu em muitas instituições públicas, as universidades têm enfrentado pressões crescentes para mudar, tendo de repensar as suas formas de governança e de gestão, dando mais ênfase à implementação de sistemas de gestão do desempenho (SGD). Apesar de existirem vários estudos sobre o desempenho, estes têm ignorado o uso dado à informação recolhida. Além disso, e apesar de terem ocorrido várias reformas na governança destas instituições, existem ainda poucos estudos que relacionam a governança e o desempenho. Assim, esta pesquisa visa explorar a forma como as universidades medem, reportam e gerem o desempenho e como as estruturas de governança se relacionam com estas práticas. Para alcançar o objetivo proposto, um estudo comparativo entre universidades britânicas e portuguesas foi realizado. Os dados foram recolhidos através da utilização de uma metodologia qualitativa, sendo os métodos utilizados a análise documental e entrevistas semi-estruturadas a membros dos órgãos de governo e gestão de cada instituição. A análise dos dados mostrou a inexistência de um sistema completamente integrado de gestão de desempenho (SGD) em ambas as instituições, essencialmente devido à falta de práticas de gestão de desempenho. De facto, apesar de alguns dos entrevistados terem reportado o "uso positivo" de dados sobre o desempenho, alguns relataram o "não uso" desses dados, principalmente em relação ao desempenho individual, e outros o "mau uso" dessa informação, tendo sido reportadas práticas de gaming e deturpação dos resultados. Como forma de ultrapassar alguns destes problemas, verificou-se a co-existência de duas estruturas de governança: uma 'formal', da qual fazem parte todos os órgão de governo, com um valor mais 'simbólico'; e uma estrutura 'paralela', constituída por órgãos mais ágeis, que gerem a universidade no dia a dia. Verificou-se terem sido vários os fatores a afetarem, negativa e positivamente, os SGD em ambas as instituições, tendo sido rotulados de "inibidores" e "determinantes", respetivamente. A pesquisa mostrou que, apesar de as estruturas de governança serem importantes para a implementação e funcionamento de um SGD, há outros fatores que precisam de ser levados em consideração, nomeadamente, o nível de comunicação e o nível de envolvimento dos atores no processo. Estes dois fatores são considerados relevantes para a integração bem sucedida de práticas de medição, reporte e gestão de desempenho. Esta integração, juntamente com outras mudanças que ocorreram em termos de governança, contribuirá certamente para que se passe de um sistema em que se governa o desempenho para um sistema em que se governa para o desempenho.

Precoding techniques for coordinated multicell systems

Coordenação Multicélula é um tópico de investigação em rápido crescimento e uma solução promissora para controlar a interferência entre células em sistemas celulares, melhorando a equidade do sistema e aumentando a sua capacidade. Esta tecnologia já está em estudo no LTEAdvanced sob o conceito de coordenação multiponto (COMP). Existem várias abordagens sobre coordenação multicélula, dependendo da quantidade e do tipo de informação partilhada pelas estações base, através da rede de suporte (backhaul network), e do local onde essa informação é processada, i.e., numa unidade de processamento central ou de uma forma distribuída em cada estação base. Nesta tese, são propostas técnicas de pré-codificação e alocação de potência considerando várias estratégias: centralizada, todo o processamento é feito na unidade de processamento central; semidistribuída, neste caso apenas parte do processamento é executado na unidade de processamento central, nomeadamente a potência alocada a cada utilizador servido por cada estação base; e distribuída em que o processamento é feito localmente em cada estação base. Os esquemas propostos são projectados em duas fases: primeiro são propostas soluções de pré-codificação para mitigar ou eliminar a interferência entre células, de seguida o sistema é melhorado através do desenvolvimento de vários esquemas de alocação de potência. São propostas três esquemas de alocação de potência centralizada condicionada a cada estação base e com diferentes relações entre desempenho e complexidade. São também derivados esquemas de alocação distribuídos, assumindo que um sistema multicelular pode ser visto como a sobreposição de vários sistemas com uma única célula. Com base neste conceito foi definido uma taxa de erro média virtual para cada um desses sistemas de célula única que compõem o sistema multicelular, permitindo assim projectar esquemas de alocação de potência completamente distribuídos. Todos os esquemas propostos foram avaliados em cenários realistas, bastante próximos dos considerados no LTE. Os resultados mostram que os esquemas propostos são eficientes a remover a interferência entre células e que o desempenho das técnicas de alocação de potência propostas é claramente superior ao caso de não alocação de potência. O desempenho dos sistemas completamente distribuídos é inferior aos baseados num processamento centralizado, mas em contrapartida podem ser usados em sistemas em que a rede de suporte não permita a troca de grandes quantidades de informação.

Reflections of universal algebras into semilattices, their Galois theories, and related factorization systems

Estabelecemos uma condição suficiente para a preservação dos produtos finitos, pelo reflector de uma variedade de álgebras universais numa subvariedade, que é, também, condição necessária se a subvariedade for idempotente. Esta condição é estabelecida, seguidamente, num contexto mais geral e caracteriza reflexões para as quais a propriedade de ser semi-exacta à esquerda e a propriedade, mais forte, de ter unidades estáveis, coincidem. Prova-se que reflexões simples e semi-exactas à esquerda coincidem, no contexto das variedades de álgebras universais e caracterizam-se as classes do sistema de factorização derivado da reflexão. Estabelecem-se resultados que ajudam a caracterizar morfismos de cobertura e verticais-estáveis em álgebras universais e no contexto mais geral já referido. Caracterizam-se as classes de morfismos separáveis, puramente inseparáveis e normais. O estudo dos morfismos de descida de Galois conduz a condições suficientes para que o seu par kernel seja preservado pelo reflector.

Behavioral equivalence of hidden k-logics: an abstract algebraic approach

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.