Synthesis of FPGA-based accelerators implementing recursive algorithms

O desenvolvimento de sistemas computacionais é um processo complexo, com múltiplas etapas, que requer uma análise profunda do problema, levando em consideração as limitações e os requisitos aplicáveis. Tal tarefa envolve a exploração de técnicas alternativas e de algoritmos computacionais para optimizar o sistema e satisfazer os requisitos estabelecidos. Neste contexto, uma das mais importantes etapas é a análise e implementação de algoritmos computacionais. Enormes avanços tecnológicos no âmbito das FPGAs (Field-Programmable Gate Arrays) tornaram possível o desenvolvimento de sistemas de engenharia extremamente complexos. Contudo, o número de transístores disponíveis por chip está a crescer mais rapidamente do que a capacidade que temos para desenvolver sistemas que tirem proveito desse crescimento. Esta limitação já bem conhecida, antes de se revelar com FPGAs, já se verificava com ASICs (Application-Specific Integrated Circuits) e tem vindo a aumentar continuamente. O desenvolvimento de sistemas com base em FPGAs de alta capacidade envolve uma grande variedade de ferramentas, incluindo métodos para a implementação eficiente de algoritmos computacionais. Esta tese pretende proporcionar uma contribuição nesta área, tirando partido da reutilização, do aumento do nível de abstracção e de especificações algorítmicas mais automatizadas e claras. Mais especificamente, é apresentado um estudo que foi levado a cabo no sentido de obter critérios relativos à implementação em hardware de algoritmos recursivos versus iterativos. Depois de serem apresentadas algumas das estratégias para implementar recursividade em hardware mais significativas, descreve-se, em pormenor, um conjunto de algoritmos para resolver problemas de pesquisa combinatória (considerados enquanto exemplos de aplicação). Versões recursivas e iterativas destes algoritmos foram implementados e testados em FPGA. Com base nos resultados obtidos, é feita uma cuidada análise comparativa. Novas ferramentas e técnicas de investigação que foram desenvolvidas no âmbito desta tese são também discutidas e demonstradas.

Nanosensor for assessing the risk of a cardiovascular disease

The incidence of cardiovascular diseases (CVD) has been increasing according to the European and global statistics. Thus, the development of new analytical devices, such as biosensors for assessing the risk of CVD could become a valuable approach for the improvement of healthcare service. In latest years, the nanotechnology has provided new materials with improved electronic properties which have an important contribution in the transduction mechanism of biosensors. Thus, in this thesis, biosensors based on field effect transistors with single-walled carbon nanotubes (NTFET) were developed for the detection of C-reactive protein (CRP) in clinical samples, that is, blood serum and saliva from a group of control patients and a group of CVD risk patients. CRP is an acute-phase protein, which is commonly known as the best validated biomarker for the assessment of CVD, the single-walled carbon nanotubes (SWCNT) were applied as transduction components, and the immunoreaction (interaction between the CRP antigen and the antibodies specific to CRP) was used as the mechanism of molecular recognition for the label-free detection of CRP. After the microfabrication of field effect transistors (FET), the screening of the most important variables for the dispersion of SWCNT, the assemblage of NTFET, and their application on standard solutions of CRP, it was found that NTFET respond accurately to CRP both in saliva and in serum samples, since similar CRP levels were found with the NTFET and the traditional methodology (ELISA technique). On the other hand, a strong correlation between salivary and serum CRP was found with NTFET, which means that saliva could be used, based on non-invasive sampling, as an alternative fluid to blood serum. It was also shown that NTFET could discriminate control patients from CVD risk patients, allowing the determination of a cut-off value for salivary CRP of 1900 ng L-1, which corresponds to the well established cut-off of 3 mg L-1 for CRP in serum, constituting an important finding for the possible establishment of a new range of CRP levels based on saliva. According to the data provided from the volunteer patients regarding their lipoprotein profile and lifestyle factors, it was concluded that the control and the CVD risk patients could be separated taking into account the various risk factors established in literature as strong contributors for developing a CVD, such as triglycerides, serum CRP, total cholesterol, LDL cholesterol, body mass index, Framingham risk score, hypertension, dyslipidemia, and diabetes mellitus. Thus, this work could provide an additional contribution to the understanding of the association of biomarkers levels in serum and saliva samples, and above all, cost-effective, rapid, label-free, and disposable NTFET were developed, based on a noninvasive sampling, for the assessment of CVD risk, thus constituting a potential point-of-care technology.

Extension of electrochemically active sites in SOFCs and SOECs

Solid oxide fuel (SOFCs) and electrolyzer (SOECs) cells have been promoted as promising technologies for the stabilization of fuel supply and usage in future green energy systems. SOFCs are devices that produce electricity by the oxidation of hydrogen or hydrocarbon fuels with high efficiency. Conversely, SOECs can offer the reverse reaction, where synthetic fuels can be generated by the input of renewable electricity. Due to this similar but inverse nature of SOFCs and SOECs, these devices have traditionally been constructed from comparable materials. Nonetheless, several limitations have hindered the entry of SOFCs and SOECs into the marketplace. One of the most debilitating is associated with chemical interreactions between cell components that can lead to poor longevities at high working temperatures and/or depleted electrochemcial performance. Normally such interreactions are countered by the introduction of thin, purely ionic conducting, buffer layers between the electrode and electrolyte interface. The objective of this thesis is to assess if possible improvements in electrode kinetics can also be obtained by modifying the transport properties of these buffer layers by the introduction of multivalent cations. The introduction of minor electronic conductivity in the surface of the electrolyte material has previously been shown to radically enhance the electrochemically active area for oxygen exchange, reducing polarization resistance losses. Hence, the current thesis aims to extend this knowledge to tailor a bi-functional buffer layer that can prevent chemical interreaction while also enhancing electrode kinetics.The thesis selects a typical scenario of an yttria stabilized zirconia electrolyte combined with a lanthanide containing oxygen electrode. Gadolinium, terbium and praseodymium doped cerium oxide materials have been investigated as potential buffer layers. The mixed ionic electronic conducting (MIEC) properties of the doped-cerium materials have been analyzed and collated. A detailed analysis is further presented of the impact of the buffer layers on the kinetics of the oxygen electrode in SOFC and SOEC devices. Special focus is made to assess for potential links between the transport properties of the buffer layer and subsequent electrode performance. The work also evaluates the electrochemical performance of different K2NiF4 structure cathodes deposited onto a peak performing Pr doped-cerium buffer layer, the influence of buffer layer thickness and the Pr content of the ceria buffer layer. It is shown that dramatic increases in electrode performance can be obtained by the introduction of MIEC buffer layers, where the best performances are shown to be offered by buffer layers of highest ambipolar conductivity. These buffer layers are also shown to continue to offer the bifunctional role to protect from unwanted chemical interactions at the electrode/electrolyte interface.