998 resultados para João Pedro Rodrigues
Resumo:
RESUMO: A esporulação em Bacillus subtilis é controlada por uma cascata de factores sigma da polimerase do RNA. F e E controlam os estágios precoces do desenvolvimento no pré-esporo e na célula mãe, respectivamente. Numa fase intermédia da diferenciação, quando a célula mãe acaba por envolver o pré-esporo, F é substituído por G e E é substituído por K. Vários mecanismos asseguram que a actividade dos diferentes factores sigma seja confinada a uma janela temporal precisa na célula adequada. Neste estudo, investigámos a função de um factor anti-G, designado por CsfB. Mostramos que para além da sua função de inibição da actividade do factor G em células pré-divisionais, CsfB é também necessário na célula mãe num estágio tardio do desenvolvimento. Mostramos que a expressão de csfB é activada na célula mãe a partir de um promotor dependente de K. Contudo, demonstramos que CsfB interage directamente com E e não com K, e que CsfB é suficiente para inibir a actividade transcricional dependente de E em células vegetativas de B. subtilis. Propomos que CsfB contribui para reduzir o período dependente de E, na linha de expressão genética da célula mãe, desse modo reduzindo a sobreposição entre os regulões E e K e aumentado a fidelidade do processo de desenvolvimento. Uma segunda proteína, YabK, partilha semelhança estrutural com CsfB. YabK é produzida no pré-esporo sob o comando de F, e é necessária para a esporulação. YabK contribui para a transição F/G no programa genético do pré-esporo, porque uma mutação que torna F sensível a CsfB ultrapassa parcialmente a função de YabK na esporulação. No entanto, YabK e CsfB funcionam por mecanismos diferentes, uma vez que YabK não liga directamente a F.---------ABSTRACT: Gene expression during spore development in Bacillus subtilis is governed by a cascade of RNA polymerase sigma factors. F and E control the early stages of development in the forespore and in the mother cell, respectively. At an intermediate stage in the differentiation process, when the larger mother cell finishes engulfment of the smaller forespore, F is replaced by G and E is replaced by K. Several mechanisms ensure the proper timing of activation of the cell type-specific sigma factors. Here, we have investigated the funtion of an anti-sigma G factor, called CsfB. We show here that in addition to its role in inhibiting G in pre-divisional cells, CsfB is also required in the mother cell at a late stage in development. We show that the expression of csfB is activated in the mother cell from a K-specific promoter. However, we demonstrate that CsfB binds directly to E but not to K in a yeast two-hybrid assay, and that CsfB is sufficient to inhibit E-dependent transcriptional activity in vegetative cells of B. subtilis. We posit that CsfB contributes to shutting off the early, E-controlled period in the mother cell line of gene expression, thus reducing the overlap between deployment of the E and K regulons and increasing the fidelity of the developmental process. A second protein, YabK, shares structural similarity with CsfB. YabK is produced in the forespore under F control, and is required for efficient sporulation. YabK contributes to the transition from the F- to the G-dependent period of gene expression, because a mutation that renders F sensitive to CsfB partially bypasses the need for YabK. Yet, YabK and CsfB must function in the control of sigma factor activity by different mechanisms because YabK does not bind directly to F.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Construção
Resumo:
The integration of wind power in eletricity generation brings new challenges to unit commitment due to the random nature of wind speed. For this particular optimisation problem, wind uncertainty has been handled in practice by means of conservative stochastic scenario-based optimisation models, or through additional operating reserve settings. However, generation companies may have different attitudes towards operating costs, load curtailment, or waste of wind energy, when considering the risk caused by wind power variability. Therefore, alternative and possibly more adequate approaches should be explored. This work is divided in two main parts. Firstly we survey the main formulations presented in the literature for the integration of wind power in the unit commitment problem (UCP) and present an alternative model for the wind-thermal unit commitment. We make use of the utility theory concepts to develop a multi-criteria stochastic model. The objectives considered are the minimisation of costs, load curtailment and waste of wind energy. Those are represented by individual utility functions and aggregated in a single additive utility function. This last function is adequately linearised leading to a mixed-integer linear program (MILP) model that can be tackled by general-purpose solvers in order to find the most preferred solution. In the second part we discuss the integration of pumped-storage hydro (PSH) units in the UCP with large wind penetration. Those units can provide extra flexibility by using wind energy to pump and store water in the form of potential energy that can be generated after during peak load periods. PSH units are added to the first model, yielding a MILP model with wind-hydro-thermal coordination. Results showed that the proposed methodology is able to reflect the risk profiles of decision makers for both models. By including PSH units, the results are significantly improved.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica
Resumo:
Dissertação para obtenção do Grau de Doutor em Estatística e Gestão do Risco, especialidade em Estatística
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia de Materiais
Resumo:
Neste trabalho foi considerada a possibilidade de incorporar serviços remotos, normalmente associados a serviços web e cloud computing, numa solução local que centralizasse os vários serviços num único sistema e permitisse aos seus utilizadores consumir e configurar os mesmos, quer a partir da rede local, quer remotamente a partir da Internet. Desta forma seria possível conciliar o acesso a partir de qualquer local com internet, característico nas clouds, com a simplicidade de concentrar num só sistema vários serviços que são por norma oferecidos por entidades distintas e ainda permitir aos seus utilizadores o controlo e configuração sobre os mesmos. De forma a validar que este conceito é viável, prático e funcional, foram implementadas duas componentes. Um cliente que corre nos dispositivos dos utilizadores e que proporciona a interface para consumir os serviços disponíveis e um servidor que irá conter e prestar esses serviços aos clientes. Estes serviços incluem lista de contactos, mensagens instantâneas, salas de conversação, transferência de ficheiros, chamadas e conferências de voz e vídeo, pastas remotas, pastas sincronizadas, backups, pastas partilhadas, VoD (Video-on Demand) e AoD (Audio-on Demand). Para o desenvolvimento do cliente e do servidor foi utilizada a framework Qt que recorre à linguagem de programação C++ e ao conjunto de bibliotecas que possui, para o desenvolvimento de aplicações multiplataforma. Para as comunicações entre clientes e servidor, foi utilizado o protocolo XMPP (Extensible Messaging and Presence Protocol), pela forma da biblioteca qxmpp e do servidor XMPP ejabberd. Pelo facto de conter um conjunto de centenas de extensões atualmente ativas que auferem funcionalidades como salas de conversação, transferências de ficheiros e até estabelecer sessões multimédia, graças à sua flexibilidade permitiu ainda a criação de extensões personalizada necessárias para algumas funcionalidades que se pretendeu implementar. Foi ainda utilizado no servidor a framework ffmpeg para suportar algumas funcionalidades multimédia. Após a implementação do cliente para Windows e Linux, e de implementar o servidor em Linux foi realizado um conjunto de testes funcionais para perceber se as funcionalidades e seus mecanismos funcionam corretamente. No caso onde a análise da performance e do consumo de recursos era importante, foram realizados testes de performance e testes de carga.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial
Resumo:
Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.
Resumo:
O mercado de smartphones tem vindo a crescer massivamente nos últimos anos, bem como a diversi cação das suas funcionalidades no dia-a-dia de cada pessoa. O mercado aberto de aplicações para estes equipamentos também tem sofrido uma forte evolução o que permite uma maior qualidade e competitividade pela apresentação de produtos. O conceito de casas inteligentes está cada vez mais presente e é algo que as pessoas se estão a acomodar de forma gradual. Para acompanhar tal feito, é necessário desenvolver as capacidades dos equipamentos que estas pessoas mais usam para que estes possam dar resposta a estas necessidades. Para o caso atual irão ser estudadas as fechaduras inteligentes. Os sistemas comercializados atualmente, são tipicamente sistemas proprietários e apresentam algumas limitações ou faltas (ex: ao nível da segurança, incapacidade de abranger um largo número de dispositivos móveis ou mesmo ao nível do preço). Neste contexto, e com base na caracterização das soluções de controlo de acesso atuais, foi estudada a viabilidade de, usando uma abordagem assente em tecnologias não proprietárias (i.e., abertas), desenvolver soluções de controlo de acesso com características comparáveis com os sistemas proprietários actuais e, eventualmente, ultrapassando os limites e falhas identi cados. Dadas estas premissas o sistema de controlo de acesso móvel pensado envolve um computador BeagleBone Black e a tecnologia sem os Bluetooth. Este sistema permite a fácil integração do computador com qualquer smartphone atual e é dotado de fortes características de segurança e privacidade. O sistema foi concebido inicialmente para ser implementado em fechaduras de portas mas com possibilidade de expansão para outros equipamentos. Além disso, o sistema permitirá também o acesso a terceiros após a devida autorização do dono.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica
Resumo:
As juntas adesivas são uma alternativa viável para substituir ligações comuns como as mecânicas ou soldadas, devido a diversas vantagens como a possibilidade de união de materiais de natureza diferente, maior leveza, menores custos inerentes ao fabrico e ainda prevenção da corrosão galvânica que pode ocorrer nas ligações entre dois materiais metálicos diferentes. A resistência de uma junta depende, para um determinado tipo de solicitação imposta, da distribuição de tensões no interior da junta. Por outro lado, a geometria das juntas, as propriedades mecânicas dos adesivos e os componentes a ligar vão influenciar a distribuição de tensões. O carregamento nas camadas adesivas de uma junta poderá induzir tensões de tração, compressão, corte, arrancamento ou clivagem, ou ainda uma combinação de duas ou mais destas componentes. O objetivo da presente dissertação é a caraterização completa de um adesivo estrutural de alta ductilidade recentemente lançado no mercado (SikaPower® -4720), para facilitar o projeto e otimização de juntas adesivas ligadas com o mesmo. São quatro os ensaios a realizar: ensaios à tração de provetes maciços (também denominados de bulk), ensaios ao corte com a geometria Thick Adherend Shear Test, ensaios Double-Cantilever Beam e ainda ensaios End-Notched Flexure. Com a realização dos ensaios referidos, são determinadas as propriedades essenciais à caraterização mecânica e de fratura do adesivo. Os resultados obtidos para cada ensaio resultaram em propriedades medidas com elevada repetibilidade, da mesma maneira que se revelaram de acordo com os dados disponibilizados pelo fabricante, sempre que estes estavam disponíveis.
Resumo:
Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Informação e Documentação.