Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Diagnosis of an EPS module

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 Computadores

O controlo da tuberculose em Portugal : uma apreciação crítica epidemiológica gl

RESUMO - Com tanto ruído informativo e peças de informação incompletas e descontextualizadas, relativos ao controlo da tuberculose em Portugal, a chegarem ao cidadão e aos profissionais de saúde, não é fácil que eles disponham do conhecimento necessário ao desempenho dos respectivos papéis nesse controlo. O presente artigo pretende contribuir para um ganho real em conhecimento quanto (1) ao progresso no controlo da tuberculose em Portugal, enquadrado na evolução desse controlo noutras regiões pertinentes, e (2) aos aspectos do conhecimento disponível e da intervenção na população portuguesa que suscitem especial atenção, para melhoria no futuro imediato. Tem como estratégia integrar, e elevar ao nível de conhecimento, a informação disponibilizada nas fontes mais credíveis e pertinentes, valorizada no contexto da validade das mesmas fontes e da coerência dos diversos componentes. Relata o resultado de um exercício independente de apreciação crítica, com uma perspectiva epidemiológica. São observados: a situação actual, sobretudo a relativa aos anos de 2006 e 2007, e o desempenho do Programa Nacional de Controlo da Tuberculose (PNT), ambos relativizados à evolução recente e ao panorama internacional. O exercício de observação e revisão independentes baseia-se numa selecção de informação oficial e segue o mesmo método de abordagem que a O.M.S. faz nos seus relatórios anuais, à semelhança de outros exercícios já antes realizados. O controlo da tuberculose tem prosseguido a sua tímida, mas firme, evolução favorável, aproximando-se do nível já conseguido nos países seus vizinhos da Europa Ocidental. Em 2007, Portugal contribuiu para os 9 milhões de casos novos anuais, estimados no mundo, com 2916 casos notificados. A este número corresponde a taxa de incidência notificada de 25,7 por 100 000 habitantes e uma redução de 14% em relação ao ano anterior. Esta evolução afigura-se animadora, ainda que seja desejável um impacte mais acentuado do PNT, conforme é de esperar considerando o grau de desenvolvimento do País. A taxa de detecção de casos novos estimada é elevada e continua uma das melhores da Europa Ocidental — o que desfavorece artificialmente a imagem notificada do País, relativamente aos países com pior capacidade de detecção. A taxa de sucesso terapêutico melhorou de novo, situando- -se acima da meta de 85% preconizada pela O.M.S, para um bom controlo da tuberculose. Uma das consequências importantes é que se consegue um melhor aproveitamento da detecção habitualmente alcançada. O conhecimento no seu conjunto aponta para que o grau de controlo possa e deva realmente ser melhorado, sendo imperiosa a discriminação positiva das áreas geográficas e dos grupos populacionais em que tende a concentrar-se a emergência de maior número de casos e de resistências aos medicamentos. Deverão assim ser reforçados selectivamente tanto os meios de detecção e de intervenção clínica, como a qualidade da organização local da intervenção, para o cumprimento efectivo da estratégia DOTS. Enquanto programa vertical que atravessa os diversos níveis do sistema de cuidados de saúde, o desempenho do PNT sofre os efeitos das atribulações desses serviços, sobretudo os de cuidados primários, funcionando como uma «situação-marcadora» quanto ao desempenho do sistema de saúde. A evidência é de que é nesta primeira linha de cuidados que se decide o sucesso na detecção e no tratamento dos casos de tuberculose, reflectindo-se também aí o grau de desenvolvimento social e os comportamentos das populações, por sua vez determinantes do risco de doença e do sucesso terapêutico. ------------------- ABSTRACT - It is not easy that both the citizen and health professionals get enabled with the required knowledge, in order do play the corresponding roles in the control of tuberculosis, considering all the information noise and incomplete, out of context information pieces about the subject, that reach them. This paper is envisaging to contribute for a real gain in knowledge, regarding: (1) the progress in tuberculosis control in Portugal, framed by the evolution of such control in other pertinent regions and (2) the available knowledge and intervention aspects in the Portuguese population that require a special attention, for improvement. The article’s strategy is to integrate, and raise to a knowledge level, information provided by the most accredited and pertinent sources, interpreted as a function of the validity context of the same sources and of the coherence of the several components. Two aspects are observed: the current situation, in particular concerning years 2006 and 2007, and the performance of the National Programme for the Tuberculosis Control (PNT), both made relative to the recent evolution and to the international panorama. This independent observation and revision exercise is based on a selection of official information and follows the same approach that the World Health Organization (W.H.O.) uses in its annual reports, like other similar exercises previously undertaken. The control of tuberculosis is evolving in a shy, but firm, fashion, getting closer to the level already attained by the neighbor countries, in Western Europe. Portugal has contributed with 2916 new notified cases, to the 9 million annual cases estimated in the world, in 2007. This number corresponds to an incidence rate, for notified cases, of 25.7 per 100000 population, and to a reduction of 14% in one year. Such evolution seems encouraging, although a greater impact of PNT is desirable, as expected in relation to the degree of the Country development. Estimated new cases detection rate is high and keeps being one of the best in Western Europe — and this artificially disadvantages the notified image of the Country, as compared with other countries having a worst detection capacity. Treatment success rate has improved again and it is above the 85% target proposed by W.H.O., so that a good control of the disease is achieved. One of the important consequences is a better use of the attained detection. Altogether, knowledge suggests that the degree of control can and must be in fact better; and that a positive discrimination of geographic areas and population groups, in which a greater number of new cases and drug resistances tend to concentrate, is mandatory. Therefore, either clinical detection and intervention resources, or the quality of the local intervention organization have to be reinforced, if a total fulfillment of DOTS strategy is to be obtained. As a vertical programme that crosses the several levels of the health care system, PNT performance suffers the effects of services tribulations, mainly primary care, thus acting as a «markersituation » as to this system performance. Evidence shows that it is in this first line of care that success in both detection and treatment of tuberculosis cases is decided; and that this level also reveals the degree of social developmen

