Handling Equality in Monodic Temporal Resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated with the clausal resolution method, and state correctness and completeness results.

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.

Desenvolvimento de um programa de simulação computacional de sistemas de aquecimento solar para água

Esta Tese apresenta uma análise do comportamento térmico de um sistema de aquecimento solar operando por termossifão. Neste tipo de sistema o fluido no coletor solar é circulado por convecção natural, que acontece devido à diferença de massa específica da água ao longo circuito. Nestes sistemas a vazão mássica varia ao longo do dia e do ano, dependendo, dentre outros fatores, da irradiância solar absorvida, do perfil de temperaturas da água no sistema, da geometria, do volume e do perfil de demanda de água quente. Para uma avaliação detalhada do comportamento térmico de aquecedores solares operando por termossifão foram realizados ensaios experimentais e cálculos teóricos. Os resultados dos experimentos concordaram com aqueles apresentados na literatura e sua análise fundamentou o desenvolvimento do aplicativo TermoSim, um programa de simulação computacional do comportamento térmico de sistemas de aquecimento de água com energia solar. O tratamento matemático adotado no TermoSim compreende a modelagem dos coletores solares de acordo com a teoria de Hottel-Bliss-Whillier. O reservatório térmico é modelado com estratificação térmica, convecção e condução entre as camadas. A vazão mássica é obtida a partir do balanço da quantidade de movimento no circuito. Os modelos matemáticos empregados na construção do aplicativo TermoSim foram validados através do confronto dos resultados simulados com medidas experimentais. Foi demonstrado que a utilização destes modelos é adequada e permite reproduzir com precisão o comportamento térmico dos coletores solares e do reservatório térmico. Além do programa TermoSim, foi também desenvolvido o programa TermoDim, que é uma ferramenta para o dimensionamento de sistemas de aquecimento solar, que requer apenas o conhecimento dos parâmetros geométricos do sistema, dados meteorológicos em média mensal e informação a respeito do volume de demanda. O TermoDim é apropriado para estimar o desempenho de aquecedores solares operando por termossifão com tanques verticais e horizontais. O método de dimensionamento do TermoDim é baseado na correlação para a eficiência média mensal obtida neste trabalho a partir de um grande número de simulações.

Práticas organizativas em escolas de samba: o setor de harmonia da Vai-Vai

As escolas de samba são organizações peculiares do Brasil e têm sido foco de análise da sociologia e da antropologia há décadas. Nos Estudos Organizacionais muito pouco foi explorado a respeito dessa forma de organização e suas práticas organizativas para a produção de um desfile carnavalesco. Estudar esse universo pode contribuir para compreendermos como uma organização popular desempenha práticas de organizar capazes de produzir o macro-ator escola de samba, responsável pelos desfiles que fizeram o carnaval brasileiro ser conhecido mundialmente. É nesse sentido que o objetivo desta tese é investigar e analisar as práticas organizativas da produção do desfile de uma escola de samba do grupo especial da cidade de São Paulo. Para tanto, tomei como referência o trabalho do setor de harmonia da agremiação, cujas atividades são centrais no processo de produção do desfile. A tese está alinhada com o movimento na área de Estudos Organizacionais em direção ao estudo das práticas, o qual parte da idéia de que os fenômenos que se desdobram na realidade são conseqüência de práticas locais e acontecem por meio delas e de arranjos materiais nos quais humanos e não-humanos estão engajados na sua constituição. Tendo em vista essas noções, utilizei a Teoria Ator-Rede, uma abordagem que fornece um repertório analítico capaz de ajudar a entender o processo da ordenação social como efeito de uma rede heterogênea de elementos, na qual diversos e contraditórios interesses são negociados e uma estabilidade temporária alcançada. O trabalho de campo, desenvolvido com base em alguns princípios etnográficos, foi realizado junto ao setor de harmonia da escola de samba Vai-Vai. Durante a pesquisa eu fiz observações, entrevistas e reuni uma série de documentos referentes ao processo de produção do desfile. Tomando como ponto de partida minha relação com os sujeitos da pesquisa, analisei as transformações na minha identidade ao longo da pesquisa e as implicações disso para o trabalho. Ao seguir os atores e suas práticas organizativas pude identificar os principais espaços e arranjos materiais nos quais essas práticas se desdobram e o conjunto de controvérsias que se estabelece em torno dos diversos interesses envolvidos. Em cada um dos espaços (re)tracei os elementos da rede-de-atores e mostrei como as práticas organizativas coexistem com processos de desorganização. Essa se apresentou uma característica marcante das práticas de produção do desfile. Discuto na tese que as práticas organizativas ocorrem por meio de processos de translação entre os harmonias e vários outros atores humanos e não-humanos. Mostro ainda como as fronteiras de uma escola de samba são fluidas e as dicotomias comumente usadas para analisá-las ocultam uma forma de organização heterogênea. Concluo que as práticas organizativas são compostas por uma série de atores (humanos e não-humanos) que transladam seus interesses e contínuos esforços são realizados para estabilizar a rede-de-atores em constante estado de (re)constituição. Na conclusão destaco também que os elementos não-humanos são agentes ativos nas práticas organizativas e da pesquisa de campo e deveríamos atentar um pouco mais para sua presença.

