889 resultados para Almost always propositional logic
Resumo:
Dissertação de natureza científica realizada para obtenção do grau de Mestre em Engenharia de Redes de Computadores e Multimédia
Resumo:
Catastrophic events, such as wars and terrorist attacks, tornadoes and hurricanes, earthquakes, tsunamis, floods and landslides, are always accompanied by a large number of casualties. The size distribution of these casualties has separately been shown to follow approximate power law (PL) distributions. In this paper, we analyze the statistical distributions of the number of victims of catastrophic phenomena, in particular, terrorism, and find double PL behavior. This means that the data sets are better approximated by two PLs instead of a single one. We plot the PL parameters, corresponding to several events, and observe an interesting pattern in the charts, where the lines that connect each pair of points defining the double PLs are almost parallel to each other. A complementary data analysis is performed by means of the computation of the entropy. The results reveal relationships hidden in the data that may trigger a future comprehensive explanation of this type of phenomena.
Resumo:
After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.
Resumo:
Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade Supervisão em Educação
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e telecomunicações
Resumo:
O setor dos edifícios representa perto de 40% do consumo de energia final na Europa e cerca de 30% no caso de Portugal [1]. Para fazer face a esta situação foi elaborada e aprovada uma Diretiva Europeia Relativa ao Desempenho Energético dos Edifícios, que foi transposta a nível nacional através de um pacote legislativo assente em três pilares, nomeadamente o Sistema Nacional de Certificação Energética e da Qualidade do Ar Interior (SCE), o Regulamento dos Sistemas Energéticos de Climatização em Edifícios (RSECE) e o Regulamento das Características de Comportamento Térmico dos Edifícios (RCCTE). Atuando ao nível da eficiência energética o consumo de energia nos edifícios pode diminuir para metade, para tal é necessário proceder-se à execução de auditorias energéticas para poder determinar as soluções mais adequadas de forma a reduzir os desperdícios e custos associados ao consumo de energia. Nesta dissertação desenvolveu-se uma metodologia para a realização de auditorias energéticas em edifícios que assenta essencialmente em cinco etapas, nomeadamente: o planeamento, a análise do estado atual, o planeamento estratégico, a elaboração de relatório e a implementação de medidas com acompanhamento de resultados. A aplicação desta metodologia constitui uma grande ajuda na realização de auditorias energéticas conferindo uma maior qualidade à sua execução. De forma a validar a metodologia efetuada foi realizado o estudo de três casos práticos relativos a três agências bancárias (denominadas de A, B e C), em que duas delas pertencem a um projeto de eficiência energética que engloba 50 agências e uma outra que pertence a um outro projeto de apenas 3 agências. A metodologia segue a mesma lógica para as três agências, no entanto, em termos de validação, a última instalação baseia-se nos consumos dos dados monitorizados em contínuo.
Resumo:
Dentro dos vários processos de Intervenção Precoce, elegemos o brincar, enquanto ato sempre presente na criança. Na revisão de literatura verifica-se uma quase inexistência de estudos de Intervenções centradas no jogo em crianças institucionalizadas desde os 0 anos. Assim, partimos de duas questões fulcrais: quais os riscos associados à institucionalização prolongada e precoce, e de que modo o jogo e o brincar potenciam o desenvolvimento e a aprendizagem da criança em risco biológico e sociocultural. O presente estudo tem como objetivo promover, através de um estudo de caso, a relação do lúdico com o desenvolvimento e a aprendizagem, imprescindíveis numa criança em situação de institucionalização. Partimos da problemática da institucionalização infantil, expondo os diversos trabalhos apresentados pela revisão bibliográfica relativamente aos riscos associados à condição de institucionalização. Os diversos estudos sublinham que, efetivamente, não será a única solução para as crianças em risco, apontando para a legislação atual que prevê o acolhimento familiar como solução viável e mais ajustada às necessidades das crianças. Apresentamos ainda a teoria do desenvolvimento de Vygotsky como fundamento teórico-prático deste trabalho de intervenção centrada no brincar.
Resumo:
Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.
Resumo:
This article studies the intercultural trajectory of a Portuguese female aristocrat of the eighteenth to nineteenth centuries. Her trajectory of intercultural transition from a Portuguese provincial lady into an independent owner of a sugar mill in tropical Bahia is documented through family letters, which provide a polyphonic representation of a movement of personal, family, and social transculturation over almost two decades. Maria Bárbara began her journey between cultures as a simple spectator-reader, progressively becoming a commentator-actor-protagonist-author in society, in politics, and in history. These letters function as a translation that is sometimes consecutive, other times simultaneous, of the events lived and witnessed. This concept of intercultural translation is based on the theories of Boaventura de Sousa Santos (2006, 2008), who argues that cultural differences imply that any comparison has to be made using procedures of proportion and correspondence which, taken as a whole, constitute the work of translation itself. These procedures construct approximations of the known to the unknown, of the strange to the familiar, of the ‘other’ to the ‘self’, categories which are always unstable. Likewise, this essay explores the unstable contexts of its object of study, with the purpose of understanding different rationalities and worldviews.
Resumo:
As instalações de ar comprimido são uma constante em quase todo o tipo de indústria, já que o ar comprimido assume cada vez mais importância como fonte de energia para a movimentação de dispositivos com cargas moderadas ou médias. O uso cada vez mais frequente da pneumática por via da automação de sistemas e processos de fabrico, é outro fator que tem incrementado fortemente o uso de instalações de ar comprimido. A utilização de ar comprimido tem subjacente um ou mais compressores, responsáveis por captar o ar e criar as condições necessárias de pressão na rede que vai abastecer uma qualquer instalação industrial, ou mesmo comercial, como no caso dos serviços de reparação automóvel, entre outras. Desta forma, cria-se uma forte dependência em torno desta fonte de energia, sendo a avaria do compressor um fator extremamente limitativo do processo produtivo ou dos serviços a prestar. As empresas fabricantes de compressores, cientes deste facto, têm primado pela fiabilidade. No entanto, os utilizadores nem sempre criam as condições ideais para o funcionamento desses compressores, conduzindo a problemas de funcionamento. Neste trabalho pretendeu-se elaborar um estudo que permitisse identificar quais as causas que estão por detrás das avarias mais frequentes de alguns dos modelos mais vendidos pela Ingersoll-Rand no nosso país, através da Comingersoll, analisando as mesmas e tentando encontrar soluções que evitassem essas avarias. O estudo permitiu dissecar as avarias registadas em cinco diferentes modelos nos últimos anos, identificar possíveis causas, perceber a frequência com que ocorrem e sugerir melhorias que pudessem minimizar a ocorrência dessas mesmas avarias.
Resumo:
Standarização de um posto de trabalho não é mais que definir o melhor método de trabalho que vai ser seguido por todos os operadores que trabalham no mesmo. Uma vez definido esse método, é importante para uma empresa ter noção da produtividade que podem alcançar, dado que pode ser retirado a partir deste método, e é no seguimento disto que surge o estudo dos métodos e tempos, mais concretamente o estudo dos tempos por cronometragem. A aplicação deste estudo foi despoletada pela necessidade do IKEA Industry de Paços de Ferreira, em dar o próximo passo na standarização dos seus postos de trabalho, área a área, e da necessidade de terem uma pessoa em cada área que analisa-se o trabalho que estava a ser feito e calcula-se o tempo de cada rotina. Neste documento, é realizada uma interligação entre os conceitos teóricos que o método exige, como todo o conjunto de fórmulas, restrições, análises e ponderações, com o contexto laboral onde o mesmo foi aplicado e a estratégia desenvolvida pelo IKEA na realização do estudo. O estudo dos métodos e tempos por cronometragem, de todos os métodos existentes, pode ser considerado o mais completo e complexo, uma vez que é mais que observar, registar e retirar uma média ponderada das observações. Este método baseia-se num modelo matemático, que interliga uma série de conceitos e que tem sempre o operador em consideração, seja na avaliação e análise das tarefas que requerem mais esforço dos mesmos, físico ou psicológico, seja em termos de tempos de pausas pessoais que a lei obriga a que as empresas deem. Este detalhe, neste método, é de grande importância, uma vez que a standarização é sempre vista pelos operadores como uma punição. As desvantagens deste método estão no grau de conhecimento e capacidade de observação exigidas ao analista para o executar. Melhor dizendo, um analista que vá executar este trabalho necessita observar muito bem a rotina de trabalho e conhecer onde começa, acaba e tudo o que a ela não pertence, antes de começar a registar seja que tempos forem. Para além disso, é exigido ao analista que perceba o ritmo de trabalho dos operadores através da observação dos mesmos, de modo a que ninguém seja prejudicado. E por fim, é necessária uma grande disponibilidade da parte do analista para retirar o máximo de observações possíveis. Com o intuito de facilitar esta análise, o IKEA Industry criou um ficheiro que compila toda a informação relacionada com o método, e uma explicação de todos os parâmetros que o analista necessita ter em atenção. Esta folha de trabalho foi validada à luz do método, como é possível verificar no decorrer do documento. Um detalhe importante a referir, é que por muito fidedigno que seja este método, tal como qualquer método de standarização, a mínima alteração da rotina de trabalho invalida de imediato o tempo total da rotina, tornando necessário realizar o estudo novamente. Uma vantagem do documento criado pelo IKEA, está na rápida adaptação a estas alterações, uma vez que, caso seja acrescentado ou removido um elemento à rotina, basta alterar o documento, observar e cronometrar os operadores a executar esse novo elemento, e quase automaticamente é definido um novo tempo total padronizado na rotina. Este documento foi criado para fins académicos e de conclusão de um grau académico, mas o estudo quando aplicado na empresa deu origem a contratações, o que só por si mostra as vantagens e impacto que o mesmo pode ter em contexto laboral. Em termos de produtividade, uma vez que a sua aplicação não foi executada a tempo de ser estudada neste documento, não foi possível avaliar a mesma.
Resumo:
The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.
Resumo:
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.
Resumo:
RESUMO - As organizações de saúde, em geral, e os hospitais, em particular, são frequentemente reconhecidos por terem particularidades e especificidades que conferem uma especial complexidade ao seu processo produtivo e à sua gestão (Jacobs, 1974; Butler, 1995). Neste sentido, na literatura hospitalar emergem alguns temas como prioritários tanto na investigação como na avaliação do seu funcionamento, nomeadamente os relacionados com a produção, com o financiamento, com a qualidade, com a eficiência e com a avaliação do seu desempenho. O estado da arte da avaliação do desempenho das organizações de saúde parece seguir a trilogia definida por Donabedian (1985) — Estrutura, Processo e Resultados. Existem diversas perspectivas para a avaliação do desempenho na óptica dos Resultados — efectividade, eficiência ou desempenho financeiro. No entanto, qualquer que seja a utilizada, o ajustamento pelo risco é necessário para se avaliar a actividade das organizações de saúde, como forma de medir as características dos doentes que podem influenciar os resultados de saúde. Como possíveis indicadores de resultados, existem a mortalidade (resultados finais), as complicações e as readmissões (resultados intermédios). Com excepção dos estudos realizados por Thomas (1996) e Thomas e Hofer (1998 e 1999), praticamente ninguém contesta a relação entre estes indicadores e a efectividade dos cuidados. Chamando, no entanto, a atenção para a necessidade de se definirem modelos de ajustamento pelo risco e ainda para algumas dificuldades conceptuais e operacionais para se atingir este objectivo. Em relação à eficiência técnica dos hospitais, os indicadores tradicionalmente mais utilizados para a sua avaliação são os custos médios e a demora média. Também neste domínio, a grande maioria dos estudos aponta para que a gravidade aumenta o poder justificativo do consumo de recursos e que o ajustamento pelo risco é útil para avaliar a eficiência dos hospitais. Em relação aos sistemas usados para medir a severidade e, consequentemente, ajustar pelo risco, o seu desenvolvimento apresenta, na generalidade, dois tipos de preocupações: a definição dos suportes de recolha da informação e a definição dos momentos de medição. Em última instância, o dilema que se coloca reside na definição de prioridades e daquilo que se pretende sacrificar. Quando se entende que os aspectos financeiros são determinantes, então será natural que se privilegie o recurso quase exclusivo a elementos dos resumos de alta como suporte de recolha da informação. Quando se defende que a validade de construção e de conteúdo é um aspecto a preservar, então o recurso aos elementos dos processos clínicos é inevitável. A definição dos momentos de medição dos dados tem repercussões em dois níveis de análise: na neutralidade económica do sistema e na prospectividade do sistema. O impacto destas questões na avaliação da efectividade e da eficiência dos hospitais não é uma questão pacífica, visto que existem autores que defendem a utilização de modelos baseados nos resumos de alta, enquanto outros defendem a supremacia dos modelos baseados nos dados dos processos clínicos, para finalmente outros argumentarem que a utilização de uns ou outros é indiferente, pelo que o processo de escolha deve obedecer a critérios mais pragmáticos, como a sua exequibilidade e os respectivos custos de implementação e de exploração. Em relação às possibilidades que neste momento se colocam em Portugal para a utilização e aplicação de sistemas de ajustamento pelo risco, verifica-se que é praticamente impossível a curto prazo aplicar modelos com base em dados clínicos. Esta opção não deve impedir que a médio prazo se altere o sistema de informação dos hospitais, de forma a considerar a eventualidade de se utilizarem estes modelos. Existem diversos problemas quando se pretendem aplicar sistemas de ajustamento de risco a populações diferentes ou a subgrupos distintos das populações donde o sistema foi originalmente construído, existindo a necessidade de verificar o ajustamento do modelo à população em questão, em função da sua calibração e discriminação.