A random access MAC protocol for MPR satellite networks

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

Assessing self-organization and emergence in Evolvable Assembly Systems (EAS)

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

Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

Modern piracy

A definição de pirataria ou a desmistificação da sua origem, no tempo e espaço, revela maiores dificuldades do que atualmente. Com este trabalho propusemo-nos a estudar como é que a pirataria era perpetrada e entendida no passado, bem como no presente. Também nos propomos a identificar limitações legais e as medidas operativas no combate à pirataria, como por exemplo: limites conceptuais, lacunas, estratégias, entre outros. Por outro lado, atendemos as soluções encontradas no combate à pirataria sem deixar de observar fraqueza da lei e conflitos entre jurisdições. Por fim, o curso da história dá-nos a seguinte percepção: a pirataria era tida como crime se fosse contra os interesses das nações. O desinteresse dos Estados para reprimir a pirataria possibilitou o seu aumento, proliferação, domínio e sofisticação em certas regiões do Mundo. O presente trabalho tem como objetivo trazer para o centro da discussão os direitos humanos numa perspetiva tripla: proibição da pirataria, supressão e raízes, aliando o estudo de possíveis respostas a dar a esta epidemia.

Potencial Utilização de um Enterprise Resource Planning System para Suportar Práticas de Gestão de Conhecimento nas Organizações. Uma Aplicação com Dynamics Nav da Microsoft

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Labor adjustment dynamics: An application of system GMM

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Design, implementation, and performance of a distributed and scalable sensor system for critical distance measurements in the CMS detector at LHC

The “CMS Safety Closing Sensors System” (SCSS, or CSS for brevity) is a remote monitoring system design to control safety clearance and tight mechanical movements of parts of the CMS detector, especially during CMS assembly phases. We present the different systems that makes SCSS: its sensor technologies, the readout system, the data acquisition and control software. We also report on calibration and installation details, which determine the resolution and limits of the system. We present as well our experience from the operation of the system and the analysis of the data collected since 2008. Special emphasis is given to study positioning reproducibility during detector assembly and understanding how the magnetic fields influence the detector structure.

Designing and implementing a performance measurement system in Auto Ribeiro, Lda.

In any business it is very important to measure the performance and it helps to select key information to make better decisions on time. This research focuses on the design and implementation of a performance measurement system in a Portuguese medium size firm operating in the specialized health care transformation vehicles industry. From the evidence that outputs from Auto Ribeiro’s current information system is misaligned with the company’s objectives and strategy, this research tries to solve this business problem through the development of a Balanced Scorecard analysis, although there are some issues, which deserve further development.