Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

A DSL for querying building data streams of energy, eeather and occupation data

The superfluous consumption of energy is faced by the modern society as a Socio-Economical and Environmental problem of the present days. This situation is worsening given that it is becoming clear that the tendency is to increase energy price every year. It is also noticeable that people, not necessarily proficient in technology, are not able to know where savings can be achieved, due to the absence of accessible awareness mechanisms. One of the home user concerns is to balance the need of reducing energy consumption, while producing the same activity with all the comfort and work efficiency. The common techniques to reduce the consumption are to use a less wasteful equipment, altering the equipment program to a more economical one or disconnecting appliances that are not necessary at the moment. However, there is no direct feedback from this performed actions, which leads to the situation where the user is not aware of the influence that these techniques have in the electrical bill. With the intension to give some control over the home consumption, Energy Management Systems (EMS) were developed. These systems allow the access to the consumption information and help understanding the energy waste. However, some studies have proven that these systems have a clear mismatch between the information that is presented and the one the user finds useful for his daily life, leading to demotivation of use. In order to create a solution more oriented towards the user’s demands, a specially tailored language (DSL) was implemented. This solution allows the user to acquire the information he considers useful, through the construction of questions about his energy consumption. The development of this language, following the Model Driven Development (MDD) approach, took into consideration the ideas of facility managers and home users in the phases of design and validation. These opinions were gathered through meetings with experts and a survey, which was conducted to the purpose of collecting statistics about what home users want to know.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Digital microfluidic devices: the role of the dielectric layer

Digital microfluidics (DMF) is a field which has emerged in the last decade as a re-liable and versatile tool for sensing applications based on liquid reactions. DMF allows the discrete displacement of droplets, over an array of electrodes, by the application of voltage, and also the dispensing from a reservoir, mixing, merging and splitting fluidic operations. The main drawback of these devices is due to the need of high driving volt-ages for droplet operations. In this work, alternative dielectric layers combinations were studied aiming the reduction of these driving voltages. DMF chips were designed, pro-duced and optimized according to the theory of electrowetting-on-dielectric, adopting different combinations of parylene-C and tantalum pentoxide (Ta2O5) as dielectric ma-terials, and Teflon as hydrophobic layer. With both devices’ configurations, i.e., Parylene as single dielectric, and multilayer chips combining Parylene and Ta2O5, it was possible to perform all the fluidic opera-tions in the microliter down to hundreds of nanoliters range. Multilayer chips presented significant reduction on driving voltages for droplet op-erations in silicone oil filler medium: from 70 V (parylene only) down to 30 V (parylene/Ta2O5) for dispensing; and from 50 V (parylene only) down to 15 V (parylene/Ta2O5) for movement. Peroxidase colorimetric reactions were successfully performed as proof-of-concept, using multilayer configuration devices.

Argamassas fracamente hidráulicas para reparação de rebocos

A classificação e as características das cais hidráulicas naturais (NHL) sofreram uma alteração com a entrada em vigor da nova versão da norma europeia referente às cais de construção. Atualmente existem três classes de NHL: NHL2, NHL3.5 e NHL5. Estas cais apresentam quantidades decrescentes de hidróxido de cálcio na sua constituição e, quando utilizadas em argamassas, conduzem a características crescentes de hidraulicidade. Portugal é um dos poucos países a nível mundial que produz cais hidráulicas naturais. É importante conhecer as características obtidas com a cal NHL2 que recentemente surgiu no mercado. Para além do ligante, o agregado, e nomeadamente a sua distribuição granulométrica, também desempenha um papel muito importante nas características das argamassas. Por estas razões formularam-se e caracterizaram-se, no estado fresco e endurecido, argamassas ao traço volumétrico 1:3 com NHL2 com três granulometrias distintas de agregados siliciosos: uma areia média, uma areia fina e uma mistura de areias com distribuição granulométrica semelhante à areia CEN. As características obtidas foram comparadas com as de argamassas realizadas com agregado idêntico mas formuladas com uma cal aérea CL90. Os ensaios mecânicos foram realizados aos 28 dias. Os resultados obtidos mostram que as argamassas com NHL2 estudadas, para o mesmo traço em volume, necessitam de uma quantidade massica menor de água que as argamassas de cal aérea CL e têm resistências mecânicas mais elevadas mas que parecem adequadas para aplicação na reparação de edifícios antigos. As argamassas produzidas com a mistura de areias próxima da areia CEN obtiveram resistências mecânicas mais elevadas que as argamassas produzidas com as areias monogranulares.

Motivation drivers of millenniums for engaging in crowdsourcing ventures

Double Degree

Argamassas de cais NHL2 e aérea. A influência dos agregados

