Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Variações do repertório clássico nas aulas de Técnica de Dança Clássica do 4º e do 5º ano da Escola de Dança Ana Mangerição

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

On the performance limits of slotted CSMA/CA in IEEE 802.15.4 for broadcast transmissions in wireless sensor networks

The IEEE 802.15.4 has been adopted as a communication protocol standard for Low-Rate Wireless Private Area Networks (LRWPANs). While it appears as a promising candidate solution for Wireless Sensor Networks (WSNs), its adequacy must be carefully evaluated. In this paper, we analyze the performance limits of the slotted CSMA/CA medium access control (MAC) mechanism in the beacon-enabled mode for broadcast transmissions in WSNs. The motivation for evaluating the beacon-enabled mode is due to its flexibility and potential for WSN applications as compared to the non-beacon enabled mode. Our analysis is based on an accurate simulation model of the slotted CSMA/CA mechanism on top of a realistic physical layer, with respect to the IEEE 802.15.4 standard specification. The performance of the slotted CSMA/CA is evaluated and analyzed for different network settings to understand the impact of the protocol attributes (superframe order, beacon order and backoff exponent), the number of nodes and the data frame size on the network performance, namely in terms of throughput (S), average delay (D) and probability of success (Ps). We also analytically evaluate the impact of the slotted CSMA/CA overheads on the saturation throughput. We introduce the concept of utility (U) as a combination of two or more metrics, to determine the best offered load range for an optimal behavior of the network. We show that the optimal network performance using slotted CSMA/CA occurs in the range of 35% to 60% with respect to an utility function proportional to the network throughput (S) divided by the average delay (D).

Consumption of ultra-processed foods and their impact on the diet of young adults

OBJECTIVE To evaluate the consumption of ultra-processed foods, its associated factors, and its influence on nutrient intake in young adults.METHODS In 2004-2005, the individuals belonging to the Pelotas birth cohort of 1982 were identified for a home interview. A total of 4,297 individuals were interviewed and 4,202 individuals were included in the study (follow-up rate of 77.4%). Diet was assessed using a questionnaire on dietary intake and the percentage of daily caloric intake attributed to ultra-processed foods as well as the intake of macro- and micronutrients were estimated. The association between cohort characteristics and the consumption of ultra-processed foods was assessed using linear regression. Analysis of variance and Pearson’s Chi-square test were used to evaluate the association between the quintiles of the consumption of ultra-processed food, nutrient intake and adequacy of nutrient intake, respectively.RESULTS The consumption of ultra-processed foods corresponded to 51.2% of the total caloric intake. The consumption of ultra-processed foods was higher among women, individuals with higher education, and individuals who were never poor and eutrophic. The increased consumption of ultra-processed foods was positively correlated with the consumption of fat, cholesterol, sodium, iron, calcium, and calories (p < 0.001) and was negatively correlated with the consumption of carbohydrates, protein, and dietary fiber (p < 0.001).CONCLUSIONS The high consumption of ultra-processed foods and its positive correlation with the intake of sodium, cholesterol, and fats underscores the need to perform interventions aimed at decreasing the intake of this food group.

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.

Optimization of structures modeled with a Meshfree approach

Radial basis functions are being used in different scientific areas in order to reproduce the geometrical modeling of an object/structure, as well as to predict its behavior. Due to its characteristics, these functions are well suited for meshfree modeling of physical quantities, which for instances can be associated to the data sets of 3D laser scanning point clouds. In the present work the geometry of a structure is modeled by using multiquadric radial basis functions, and its configuration is further optimized in order to obtain better performances concerning to its static and dynamic behavior. For this purpose the authors consider the particle swarm optimization technique. A set of case studies is presented to illustrate the adequacy of the meshfree model used, as well as its link to particle swarm optimization technique. © 2014 IEEE.

Entropy analysis of integer and fractional dynamical systems

This paper investigates the adoption of entropy for analyzing the dynamics of a multiple independent particles system. Several entropy definitions and types of particle dynamics with integer and fractional behavior are studied. The results reveal the adequacy of the entropy concept in the analysis of complex dynamical systems.

Necessity to review the Brazilian regulation about fluoride toothpastes

