Lichenicidin biosynthesis and search for novel antibacterial peptides

A estirpe Bacillus licheniformis I89 possui a capacidade de produzir alguns compostos com actividade antibacteriana. No presente estudo, a separação desses compostos foi realizada através da aplicação de vários procedimentos, incluindo extracção em fase sólida e cromatografia liquida de alta pressão. Dois destes compostos bioactivos constituem o lantibiótico de classe II lichenicidina e são caracterizados pela massas molecular de 3250 Da (Bliα) e 3020 Da (Bliβ). O cluster responsável pela biossíntese da lichenicidina foi heterologamente expresso em Escherichia coli, constituindo a primeira descrição da produção de um lantibiótico totalmente in vivo num hospedeiro Gram-negativo. Este sistema foi subsequentemente explorado com o objectivo de relacionar cada proteína codificada no cluster genético da lichenicidina na produção dos péptidos Bliα e Bliβ. O desenvolvimento do sistema de trans complementação possibilitou a produção de variantes destes péptidos. A análise das massas moleculares destas variantes assim como a análise dos padrões de fragmentação obtidos por MS/MS permitiu a revisão de algumas das características estruturais previamente proposta para Bliα e Bliβ. A análise dos genes hipoteticamente envolvidos na protecção da estirpe produtora contra a acção antibiótica da lichenicidina revelou, que em E. coli, a sua ausência não resulta no aumento da susceptibilidade a este composto. Verificou-se também que a presença destes genes não é essencial para a produção de lichenicidina em E. coli. Foi também confirmado experimentalmente que a membrana externa da E. coli constitui uma barreira natural para a entrada dos péptidos na célula. De facto, uma das características intrigantes da produção de lichenicidina por uma bactéria de Gram negativo reside no mecanismo de transporte dos dois péptidos através da membrana externa. Neste estudo foi demonstrado que na ausência da proteína de membrana TolC, a massa molecular de Bliα e Bliβ não foi identificada no sobrenadante de E. coli, demonstrando assim que a sua presença no ambiente extra-celular não se devia a um processo de lise bacteriana. Foi ainda avaliada a capacidade da maquinaria biossintética da lichenicidina para produzir o lantibiótico haloduracina, através do processamento de chimeras lichenicidina-haloduracina, contudo, os resultados foram negativos. Verificou-se ainda que em determinadas condições de incubação, a diferenciação da morfologia original da estirpe B. licheniformis I89 pode ocorrer. Esta dissociação implicou a transição da colónia parental e rugosa para uma colónia de aparência mais simples e suave. Desta forma, as diferenças das duas morfologias em termos de taxa de crescimento, esporulação e actividade antibiótica foram investigadas. Considerando especificamente Bliα e Bliβ verificou-se que a abundância destes péptidos nas culturas do fenótipo fino é geralmente inferior aquela identificada nas culturas do fenótipo parental. Por último, a diversidade de elementos genéticos constituintes de péptido sintetases não ribossomais (NRPS) foi investigada em lagoas no centro de Portugal e em solos provenientes de caves do sul de Portugal, revelando a presença de potenciais novas NRPS nestes ambientes.

Nonlinear behavioral modeling of mixed signal RF-digital I/O devices

Esta tese investiga a caracterização (e modelação) de dispositivos que realizam o interface entre os domínios digital e analógico, tal como os buffers de saída dos circuitos integrados (CI). Os terminais sem fios da atualidade estão a ser desenvolvidos tendo em vista o conceito de rádio-definido-por-software introduzido por Mitola. Idealmente esta arquitetura tira partido de poderosos processadores e estende a operação dos blocos digitais o mais próximo possível da antena. Neste sentido, não é de estranhar que haja uma crescente preocupação, no seio da comunidade científica, relativamente à caracterização dos blocos que fazem o interface entre os domínios analógico e digital, sendo os conversores digital-analógico e analógico-digital dois bons exemplos destes circuitos. Dentro dos circuitos digitais de alta velocidade, tais como as memórias Flash, um papel semelhante é desempenhado pelos buffers de saída. Estes realizam o interface entre o domínio digital (núcleo lógico) e o domínio analógico (encapsulamento dos CI e parasitas associados às linhas de transmissão), determinando a integridade do sinal transmitido. Por forma a acelerar a análise de integridade do sinal, aquando do projeto de um CI, é fundamental ter modelos que são simultaneamente eficientes (em termos computacionais) e precisos. Tipicamente a extração/validação dos modelos para buffers de saída é feita usando dados obtidos da simulação de um modelo detalhado (ao nível do transístor) ou a partir de resultados experimentais. A última abordagem não envolve problemas de propriedade intelectual; contudo é raramente mencionada na literatura referente à caracterização de buffers de saída. Neste sentido, esta tese de Doutoramento foca-se no desenvolvimento de uma nova configuração de medição para a caracterização e modelação de buffers de saída de alta velocidade, com a natural extensão aos dispositivos amplificadores comutados RF-CMOS. Tendo por base um procedimento experimental bem definido, um modelo estado-da-arte é extraído e validado. A configuração de medição desenvolvida aborda não apenas a integridade dos sinais de saída mas também do barramento de alimentação. Por forma a determinar a sensibilidade das quantias estimadas (tensão e corrente) aos erros presentes nas diversas variáveis associadas ao procedimento experimental, uma análise de incerteza é também apresentada.