Analise critica dos testes de inteligência ou aptidão psicológica

Este trabalho tem como objetivo fundamental proceder a uma análise teórico-critica dos testes de inteligência ou aptidão psicológica, entendidos como instrumentos que fornecem um tipo de medida "objetiva" do comportamento e que são construidos obedecendo a normas e critérios definidos pela "Psicometria" - ramo da "disciplina psicológica" que se ocupa da "teoria" e "metodologia" de construção de testes. A dissertação se compõe de quatro capítulos e uma conclusão. Nos dois primeiros capítulos examinam-se as categorias teóricas de "prática técnica': e "prática teórica ou iden¬tifica", procurando-se demonstrar que os testes de inteligência se constituem por um processo de construção técnico-ideológico, cujo mecanismo visa responder a uma determinação externa - uma "demanda social"- de "adaptação-readaptação" dos indivíduos na ordem social. No terceiro capitulo busca-se enfocar a "demanda social" dos testes de inteligência pela análise de determinadas concepções ideológicas que colocam a questão da inteligência e das aptidões como responsáveis pela hierarquização social. Evidencia-se que cumprindo "cientificamente" as funções de sele cionar, classificar e diferenciar os indivíduos, os testes sancionam um certo saber sobre a inteligência que tende a reproduzir as relações sociais especificas do modo de produção das chamadas sociedades capitalistas. No quarto capitulo analisam-se as contribuições de Michel Foucault sobre as práticas de exame (entre as quais se incluem os testes psicológicos) enfatizando-se que tais práticas emergem historicamente como objetos de saber e efeitos de poder e se constituem, fundamentalmente por essa articulação. Finalmente conclui-se por uma certa impossibilidade de se tratar os testes e a inteligência que eles produzem Unicamente ao nível da distinção ciência-ideologia, procurando-se avançar para uma posição em que se torna prioritário justamente identificar as articulações de poder presentes em qualquer produção de saber.

Ansiedade e desempenho: uma análise experimental

A ansiedade é um dos conceitos mais importantes dentro da Psicologia. Uma grande quantidade de trabalhos experimentais tratando sobre os efeitos da ansiedade-de-teste, tem sido conduzida. A discussão sobre ansiedade-de-teste e sua relação com o desempenho acadêmico deve ser precedida por uma elucidação do conceito de ansiedade. Este conceito tem sido interpretado de diferentes formas pelas várias escolas de pensamento na Psicologia e Filosofia. Os dois primeiros capítulos deste trabalho são dedicados à uma apresentação dos vários conceitos de ansiedade e de teorias que consideramos importantes que abordam o assunto. A seguir, passamos a descrever a análise experimental que foi realizada com o objetivo de detectar os efeitos da ansiedade-de-teste no desempenho e verificar os resultados da manipulação da variável tempo limitado e da magnitude do "stress", na relação estudada. Grande parte da literatura sobre ansiedade tem sublinhado que a influência desta sobre o comportamento é bastante complexa. A pesquisa aqui reportada se baseia nas investigações de Spielberger que focalizam a relação entre o desempenho do estudante e seu nível de ansiedade. Como Spielberger, julgamos ser necessário controlar as variáveis dificuldade da tarefa e inteligência dos sujeitos. Com base nos resultados encontrados, concluímos que uma série de outros aspectos devem ser considerados, tais como elaboração da prova, matéria envolvida, experiências anteriores dos alunos, imagem do professor etc. Busca-se conhecer a natureza da ansiedade-de-teste e encontrar formas efetivas para controlar este tipo específico de ansiedade, de maneira a aparelhar melhor os alunos para lidarem com ele. É necessário também que os educadores tomem conhecimento das características e implicações da ansiedade-de-teste, de forma que sejam capazes de tirar partido dela e consigam minimizar seus efeitos negativos no processo ensino-aprendizagem.

Comunidades virtuales y producción de inteligencia económica y competitiva

