Sistema de Solicitaçao de ficha catalografica SIB-UNp

SILVA, Ana Cristina da et al. Sistema de solicitacao de ficha catalografica. In: SEMINARIO NACIONAL DE BIBLIOTECAS UNIVERSITARIAS, 15., 2008, Sao Paulo. Sistema de solicitacao de ficha catalografica SIB-UnP. Sao Paulo: [s.n], 2008. p. 1 - 7. Disponível em: dice-remissivo-autor.php>. Acesso em: 04 out. 2010.

Otimização de sistema de bombeamento com energia eólica: sistema de bombeamento de São Gabriel/BA

After the Protocol of Kyoto and of the ECHO 92 - Rio de Janeiro, the attentions of the world focus to the preservation of the environment and of the maintainable use of the natural resources. People were looking for preserving environment for the future generations. Ever since, solutions are looked for the supply of energy in its more acquaintances forms and the substitution of the use of fossil fuels for the such alternative forms as: Photovoltaics, solar heat systems for water, wind , bio-diesel, etc. and in this context the Company of Engineering of the State of Bahia - Cerb changed a diesel pumping system by an wind one, It´s the first community system of this nature in Bahia. Facing problems with the model, a Cerb involved the academic segment of the Federal Center of Technological Education of Bahia Cefetba looking for a solution. This work intends to demonstrate the possibilities of optimization of the pumping communit system that supply water to approximately 50 people in the place of Romão, municipal district of São Gabriel-Ba. Technical reports were published in AGRENERGD2004-Unicamp SP and Scientific Magazine ETC,Cefetba, 2005. A simulation of the increase of energy is presented for heights of 15 and 20m, considering the eletromecanical balance from the pumping energy to the wind turbine. From the accomplished bibliographical revision, we emphasized the mechanical aspects of the engineering once in UFRN, those studies concentrate on the Department of Mechanical Engineering while, in others eletroelectronic are more emphasized. Finally, documents that we judged important were enclosed for the perfect understanding of this work

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