O crescimento do mercado da reabilitação de edifícios torna importante o estudo de materiais que sejam adequados para este tipo de obras. Essencialmente devido a questões de compatibilidade, as cais de construção estão de novo a ser utilizadas em algumas obras em edifícios antigos. Neste trabalho, estudaram-se argamassas com base numa cal hidráulica natural NHL2, classificada segundo a última versão da norma NP EN 459Z1:2011, que foi recentemente lançada no mercado, e compararam-se com argamassas com base em cal aérea CL90 (com características conhecidas),ambas de produção nacional e classificadas segundo essa norma. Para além do ligante, o agregado, e nomeadamente a sua distribuição granulométrica, também desempenha um papel muito importante nas características das argamassas. Neste trabalho utilizou-se como agregado silicioso uma areia fina, uma areia grossa e uma areia resultante de mistura e com distribuição granulométrica semelhante à da areia CEN de referência. Assim, o objectivo desta dissertação foi essencialmente conhecer o comportamento físico e mecânico das argamassas, e a forma como o tipo de ligante (fracamente hidráulico ou aéreo) e a granulometria das areias o influencia. Produziram-se e caracterizaram-se, no estado fresco e endurecido, aos 28 e aos 90 dias, seis composições de argamassas ao traço 1:3 de NHL2 e de CL90 com as três granulometrias distintas de agregados. Os resultados obtidos mostram que as argamassas de NHL2 apresentam grandes poros esféricos, característicos dos ligante hidráulicos, e grandes poros-fissura, característicos dos ligantes aéreos; a existência deste dois tipos de poros provoca uma tendência de redução dos parâmetros mecânicos com a progressão da cura e maiores valores de porosidade aberta em relação às argamassas CL. As argamassas produzidas com a mistura de areias obtiveram resistências mecânicas mais elevadas, menor porosidade e melhor comportamento em relação à água que as argamassas produzidas com areias monogranulares.

Banco Invest's internationalization

Field lab: Business project

Getting the carry trade's jackpot

This Working Project studies five portfolios of currency carry trades formed with the G10 currencies. Performance varies among strategies and the most basic one presents the worst results. I also study the equity and Pure FX risk factors which can explain the portfolios’ returns. Equity factors do not explain these returns while the Pure FX do for some of the strategies. Downside risk measures indicate the importance of using regime indicators to avoid losses. I conclude that although using VAR and threshold regression models with a variety of regime indicators do not allow the perception of different regimes, with a defined exogenous threshold on real exchange rates, an indicator of liquidity and the volatilities of the spot exchange rates it is possible to increase the average returns and reduce drawdowns of the carry trades

WEB TV. Uma proposta na área das ciências da comunicação

Este relatório descreve as fases essenciais do desenvolvimento de uma proposta para uma Web TV num contexto universitário e sugere um modelo multimédia baseado num princípio de folksonomia. Este projecto pretende ser uma mais valia na forma como o trabalho académico é divulgado e partilhado e visa ser um instrumento que dá visibilidade ao trabalho desenvolvido numa instituição académica, dinamiza a relação entre alunos e professores e torna possível a publicação dos mesmos para o publico em geral. Foi desenvolvido a pensar nas especificidades do Departamento de Ciências da Comunicação (DCC) da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa (FCSH-UNL), sobretudo ao nível dos conteúdos de media produzidos nos ateliers e cadeiras práticas. Modelo que pode ser aplicado a outras instituições em contextos idênticos. A Web TV representa, no universo dos média, um conjunto muito alargado de aplicações que abrange a publicidade, o divertimento, o jornalismo e o ensino entre outras. O ensino é provavelmente a área em que a Web TV mais pode contribuir como meio privilegiado de divulgação e partilha de informação tanto dentro como fora de uma instituição universitária. Com a Web TV podem ser apresentados e criados os mais diversos conteúdos, como, por exemplo: conferências, aulas, documentários, teses e/ou qualquer outro conteúdo de texto ou multimédia que seja de natureza científica. As competências da Web 2.0, aplicadas na Web TV que proponho, conferem-lhe características únicas para a promoção e divulgação do conhecimento científico, revestindo assim este projecto de especial importância.

The new economy: Essays in network economics and two-sided markets

