Gas liquid equilibria at high pressures

Este trabalho tem como objectivo a medição da solubilidade de gases em líquidos a altas pressões. Para a realização experimental foi usada uma célula de altas pressões de volume variável e um método de observação directa para a detecção das transições de fase. As condições usadas neste trabalho experimental foram temperaturas entre 276.00 e 373.15 K e pressões ate 100 MPa. Numa primeira fase foram efectuadas medições de solubilidade de metano em anilina pura e para uma solução aquosa de composição mássica igual a 5% em anilina. A anilina é fundamentalmente usada em processos como a produção de borracha, de poliuretanos, pigmentos e tintas, fármacos, herbicidas e fungicidas. É usualmente produzida através de processos de redução do nitrobenzeno por reacção com o HCl. De facto, esta síntese é um processo químico complexo onde um grande número de processos compete entre si. Alterações nas condições do processo com a possível formação de produtos intermediários podem afectar a eficiência do processo. Para a sua melhoria foi sugerido que o hidrogénio usado fosse simultaneamente produzido e gasto no reactor principal. Neste caso e para a produção do mesmo, era necessário adicionar metano e água ao reactor. Tendo por base a ideia de que as reacções onde o hidrogénio é reagente e produto ocorrem em simultâneo, torna-se clara a importância do estudo da solubilidade do metano em anilina pura e em soluções aquosas desta. Numa segunda fase foi estudada a solubilidade do dióxido de carbono em soluções aquosas de tri-iso-butil(metil)fosfónio tosilato, com composições molares são de 4, 8 e 12% em líquido iónico. Este pertencente à família dos fosfónios. Possui uma viscosidade e densidade elevadas, é térmica e quimicamente estável e ainda possui uma elevada polaridade. Apresenta uma miscibilidade completa em água e nos solventes mais usuais, como o diclorometano e tolueno, não sendo no entanto míscivel em hexano. O tri-isobutil( metil)fosfónium tosilato é usado como solvente nos processos de hidroformilação de olefinas e ainda em processos de captura e conversão de dióxido de carbono. Neste trabalho experimental, a temperatura e a pressão foram inicialmente aumentadas até o sistema atingir o equilíbrio. A pressão é diminuída lentamente até se verificar o aparecimento/desaparecimento da última bolha de gás. A pressão à qual a última bolha de gás desaparece representa a pressão de equilíbrio para aquela temperatura. Este procedimento foi efectuado para vários sistemas e várias temperaturas.

Synchronisation in high-performance integrated circuits

A distribui ção de um sinal relógio, com elevada precisão espacial (baixo skew) e temporal (baixo jitter ), em sistemas sí ncronos de alta velocidade tem-se revelado uma tarefa cada vez mais demorada e complexa devido ao escalonamento da tecnologia. Com a diminuição das dimensões dos dispositivos e a integração crescente de mais funcionalidades nos Circuitos Integrados (CIs), a precisão associada as transições do sinal de relógio tem sido cada vez mais afectada por varia ções de processo, tensão e temperatura. Esta tese aborda o problema da incerteza de rel ogio em CIs de alta velocidade, com o objetivo de determinar os limites do paradigma de desenho sí ncrono. Na prossecu ção deste objectivo principal, esta tese propõe quatro novos modelos de incerteza com âmbitos de aplicação diferentes. O primeiro modelo permite estimar a incerteza introduzida por um inversor est atico CMOS, com base em parâmetros simples e su cientemente gen éricos para que possa ser usado na previsão das limitações temporais de circuitos mais complexos, mesmo na fase inicial do projeto. O segundo modelo, permite estimar a incerteza em repetidores com liga ções RC e assim otimizar o dimensionamento da rede de distribui ção de relógio, com baixo esfor ço computacional. O terceiro modelo permite estimar a acumula ção de incerteza em cascatas de repetidores. Uma vez que este modelo tem em considera ção a correla ção entre fontes de ruí do, e especialmente util para promover t ecnicas de distribui ção de rel ogio e de alimentação que possam minimizar a acumulação de incerteza. O quarto modelo permite estimar a incerteza temporal em sistemas com m ultiplos dom ínios de sincronismo. Este modelo pode ser facilmente incorporado numa ferramenta autom atica para determinar a melhor topologia para uma determinada aplicação ou para avaliar a tolerância do sistema ao ru ído de alimentação. Finalmente, usando os modelos propostos, são discutidas as tendências da precisão de rel ogio. Conclui-se que os limites da precisão do rel ogio são, em ultima an alise, impostos por fontes de varia ção dinâmica que se preveem crescentes na actual l ogica de escalonamento dos dispositivos. Assim sendo, esta tese defende a procura de solu ções em outros ní veis de abstração, que não apenas o ní vel f sico, que possam contribuir para o aumento de desempenho dos CIs e que tenham um menor impacto nos pressupostos do paradigma de desenho sí ncrono.

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.