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.

Assentar a primeira pedra

A presente dissertação tem como objectivo o estudo da primeira fase da institucionalização da investigação geológica em Portugal. São analisados os primeiros organismos responsáveis pelo levantamento geológico do território de Portugal continental, ou seja, a Comissão Geológica e Mineralógica, criada em 1848 no contexto da Academia Real das Ciências de Lisboa e chefiada pelo Engenheiro francês Charles Bonnet (1816-1867), e a Comissão Geológica do Reino, fundada em 1857 como secção dos Serviços Geodésicos, no quadro do Ministério das Obras Públicas Comércio e Indústria, liderada por Carlos Ribeiro (1813-1882) e Pereira da Costa (1809-1888). Sem ser efectuada uma análise exaustiva, são ainda abordadas as reformas implementadas depois da cessação de funções da Comissão Geológica do Reino, por se considerar a sua menção indispensável para a compreensão das consequências dos acontecimentos que conduziram à suspensão desta instituição. Neste estudo deu-se particular relevo aos objectivos, estrutura, organização e enquadramento institucional das Comissões Geológicas, analisando-se as relações estabelecidas com os organismos que as tutelavam e os factores que condicionaram o seu funcionamento, em especial aqueles que levaram à suspensão da Comissão Geológica e Mineralógica, em 1858, e à extinção da Comissão Geológica do Reino, dez anos depois. No que se refere à investigação da estrutura institucional das Comissões Geológicas, foi utilizada uma abordagem proposta por Bruno Latour no quadro dos “science studies”, por parecer a mais adequada à compreensão da estrutura e organização das duas Comissões, e do seu enquadramento na administração do Estado. Estas linhas orientadoras foram ainda complementadas com uma análise das intenções e motivações individuais dos protagonistas envolvidos, por terem sido consideradas determinantes no esclarecimento das razões que conduziram à dissolução da Comissão Geológica do Reino. No que se refere às actividades desenvolvidas por ambas as Comissões, serão analisados os respectivos planos e métodos de trabalho, os resultados da sua acção, as relações internacionais dos seus membros, bem como as suas contribuições científicas tendo em conta os padrões internacionais de prática geológica da época. Neste âmbito, demonstra-se que a Comissão Geológica do Reino produziu mais e melhores resultados, que se constituíram num “ciclo de acumulação”. Para este processo, foi determinante a criação de uma rede de apoio, sobretudo no estrangeiro, que garantiu não só a aquisição de colecções, mapas, periódicos e livros, mas também a circulação de conhecimento e o intercâmbio com instituições congéneres estrangeiras, o que permitiu aos geólogos da CGR ver o seu trabalho reconhecido na comunidade científica internacional.

Anuário científico da Escola Superior de Tecnologia da Saúde de Lisboa - 2013

A edição do terceiro anuário da Escola Superior de Tecnologia da Saúde de Lisboa, onde se procurou compilar toda a produção científica dos seus docentes, não docentes e estudantes relativa ao ano de 2013, constitui uma prova de continuidade e estabilidade deste projeto. O anuário apresenta-se assim, cada vez mais, como a referência oficial da atividade científica da ESTeSL, aumentando o número de dados submetidos e compilados neste documento. De salientar, neste capítulo, a manutenção do número de livros publicados relativamente ao ano anterior – quatro – e o aumento, para cerca de quatro dezenas, de artigos publicados em revistas internacionais. Encontram-se ainda incluídas as comunicações orais e em forma de póster, embora ainda sem a inserção dos respetivos resumos, o que esperamos ser possível na próxima edição, pelo menos em parte. De salientar também, à semelhança da ultima edição, a inclusão do resumo das dissertações de mestrado efetuadas na ESTeSL, bem como a atividade efetuada pelos estudantes do 4º ano dos diferentes cursos de licenciatura na Unidade Curricular de Investigação Aplicada.

Imunohistoquímica

Desde o seu surgimento que as técnicas que utilizam a reação anticorpo-antigénio para a deteção e caracterização de moléculas no seu local de origem têm sido denominadas de Imunohistoquímica e/ou Imunocitoquímica. Ao longo do tempo esta terminologia tem sido utilizada de forma frequente para identificar as mesmas metodologias de forma, por vezes, indiscriminada. Numa tentativa de evitar as incorreções e diminuir as associações erróneas de palavras-chave em livros e artigos, que podem provocar uma pulverização ou a omissão da bibliografia relevante existente, alguns autores têm tentado clarificar a nomenclatura utilizada, principalmente com base na natureza da amostra biológica que é analisada. O termo Imunohistoquímica é associado a metodologias que usam imuno-ensaios para co-localizar um epítopo de interesse em cortes de tecido. Também se englobam os métodos que recorrem a blocos de células ou de coágulos preparados a partir de materiais citológicos e hematológicos. Na maioria dos casos, o tecido é removido do ser vivo e conservado/fixado por congelação ou por métodos químicos (e.g. formaldeído) e embebido em parafina. Posteriormente são obtidas secções muito finas, de cerca de 4μm, a partir do material congelado ou incluído em parafina e colocadas em lâminas de vidro. Desta forma, é possível co-localizar os antigénios nos componentes histológicos e celulares, mantendo a arquitetura original do tecido circundante. Dependendo do método de fixação, as amostras de tecidos e/ou células podem ser sujeitas a estratégias de recuperação antigénica.

Política de humanização na atenção básica: revisão sistemática

