Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

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.

Extensible metadata repository for information systems

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

A gestão dos resíduos hospitalares e o papel da autoridade de saúde : caso do concelho da Amad

RESUMO O Problema. A natureza, diversidade e perigosidade dos resíduos hospitalares (RH) exige procedimentos específicos na sua gestão. A sua produção depende do número de unidades de prestação de cuidados de saúde (upcs), tipo de cuidados prestados, número de doentes observados, práticas dos profissionais e dos órgãos de gestão das upcs, inovação tecnológica, entre outros. A gestão integrada de RH tem evoluído qualitativamente nos últimos anos. Existe uma carência de informação sobre os quantitativos de RH produzidos nas upcs e na prestação de cuidados domiciliários, em Portugal. Por outro lado, os Serviços de Saúde Pública, abrangendo o poder de Autoridade de Saúde, intervêm na gestão do risco para a saúde e o ambiente associado à produção de RH, necessitando de indicadores para a sua monitorização. O quadro legal de um país nesta matéria estabelece a estratégia de gestão destes resíduos, a qual é condicionada pela classificação e definição de RH por si adoptadas. Objectivos e Metodologias. O presente estudo pretende: quantificar a produção de RH resultantes da prestação de cuidados de saúde, em seres humanos e animais nas upcs, do sistema público e privado, desenvolvendo um estudo longitudinal, onde se quantifica esta produção nos Hospitais, Centros de Saúde, Clínicas Médicas e Dentárias, Lares para Idosos, Postos Médicos de Empresas, Centros de Hemodiálise e Clínicas Veterinárias do Concelho da Amadora, e se compara esta produção em dois anos consecutivos; analisar as consequências do exercício do poder de Autoridade de Saúde na gestão integrada de RH pelas upcs; quantificar a produção média de RH, por acto prestado, nos cuidados domiciliários e, com um estudo analítico transversal, relacionar essa produção média com as características dos doentes e dos tratamentos efectuados; proceder à análise comparativa das definições e classificações de RH em países da União Europeia, através de um estudo de revisão da legislação nesta matéria em quatro países, incluindo Portugal. Resultados e Conclusões. Obtém-se a produção média de RH, por Grupos I+II, III e IV: nos Hospitais, por cama.dia, considerando a taxa de ocupação; por consulta, nos Centros de Saúde, Clínicas Médicas e Dentárias e Postos Médicos de Empresas; por cama.ano, nos Lares para Idosos, considerando a sua taxa de ocupação; e por ano, nas Clínicas de Hemodiálise e Veterinárias. Verifica-se que a actuação da Autoridade de Saúde, produz nas upcs uma diferença estatisticamente significativa no aumento das contratualizações destas com os operadores de tratamento de RH. Quantifica-se o peso médio de resíduos dos Grupos III e IV produzido por acto prestado nos tratamentos domiciliários e relaciona-se esta variável dependente com as características dos doentes e dos tratamentos efectuados. Comparam-se os distintos critérios utilizados na elaboração das definições e classificações destes resíduos inscritas na legislação da Alemanha, Reino Unido, Espanha e Portugal. Recomendações. Apresentam-se linhas de investigação futura e propõe-se uma reflexão sobre eventuais alterações de aspectos específicos no quadro legal português e nos planos de gestão integrada de RH, em Portugal. ABSTRACT The problem: The nature, diversity and hazardousness of hospital wastes (HW) requires specific procedures in its management. Its production depends on the number and patterns of healthcare services, number of patients, professional and administration practices and technologic innovations, among others. Integrated management of HW has been developping, in the scope of quality, for the past few years. There is a lack of information about the amount of HW produced in healthcare units and in the domiciliary visits, in Portugal. On the other hand, the Public Health Services, embracing the Health Authority’s power, play a very important role in managing the risk of HW production to public and environmental health. They need to use some indicators in its monitorization. In a country, rules and regulations define hospital waste management policies, which are confined by the addopted classification and definition of HW. Goals and Methods: This research study aims to quantify the production of HW as a result of healthcare services in human beings and animals, public service and private one. Through a longitudinal study, this production is quantified in Hospitals, Health Centers, Medical and Dental Clinics, Residential Centers for old people, Companies Medical Centers and Veterinary and Haemodyalisis Clinics in Amadora’s Council, comparing this production in two consecutive years. This study also focus the consequences of the Health Authority’s role in the healthcare services integrated management of HW. The middle production of HW in the domiciliary treatments is also quantified and, with a transversal analytic study, its association with patients and treatments’ characteristics is enhanced. Finally, the definitions and classifications in the European Union Countries are compared through a study that revises this matter’s legislation in four countries, including Portugal. Results and Conclusions: We get the middle production of Groups I+II, III and IV: HW: in Hospitals, by bed.day, bearing the occupation rate; by consultation, in Health Centers, Medical and Dental Clinics and Companies Medical Centers; by bed.year in Residential Centers for old people, considering their occupation rate; by year, in Veterinary and Haemodyalisis Clinics. We verify that the Health Authority’s role produces a significative statistical difference in the rise of the contracts between healthcare services and HW operators. We quantify the Groups III and IV’s wastes middle weight, produced by each medical treatment in domiciliary visits and relate this dependent variable with patients and treatments’ characteristics. We compare the different criteria used in the making of definitions and classifications of these wastes registered in German, United Kingdom, Spain and Portugal’s laws. Recommendations: Lines of further investigation are explaned. We also tender a reflexion about potential changes in rules, in regulations and in the integrated plans for managing hospital wastes in Portugal. RÉSUMÉ Le Problème. La gestion des déchets d'activités hospitalières (DAH) et de soins de santé (DSS) exige des procédures spécifiques en raison de leur nature, diversité et dangerosité. Leur production dépend, parmi d’autres, du nombre d’unités de soins de santé (USS), du type de soins administrés, du nombre de malades observés, des pratiques des professionnels et des organes de gestion des USS, de l’innovation technologique. La gestion intégrée des DAH et des DSS subit une évolution qualitative dans les dernières années. Il existe un déficit d’information sur les quantitatifs de DAH et de DSS provenant des USS et de la prestation de soins domiciliaires, au Portugal. D’autre part les Services de Santé Publique, y compris le pouvoir de l’Autorité de Santé, qui interviennent dans la gestion du risque pour la santé et pour l’environnement associé à la production de DAH et de DSS, ont besoin d’indicateurs pour leur surveillance. Dans cette matière le cadre légal établit la stratégie de gestion de ces déchets, laquelle est conditionnée par la classification et par la définition des DAH et des DSS adoptées par le pays. Objectifs et Méthodologie. Cet étude prétend: quantifier la production de DAH et de DSS provenant de la prestation de soins de santé, en êtres humains et animaux dans les USS du système public et privé. À travers un étude longitudinal, on quantifie cette production dans les Hôpitaux, Centres de Santé, Cliniques Médicales et Dentaires, Maisons de Repos pour personnes âgées, Cabinets Médicaux d’ Entreprises, Centres d’Hémodialyse et Cliniques Vétérinaires du municipe d’ Amadora, en comparant cette production en deux ans consécutifs; analyser les conséquences de l’exercice du pouvoir de l’Autorité de Santé dans la gestion intégrée des DAH et des DSS par les USS; quantifier la production moyenne de DAH et de DSS dans la prestation de soins domiciliaires et, avec un étude analytique transversal, rapporter cette production moyenne avec les caractéristiques des malades et des soins administrés; procéder à l’ analyse comparative des définitions et classifications des DAH et des DSS dans des pays de l’Union Européenne, à travers un étude de révision de la législation relative à cette matière dans quatre pays, Portugal y compris. Résultats et Conclusions. On obtient la production moyenne de DAH et des DSS, par Classes I+II, III et IV: dans les hôpitaux, par lit.jour, en considérant le taux d’occupation; par consultation, dans les Centres de Santé, Cliniques Médicales et Dentaires et Cabinets Médicaux d’ Entreprises par lit.an dans les Maisons de Repos pour personnes âgées en considérant le taux d’occupation; et par an, dans les Cliniques d’Hémodialyse et Vétérinaires. On constate que l’actuation de l’Autorité de Santé produit dans les USS une différence statistiquement significative dans l’accroissement de leurs contractualisations avec les opérateurs de traitement de DAH et de DSS. On quantifie le poids moyen des déchets des Classes III et IV produit par acte de prestation de soins à domicile et on rapporte cette variable dépendante avec les caractéristiques des malades et des soins administrés. On compare les différents critères utilisés dans l’élaboration des définitions et des classifications de ces déchets inscrites dans la légis

