Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Quantificação do indicador de Nelson de Moraes (curva de mortalidade proporcional)

Propõe-se um critério para quantificação do indicador de Nelson de Moraes (curva de mortalidade proporcional) procurando eliminar as desvantagens do indicador não ter tradução numérica. Utilizando dados de Moraes, Ramos e próprios, são quantificadas Curvas de Mortalidade Proporcional de países desenvolvidos, do município de São Paulo e das regiões administrativas do Estado de São Paulo. A quantificação gera um indicador cujas cifras variam de valores negativos até o máximo teórico de + 50. São destacadas as vantagens da quantificação, que permite a hierarquização de diferentes regiões e a comparação simultânea da evolução do nível de saúde de um grande número de localidades.

Quantificação do indicador de Nelson de Moraes (curva de mortalidade proporcional)

Propõe-se um critério para quantificação do indicador de Nelson de Moraes (curva de mortalidade proporcional) procurando eliminar as desvantagens do indicador não ter tradução numérica. Utilizando dados de Moraes, Ramos e próprios, são quantificadas Curvas de Mortalidade Proporcional de países desenvolvidos, do município de São Paulo e das regiões administrativas do Estado de São Paulo. A quantificação gera um indicador cujas cifras variam de valores negativos até o máximo teórico de + 50. São destacadas as vantagens da quantificação, que permite a hierarquização de diferentes regiões e a comparação simultânea da evolução do nível de saúde de um grande número de localidades.

O triunfo do homem nas crónicas desportivas de Nelson Rodrigues : do discurso teatral aos "idiotas da objectividade" passando pelo paradoxo jornalismo/literatura

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação – Área de Estudo dos Media e Jornalismo,

Construção de curva de juros de debêntures no mercado brasileiro utilizando a parametrização de Nelson-Siegel

O objetivo nesse trabalho é a construção da Estrutura a Termo de Taxa de Juros (ETTJ) das debêntures que se encontram disponíveis no mercado brasileiro, usando o modelo Nelson-Siegel (1987). As curvas de juros são divididas de acordo com o tipo de indexador e com a classificação de risco atribuída às debêntures. Por fim, foi possível mensurar o spread que existe entre o mercado de títulos privados (debêntures) e os títulos públicos.

O acervo de mosquitos (Diptera, Culicidae) de Nelson L. Cerqueira na Coleção de Invertebrados do Instituto Nacional de Pesquisas da Amazônia, Manaus, Brasil

Registra-se a descoberta de espécimes de mosquitos que pertenciam a Nelson L. Cerqueira, e estão sendo depositados na coleção de Invertebrados do Instituto Nacional de Pesquisas da Amazônia. A coleção contém 2.046 espécimes adultos e 387 lâminas representando 261 espécies, 22 gêneros, incluindo 51 parátipos de 34 espécies. Mais de 90% dos espécimes foram coletados no Brasil dos quais metade são do Estado do Amazonas. As espécies representadas neste acervo são listadas indicando o número de espécimes para cada tipo de preparação e as localidades de coleta. O material tipo também é listado, incluindo os dados dos rótulos de identificação e de procedência, bem como outras informações pertinentes.