Run-time monitoring approach for the shark kernel

Typically common embedded systems are designed with high resource constraints. Static designs are often chosen to address very specific use cases. On contrast, a dynamic design must be used if the system must supply a real-time service where the input may contain factors of indeterminism. Thus, adding new functionality on these systems is often accomplished by higher development time, tests and costs, since new functionality push the system complexity and dynamics to a higher level. Usually, these systems have to adapt themselves to evolving requirements and changing service requests. In this perspective, run-time monitoring of the system behaviour becomes an important requirement, allowing to dynamically capturing the actual scheduling progress and resource utilization. For this to succeed, operating systems need to expose their internal behaviour and state, making it available to the external applications, usually using a run-time monitoring mechanism. However, such mechanism can impose a burden in the system itself if not wisely used. In this paper we explore this problem and propose a framework, which is intended to provide this run-time mechanism whilst achieving code separation, run-time efficiency and flexibility for the final developer.

Problems in the regulatory policy of the drug market

OBJECTIVE Analyze the implementation of drug price regulation policy by the Drug Market Regulation Chamber.METHODS This is an interview-based study, which was undertaken in 2012, using semi-structured questionnaires with social actors from the pharmaceutical market, the pharmaceuticals industry, consumers and the regulatory agency. In addition, drug prices were compiled based on surveys conducted in the state of Sao Paulo, at the point of sale, between February 2009 and May 2012.RESULTS The mean drug prices charged at the point of sale (pharmacies) were well below the maximum price to the consumer, compared with many drugs sold in Brazil. Between 2009 and 2012, 44 of the 129 prices, corresponding to 99 drugs listed in the database of compiled prices, showed a variation of more than 20.0% in the mean prices at the point of sale and the maximum price to the consumer. In addition, many laboratories have refused to apply the price adequacy coefficient in their sales to government agencies.CONCLUSIONS The regulation implemented by the pharmaceutical market regulator was unable to significantly control prices of marketed drugs, without succeeding to push them to levels lower than those determined by the pharmaceutical industry and failing, therefore, in its objective to promote pharmaceutical support for the public. It is necessary reconstruct the regulatory law to allow market prices to be reduced by the regulator as well as institutional strengthen this government body.

Mono(Eta(5)-cyclopentadienyl)metal(II) complexes with thienyl acetylide chromophores: synthesis, electrochemical studies, and first hyperpolarizabilities

A series of mono(eta(5)-cyclopentadienyl)metal-(II) complexes with nitro-substituted thienyl acetylide ligands of general formula [M(eta(5)-C5H5)(L)(C C{C4H2S}(n)NO2)] (M = Fe, L = kappa(2)-DPPE, n = 1,2; M = Ru, L = kappa(2)-DPPE, 2 PPh3, n = 1, 2; M = Ni, L = PPh3, n = 1, 2) has been synthesized and fully characterized by NMR, FT-IR, and UV-Vis spectroscopy. The electrochemical behavior of the complexes was explored by cyclic voltammetry. Quadratic hyperpolarizabilities (beta) of the complexes have been determined by hyper-Rayleigh scattering (HRS) measurements at 1500 nm. The effect of donor abilities of different organometallic fragments on the quadratic hyperpolarizabilities was studied and correlated with spectroscopic and electrochemical data. Density functional theory (DFT) and time-dependent DFT (TDDFT) calculations were employed to get a better understanding of the second-order nonlinear optical properties in these complexes. In this series, the complexity of the push pull systems is revealed; even so, several trends in the second-order hyperpolarizability can still be recognized. In particular, the overall data seem to indicate that the existence of other electronic transitions in addition to the main MLCT clearly controls the effectiveness of the organometallic donor ability on the second-order NLO properties of these push pull systems.

O Tratamento da Violência na Informação de Serviço Público: o Caso da RTP

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Implementação da filosofia pull na produção na empresa Schnellecke

