Enhanced ethernet switching technology for adaptive hard real-time applications: Tecnologia de comutação ethernet melhorada para aplicações adaptativas e críticas de tempo-real

Os Sistemas Embarcados Distribuídos (SEDs) estão, hoje em dia, muito difundidos em vastas áreas, desde a automação industrial, a automóveis, aviões, até à distribuição de energia e protecção do meio ambiente. Estes sistemas são, essencialmente, caracterizados pela integração distribuída de aplicações embarcadas, autónomas mas cooperantes, explorando potenciais vantagens em termos de modularidade, facilidade de manutenção, custos de instalação, tolerância a falhas, entre outros. Contudo, o ambiente operacional onde se inserem estes tipos de sistemas pode impor restrições temporais rigorosas, exigindo que o sistema de comunicação subjacente consiga transmitir mensagens com garantias temporais. Contudo, os SEDs apresentam uma crescente complexidade, uma vez que integram subsistemas cada vez mais heterogéneos, quer ao nível do tráfego gerado, quer dos seus requisitos temporais. Em particular, estes subsistemas operam de forma esporádica, isto é, suportam mudanças operacionais de acordo com estímulos exteriores. Estes subsistemas também se reconfiguram dinamicamente de acordo com a actualização dos seus requisitos e, ainda, têm lidar com um número variável de solicitações de outros subsistemas. Assim sendo, o nível de utilização de recursos pode variar e, desta forma, as políticas de alocação estática tornam-se muito ineficientes. Consequentemente, é necessário um sistema de comunicação capaz de suportar com eficácia reconfigurações e adaptações dinâmicas. A tecnologia Ethernet comutada tem vindo a emergir como uma solução sólida para fornecer comunicações de tempo-real no âmbito dos SEDs, como comprovado pelo número de protocolos de tempo-real que foram desenvolvidos na última década. No entanto, nenhum dos protocolos existentes reúne as características necessárias para fornecer uma eficiente utilização da largura de banda e, simultaneamente, para respeitar os requisitos impostos pelos SEDs. Nomeadamente, a capacidade para controlar e policiar tráfego de forma robusta, conjugada com suporte à reconfiguração e adaptação dinâmica, não comprometendo as garantias de tempo-real. Esta dissertação defende a tese de que, pelo melhoramento dos comutadores Ethernet para disponibilizarem mecanismos de reconfiguração e isolamento de tráfego, é possível suportar aplicações de tempo-real críticas, que são adaptáveis ao ambiente onde estão inseridas.Em particular, é mostrado que as técnicas de projecto, baseadas em componentes e apoiadas no escalonamento hierárquico de servidores de tráfego, podem ser integradas nos comutadores Ethernet para alcançar as propriedades desejadas. Como suporte, é fornecida, também, uma solução para instanciar uma hierarquia reconfigurável de servidores de tráfego dentro do comutador, bem como a análise adequada ao modelo de escalonamento. Esta última fornece um limite superior para o tempo de resposta que os pacotes podem sofrer dentro dos servidores de tráfego, com base unicamente no conhecimento de um dado servidor e na hierarquia actual, isto é, sem o conhecimento das especifidades do tráfego dentro dos outros servidores. Finalmente, no âmbito do projecto HaRTES foi construído um protótipo do comutador Ethernet, o qual é baseado no paradigma “Flexible Time-Triggered”, que permite uma junção flexível de uma fase síncrona para o tráfego controlado pelo comutador e uma fase assíncrona que implementa a estrutura hierárquica de servidores referidos anteriormente. Além disso, as várias experiências práticas realizadas permitiram validar as propriedades desejadas e, consequentemente, a tese que fundamenta esta dissertação.

Qualidade do processo de supervisão da investigação doutoral - desenho de um referencial para a sua avaliação e monitorização

