991 resultados para declarative temporal logic programming
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:
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.
Resumo:
We used genus/species specific PCRs to determine the temporal persistence of host DNA in Triatoma infestans experimentally fed on blood from six common vertebrate species: humans, domestic dogs, guinea pigs, chickens, mice, and pigs. Twenty third or fourth instar nymphs per animal group were allowed to feed to engorgement, followed by fasting-maintenance in the insectary. At 7, 14, 21, or 28 days post-feeding, the midgut contents from five triatomines per group were tested with the respective PCR assay. DNA from all vertebrate species was detected in at least four of five study nymphs at seven and 14 days post-feeding. DNA of humans, domestic dogs, guinea pigs, pigs, and chickens were more successfully detected (80-100%) through day 21, and less successfully (20-100%) at day 28. Findings demonstrate that species-specific PCRs can consistently identify feeding sources of T. infestans within two weeks, a biologically relevant time interval.
Resumo:
work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic
Resumo:
O veículo guiado automaticamente (AGV) adquirido pelo Departamento de Engenharia Mecânica (DEM) tem vindo a ficar obsoleto devido ao hardware, que nos dias de hoje começa a dar sinais de falhas bem como falta de peças de substituição, e ao software, sendo o PLC (Programmable Logic Controller) usado muito limitado quanto às suas funções de controlo, ficando as principais tarefas de controlo do AGV a cargo de placas eletrónicas de controlo. Para promover o controlo autónomo do AGV, foi decidido retirar toda a parte de hardware que detinha o controlo do mesmo e passou a ser um novo PLC, com maior capacidade de processamento, a executar todo o tipo de controlo necessário ao funcionamento do mesmo. O hardware considerado apenas incluí, de forma resumida, os motores responsáveis pelo movimento e direção, placa de controlo de potência dos motores, placa de interface entre as saídas digitais do PLC e as entradas da placa de controlo de potência dos motores e os demais sensores necessários à deteção de obstáculos, fins de curso da direção, sensores dos postos de trabalho e avisadores de emergência. Todo o controlo de movimento e direção bem como a seleção das ações a executar passou a ficar a cargo do software programado no PLC assim como a interação entre o sistema de supervisão instalado num posto de controlo e o PLC através de comunicação via rádio. O uso do PLC permitiu a flexibilidade de mudar facilmente a forma como as saídas digitais são usadas, ao contrário de um circuito eletrónico que necessita de uma completa remodelação, tempo de testes e implementação para efetuar a mesma função. O uso de um microcontrolador seria igualmente viável para a aplicação em causa, no entanto o uso do PLC tem a vantagem de ser robusto, mais rápido na velocidade de processamento, existência de software de interface de programação bastante intuitivo e de livre acesso, facilidade de alterar a programação localmente ou remotamente, via rádio, acesso a vários protocolos de comunicação robustos como Modbus, Canbus, Profinet, Modnet, etc., e acesso integrado de uma consola gráfica totalmente programável. iv É ainda possível a sua expansão com adição de módulos de entradas e saídas digitais e/ou analógicas permitindo expandir largamente o uso do AGV para outros fins. A solução está a ser amplamente testada e validada no Laboratório de Automação (LabA) do Departamento de Engenharia Mecânica do ISEP (Instituto Superior de Engenharia do Porto), permitindo a otimização dos sistemas de controlo de direção bem como a interatividade entre o PLC e o programa de interface/supervisão do posto de trabalho.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica
Resumo:
Hepatitis B is a serious public health problem. The state of Santa Catarina presents areas of high endemicity. The aim of this study was to describe temporal trends in detection rates of hepatitis B in the period from 2002 to 2009 in Santa Catarina and in its regions. A time series study was carried out. Crude rates were calculated and standardized by age using the direct method. Annual variation percentages were estimated by Joinpoint regression. There were two distinct and significant trends in Santa Catarina. From 2002 to 2006 a significant increase of 5.9% per year was observed. From 2006, there was a significant decrease of 6.4% per year. In this same period the southern and far-western regions had significant increases of 15.9% and 4.6% and significant decreases of 7.5% and 4.8%, respectively. Greater Florianópolis and Northeast also showed significant increases until 2006, of 15.4% and 17.4%, respectively. In the following period, non-significant decreases of 5.8% and 9.8% respectively were observed. Foz do Rio Itajaí and Planalto Serrano showed non-significant increases up to half of the studied period of 21.1% and 12.0%, respectively and after, significant decreases of 21.5% and 18.0%, respectively. Vale do Itajaí showed a significant decrease of 9.7%; Planalto Norte showed a non-significant decrease of 0.6% and Midwest a non-significant increase of 2.7% per year, in the period from 2002 to 2009.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
A crescente evolução dos dispositivos contendo circuitos integrados, em especial os FPGAs (Field Programmable Logic Arrays) e atualmente os System on a chip (SoCs) baseados em FPGAs, juntamente com a evolução das ferramentas, tem deixado um espaço entre o lançamento e a produção de materiais didáticos que auxiliem os engenheiros no Co- Projecto de hardware/software a partir dessas tecnologias. Com o intuito de auxiliar na redução desse intervalo temporal, o presente trabalho apresenta o desenvolvimento de documentos (tutoriais) direcionados a duas tecnologias recentes: a ferramenta de desenvolvimento de hardware/software VIVADO; e o SoC Zynq-7000, Z-7010, ambos desenvolvidos pela Xilinx. Os documentos produzidos são baseados num projeto básico totalmente implementado em lógica programável e do mesmo projeto implementado através do processador programável embarcado, para que seja possível avaliar o fluxo de projeto da ferramenta para um projeto totalmente implementado em hardware e o fluxo de projeto para o mesmo projeto implementado numa estrutura de harware/software.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
RESUMO - Enquadramento/Objectivos: As doenças oncológicas constituem a segunda causa de morte em Portugal, e têm um profundo impacto psicossocial, não só pela sua elevada incidência e mortalidade mas também pelos enormes custos envolvidos na sua prevenção, tratamento e reabilitação. De acordo com estudos anteriores, existem disparidades geográficas na incidência da doença oncológica. É por isso indispensável caracterizar e analisar as diferentes distribuições espaciais no tempo e no espaço, para controlar a doença e promover a saúde, contribuindo ao mesmo tempo para uma melhor compreensão da etiologia da doença. Este projecto compreende 3 objectivos principais que são: a caracterização de distribuição espacio-temporal do cancro do pulmão e do cancro do estômago, separadamente e em conjunto, na região sul de Portugal Continental (abrangida pelo ROR-Sul) no espaço temporal de 2000 a 2008, procurando identificar potenciais áreas de risco no desenvolvimento destes tumores. Metodologia: Numa primeira fase realizou-se um estudo descritivo das taxas de incidência dos tumores aqui retratados por idades, por sexo, por ano e por distritos. Posteriormente com o objectivo de identificar a presença de áreas de elevada incidência, procedeu-se à análise de clustering espacio-temporal das taxas de incidência ao nível dos concelhos na região do estudo, em 2000-2008. Resultados: Os resultados da análise descritiva revelaram que ambos os tumores são mais incidentes nos homens do que nas mulheres e que estes são igualmente mais incidentes em pessoas com mais de 75 anos. A análise de clustering espacio temporal permitiu verificar a existência um padrão geográfico heterogéneo da incidência de ambos os tumores, da qual resultaram 3 clusters para o cancro do estômago e 2 clusters para o cancro do pulmão (p <0,001). Os clusters do estômago pertencem maioritariamente à região do Alentejo e os clusters do cancro do pulmão à região da grande Lisboa. Conclusões: Os resultados da análise de clustering demonstraram um padrão heterogéneo da distribuição da incidência dos dois cancros na região e período temporal do estudo. As zonas identificadas de elevado risco são diferentes para ambos o tumores. A região que apresenta maior risco para o desenvolvimento do cancro do estômago é o Alentejo e do pulmão é o distrito de Lisboa.