CARVALHO, Andréa Vasconcelos . Comunidades virtuales y producción de inteligencia económica y competitiva. Inteligencia y Seguridad: revista de análisis y prospectiva, v. 3, p. 13-45, 2007

Da atividade dialógica: aspectos lógicos

CRUZ, Ângela M. P.; Lycurgo, Tassos. Da atividade dialógica: aspectos lógicos. Revista Vivência, Natal, v. 26, p. 51-58, 2004.

Análise de um queimador infravermelho funcionando com combustível híbrido : GLP/Bio-óleo

Biomass is considered the largest renewable energy source that can be used in an environmentally sustainable. From the pyrolysis of biomass is possible to obtain products with higher energy density and better use properties. The liquid resultant of this process is traditionally called bio-oil. The use of infrared burners in industrial applications has many advantages in terms of technical-operational, for example, uniformity in the heat supply in the form of radiation and convection, with a greater control of emissions due to the passage of exhaust gases through a macroporous ceramic bed. This paper presents a commercial infrared burner adapted with an ejector proposed able to burn a hybrid configuration of liquefied petroleum gas (LPG) and bio-oil diluted. The dilution of bio-oil with absolute ethanol aimed to decrease the viscosity of the fluid, and improving the stability and atomization. It was introduced a temperature controller with thermocouple modulating two stages (low heat / high heat), and solenoid valves for fuels supply. The infrared burner has been tested, being the diluted bio-oil atomized, and evaluated its performance by conducting energy balance. The method of thermodynamic analysis to estimate the load was used an aluminum plate located at the exit of combustion gases and the distribution of temperatures measured by thermocouples. The dilution reduced the viscosity of the bio-oil in 75.4% and increased by 11% the lower heating value (LHV) of the same, providing a stable combustion to the burner through the atomizing with compressed air and burns combined with LPG. Injecting the hybrid fuel there was increase in the heat transfer from the plate to the environment in 21.6% and gain useful benefit of 26.7%, due to the improved in the efficiency of the 1st Law of Thermodynamics of infrared burner

Influência da lubrirrefrigeração na qualidade superficial de metais retificados

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O princípio constitucional da livre concorrência como instrumento de desenvolvimento socioeconômico

The freedom of concurrence, firstly conceived as a simple market fundament in productive systems that recognized the productive forces freedom of action, appears as a clear instrument of protection and fomentation of the market, recognizing the importance of the simultaneous existence of various economic forces such the proper capitalism reason of constitution. It has, thus, a directly role linked to the fundamental idea that the market and its productive forces needed of a protection against itself, because it exists inside the market situations and circumstances, provoked or not, that could prejudice and even annihilate the its existence and functioning, whilst a complex role of productive forces presents at all economic creation space. It was the primacy of the classic liberalism, the first phase of the capitalism. The Constitutions, in that historic moment, did not proclaim any interference at the economic scenario, simply because it recognized the existence of an economic freedom prepared to justify and guarantee the market forces, with its own rules. Based on the structural changes that occurred at the following historic moments, inside the constitutionally recognized capitalism, it was verified changes in the ambit of treatment of the freedom of concurrence principle that, in a progressive way, passes to present a configuration more concerned with socialist and developing ideas, as long as not only a market guarantee. It emerges a freedom of concurrence which aim is instrumental, in relation to its objectives and constitutional direction as a role, and not anymore stagnant and with isolated treatment, in special at the constitutional systems the present s clear aspects of social interventions and guarantor of fundamental rights more extensive and harmonious. That change is located at a space of state actuation much more ample and juridical important, this time comprehending the necessity of managing the productive scenario aiming to reach a national social and economic development effectively guarantor of fundamental rights for all citizens. Those Constitutions take as point of starting that the social and economic development, and not only anymore the economic growth, is the effective way for concretization of these rights. In that way it needs to be observed and crystallized by political and juridical tools that respect the ideological fundamental spirit of the Constitutional Charters. In that scenario that seeks for solutions of rights accomplishment, in special the social rights, the constitutional principle of freedom of concurrence has been seen as an instrument for reaching bigger values and directives, such as the social justice, which only can be real at a State that can implement a comprehensive and permanent social and economic development. The freedom of concurrence tries to valorize and defend something larger and consonant to the political values expressed in the Constitutional Charters with social character, which is the right to a social and economical sustainable development, guarantor of more clear and compromised collective benefits with social justice. The origin of that constitutional imposition is not only supported by vague orientations of the economic space, but as integrated to it, with basis formed of normative and principles posted and prepared to produce effects at the proper reason of the Constitution

Estudo clínico e laboratorial da pneumonia de bezerros induzida pela inoculação intrabronquial de Mannheimia haemolytica

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)