Strategic Noise Mapping with GIS for the Universitat Jaume I Smart Campus: best methodology practices

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Custos diretos do tratamento do cancro do cólon no Algarve

RESUMO - O cancro colorretal é um dos tumores mais comuns nos países desenvolvidos e um grave problema de saúde pública. Em Portugal constitui a terceira causa de morte por cancro em ambos os sexos e a segunda para cada sexo separadamente. A sua importância tem vindo a aumentar devido aos custos pessoais e sociais, surgindo internacionalmente como a segunda doença oncológica com os custos económicos mais elevados. No contexto atual, onde os gastos continuam a aumentar e os recursos são limitados, é importante tornar acessível aos decisores políticos o valor dos custos do cancro do cólon, para comparar opções para a prevenção e tratamento desta doença, no momento de afetar os recursos e financiamento do cancro. O objetivo do estudo é medir os custos diretos do tratamento do cancro do cólon na região do Algarve no ano de 2007. Para além da caracterização sociodemográfica e clínica dos doentes, pretende-se relacionar os custos das diferentes tipologias de diagnóstico e tratamento com os estádios da doença, com a idade e com o sexo. Propõe-se um estudo retrospetivo, analítico, transversal, que segue a abordagem custos da doença baseada na prevalência, adotando a perspetiva dos serviços de saúde. A principal fonte dos dados é a plataforma do ROR-Sul, extraindo-se a população constituída por todos os doentes com diagnóstico de cancro do cólon entre 1 de janeiro de 2007 e 31 de dezembro de 2007, residentes no distrito de Faro (n=170). Para a valorização dos custos recorre-se às Portarias que regulam as tabelas de preços dos serviços do Sistema Nacional de Saúde, à contabilidade analítica dos hospitais e ao Infarmed. Os resultados serão analisados através do Statistical Program for Social Sciences (SPSS) versão 20. De forma a verificar a existência de diferenças estatísticas, em termos de médias e da existência de relações, entre as variáveis sociodemográficas e clínicas utilizaram-se vários testes. Consideramos que este estudo será um importante ponto de partida para posteriores análises económicas completas, em termos dos seus custos e suas consequências, nomeadamente a realização da análise custo-efetividade de programas de prevenção primária e secundária do cancro do cólon.