Face à existência de um vazio teórico-conceptual e empírico no contexto investigativo português no que concerne à supervisão da investigação doutoral, este trabalho visa contribuir para a compreensão integrada deste fenómeno. Especificamente, com este estudo pretendemos construir um referencial de qualidade do processo de supervisão da investigação doutoral, em particular na ‘corporização’ dos perfis de qualidade dos dois mais importantes intervenientes - supervisores e estudantes de doutoramento – pela identificação de competências transversais às mais variadas áreas disciplinares. Desta forma, será possível desenhar-se, num futuro próximo, não só recomendações a nível institucional de índole mais praxiológica, como também um processo de avaliação e de monitorização adequado. Tendo em consideração o contexto português e o objetivo central do estudo, foram revisitados (i) discursos da política educativa de Ensino Superior de âmbito europeu e (ii) discursos fundamentados na investigação de índole internacional. Ambos permitiram contextualizar o fenómeno, perceber as tendências existentes, sintetizar as contribuições de variados referenciais e modelos existentes, e planear, em específico, a investigação, particularmente em termos de recolha de dados. A investigação, predominantemente de cariz qualitativo, foi conduzida na Universidade de Aveiro, tendo sido seguido o método de estudo de caso: baseou-se nas ‘vozes’ de supervisores e estudantes de doutoramento desta instituição relativamente ao que deve estar presente no processo de supervisão de investigação doutoral. A recolha de dados iniciou-se com entrevistas semiestruturadas, de âmbito exploratório, a especialistas em supervisão pedagógica - o tema semântica e epistemologicamente mais próximo do fenómeno em estudo. Foi realizada, pois, uma primeira aproximação ao ‘terreno’ a nível nacional e foram depuradas as dimensões que deveriam estar presentes no instrumento de recolha de dados do momento subsequente. Em seguida, foram realizados focus groups com supervisores e estudantes de doutoramento da Universidade de Aveiro. As conceções partilhadas em grupo puderam ser categorizadas segundo (i) o enquadramento do processo supervisivo e investigativo de doutoramento, nomeadamente no que concerne à natureza e ao valor do doutoramento atribuídos pelos participantes, assim como ao processo de transformação que experienciam; (ii) a qualidade do processo supervisivo e investigativo de doutoramento, consoante aspectos intrínsecos, dos quais se ressalta o perfil desejável de qualidade do supervisor e do estudante, pela identificação de um conjunto de competências fulcrais, e aspectos extrínsecos aos indivíduos; e (iii) os problemas do processo supervisivo e investigativo de doutoramento, considerando, novamente, aspectos intrínsecos e extrínsecos aos indivíduos. O último momento de recolha de dados foi realizado através da aplicação de questionários a supervisores e estudantes da Universidade de Aveiro. Assim, foi possível debruçarmo-nos especificamente sobre os perfis de qualidade de estudantes e supervisores. As competências integradas nos questionários foram provenientes dos resultados dos focus groups, tendo sido consideradas as mais importantes. Nos questionários foi solicitado aos respondentes que revelassem o seu grau de concordância relativamente às competências que deveriam fazer parte dos perfis de qualidade. Foi, então, possível proceder a uma análise e reflexão sobre o estabelecimento de uma hierarquia de competências, numa tentativa de depurar os perfis de qualidade dos elementos da díade supervisiva. Assim, conclui-se que há variáveis que podem influenciar o estabelecimento dessa hierarquia, reforçando que o processo supervisivo, quando refletido, avaliado e monitorizado, deve considerar diversos ‘contextos’ que o poderão influenciar. Todavia, há um conjunto de competências que parecem ‘isentas’ de influências, apesar de serem necessários estudos mais aprofundados para esclarecer esta assunção. Face a todo o percurso investigativo, apresenta-se, no final, um referencial de qualidade integrado e sistematizado, considerando o enquadramento teórico e o estudo empírico, assim como um sistema articulado de competências referente aos perfis de qualidade que supervisores e estudantes de doutoramento devem demonstrar e desenvolver.

‘Is there a right time for gender just peace? Feminist anti-war organising revisited’

This paper addresses the question of totalising gender power relations that have led to and shaped the wars of the 1990s in Yugoslavia and the emerging ethno-national states on the ‘periphery’ of Europe. I argue that the same type of gender power relations continue to dominate the region, notably Serbia, and to perpetuate gender inequalities and gender based violence in its many everyday and structural forms, causing profound levels of human insecurity. My analysis aims to set in motion a debate on how to tackle these continuing gender inequalities and GBV in post-war societies. In so doing, I propose a shift from focusing on the hierarchy of victimisation that has characterised much of the feminist analyses, activism and scholarly work in relation to these (and other) conflicts, to a relational understanding of the gendered processes of victimisation in war and peace, that is - of both women and men. Such an approach holds a potential to undermine the power systems that engender these varied types of victimisation by ultimately reshaping the notions of masculinity and femininity, which are central to the gender power systems that generate gender unjust peace.

What is poetic attention

Tese de doutoramento, Estudos de Literatura e de Cultura (Teoria da Literatura), Universidade de Lisboa, Faculdade de Letras, 2014

Landslide susceptibility evaluation and validation at a regional scale

Tese de doutoramento, Geografia (Geografia Física), Universidade de Lisboa, Instituto de Geografia e Ordenamento do Território, 2014

Griots cosmopolitas : mobilidade e performance de artistas mandingas entre Lisboa e Guiné-Bissau

Tese de doutoramento, Antropologia (Antropologia da Etnicidade e do Político), Universidade de Lisboa, Instituto de Ciências Sociais, 2014