Trabalho Final de mestrado para obtenção do grau de Mestre em Engenharia Mecânica perfil Manutenção e Produção

Migracion, prácticas artísticas y artivismos

Una de las potencialidades del arte es devenir una herramienta para enfocar determinados conflictos desde nuevos ángulos y articular preguntas que impacten en la comunidad. Aquí el arte se funde con la filosofía, la sociología, la antropología, con el activismo, y con la propia vida. A partir de tales parámetros, se esbozarán diversas propuestas artísticas que ilustran cómo distintos creadores abordan –desde distintos ángulos– el fenómeno de la migración Dentro de la amplia miríada de perspectivas desde las que se puede tratar la migración es interesante resaltar el trabajo de varios artistas que se transforman en altavoces de las experiencias de otras personas, tal y como ejemplifican los proyectos de Pep Dardanyà, Marisa González, He Chengyue y Josep María Martín. Desde un ángulo radicalmente distinto, Santiago Sierra y el colectivo Yes lab reproducen y llevan al límite las mismas dinámicas de explotación que critican, y para finalizar, bajo el prisma de la experiencia vivida, la artista Fiona Tan explora su propio proceso migratorio e investiga la construcción de la identidad.

Bridging environmental conflicts with social metabolism : forestry expansion and socioeconomic change

Dissertação apresentada para obtenção do Grau de Doutor em Ciências do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Reforço de lajes de betão armado usando pós-tensãocom ancoragens por aderência

Dissertação para obtenção do Grau de Doutor em Engenharia Civil,Especialidade Estruturas

A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution

The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.

A Study on Microstructure Characteristics of TEPs-modified Adhesives

Thermally expandable particles (TEPs) were developed by Dow Chemical Co in the early 1970´s [1] and were further developed by others [2, 3]. They are particles made up of a thermoplastic shell filled with liquid hydrocarbon. On heating them, two transformations will occur. One is the softening of shell material and the other is the gasification of the hydrocarbon liquid inside it. As a consequence, the shell will expand as the gas inside it will push the softened shell from inside out causing it to grow in size [4]. When fully expanded, the growth in volume of the particle can be from 50 to 100 times [3]. Owing to this unique behaviour, TEPs are used by the industry in a wide variety of applications mainly for weight reduction and appearance improvement for thermoplastics, inks, and coatings. In adhesive bonding, TEPs have been used for recycling purposes. Moreover, TEPs might be used to modify structural adhesives for other new purposes, such as: to increase the joint strength by creating an adhesive functionally modified along the overlap of the joint by gradual heating and/or to heal the adhesive in case of damage.

Amostragem Adaptativa em Redes de Sensores

