A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Control system for actuation and sensing in digital microfluidics devices

Digital Microfluidics (DMF) is a second generation technique, derived from the conventional microfluidics that instead of using continuous liquid fluxes, it uses only individual droplets driven by external electric signals. In this thesis a new DMF control/sensing system for visualization, droplet control (movement, dispensing, merging and splitting) and real time impedance measurement have been developed. The software for the proposed system was implemented in MATLAB with a graphical user interface. An Arduino was used as control board and dedicated circuits for voltage switching and contacts were designed and implemented in printed circuit boards. A high resolution camera was integrated for visualization. In our new approach, the DMF chips are driven by a dual-tone signal where the sum of two independent ac signals (one for droplet operations and the other for impedance sensing) is applied to the electrodes, and afterwards independently evaluated by a lock-in amplifier. With this new approach we were able to choose the appropriated amplitudes and frequencies for the different proposes (actuation and sensing). The measurements made were used to evaluate the real time droplet impedance enabling the knowledge of its position and velocity. This new approach opens new possibilities for impedance sensing and feedback control in DMF devices.

Medium access control design for distributed opportunistic radio networks

Existing wireless networks are characterized by a fixed spectrum assignment policy. However, the scarcity of available spectrum and its inefficient usage demands for a new communication paradigm to exploit the existing spectrum opportunistically. Future Cognitive Radio (CR) devices should be able to sense unoccupied spectrum and will allow the deployment of real opportunistic networks. Still, traditional Physical (PHY) and Medium Access Control (MAC) protocols are not suitable for this new type of networks because they are optimized to operate over fixed assigned frequency bands. Therefore, novel PHY-MAC cross-layer protocols should be developed to cope with the specific features of opportunistic networks. This thesis is mainly focused on the design and evaluation of MAC protocols for Decentralized Cognitive Radio Networks (DCRNs). It starts with a characterization of the spectrum sensing framework based on the Energy-Based Sensing (EBS) technique considering multiple scenarios. Then, guided by the sensing results obtained by the aforementioned technique, we present two novel decentralized CR MAC schemes: the first one designed to operate in single-channel scenarios and the second one to be used in multichannel scenarios. Analytical models for the network goodput, packet service time and individual transmission probability are derived and used to compute the performance of both protocols. Simulation results assess the accuracy of the analytical models as well as the benefits of the proposed CR MAC schemes.

Energy-efficient diversity combining for different access schemes in a multi-path dispersive channel

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e Computadores

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Weekly tracking of stability of the flow of conversations into the subprocesses of the Last Planner System

21st Annual Conference of the International Group for Lean Construction – IGLC 21 – Fortaleza, Brazil

Bullwhip effect, in production control: a comparison between traditional methods and LPS

21th Annual Conference of the International Group for Lean Construction (IGLC 21), July 2013, Fortaleza, Brazil

eVentos 2 - Autonomous sailboat control

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Reestruturação do sistema de calibração de magnetómetros para aplicações espaciais

Dissertação para obtenção do Grau de Mestre em Engenharia Física

Time diversity solutions to cope with lost packets

A dissertation submitted to Departamento de Engenharia Electrotécnica of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Engenharia Electrotécnica e de Computadores

MAC regenerative analysis of wireless Ad-Hoc networks

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Análise comparativa do direito de acesso a cuidados de saúde no serviço nacional de saúde português e sistema de saúde norte-americano (EUA)