A Influência da teoria da agência na estrutura de capital na indústria do calçado

apresentado ao Instituto de Contabilidade e Administração do Porto para a Dissertação de Mestrado para obtenção do grau de Mestre em Contabilidade e Finanças sob orientação do Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

O planeamento estratégico como instrumento de melhoria da comunicação organizacional interna

O planeamento estratégico é uma ferramenta usada pelas empresas, como forma de contribuir para a melhoria do seu desempenho, preconizando a concretização de objetivos. A comunicação organizacional interna é um o instrumento que, para além de traduzir uma mensagem enviada aos vários indivíduos da empresa, ajuda a interpretação dessa mensagem. Este estudo tem como objetivo perceber se, o planeamento estratégico pode ser um instrumento de melhoria conceptual e de gestão da comunicação organizacional interna. Neste trabalho utilizamos uma metodologia de estudo de caso único, suportada através do método qualitativo, com recurso a entrevistas, e do método quantitativo, através de questionários estruturados. As entrevistas aos quadros superiores da empresa foram realizadas com recuso a uma análise de conteúdo, verificando-se ser de extrema importância para a gestão, tanto o planeamento estratégico, como a comunicação interna. Os instrumentos de medida usados permitiram concluir que existem, ainda, algumas lacunas de planeamento e comunicação da empresa analisada. Da análise do caso em estudo é percetível que o planeamento estratégico, como a comunicação organizacional interna, são instrumentos usados com um nível de sucesso suficiente para colocar a empresa no rumo certo e estável de mercado. Por último, entendemos que no âmbito da conciliação dos dois temas, o planeamento estratégico facilita uma comunicação mais fluída, podendo, assim, ser um instrumento de melhoria da comunicação interna. Como limitações deste trabalho relatamos, em especial, a necessária precaução da generalização dos resultados obtidos e a dificuldade em realizar uma análise mais ampla na discussão de resultados, devido aos parcos trabalhos internacionais e, sobretudo, nacionais. A principal originalidade deste estudo decorre de ser utilizada uma análise com triangulação metodológica e o facto de a unidade de análise em estudo ser uma empresa líder na sua área de negócio e setor.

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata

Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal μ-calculus extended with backwards modalities. In this paper, we present a very simple proof by way of Wadge games of the strictness of the hierarchy of Motowski indices of two-way alternating automata over trees.

Evaluating forensic biology results given source level propositions

The evaluation of forensic evidence can occur at any level within the hierarchy of propositions depending on the question being asked and the amount and type of information that is taken into account within the evaluation. Commonly DNA evidence is reported given propositions that deal with the sub-source level in the hierarchy, which deals only with the possibility that a nominated individual is a source of DNA in a trace (or contributor to the DNA in the case of a mixed DNA trace). We explore the use of information obtained from examinations, presumptive and discriminating tests for body fluids, DNA concentrations and some case circumstances within a Bayesian network in order to provide assistance to the Courts that have to consider propositions at source level. We use a scenario in which the presence of blood is of interest as an exemplar and consider how DNA profiling results and the potential for laboratory error can be taken into account. We finish with examples of how the results of these reports could be presented in court using either numerical values or verbal descriptions of the results.

What's the difference under the gown? : new professors' development as university teachers

This study explores how new university teachers develop a teaching identity. Despite the significance ofteaching, which usually comprises 40% of a Canadian academic's workload, few new professors have any formal preparation for that aspect of their role. Discipline-specific education for postsecondary professors is a well-defined path; graduates applying for faculty positions will have the terminal degree to attest to their knowledge and skill conducting research in the discipline. While teaching is usually given the same workload balance as research, it is not clear how professors create themselves as teaching professionals. Drawing on Kelly's (1955) personal construct theory and Kegan's (1982, 1994) model ofdevelopmental constructivism through differentiation and integration, this study used a phenomenographic framework~(Marton, 1986, 1994; Trigwell & Prosser, 1996) to investigate the question of how new faculty members construe their identity as university teachers. Further, my own role development as researcher was used as an additional lens through which to view the study results. The study focused particularly on the challenges and supports to teaching role development and outlines recommendations the participants made for supporting other newcomers. In addition, the variations and similarities in the results suggest a developmental model to conceptions ofteaching roles, one in which teaching, research, and service roles are viewed as more integrated over time. Developing a teacher identity was seen as a progression on a hierarchical model similar to Maslow's (1968) hierarchy of needs.

Le meilleur intérêt de l'enfant, les tests de paternité et le droit civil québécois

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en Droit option Droit, Biotechnologies et Société"

La qualification des contrats

