Phase equilibria modeling for biofuels production

Em consequência de uma série de problemas ambientais, económicos e políticos relacionados com o uso de combustíveis convencionais, vários países estão agora a focar as suas atenções em combustíveis alternativos. O biodiesel está na linha da frente das alternativas ao petróleo no sector dos transportes, sendo considerado uma opção a curto prazo visto que o seu preço é competitivo e não são necessárias mudanças nos motores para implementar o seu uso. De entres os possíveis processos de produzir biodiesel, a reacção de transesterificação com catálise básica é o método preferido. Depois da reacção são sempre necessários processos de purificação de modo ao biodiesel produzido cumprir os standards definidos para os combustíveis alternativos, reduzindo problemas de motor e consequentemente aumentando a sua aceitação por parte dos consumidores. De entre as especificações encontram-se o conteúdo em água, em álcool e em glicerol. Ser-se capaz de descrever correctamente o equilíbrio de fases de sistemas que são de interesse para os processos de purificação de biodieseis numa gama alargada de condições termodinâmicas é uma condição necessária para uma correcta simulação do processo industrial, de modo a se atingir uma elevada produtividade a baixos custos de operação. O uso de moléculas oxigenadas como combustíveis representa uma alteração significativa em termos da termodinâmica de soluções. Para combustíveis baseados em petróleo as equações de estado cúbicas e os modelos clássicos de coeficientes de actividade mostraram ser apropriados, no entanto para combustíveis novos como o biodiesel, sendo mais complexos do ponto de vista das interacções intermoleculares com formação de dipolos e pontes de hidrogénio, são necessários modelos termodinâmicos mais complexos para descrever essas interacções. Neste trabalho a CPA EoS (Cubic-Plus-Association Equation of State) será desenvolvida de modo a permitir uma descrição adequada dos equilíbrios líquido-vapor e líquido-líquido para uma serie de sistemas binários e multicomponentes contendo água, ácidos gordos, ésteres de ácidos gordos, glicerol e álcoois.

Model-based systems engineering: a system for traffic & environment

The contemporary world is crowded of large, interdisciplinary, complex systems made of other systems, personnel, hardware, software, information, processes, and facilities. The Systems Engineering (SE) field proposes an integrated holistic approach to tackle these socio-technical systems that is crucial to take proper account of their multifaceted nature and numerous interrelationships, providing the means to enable their successful realization. Model-Based Systems Engineering (MBSE) is an emerging paradigm in the SE field and can be described as the formalized application of modelling principles, methods, languages, and tools to the entire lifecycle of those systems, enhancing communications and knowledge capture, shared understanding, improved design precision and integrity, better development traceability, and reduced development risks. This thesis is devoted to the application of the novel MBSE paradigm to the Urban Traffic & Environment domain. The proposed system, the GUILTE (Guiding Urban Intelligent Traffic & Environment), deals with a present-day real challenging problem “at the agenda” of world leaders, national governors, local authorities, research agencies, academia, and general public. The main purposes of the system are to provide an integrated development framework for the municipalities, and to support the (short-time and real-time) operations of the urban traffic through Intelligent Transportation Systems, highlighting two fundamental aspects: the evaluation of the related environmental impacts (in particular, the air pollution and the noise), and the dissemination of information to the citizens, endorsing their involvement and participation. These objectives are related with the high-level complex challenge of developing sustainable urban transportation networks. The development process of the GUILTE system is supported by a new methodology, the LITHE (Agile Systems Modelling Engineering), which aims to lightening the complexity and burdensome of the existing methodologies by emphasizing agile principles such as continuous communication, feedback, stakeholders involvement, short iterations and rapid response. These principles are accomplished through a universal and intuitive SE process, the SIMILAR process model (which was redefined at the light of the modern international standards), a lean MBSE method, and a coherent System Model developed through the benchmark graphical modeling languages SysML and OPDs/OPL. The main contributions of the work are, in their essence, models and can be settled as: a revised process model for the SE field, an agile methodology for MBSE development environments, a graphical tool to support the proposed methodology, and a System Model for the GUILTE system. The comprehensive literature reviews provided for the main scientific field of this research (SE/MBSE) and for the application domain (Traffic & Environment) can also be seen as a relevant contribution.

Microstructure design of Titanate-based electroceramics

