A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Projecto e implementação de osciloscópio digital baseado na norma IEEE1451.0

Os osciloscópios digitais são utilizados em diversas áreas do conhecimento, assumindo-se no âmbito da engenharia electrónica, como instrumentos indispensáveis. Graças ao advento das Field Programmable Gate Arrays (FPGAs), os instrumentos de medição reconfiguráveis, dadas as suas vantagens, i.e., altos desempenhos, baixos custos e elevada flexibilidade, são cada vez mais uma alternativa aos instrumentos tradicionalmente usados nos laboratórios. Tendo como objectivo a normalização no acesso e no controlo deste tipo de instrumentos, esta tese descreve o projecto e implementação de um osciloscópio digital reconfigurável baseado na norma IEEE 1451.0. Definido de acordo com uma arquitectura baseada nesta norma, as características do osciloscópio são descritas numa estrutura de dados denominada Transducer Electronic Data Sheet (TEDS), e o seu controlo é efectuado utilizando um conjunto de comandos normalizados. O osciloscópio implementa um conjunto de características e funcionalidades básicas, todas verificadas experimentalmente. Destas, destaca-se uma largura de banda de 575kHz, um intervalo de medição de 0.4V a 2.9V, a possibilidade de se definir um conjunto de escalas horizontais, o nível e declive de sincronismo e o modo de acoplamento com o circuito sob análise. Arquitecturalmente, o osciloscópio é constituído por um módulo especificado com a linguagem de descrição de hardware (HDL, Hardware Description Language) Verilog e por uma interface desenvolvida na linguagem de programação Java®. O módulo é embutido numa FPGA, definindo todo o processamento do osciloscópio. A interface permite o seu controlo e a representação do sinal medido. Durante o projecto foi utilizado um conversor Analógico/Digital (A/D) com uma frequência máxima de amostragem de 1.5MHz e 14 bits de resolução que, devido às suas limitações, obrigaram à implementação de um sistema de interpolação multi-estágio com filtros digitais.

O que é o interface? Da entificação á identificação do interface enquanto complexo mediador

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências da Comunicação

Novel optical PVC probes for on-site detection/determination of fluoroquinolones in a solid/liquid interface: Application to the determination of Norfloxacin in aquaculture water

A novel optical disposable probe for screening fluoroquinolones in fish farming waters is presented, having Norfloxacin (NFX) as target compound. The colorimetric reaction takes place in the solid/liquid interface consisting of a plasticized PVC layer carrying the colorimetric reagent and the sample solution. NFX solutions dropped on top of this solid-sensory surface provided a colour change from light yellow to dark orange. Several metals were tested as colorimetric reagents and Fe(III) was selected. The main parameters affecting the obtained colour were assessed and optimised in both liquid and solid phases. The corresponding studies were conducted by visible spectrophotometry and digital image acquisition. The three coordinates of the HSL model system of the collected image (Hue, Saturation and Lightness) were obtained by simple image management (enabled in any computer). The analytical response of the optimised solid-state optical probe against concentration was tested for several mathematical transformations of the colour coordinates. Linear behaviour was observed for logarithm NFX concentration against Hue+Lightness. Under this condition, the sensor exhibited a limit of detection below 50 μM (corresponding to about 16 mg/mL). Visual inspection also enabled semi-quantitative information. The selectivity was ensured against drugs from other chemical groups than fluoroquinolones. Finally, similar procedure was used to prepare an array of sensors for NFX, consisting on different metal species. Cu(II), Mn(II) and aluminon were selected for this purpose. The sensor array was used to detect NFX in aquaculture water, without any prior sample manipulation.

Students’ reading behavior: digital vs. print preferences in portuguese context