RESUMO - O presente estudo situa-se nas áreas gerais da Saúde Pública, dos Sistemas de Saúde e do Acesso à Prestação de Cuidados de Saúde e procura analisar o conteúdo e concretização do Direito de Acesso a Cuidados de Saúde na perspectiva de dois sistemas de saúde paradigmaticamente distintos, um sistema de acesso universal, representado pelo Serviço Nacional de Saúde português e um sistema de saúde de “não universal”, cujo paradigma é o modelo existente nos Estados Unidos da América, onde entidades gestoras de cuidados, Managed Care Organizations, são chamadas a desempenhar um papel central no acesso e prestação de cuidados de saúde. O vasto campo de investigação representado pela problemática do acesso a cuidados de saúde e a necessidade de limitar o trabalho de investigação subjazem à definição de quatro vertentes a analisar: (a) a existência ou não de uma base legal que preveja e regule o exercício do direito de acesso a cuidados de saúde; (b) o conteúdo deste direito no âmbito de cada um dos sistemas em estudo; (c) as condições de concretização do acesso a cuidados de saúde em ambos os sistemas, e, por último (d) a existência de garantias de efectivação do mesmo. Analisados os sistemas em estudo à luz das vertentes apresentadas, concluímos que a existência de um quadro normativo próprio, que explicite o conteúdo e condições de efectivação do direito, apresenta maiores garantias de concretização do exercício do Direito de Acesso a Cuidados de Saúde, entendendo-se que um sistema de acesso dependente da actuação de entidades gestoras de cuidados não beneficia o acesso a cuidados de saúde, nomeadamente por não garantir equidade no momento de procura e necessidade de cuidados. Os dados apresentados foram recolhidos através do recurso a uma metodologia qualitativa. A análise documental foi aplicada na recolha dos dados relativos à evolução e caracterização dos sistemas, bem como às condições de acesso. No âmbito do sistema de saúde de acesso universal, ou seja, o caso português, procedeu-se essencialmente à análise dos normativos aplicáveis. No que se refere ao sistema de saúde norte-americano, na ausência de base legal aplicável, recorreu-se sobretudo à análise de literatura e documentos. A participação no vi Second Biennal Seminar in Law and Bioethics1 e na 30th Annual Health Law Professors Conference2, realizados em Bóston, EUA, em Julho de 2007, permitiram uma melhor percepção da actual situação da prestação de cuidados naquele País, nomeadamente de algumas das reformas em curso, bem como um melhor entendimento das características do sistema prestador norte-americano em si mesmo. 1 Seminário organizado nos dias 30 e 31 de Maio, numa colaboração entre a Escola Nacional de Saúde Pública e o Departamento de Direito da saúde, Bioética e Direitos Humanos da Escola de Saúde Pública da Universidade de Bóston, sob o tema: “Law and ethics in rationing Access to care in a high-cost global economy”. A nossa participação deveu-se a um convite da Prof.ª Paula Lobato de Faria para colaborar na sessão sobre o sistema de saúde português. 2 Reunião realizada em Bóston nos dias 31 de Maio a 2 de Junho, sobretudo a sessão dedicada ao tema “New Models for Reform”, sobre os novos modelos de sistema de saúde em desenvolvimento nos EUA.

Smart-RBAC

Generally, smart campus applications do not consider the role of the user with his/her position in a university environment, consequently irrelevant information is delivered to the users. This dissertation proposes a location-based access control model, named Smart-RBAC, extending the functionality of Role-based Access Control Model (RBAC) by including user’s location as the contextual attribute, to solve the aforementioned problem. Smart-RBAC model is designed with a focus on content delivery to the user in order to offer a feasible level of flexibility, which was missing in the existing location-based access control models. An instance of the model, derived from Liferay’s RBAC, is implemented by creating a portal application to test and validate the Smart-RBAC model. Additionally, portlet-based applications are developed to assess the suitability of the model in a smart campus environment. The evaluation of the model, based on a popular theoretical framework, demonstrates the model’s capability to achieve some security goals like “Dynamic Separation of Duty” and “Accountability”. We believe that the Smart-RBAC model will improve the existing smart campus applications since it utilizes both, role and location of the user, to deliver content.

Multipacket reception in the presence of in-band full-duplex communication

In-Band Full-DupleX (IB-FDX) is defined as the ability for nodes to transmit and receive signals simultaneously on the same channel. Conventional digital wireless networks do not implement it, since a node’s own transmission signal causes interference to the signal it is trying to receive. However, recent studies attempt to overcome this obstacle, since it can potentially double the spectral efficiency of current wireless networks. Different mechanisms exist today that are able to reduce a significant part of the Self- Interference (SI), although specially tuned Medium Access Control (MAC) protocols are required to optimize its use. One of IB-FDX’s biggest problems is that the nodes’ interference range is extended, meaning the unusable space for other transmissions and receptions is broader. This dissertation proposes using MultiPacket Reception (MPR) to address this issue and adapts an already existing Single-Carrier with Frequency-Domain Equalization (SC-FDE) receiver to IB-FDX. The performance analysis suggests that MPR and IB-FDX have a strong synergy and are able to achieve higher data rates, when used together. Using analytical models, the optimal transmission patterns and transmission power were identified, which maximize the channel capacity with the minimal energy consumption. This was used to define a new MAC protocol, named Full-duplex Multipacket reception Medium Access Control (FM-MAC). FM-MAC was designed for a single-hop cellular infrastructure, where the Access Point (AP) and the terminals implement both IB-FDX and MPR. It divides the coverage range of the AP into a closer Full-DupleX (FDX) zone and a farther Half-DupleX (HDX) zone and adds a tunable fairness mechanism to avoid terminal starvation. Simulation results show that this protocol provides efficient support for both HDX and FDX terminals, maximizing its capacity when more FDX terminals are used.

Negociação por conta própria e os conflitos de interesses

Mestrado em Ciências Jurídicas Empresariais