Electrocerâmicos são uma classe de materiais avançados com propriedades eléctricas valiosas para aplicações. Estas propriedades são geralmente muito dependentes da microestrutura dos materiais. Portanto, o objectivo geral deste trabalho é investigar o desenho da resposta dieléctrica de filmes espessos obtidos por Deposição Electroforética (EPD) e cerâmicos monolíticos, através do controlo da evolução da microestrutura durante a sinterização de electrocerâmicos à base de titanatos. Aplicações sem fios na indústria microelectrónica e de comunicações, em rápido crescimento, tornaram-se um importante mercado para os fabricantes de semicondutores. Devido à constante necessidade de miniaturização, redução de custos e maior funcionalidade e integração, a tecnologia de filmes espessos está a tornar-se uma abordagem de processamento de materiais funcionais cada vez mais importante. Uma técnica adequada neste contexto é EPD. Os filmes espessos resultantes necessitam de um passo subsequente de sinterização que é afectada pelo substrato subjacente, tendo este um forte efeito sobre a evolução da microestrutura. Relacionado com a miniaturização e a discriminação do sinal, materiais dieléctricos usados como componentes operando a frequências das microondas em aplicações na industria microelectrónica de comunicações devem apresentar baixas perdas dieléctricas e elevadas permitividade dieléctrica e estabilidade com a temperatura. Materiais do sistema BaO-Ln2O3- TiO2 (BLnT: Ln = La ou Nd), como BaLa4Ti4O15 (BLT) e Ba4.5Nd9Ti18O54 (BNT), cumprem esses requisitos e são interessantes para aplicações, por exemplo, em estações de base para comunicações móveis ou em ressonadores para telefones móveis, onde a miniaturização dos dispositivos é muito importante. Por sua vez, o titanato de estrôncio (SrTiO3, STO) é um ferroeléctrico incipiente com constante dieléctrica elevada e baixas perdas, que encontra aplicação em, por exemplo, condensadores de camada interna, tirando partido de fronteiras de grão altamente resistivas. A dependência da permitividade dieléctrica do campo eléctrico aplicado torna este material muito interessante para aplicações em dispositivos de microondas sintonizáveis. Materiais à base de STO são também interessantes para aplicações termoeléctricas, que podem contribuir para a redução da actual dependência de combustíveis fósseis por meio da geração de energia a partir de calor desaproveitado. No entanto, as mesmas fronteiras de grão resistivas são um obstáculo relativamente à eficiência do STO para aplicações termoeléctricas. Para além do efeito do substrato durante a sinterização constrangida, outros factores, como a presença de fase líquida, a não-estequiometria ou a temperatura de sinterização, afectam significativamente não apenas a microestrutura dos materiais funcionais, mas também a sua resposta dieléctrica. Se adequadamente compreendidos, estes factores podem ser intencionalmente usados para desenhar a microestrutura dos electrocerâmicos e, desta forma, as suas propriedades dieléctricas. O efeito da não-estequiometria (razão Sr/Ti 0.995-1.02) no crescimento de grão e resposta dieléctrica de cerâmicos de STO foi investigado neste trabalho. A mobilidade das fronteiras de grão aumenta com a diminuição da razão Sr/Ti. A resistividade do interior dos grãos e das fronteiras de grão é sistematicamente diminuída em amostras não-estequiométricas de STO, em comparação com o material estequiométrico. O efeito é muito mais forte para as fronteiras de grão do que para o seu interior. Dependências sistemáticas da não-estequiometria foram também observadas relativamente à dependência da condutividade da temperatura (muito mais afectada no caso da contribuição das fronteiras de grão), à capacitância do interior e fronteiras de grão e à espessura das fronteiras de grão. Uma anomalia no crescimento de grão em cerâmicos de STO ricos em Ti foi também observada e sistematicamente analisada. Foram detectadas três descontinuidades na dependência do tipo Arrhenius do crescimento de grão relativamente à temperatura com diminuições no tamanho de grão a temperaturas em torno de 1500, 1550 e 1605 °C. Além disso, descontinuidades semelhantes foram também observadas na dependência da energia de activação relativamente à condutividade das fronteiras de grão e na espessura das fronteiras de grão, avaliadas por Espectroscopia de Impedância. Estas notáveis coincidências suportam fortemente a formação de diferentes complexos de fronteira de grão com transições entre os regimes de crescimento de grão observados, que podem ser correlacionados com diferentes mobilidades de fronteira de grão e propriedades dieléctricas. Um modelo é sugerido, que se baseia na diminuição da fase líquida localizada nas fronteiras de grão, como o aumento da temperatura de sinterização, um cenário compatível com um fenómeno de solubilidade retrógrada, observado anteriormente em metais e semicondutores, mas não em cerâmicos. A EPD de filmes espessos de STO em substratos de folha de Pt e a sinterização constrangida dos filmes fabricados foram também preliminarmente tratadas. Filmes espessos de STO foram depositados com êxito por EPD sobre substratos de Pt e, depois de sinterizados, atingiram densidades elevadas. Um aumento da densificação e do tamanho de grão assim como o alargamento da distribuição de tamanho do grão foram observados com a diminuição da razão Sr/Ti, tal como anteriormente observado em amostras cerâmicas. Grãos equiaxiados foram observados para todas as composições, mas um certo grau de anisotropia na orientação dos poros foi detectado: os poros revelaram uma orientação vertical preferencial. Este trabalho focou-se também na sinterização constrangida do sistema BLnT (Ln = La ou Nd), nomeadamente de filmes espessos de BLT e BNT sobre substratos de folha de platina, e na relação do desenvolvimento de anisotropia microestrutural com as propriedades dieléctricas. As observações durante a sinterização constrangida foram comparadas com cerâmicos monolíticos equivalentes sinterizados livremente. Filmes espessos de BLnT (Ln = La ou Nd) com elevada densidade foram obtidos por EPD e subsequente sinterização constrangida. A anisometria cristalográfica do material em conjunto com um passo de sinterização constrangida resultou em grãos alongados e microestruturas anisotrópicas. O efeito do stress do substrato durante a sinterização constrangida originou graus mais elevados de anisotropia (grãos e poros alongados e orientação preferencial, bem como textura cristalográfica) nos filmes sinterizados relativamente aos cerâmicos equivalentes sinterizados livremente, não obstante o estado equivalente das amostras em verde. A densificação dos filmes de BLnT (Ln = La ou Nd) é retardada em comparação com os cerâmicos, mas depois de longos tempos de sinterização densidades semelhantes são obtidas. No entanto, em oposição a observações na sinterização constrangida de outros sistemas, o crescimento do grão em filmes de BLnT (Ln = La ou Nd) é favorecido pelo constrangimento causado pelo substrato. Além disso, grãos e poros alongados orientados paralelamente ao substrato foram desenvolvidos durante a sinterização constrangida de filmes espessos. Verificou-se uma forte correlação entre a evolução de grãos e poros, que começou assim que o crescimento do grão se iniciou. Um efeito da tensão do substrato no aumento do crescimento de grão, bem como um forte “Zener pinning”, origina microestruturas altamente texturizadas, o que também é observado a nível cristalográfico. Efeitos marcantes da anisotropia microestrutural foram também detectados nas propriedades dieléctricas dos filmes de BLnT (Ln = La ou Nd). Juntamente com o aumento da razão de aspecto dos grãos, do factor de orientação e do grau de textura cristalográfica, a permitividade relativa é ligeiramente diminuída e o coeficiente de temperatura da permitividade evolui de negativo para positivo com o aumento do tempo isotérmico de sinterização. Este trabalho mostra que a não-estequiometria pode ser usada para controlar a mobilidade das fronteiras de grão e, portanto, desenhar a microestrutura e as propriedades dieléctricas de electrocerâmicos à base de STO, com ênfase nas propriedades das fronteiras de grão. O papel da não-estequiometria no STO e dos complexos de fronteira de grão no desenvolvimento microestrutural é discutido e novas oportunidades para desenhar as propriedades de materiais funcionais são abertas. As observações relativamente à sinterização constrangida apontam para o efeito de tensões mecânicas desenvolvidas devido ao substrato subjacente no desenvolvimento da microestrutura de materiais funcionais. É assim esperado que a escolha adequada de substrato permitia desenhar a microestrutura de filmes espessos funcionais com desempenho optimizado. “Stress Assisted Grain Growth” (SAGG) é então proposto como uma técnica potencial para desenhar a microestrutura de materiais funcionais, originando microestruturas anisotrópicas texturizadas com propriedades desejadas.

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.