The aim of this paper is to present the main Portuguese results from a multi-national study on reading format preferences and behaviors from undergraduate students from Polytechnic Institute of Porto (Portugal). For this purpose we apply an adaptation of the Academic Reading Questionnaire previously created by Mizrachi (2014). This survey instrument has 14 Likert-style statements regarding the format influence in the students reading behavior, including aspects such as ability to remember, feelings about access convenience, active engagement with the text by highlighting and annotating, and ability to review and concentrate on the text. The importance of the language and dimension of the text to determine the preference format is also inquired. Students are also asked about the electronic device they use to read digital documents. Finally, some demographic and academic data were gathered. The analysis of the results will be contextualized on a review of the literature concerning youngsters reading format preferences. The format (digital or print) in which a text is displayed and read can impact comprehension, which is an important information literacy skill. This is a quite relevant issue for class readings in academic context because it impacts learning. On the other hand, students preferences on reading formats will influence the use of library services. However, literature is not unanimous on this subject. Woody, Daniel and Baker (2010) concluded that the experience of reading is not the same in electronic or print context and that students prefer print books than e-books. This thesis is reinforced by Ji, Michaels and Waterman (2014) which report that among 101 undergraduates the large majority self-reported to read and learn more when they use printed format despite the fact that they prefer electronically supplied readings instead of those supplied in printed form. On the other side, Rockinson-Szapkiw, et al (2013) conducted a study were they demonstrate that e-textbook is as effective for learning as the traditional textbook and that students who choose e-textbook had significantly higher perceived learning than students who chose to use print textbooks.

A Terra como Interface: o paradigma do Mapa para o Século XXI

Trabalho de Projecto de Mestrado em Ciências de Comunicação Variante Novos Media e Práticas Web

Gesture based interface for image annotation

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Projeto de um altifalante digital

Devido ao crescente desenvolvimento das nanotecnologias, estando associadas a melhoria da eficiência energética assim como mais processamento de dados e a redução dos custos, esta dissertação possibilita todo o enquadramento com sistemas modernos ao nível do áudio digital. Tendo como base esta perspetiva, esta dissertação apresenta um sistema de áudio completo desde a fonte do sinal digital no PC até ao sinal analógico no altifalante. O sistema é constituído pelos seguintes módulos: a interface do utilizador no PC, o Processador Digital de Sinais (DSP), o amplificador digital e os altifalantes. O sistema é baseado na amplificação de classe D controlada por um modulador sigma delta (ΣΔM) digital. São abordadas as técnicas utilizadas e os cuidados a ter em conta em cada módulo, tendo como principal objetivo uma boa qualidade de áudio. Diferentes arquiteturas ΣΔM são primeiramente analisadas por simulações para validar a estabilidade e a funcionalidade, seguidamente são implementadas ao nível físico no protótipo para qualificar algumas medições elétricas e testes acústicos básicos. Depois de selecionados os ΣΔM mais promissores, o sistema foi avaliado pela análise de alguns testes elétricos de alto nível assim como gravações do sinal de áudio em um ambiente de estúdio controlado. Os resultados acústicos são comparados com um sistema de estúdio com reconhecimento no mercado. As medições finais do protótipo revelaram valores do rendimento de até 72%, a SNR na saída do amplificador digital de 73 dB através da leitura com o Audio Precision ATS-2, com uma THD de -75 dB e uma gama dinâmica (DR) de 75 dB. A tensão de alimentação pode ir dos 5 aos 12 Volt, utilizando uma metodologia H-bridge na saída do amplificador, e podendo ser aplicada uma carga mínima de 4 Ohm. O sistema desenvolvido demonstra-se promissor e possibilita melhorias através de otimização de cada elemento em particular, desde adicionar capacidades ao DSP através de novo firmware, ou melhorar a potência do amplificador digital consoante os requisitos da aplicação.

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.

SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"

Interfície tridimensional EGP TV digital

En este proyecto se presenta una aplicación capaz de recibir la televisión digital y representar la información que contiene en un entorno de producción de gráficos tridimensionales. Esto conlleva recoger y procesar el flujo de transporte para más de un servicio, procesar las diferentes tablas de información, implementar mecanismos para representar la información audiovisual en un entorno tridimensional y construir una interfaz de usuario con los datos recogidos.

Creación de una radio musical participativa con difusión online y FM

Este proyecto propone crear un sistema inteligente y autónomo de emisión conjunta por Internet y FM. A través de una interfaz Web cómoda y sencilla, el oyente podrá interactuar con la emisora e influir en la emisión, exponiendo sus preferencias. El sistema tomará de forma autónoma y dinámica las decisiones pertinentes que garantizarán que la emisión cumple las preferencias definidas.