The aim of this study was to evaluate the adequacy of the Brazilian legislation about fluoride toothpaste. A search was conducted in LILACS, Medline and SciELO databases about the fluoride concentration found in Brazilians toothpastes, using descriptors on health. Publications since 1981 have shown that some Brazilian toothpastes are not able to maintain, during their expiration time, a minimum of 1,000 ppm F of soluble fluoride in the formulation. However, the Brazilian regulation (ANVISA, Resolution 79, August 28, 2000) only sets the maximum total fluoride (0.15%; 1,500 ppm F) that a toothpaste may contain but not the minimum concentration of soluble fluoride that it should contain to have anticaries potential, which according to systematic reviews should be 1,000 ppm F. Therefore, the Brazilian regulation on fluoride toothpastes needs to be revised to assure the efficacy of those products for caries control.

Credit risk measures: a case of renewable energy companies

The Basel III will have a significant impact on the European banking sector. In September 2010, supervisors of various countries adopted the new rules proposed by the prudential Committee on Banking Supervision to be applied to the business of credit institutions (hereinafter called ICs) in a phased manner from 2013, assuming to its full implementation by 2019. The purpose of this new regulation is to limit the excessive risk that these institutions took on the period preceding the global financial crisis of 2008. This new regulation is known in slang by Basel III. Depending on the requirement of Basel II for banks and their supervisors to assess the soundness and adequacy of internal risk measurement and credit management systems, the development of methodologies for the validation of internal and external evaluation systems is clearly an important issue . More specifically, there is a need to develop tools to validate the systems used to generate the parameters (such as PD, LGD, EAD and ratings of perceived risk) that serve as starting points for the IRB approach for credit risk. In this context, the work is composed of a number of approaches and tools used to evaluate the robustness of these elements IRB systems.

Dificuldades de aprendizagem na leitura e na escrita: o contributo de jogos eletrónicos na motivação e na aprendizagem

Projeto de Intervenção apresentado à Escola Superior de Educação de Lisboa para obtenção do grau de Mestre em Educação Especial, Especialização em Problemas de Aprendizagem e Comportamento

O corpo como imagem e as imagens do corpo na contemporaneidade

Tese de doutoramento, Belas-Artes (Teoria da Imagem), Universidade de Lisboa, Faculdade de Belas-Artes, 2013

A importância do desenho infantil no jardim de infância: perspetiva de pais e de educadoras de infância

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Fisioterapia e reabilitação em Portugal : o financiamento como factor crítico do desempenho

RESUMO - Num contexto em que a prestação de cuidados de Fisioterapia e Reabilitação é identificada como apresentando uma desigualdade e desajustamento da oferta regional superior à dos restantes cuidados de saúde, assim como uma falta de adequação dos preços praticados, perante as condições de oferta e procura actualmente existentes, o presente trabalho tem por objectivo investigar, no domínio do Desempenho, a influência do Financiamento na definição da prestação destes cuidados, tendo como pressuposto genérico que as decisões estratégicas e a reestruturação produtiva das organizações de saúde são condicionadas pelo sistema de preços. Considera-se que o actual sistema de Financiamento/Pagamento provoca um constrangimento na qualidade da resposta destes cuidados a dois níveis: um primeiro nível, ao colocar o pagamento no âmbito dos Meios Complementares de Diagnóstico e Terapêutica (MCDTs) a contratar pelo Serviço Nacional de Saúde, com isso determinando a configuração organizativa do sistema; um segundo nível de constrangimento que incide sobre as estruturas das organizações prestadoras, pela modelação que induz, nomeadamente a nível da sua produção. Na impossibilidade de tratar as duas dimensões do problema, pela falta de indicadores de desempenho deste sector, analisou-se, relativamente ao segundo nível de constrangimento, a produção de fisioterapia de três organizações que, potencialmente, teriam o mesmo o mesmo perfil de oferta por se enquadrarem num mesmo perfil de procura. Os resultados reflectem o pressuposto genérico do trabalho e abrem espaço para colocar como futura hipótese de investigação a razão da(s) causa(s) que poderão estar subjacentes à discrepância encontrada na média de tratamentos por sessão (duas vezes e meia) na produção das duas organizações que foi possível comparar.------------------- ABSTRACT - In a context where the provision of Physical Therapy and Rehabilitation care is identified as having a regional mismatch of supply and inequality above all the others health cares, and a lack of adequacy of prices in the current conditions of supply and demand, the present work has, as main purpose, to investigate, in the field of Performance, the Payment’s influence in shaping the provision of such health care. The general assumption tracking this analysis is that the strategic decisions on productive structure of health care organizations are influenced by the price systems. It is considered that the current Finance / Payment system causes two levels of constraints on the quality of such health care: a first constraint, as it putts its payment under the Supplementary Means of Diagnosis and Therapy (MCDTs), witch ends up establishing the organizational setup of the system; a second level of constraint by modelling the internal structure of these organizations. The lack of indicators characterizing the performance of this sector, addressed the present study to the second dimension, in witch was analysed the physical therapy production in three organizations that, potentially, would have the same profile of supply responding to similar characteristics of demand. The results reflect the above mentioned general assumption that supported the work, and leave an open space for future research, about the reason (s) that lay behind the discrepancy found between the average of treatments per session (two and a half times) in