La qualification est centrale à l'activité du juriste. Les règles de droit positif ne reçoivent application qu'au moment où les faits reçoivent une certaine qualification. Cette réalité prend une dimension particulière face au contrat, lequel est l'objet de multiples dispositions législatives. Le législateur a cru bon au fil du temps, de réglementer diverses formes contractuelles, les contrats nommés. On oppose à ceux-ci les contrats innommés, pure création extra-législative. La détermination de la nature du contrat passe par un processus de qualification indépendant de notions connexes et qui doit s'éloigner d'une méthode intuitive. La qualification du contrat passera principalement par l’analyse des obligations en vue d'identifier l'obligation fondamentale ou la prestation caractéristique du contrat. Il s'agit d'une analyse qu'on veut objective. Les parties auront peu d'influence sur la qualification qui sera ultérieurement donnée à leur contrat, celle-ci étant une question de droit en principe réservée au juge. Le juriste tentera d'abord de lier le contrat aux modèles nommés connus et prévus par le législateur, soit en lui donnant un seul nom ou en reconnaissant la nature mixte de la convention. Dans l'éventualité où ces tentatives ne sont pas concluantes, une qualification innommée devra être choisie. La distinction entre les différentes qualifications possible sera réalisée en fonction de la hiérarchie des obligations au contrat et par l'écart de celle-ci avec les modèles connus.

Structures spatiales dans la pensée religieuse grecque de l'époque archaïque : la représentation de quelques espaces insondables: l'éther, l'air, l'abîme marin

Cette thèse se propose d’étudier les façons dont la pensée et l’imaginaire grec de l’époque archaïque se représentaient quelques pans du réel qui ne se laissaient jamais voir ni atteindre: l’éther, l’air et l’abîme marin. Vu le caractère insondable de ces espaces, l’imagination et l’abstraction se sont ingéniées à les appréhender par un discours spécifique et à les intégrer dans le système de connaissances et de croyances propre à l’époque en leur assignant une place dans le système de l’univers, en les rattachant à une hiérarchie de l’ordre cosmologique, en leur donnant une forme, en classant leurs objets et en les rapportant aux modèles du monde connu, en les aménageant par les moyens les plus divers. Une étude des formes d’expression de la pensée grecque archaïque, autant littéraires qu’iconographiques, permet de cerner les diverses formes de représentation des domaines inaccessibles et les modèles d’organisation spatiale issus de ce type de pensée. Grâce à la dialectique particulière qui ressort du rapport entre espace et mouvement, cette thèse se propose également d’interroger le corpus des sources grecques archaïques sous des angles jusqu’ici peu explorés: comment maîtrise-t-on l’espace par les déplacements physiques en dehors des parcours terrestres? Comment les schémas du mouvement dans l’espace se sont-ils forgés? Comment les dichotomies issues de la logique spatiale archaïque (haut/bas, droite/gauche, est/ouest, en deça/au-delà, etc.) influent-elles sur la structuration spatiale? Quelles espèces d’espace révèlent les déplacements à travers les différents niveaux du monde, que ce soit ceux des dieux, ceux des mortels et d’autres entités, forces physiques et substances privilégiées dans le commerce avec le divin et le monde d’en haut? Ces analyses mettent en valeur les façons dont l’imagination et l’abstraction plutôt que l’expérience vécue ont contribué, à leur façon, à structurer l’espace et à forger l’image du monde comme κόσμος, monde mis en ordre et soumis autant aux lois physiques qu’aux lois divines.

Thomas d'Aquin et l'astrologie des corps

Malgré l’acceptation théorique et pratique que l’astrologie médiévale rencontre au 13e siècle latin, son statut philosophique ambigu tient, au moins en partie, à son double partage en art mécanique et en science libérale. Plus mystérieux encore reste le fait qu’elle apparaisse en Occident sans devoir violenter les cadres philosophiques où elle s’inscrit, aussi chrétiens soient-ils. Du point de vue de l’histoire de la philosophie, ce que cette arrivée en douceur passe sous silence, c’est l’enracinement conceptuel toujours déjà préétabli du projet astrologique à l’intérieur d’un contexte philosophique plus global, dans et par lequel l’idée d’influence astrale valide sa raison d’être. En passant par la philosophie naturelle et la métaphysique de Thomas d’Aquin, ce travail veut montrer comment l’astrologie médiévale survient en terres chrétiennes à partir de la rencontre de la hiérarchie causale de l’être propre à l’arabo-aristotélisme néo-platonisant avec une théologie de la providence divine. D’aporie en aporie, la déconstruction de ce que toute astrologie présuppose prend place, de sorte qu’il devient possible de comprendre l’aspect rationnel et proprement philosophique de l’entreprise astrologique au Moyen Âge.