Uma nova área tecnológica está em crescente desenvolvimento. Esta área, denominada de internet das coisas, surge na necessidade de interligar vários objetos para uma melhoria a nível de serviços ou necessidades por parte dos utilizadores. Esta dissertação concentra-se numa área específica da tecnologia internet das coisas que é a sensorização. Esta rede de sensorização é implementada pelo projeto europeu denominado de Future Cities [1] onde se cria uma infraestrutura de investigação e validação de projetos e serviços inteligentes na cidade do Porto. O trabalho realizado nesta dissertação insere-se numa das plataformas existentes nessa rede de sensorização: a plataforma de sensores ambientais intitulada de UrbanSense. Estes sensores ambientais que estão incorporados em Data Collect Unit (DCU), também denominados por nós, medem variáveis ambientais tais como a temperatura, humidade, ozono e monóxido de carbono. No entanto, os nós têm recursos limitados em termos de energia, processamento e memória. Apesar das grandes evoluções a nível de armazenamento e de processamento, a nível energético, nomeadamente nas baterias, não existe ainda uma evolução tão notável, limitando a sua operacionalidade [2]. Esta tese foca-se, essencialmente, na melhoria do desempenho energético da rede de sensores UrbanSense. A principal contribuição é uma adaptação do protocolo de redes Ad Hoc OLSR (Optimized Link State Routing Protocol) para ser usado por nós alimentados a energia renovável, de forma a aumentar a vida útil dos nós da rede de sensorização. Com esta contribuição é possível obter um maior número de dados durante períodos de tempo mais longos, aproximadamente 10 horas relativamente às 7 horas anteriores, resultando numa maior recolha e envio dos mesmos com uma taxa superior, cerca de 500 KB/s. Existindo deste modo uma aproximação analítica dos vários parâmetros existentes na rede de sensorização. Contudo, o aumento do tempo de vida útil dos nós sensores com recurso à energia renovável, nomeadamente, energia solar, incrementa o seu peso e tamanho que limita a sua mobilidade. Com o referido acréscimo a determinar e a limitar a sua mobilidade exigindo, por isso, um planeamento prévio da sua localização. Numa primeira fase do trabalho analisou-se o consumo da DCU, visto serem estes a base na infraestrutura e comunicando entre si por WiFi ou 3G. Após uma análise dos protocolos de routing com iv suporte para parametrização energética, a escolha recaiu sobre o protocolo OLSR devido à maturidade e compatibilidade com o sistema atual da DCU, pois apesar de existirem outros protocolos, a implementação dos mesmos, não se encontram disponível como software aberto. Para a validação do trabalho realizado na presente dissertação, é realizado um ensaio prévio sem a energia renovável, para permitir caracterização de limitações do sistema. Com este ensaio, tornou-se possível verificar a compatibilidade entre os vários materiais e ajustamento de estratégias. Num segundo teste de validação é concretizado um ensaio real do sistema com 4 nós a comunicar, usando o protocolo com eficiência energética. O protocolo é avaliado em termos de aumento do tempo de vida útil do nó e da taxa de transferência. O desenvolvimento da análise e da adaptação do protocolo de rede Ad Hoc oferece uma maior longevidade em termos de tempo de vida útil, comparando ao que existe durante o processamento de envio de dados. Apesar do tempo de longevidade ser inferior, quando o parâmetro energético se encontra por omissão com o fator 3, a realização da adaptação do sistema conforme a energia, oferece uma taxa de transferência maior num período mais longo. Este é um fator favorável para a abertura de novos serviços de envio de dados em tempo real ou envio de ficheiros com um tamanho mais elevado.

Three transducers for one photodetector: essays for optical communications

Dissertation presented to obtain the PhD degree in Electrical and Computer Engineering - Electronics

Reference-free high-speed cmos pipeline analog-to-digital converters

Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical and Computer Engineering of the Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa

What makes people stay in or leave shrinking cities? An empirical study from Portugal

The relative attractiveness of cities as places to live determines population movements in or out of them. Understanding the appealing features of a city is fundamental to local governments, particularly for cities facing population decline. Pull and push attributes of cities can include economic aspects, the availability of amenities and psychological constructs, initiating a discussion around which factors are more relevant in explaining migration. However, a pull–push approach has been underexplored in studies of shrinking cities. In the present study, we contribute to the discussion by identifying pull and push factors in Portuguese shrinking cities. Data were collected using a face-to-face questionnaire survey of 701 residents in four shrinking cities: Oporto, Barreiro, Peso da Régua and Moura. Factor analysis and automatic linear modelling were used to analyse the data. Our results support previous findings that the economic activity of a city is the most relevant feature for retaining residents. However, other characteristics specific to each city, especially those related to heritage and natural beauty, are also shown to influence a city’s attractiveness as a place to live. The cause of population shrinkage is also found to influence residents’ assessments of the pull and push attributes of each city. Furthermore, the results show the relevance of social ties and of place attachment to inhabitants’ intention to continue living in their city of residence.

Foresight exercises as a tool for decision-making: the example of two case studies in health

Based on the report for the unit “Foresight Methods Analysis” of the PhD programme on Technology Assessment at the Universidade Nova de Lisboa, under the supervision of Prof. Dr. António B. Moniz