Facebook brand fan pages and their impact on online branding and marketing strategy

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

Os livros de viagens medievais

Quando tomados no seu todo, os livros de viagens medievais formam um género multifacetado. São obras de carácter diverso, que têm na sua base propósitos igualmente diferenciados. No entanto, ainda que de forma variável e sem qualquer padrão estabelecido, o recurso comum a um conjunto de procedimentos narrativos garante aos textos que compõem este género diversificado uma forma literária autónoma no panorama da prosa medieva. Uma forma literária que, na essência, oferece uma visão bastante clara da concepção do mundo e da realidade na Idade Média, ao mesmo tempo que constitui uma fonte incontornável para compreender aspectos muito diversos da cultura medieval.

Hospital-empresa : crónica de um nascimento retardado : Políticas de saúde : Em foco

RESUMO - A gestão empresarial dos hospitais é uma velha aspiração do sistema e dos profissionais da saúde em Portugal. Já o Estatuto Hospitalar de 1968 previa a organização e a gestão dos hospitais «em termos de gestão empresarial». A Lei de Bases da Saúde, de 1990, relembrava que a administração das unidades de saúde deveria obedecer a «regras de gestão empresarial». O Hospital Fernando da Fonseca, criado desde 1991, foi objecto de concessão de gestão por contrato, precedendo concurso público, a uma entidade privada, em 1995. Em 1997, o relatório do Grupo de Trabalho sobre o Estatuto Jurídico do Hospital recomendava a adopção da figura de instituto público com natureza empresarial, adequada autonomia de gestão e forte responsabilidade, podendo regular-se, em alguns domínios, por normas de direito privado. Em 1998 foi criado o Hospital de São Sebastião, em Santa Maria da Feira, com formas inovadoras de gestão, utilizando meios de gestão maleáveis. Em 1999 foi criada a Unidade Local de Saúde de Matosinhos, englobando não apenas o Hospital de Pedro Hispano, naquela cidade, mas também os quatro centros de saúde da sua área de atracção. Em 2001 foi criado o Hospital do Barlavento Algarvio, em moldes semelhantes aos do Hospital de São Sebastião. Os restantes hospitais públicos mantiveram a estrutura e regras de funcionamento convencionais. Observa-se que o modelo de gestão convencional do hospital público tem hoje consequências desfavoráveis para os cidadãos, para os profissionais que nele trabalham e também para o sistema de saúde no seu conjunto. Em 2002, uma nova lei alterou disposições da Lei de Bases da Saúde de 1990 e aprovou um novo regime jurídico de gestão hospitalar. De acordo com ele, a rede de prestação de cuidados de saúde passou a integrar vários modelos de hospitais: hospitais SPA, hospitais EPE, hospitais SA, clínicas privadas com ou sem nome de hospital, instituições e serviços geridos por entidades públicas ou privadas, mediante contrato de gestão e hospitais PPP. Analisam-se os ganhos introduzidos pelo modelo inovador de hospital SA, no que respeita ao estatuto, dotação de capital, poderes especiais, regras de controlo financeiro, regimes laborais, órgãos sociais, instrumentos de gestão e direcção técnica. Finalmente, antecipa-se um quadro analítico de oportunidades e riscos sobre este modelo. As críticas têm-se concentrado sobre a estratégia de mudança e sobre o mecanismo de escolha dos dirigentes e das respectivas chefias intermédias. Em relação à estratégia, conclui-se ser a questão mais empírica do que conceptual. Em relação à forma de identificação dos dirigentes, recomenda-se o acompanhamento crítico da experiência, salientando-se, a par do que ela pode trazer de positivo, os riscos de partidarização e instabilidade.