Contributo para o estudo do tempo de espera para radioterapia em Portugal : adaptação de um instrumento de recolha de dados

RESUMO - É reconhecido o impacto negativo e prejudicial que o tempo de espera tem para radioterapia sobre o controlo tumoral e a taxa de sobrevida, bem como a importância de estabelecer tempos máximos para o início do tratamento, de forma a garantir o cumprimento de uma boa prática. O presente projecto de investigação tem o objectivo de construir e validar uma grelha de observação, como instrumento de recolha de dados, que se pretende no futuro aplicar, de forma a poder contribuir para o estudo sobre o tempo de espera para radioterapia em Portugal. Para alcançar o objectivo proposto, optou-se pela metodologia usada por Drinkwater e Williams na re-auditoria efectuada no Reino Unido pelo Royal College of Radiologists, em 2007, sobre os tempos de espera para radioterapia. A grelha de observação elaborada foi baseada na grelha utilizada por Drinkwater e Williams, na revisão da literatura, e tendo em consideração a realidade portuguesa. Após a análise das respostas dos peritos, ao questionário de avaliação e adequação do instrumento à realidade portuguesa, parece existir concordância na adequação do instrumento, o que nos permite afirmar a possibilidade da aplicação do mesmo nos centros de radioterapia de Portugal. --- --------------------------------ABSTRACT - It is recognized the negative impact that radiotherapy waiting time have in tumour control and survival, as well the importance of establish maximum waiting times for the start of the treatment, in the sense to guarantee a good practice. The present investigation project aim is to build and validates a data collection tool, which pretends to apply in the future, in the sense to contribute for the study of the radiotherapy waiting time in Portugal. To accomplish the project aim, we chose the method used by Drinkwater and Williams in the re-audit performed in United Kingdom for the Royal College of Radiologists, in 2007, about the radiotherapy waiting time. The data collection tool built was based on the data collection tool used by Drinkwater and Williams, on the literature review and taking in account the Portuguese reality. After the analyse of the experts answers, it seems to exist agreement about the adequacy of the data collection tool, which allow us to claim the possibility of the tool application at radiotherapy centres, in Portugal.

O auditor interno e a gestão do risco empresarial

O objetivo central deste estudo consiste em demonstrar de que forma o trabalho do auditor interno contribui no processo de gestão de riscos empresariais. Neste sentido, faz-se uma abordagem sobre o conceito de Auditoria Interna, sendo uma atividade destinada a acrescentar valor à organização na medida em que a auxilia na consecução dos seus objetivos, proporcionando-lhe informações oportunas e relevantes para a tomada de decisão. Faz também considerações ao Controlo Interno, no sentido de que as organizações vão sentir diferentes necessidades de controlo interno dependendo da sua dimensão e complexidade do negócio. O controlo interno é um processo desenvolvido pelos Orgãos de Gestão com o propósito de garantir uma segurança razoável no cumprimento dos objetivos estabelecidos. Cabe ao auditor interno auxiliar nesse sentido, ou seja, debruçar-se sobre a avaliação da adequação e eficiência do Sistema de Controlo Interno. Por fim é abordada a importância da Gestão do Risco, neste contexto as organizações têm como compromisso prioritário a implementação de mecanismos de avaliação e gestão dos riscos que possam afetar as suas operações e o cumprimento dos objetivos estratégicos definidos. A Auditoria Interna vai fornecer segurança acerca da eficácia das atividades de gestão do risco das organizações para assegurar que os principais riscos de negócio estão a ser geridos de forma apropriada bem como os sistemas de controlo interno estão a funcionar eficazmente. Ainda na gestão do risco é abordado o modelo COSO ERM, instrumento importante para as organizações na medida em que melhoram a performance e o desempenho dos controlos internos implementados e progridem para um processo de gestão do risco. Faz-se também uma breve referência sobre a Lei Sox, que veio promover uma profunda reforma na elaboração dos relatórios financeiros, no detalhe minucioso sobre os aspetos do controlo interno nas organizações e na transparência das informações divulgadas pelas organizações.