Analysis, modeling, design and optimization of future communications systems: from theory to practice

Esta tese descreve uma framework de trabalho assente no paradigma multi-camada para analisar, modelar, projectar e optimizar sistemas de comunicação. Nela se explora uma nova perspectiva acerca da camada física que nasce das relações entre a teoria de informação, estimação, métodos probabilísticos, teoria da comunicação e codificação. Esta framework conduz a métodos de projecto para a próxima geração de sistemas de comunicação de alto débito. Além disso, a tese explora várias técnicas de camada de acesso com base na relação entre atraso e débito para o projeto de redes sem fio tolerantes a atrasos. Alguns resultados fundamentais sobre a interação entre a teoria da informação e teoria da estimação conduzem a propostas de um paradigma alternativo para a análise, projecto e optimização de sistemas de comunicação. Com base em estudos sobre a relação entre a informação recíproca e MMSE, a abordagem descrita na tese permite ultrapassar, de forma inovadora, as dificuldades inerentes à optimização das taxas de transmissão de informação confiáveis em sistemas de comunicação, e permite a exploração da atribuição óptima de potência e estruturas óptimas de pre-codificação para diferentes modelos de canal: com fios, sem fios e ópticos. A tese aborda também o problema do atraso, numa tentativa de responder a questões levantadas pela enorme procura de débitos elevados em sistemas de comunicação. Isso é feito através da proposta de novos modelos para sistemas com codificação de rede (network coding) em camadas acima da sua camada física. Em particular, aborda-se a utilização de sistemas de codificação em rede para canais que variam no tempo e são sensíveis a atrasos. Isso foi demonstrado através da proposta de um novo modelo e esquema adaptativo, cujos algoritmos foram aplicados a sistemas sem fios com desvanecimento (fading) complexo, de que são exemplos os sistemas de comunicação via satélite. A tese aborda ainda o uso de sistemas de codificação de rede em cenários de transferência (handover) exigentes. Isso é feito através da proposta de novos modelos de transmissão WiFi IEEE 801.11 MAC, que são comparados com codificação de rede, e que se demonstram possibilitar transferência sem descontinuidades. Pode assim dizer-se que esta tese, através de trabalho de análise e de propostas suportadas por simulações, defende que na concepção de sistemas de comunicação se devem considerar estratégias de transmissão e codificação que sejam não só próximas da capacidade dos canais, mas também tolerantes a atrasos, e que tais estratégias têm de ser concebidas tendo em vista características do canal e a camada física.