A publicidade na advocacia

The aim of this dissertation is the analysis of the rules on advertising in advocacy. Presently this is a controversial issue that is far from being consensual. As we will demonstrate through the text, the arguments presented are, one the one hand, a safeguard of the deontological values of the profession that govern this professional class and, on the other hand, the interests of the legal service providers, in the current context. Opinions differ substantially among professionals who exercise the profession in individual practice, that defend balanced and fair rules to assert the true brightness of the professional lawyer, and those who work in an organized structure, such as the law firms, who defend more flexible rules in advertising and promoting the offices. Currently the rules of advertising for lawyers are provided by article 89º of the Statue of the Portuguese Bar Association. However, these rules will soon suffer adjustments that will take into consideration the Law no. 2/2013 of january 10, which will extend the scope of advertising for public associations, in order to increase the competition among these, at national or European level. Following this logic, arguments such as unequal access to available means of advertising for financial reasons or that the better publicized service is not always the most advantageous to the costumer will be analyzed and criticized.

Nacionalidade originária e por naturalização

The object of this dissertation is to study the law of nationality in two countries: Portugal and Brazil. For this, it is necessary to think back on the traditional criteria for granting nationality, jus soli and jus sanguinis, and the nature of the applicability of the same rights in both countries. The ultimate goal involves the connection between these two points, making a comparison between both legal systems, as well as an analysis of the interests underlying these standards, applying the relationships between these interests and their own rules, in an attempt to understand the problems raise these laws.