Following the Introduction, which surveys existing literature on the technology advances and regulation in telecommunications and on two-sided markets, we address specific issues on the industries of the New Economy, featured by the existence of network effects. We seek to explore how each one of these industries work, identify potential market failures and find new solutions at the economic regulation level promoting social welfare. In Chapter 1 we analyze a regulatory issue on access prices and investments in the telecommunications market. The existing literature on access prices and investment has pointed out that networks underinvest under a regime of mandatory access provision with a fixed access price per end-user. We propose a new access pricing rule, the indexation approach, i.e., the access price, per end-user, that network i pays to network j is function of the investment levels set by both networks. We show that the indexation can enhance economic efficiency beyond what is achieved with a fixed access price. In particular, access price indexation can simultaneously induce lower retail prices and higher investment and social welfare as compared to a fixed access pricing or a regulatory holidays regime. Furthermore, we provide sufficient conditions under which the indexation can implement the socially optimal investment or the Ramsey solution, which would be impossible to obtain under fixed access pricing. Our results contradict the notion that investment efficiency must be sacrificed for gains in pricing efficiency. In Chapter 2 we investigate the effect of regulations that limit advertising airtime on advertising quality and on social welfare. We show, first, that advertising time regulation may reduce the average quality of advertising broadcast on TV networks. Second, an advertising cap may reduce media platforms and firms' profits, while the net effect on viewers (subscribers) welfare is ambiguous because the ad quality reduction resulting from a regulatory cap o¤sets the subscribers direct gain from watching fewer ads. We find that if subscribers are sufficiently sensitive to ad quality, i.e., the ad quality reduction outweighs the direct effect of the cap, a cap may reduce social welfare. The welfare results suggest that a regulatory authority that is trying to increase welfare via regulation of the volume of advertising on TV might necessitate to also regulate advertising quality or, if regulating quality proves impractical, take the effect of advertising quality into consideration. 3 In Chapter 3 we investigate the rules that govern Electronic Payment Networks (EPNs). In EPNs the No-Surcharge Rule (NSR) requires that merchants charge at most the same amount for a payment card transaction as for cash. In this chapter, we analyze a three- party model (consumers, merchants, and a proprietary EPN) with endogenous transaction volumes and heterogenous merchants' transactional benefits of accepting cards to assess the welfare impacts of the NSR. We show that, if merchants are local monopolists and the network externalities from merchants to cardholders are sufficiently strong, with the exception of the EPN, all agents will be worse o¤ with the NSR, and therefore the NSR is socially undesirable. The positive role of the NSR in terms of improvement of retail price efficiency for cardholders is also highlighted.

A «vontade de verdade» nas Confissões de Santo Agostinho

Pelo menos a partir de Platão, o problema da “vontade de verdade” tornou-se um dos problemas filosóficos mais badalados do pensamento ocidental. A polémica e a tinta gasta à volta deste problema, a partir daí, foram mais que muitas. Desde a Antiguidade até aos séculos mais recentes o trabalho filosófico tenta e volta a tentar olhar para este problema. Muito resumidamente, o problema da “vontade de verdade” diz respeito à pergunta pela forma como está constituída a relação entre o homem e a verdade, i.e., entre o projecto vital humano e o seu projecto de conhecimento. Não deve causar espanto, por isso, que seja um dos problemas centrais da filosofia; está preso a duas questões essenciais do homem: a vida boa e a possibilidade de conhecer. As Confissões de Agostinho são um momento importante da discussão em torno do conceito de «vontade de verdade». Ao longo dos treze livros, Agostinho, que diz ter descoberto a verdade, parece situar-se numa posição impossível que se caracteriza pela radicalização tanto da necessidade de perseguição da “vontade de verdade” para alcançar a felicidade como pela radicalização do diagnóstico da profunda fragilidade do conhecimento humano. O objectivo deste estudo é mostar como tanto a identificação do homem com a ideia de “cor inquietum” como com a ideia de “cor contenebratum” se articula com a tese agostiniana de que se deve, a risco de todo o perigo, procurar a verdade.

Avaliação da exposição a aditivos alimentares em crianças dos 0 aos 3 anos: estudo exploratório

RESUMO - O aumento dos produtos processados na alimentação diária, em especial das crianças, tem repercussões no consumo aumentado de aditivos, cujas consequências são ainda ambíguas. Associado ao aumento do consumo deste tipo de alimentos encontra-se a prevalência de excesso de peso e obesidade infantil. O presente estudo exploratório pretendeu avaliar a exposição a aditivos alimentares em crianças dos 0 aos 3 anos, com base nos Limites Máximos de Utilização e nas Doses Diárias Admissíveis, e estudar a sua associação com variáveis como a idade, sexo, percentil de Índice de Massa Corporal e nível de escolaridade dos Pais. Pretendeu-se também identificar as categorias de alimentos consumidas que mais contribuíram para a exposição aos aditivos alimentares em estudo. Com base numa amostra de dados reportados em diários alimentares, foram selecionados 12 aditivos. Observaram-se ingestões estimadas superiores às DDA, para o dióxido de enxofre (E220), o ácido fumárico (E297) e o nitrito de sódio (E250). As categorias de alimentos “Açúcar, confeitaria e sobremesas açucaradas”, “Leite e produtos lácteos”, “Cereais e derivados” e “Pratos compostos”, foram as que mais contribuíram para a exposição dos aditivos selecionados. O presente trabalho permitiu inferir o perfil de exposição a aditivos alimentares em crianças, lançar resultados preliminares para justificar a necessidade de estudos mais pormenorizados, e a criação do sistema de monitorização nacional da ingestão de aditivos. Estudos sobre consumos de aditivos alimentares podem servir de base para elaboração de estratégias de saúde pública, com a finalidade de reduzir o consumo destas substâncias e promover hábitos alimentares mais saudáveis.