Behavioral modeling optimization and enhancement for high-speed analog mixed-signal I/O interfaces

A integridade do sinal em sistemas digitais interligados de alta velocidade, e avaliada através da simulação de modelos físicos (de nível de transístor) é custosa de ponto vista computacional (por exemplo, em tempo de execução de CPU e armazenamento de memória), e exige a disponibilização de detalhes físicos da estrutura interna do dispositivo. Esse cenário aumenta o interesse pela alternativa de modelação comportamental que descreve as características de operação do equipamento a partir da observação dos sinais eléctrico de entrada/saída (E/S). Os interfaces de E/S em chips de memória, que mais contribuem em carga computacional, desempenham funções complexas e incluem, por isso, um elevado número de pinos. Particularmente, os buffers de saída são obrigados a distorcer os sinais devido à sua dinâmica e não linearidade. Portanto, constituem o ponto crítico nos de circuitos integrados (CI) para a garantia da transmissão confiável em comunicações digitais de alta velocidade. Neste trabalho de doutoramento, os efeitos dinâmicos não-lineares anteriormente negligenciados do buffer de saída são estudados e modulados de forma eficiente para reduzir a complexidade da modelação do tipo caixa-negra paramétrica, melhorando assim o modelo standard IBIS. Isto é conseguido seguindo a abordagem semi-física que combina as características de formulação do modelo caixa-negra, a análise dos sinais eléctricos observados na E/S e propriedades na estrutura física do buffer em condições de operação práticas. Esta abordagem leva a um processo de construção do modelo comportamental fisicamente inspirado que supera os problemas das abordagens anteriores, optimizando os recursos utilizados em diferentes etapas de geração do modelo (ou seja, caracterização, formulação, extracção e implementação) para simular o comportamento dinâmico não-linear do buffer. Em consequência, contributo mais significativo desta tese é o desenvolvimento de um novo modelo comportamental analógico de duas portas adequado à simulação em overclocking que reveste de um particular interesse nas mais recentes usos de interfaces de E/S para memória de elevadas taxas de transmissão. A eficácia e a precisão dos modelos comportamentais desenvolvidos e implementados são qualitativa e quantitativamente avaliados comparando os resultados numéricos de extracção das suas funções e de simulação transitória com o correspondente modelo de referência do estado-da-arte, IBIS.

Polyhedral study of mixed integer sets arising from inventory problems

“Branch-and-cut” algorithm is one of the most efficient exact approaches to solve mixed integer programs. This algorithm combines the advantages of a pure branch-and-bound approach and cutting planes scheme. Branch-and-cut algorithm computes the linear programming relaxation of the problem at each node of the search tree which is improved by the use of cuts, i.e. by the inclusion of valid inequalities. It should be taken into account that selection of strongest cuts is crucial for their effective use in branch-and-cut algorithm. In this thesis, we focus on the derivation and use of cutting planes to solve general mixed integer problems, and in particular inventory problems combined with other problems such as distribution, supplier selection, vehicle routing, etc. In order to achieve this goal, we first consider substructures (relaxations) of such problems which are obtained by the coherent loss of information. The polyhedral structure of those simpler mixed integer sets is studied to derive strong valid inequalities. Finally those strong inequalities are included in the cutting plane algorithms to solve the general mixed integer problems. We study three mixed integer sets in this dissertation. The first two mixed integer sets arise as a subproblem of the lot-sizing with supplier selection, the network design and the vendor-managed inventory routing problems. These sets are variants of the well-known single node fixed-charge network set where a binary or integer variable is associated with the node. The third set occurs as a subproblem of mixed integer sets where incompatibility between binary variables is considered. We generate families of valid inequalities for those sets, identify classes of facet-defining inequalities, and discuss the separation problems associated with the inequalities. Then cutting plane frameworks are implemented to solve some mixed integer programs. Preliminary computational experiments are presented in this direction.