OBJETIVO : Analisar as práticas de humanização na atenção básica na rede pública do sistema de saúde brasileiro com base nos princípios da política nacional de humanização do Brasil. MÉTODOS : Procedeu-se à revisão sistemática da literatura seguida de metassíntese, usando as bases de dados: BDENF (Base de dados da enfermagem), BDTD (Biblioteca digital brasileira de teses e dissertações), CINAHL ( Cumulative Index to nursing and allied health literature ), LILACS (Literatura Latino-americana e do Caribe em ciências da saúde), MedLine (Literatura Internacional em ciência da Saúde), PAHO (Biblioteca da Organização Pan-Americana da Saúde) e SciELO ( Scientific Electronic Library Online ). Foram selecionados os seguintes descritores de assunto: Humanização; Humanização da Assistência; Acolhimento; Cuidado humanizado; Humanização em saúde; Vínculo; Programa de Saúde da Família; Atenção Básica; Saúde Coletiva e Sistema Único de Saúde. Para análise, foram incluídos artigos de pesquisa, estudos de caso, relatos de experiências, dissertações, teses e capítulos de livros, escritos em língua portuguesa, inglesa ou espanhola, publicados de 2003 a 2011. RESULTADOS : Das 4.127 publicações recuperadas sobre o tema, foram avaliadas e incluídas 40, chegando a três categorias centrais. A primeira, infraestrutura e organização dos serviços básicos de saúde, evidenciou insatisfação com a estrutura física e material e com os fluxos de atendimento que podem facilitar ou dificultar o acesso. A segunda refere-se ao processo de trabalho, que apresentou questões relacionadas ao número insuficiente de profissionais, fragmentação dos processos de trabalho, perfil e responsabilização profissional. A terceira consistiu das tecnologias das relações e apontou o acolhimento, vínculo, escuta, respeito e diálogo com os usuários. CONCLUSÕES : Embora muitas práticas sejam citadas como humanizadoras, não conseguem produzir mudanças nos serviços de saúde por falta de uma análise mais aprofundada nos processos de trabalho e de uma educação permanente no serviço.

Outsourcing das actividades de marketing digital nas PME

Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor Freitas Santos

Caracterização hidráulica, hidrológica e do transporte sólido das principais linhas de água (ribeiras) do concelho de Câmara de Lobos: ilha da Madeira

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Hidráulica

From seashore to seashore: the cross-Atlantic agenda of the publisher António de Sousa Pinto

During the whole of the nineteenth century and the first decades of the twentieth century the transatlantic book trade was plainly asymmetrical, with Brazil seen by book vendors in Portugal as a natural extension of their market, destined to import books — a situation due largely to the incipient nature of Brazilian book production. However, the rapid development of the Brazilian printing and publishing industry in the first half of the twentieth century brought profound changes in the circulation of print material and in the traditional movements in the transatlantic book trade. Aware of those changes, some publishers and booksellers sought ways of expanding their businesses, by creating new openings for the circulation of books between the two countries. Taking the particular case of António de Sousa Pinto and his three Luso-Brazilian publishing ventures of the 1940s (Livros de Portugal, Edições Dois Mundos and Livros do Brasil), this article tries to understand the way publishers behaved in bringing together the two sides of the Atlantic closer together for the Lusophone book.

Geração de código VHDL a partir de especificações IOPT PNML2VHDL

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre em Engenharia Electrotécnica e de Computadores

(1) ANAIS - Educação e Desenvolvimento

Os Anais da Unidade de Investigação em Educação e Desenvolvimento (UIED) não pretendem ser, em sentido próprio, uma "publicação". A razão por que nasceram é a de responder primeiramente a uma necessidade de construção da identidade científica da UIED e não tanto promover a difusão externa pública dos resultados de investigação. Este primeiro número dá alguma medida da dimensão que a UIED atingiu no ano 2000 em programas e em projectos de investigação. Embora assumindo uma perspectiva de delimitação, tão clara quanto possível em trabalho científico, das suas linhas de investigação, o crescimento do número de investigadores e o inevitável enriquecimento das consequentes perspectivas científicas, obrigam a um esforço de síntese e de integração dos vários pensamentos que se vão construindo cientificamente no seio da UIED. A coesão e partilha conceptual e metodológica da UIED constroem-se na reunião semanal dos seus investigadores em torno das investigações que estão em curso. Mas a intervenção em conferências, seminários, encontros, nacionais e internacionais, reflectem em textos escritos a reflexão científica que dificilmente os investigadores da UIED podem pôr de forma aprofundada em comum semanalmente nos seus encontros. Os Anais nascem, por isso, para responder à necessidade de circulação interna da produção científica dispersa dos investigadores. São uma "selecta", não incluindo tudo o que os investigadores da UIED produziram ao longo do ano 2000. Alguns dos textos seleccionados poderão até estar, ou vir a ser, efectivamente publicados, em livros ou em artigos nacionais ou internacionais, mas a razão por que são incluídos nos Anais é o da sua pertinência científica no âmbito do desenvolvimento da unidade de investigação. O facto de terem esta intenção de fecundação interna, não impede, no entanto, que os Anais possam também desempenhar, desde já, algum papel na partilha de caminhos de investigação entre a UIED e outros centros e equipas de investigação. Teresa Ambrósio

Análise cromatográfica e identificação de marcadores de envelhecimento de documentos gráficos

Dissertação apresentada para obtenção do grau de Mestre em Bioorgânica

Direito de Autor, intimidade privada e ambiente digital: reflexões sobre a cópia privada de obras intelectuais

Araucaria. Revista Iberoamericana de Filosofia, Política y Humanidades - Año 9, Nº 18, Segundo semestre de 2007

Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Isabel Alçada

Faces de Eva, N.º 19,(2008), p.p.139-145

A emergência da leitura em crianças no jardim de infância

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