Creació d'una ràdio musical participativa amb difusió online i FM

Aquest projecte té com a propòsit crear una ràdio musical participativa amb difusió online i FM on a partir d’una interfície web l’usuari pugui participar-hi activament votant les cançons que hi sonaran. A més a més els usuaris registrats gaudiran d’una xarxa social on podran fer amistats i deixa’ls-hi comentaris. Primer de tot faig una ràpida introducció a l’estat de l’art de les ràdios actuals, a continuació analitzo els requeriments, especifico el comportament desitjat del sistema, explico detalladament el disseny i l’ implementació i, per últim, faig un seguit de proves de les quals n’extrec les conclusions.

Digital beamforming and moving target indication for future spaceborne synthetic aperture radar

During the last decade the interest on space-borne Synthetic Aperture Radars (SAR) for remote sensing applications has grown as testified by the number of recent and forthcoming missions as TerraSAR-X, RADARSAT-2, COSMO-kyMed, TanDEM-X and the Spanish SEOSAR/PAZ. In this sense, this thesis proposes to study and analyze the performance of the state-of-the-Art space-borne SAR systems, with modes able to provide Moving Target Indication capabilities (MTI), i.e. moving object detection and estimation. The research will focus on the MTI processing techniques as well as the architecture and/ or configuration of the SAR instrument, setting the limitations of the current systems with MTI capabilities, and proposing efficient solutions for the future missions. Two European projects, to which the Universitat Politècnica de Catalunya provides support, are an excellent framework for the research activities suggested in this thesis. NEWA project proposes a potential European space-borne radar system with MTI capabilities in order to fulfill the upcoming European security policies. This thesis will critically review the state-of-the-Art MTI processing techniques as well as the readiness and maturity level of the developed capabilities. For each one of the techniques a performance analysis will be carried out based on the available technologies, deriving a roadmap and identifying the different technological gaps. In line with this study a simulator tool will be developed in order to validate and evaluate different MTI techniques in the basis of a flexible space-borne radar configuration. The calibration of a SAR system is mandatory for the accurate formation of the SAR images and turns to be critical in the advanced operation modes as MTI. In this sense, the SEOSAR/PAZ project proposes the study and estimation of the radiometric budget. This thesis will also focus on an exhaustive analysis of the radiometric budget considering the current calibration concepts and their possible limitations. In the framework of this project a key point will be the study of the Dual Receive Antenna (DRA) mode, which provides MTI capabilities to the mission. An additional aspect under study is the applicability of the Digital Beamforming on multichannel and/or multistatic radar platforms, which conform potential solutions for the NEWA project with the aim to fully exploit its capability jointly with MTI techniques.

Utilització d'algorismes genètics per a la composició musical

Aquest memòria presenta un estudi sobre l’aplicació dels algorismes genètics per a lacomposició musical. Es descriu un sistema generador d’un conjunt de melodies i les evoluciona, a través de la iteració de l’algorisme, per a obtenir la millor composició possible, segons unconjunt de normes harmòniques i rítmiques definides arbitràriament.Les regles emprades combinen la modelització de diferents aspectes que la teoria i anàlisimusical occidental contemporani defineix com a essencials per a composar melodies agradables a l’oïda humana. Els trets més importants són melodies amb una certa linealitat, harmonia en lespolifonies i un caràcter rítmic en aquestes composicions.S’ha utilitzat el model d’ Implicació – Realització per a afavorir la linealitat i agradabilitat melòdica, un estudi estadístic de ritme i melodia en peces musicals en format MIDI i la definició per part de l’usuari d’una seqüència d’acords o patró amb el qual les melodies generades hi harmonitzaran.L’algoritme sembla generar satisfactòriament melodies que compleixen amb els aspectesavaluats, i amb la possibilitat de definir diferents seqüències d’acords, el sistema esdevé una eina d’ajuda per a realitzar petites composicions o fragments harmònics d’una manera més automatitzada.