Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC

Uma leitura geográfica da educação no campo: o caso da Escola Municipal Agrícola de Rio Claro - SP

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Experiência, filosofia e educação em John Dewey: as muralhas sociais e a unidade da experiência

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Uma abordagem lógica para o gerenciamento de identificadores de objetos em sistemas gerenciadores de banco de dados não convencionais

Pós-graduação em Ciência da Computação - IBILCE

Implementação de um nó IEEE 1451, baseado em ferramentas abertas e padronizadas, para aplicações em ambientes de instrumentação distribuída

Pós-graduação em Engenharia Elétrica - FEIS

Estratégia de planejamento de redes de acesso de alta capilaridade baseada em tecnologia DSL: uma abordagem híbrida empírica e probabilística

A tecnologia DSL- Digital Subscriber Line permitem um acesso universal de banda larga, com redução de custo e tempo de implantação necessários, quando comparadas a outras redes de acesso. DSL pode ser considerada uma rede de banda larga de grande capilaridade, uma vez que utiliza uma combinação de infra-estrutura de telefonia existente e a tecnologia de transmissão. Não obstante, a rede DSL precisa ser amplamente compreendida, de maneira que suas principais vantagens não sejam suplantadas pela ineficiência geral do sistema. Esta tese apresenta uma abordagem baseada em estratégias que possibilitem o planejamento de redes de comunicação que a priori não foram implementadas para suportar fluxos Triple Play (pré-requisito obrigatório diante do perfil atual de usuários da Internet). Será mostrado que, a partir do uso de medidas reais e análises probabilísticas, é possível elaborar o planejamento de redes de comunicação, considerando os parâmetros físicos e lógicos, tais como: o caminho de transmissão, a influência do ruído na comunicação, os protocolos utilizados e tráfego de Triple Play (voz, vídeo e dados).

Sistema de controle baseado em lógica fuzzy para regulagem de temperatura em aquecedor de óleo térmico da planta de anodo verde da Albrás

Neste trabalho são apresentados os resultados de uma técnica que permitiu implementar a estratégia de controle de temperatura do aquecedor de óleo térmico da fabrica de Anodo Verde da Albrás Alumínio Brasileiro S/A. No projeto utilizou-se um sistema hierarquizado baseado em conjuntos e lógica Fuzzy. O uso dessa metodologia fez com que o sistema fosse capaz de reagir adequadamente diante das variações do ponto de operação do aquecedor, pois o controle Fuzzy exibe algumas características do aprendizado humano, sendo considerado um exemplo de inteligência artificial. O aquecedor de óleo térmico é fundamental no processo de fabricação de blocos inódicos, utilizados como pólo positivo no processo de eletrólise na obtenção do alumínio primário. O sistema de óleo térmico aquece os misturadores e pré-aquecedor de coque, mantendo a temperatura desses equipamentos dentro dos limites estabelecidos pela engenharia de processo. A variável temperatura impacta diretamente na energia de mistura da pasta e na qualidade do produto final, que é o bloco anódico. A metodologia apresentada permitiu alcançar um controle de temperatura que atendeu satisfatoriamente os parâmetros de processo. O programa foi desenvolvido em linguagem ladder é executado em controladores lógicos programáveis (CLP’S) da Rockwell Automation. O controle já está em plena operação nas fábricas de anodos e os resultados obtidos demonstram a eficácia e viabilidade do sistema, que futuramente estará sendo implementado no controle de outros equipamentos da Albrás.

Desenvolvimento de um magnetometro a precessão nuclear

O objetivo desta tese foi desenvolver um magnetômetro à precessão nuclear para prospecção geofísica e estações-base magnéticas. O magnetômetro à precessão nuclear mede a intensidade total do campo magnético. Seu funcionamento é baseado na ressonância magnética nuclear. A medida de campo é feita pela de terminação da freqüência de precessão de núcleos de hidrogênio – prótons - de líquidos não viscosos no campo magnético terrestre. O magnetômetro é constituído de duas partes: o sensor e o instrumento de medida. O sensor é uma bobina solenoidal, cujo núcleo é preenchido com o líquido. Três líquidos diferentes foram testados; água, propanol e um querosene sintético. Optou-se pelo uso do querosene porque oferece maior amplitude no sinal de precessão, dando, conseqüentemente, maior relação sinal/ ruído. O sistema de medida contém os circuitos de sintonia e amplificação do sinal e, os circuitos lógicos para a programação da operação e contagem da freqüência de precessão. Cada ciclo de medida tem duração de 3 segundos, sendo 2,3s para a polarização e 0,7s para a recepção do sinal. São possíveis dois modos de operação: manual, reciclando automaticamente e por controle remoto. O sinal de precessão é amplificado seletivamente em uma das 14 faixas de sintonia, que cobrem medidas entre 22000 e 95000 gammas. A freqüência de precessão é multiplicada por um fator de 64 e contada durante um tempo igual a 0,36699s, determinado com base na razão giromagnética do próton. O número de pulsos contados é numericamente igual ao valor do campo magnético em gammas. A resposta pode ser lida em mostradores digitais ou na saída BCD paralela quando operando por controle remoto. A precisão da medida é de 1 gamma. O instrumento foi testado no campo para avaliar a relação sinal/ruído, gradiente suportável e consumo de potência. Nos testes de aplicação do protótipo, foram obtidos dados de variação diurna e realizaram-se levantamentos magnético de reconhecimento e detalhe em um sítio arqueológico na Ilha de Marajó, Pará. As respostas dos testes foram comparados com dois magnetômetros comerciais - o GP-70, McPhar e o G-816, Geometrics e, ainda, com dados do Observatório Magnético de Tatuoca-Pa. Em todos os casos, a comparação dos dados mostrou bom desempenho do magnetômetro em teste.

Investigações sobre sistemas axiomáticos na geometria euclidiana

Pós-graduação em Educação Matemática - IGCE

A influência da integração multissensorial na construção do espaço semântico no sistema Kansei de engenharia: um estudo de Design Ergonômico com barbeadores descartáveis

Pós-graduação em Design - FAAC

A prática de indexação: análise da evolução de tendências teóricas e metodológicas

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

Sobre o pensamento de Peirce e a organização da informação e do conhecimento

Incomplete glimpses of the philosophy of Charles Peirce (1839-1914) can frequently be found in studies about Semiotics and Information Science. Therefore, we sought to discover the theoretical and applied interrelationships between knowledge and information organization and Peirce's Semiotics and Philosophy. The aim was to discover and evaluate the contributions of Peirce's Semiotics and Philosophy to the knowledge and information organization field. The method of this study was bibliographical research. The main results were: indexing process semiotic model, semiotic knowledge organization, interaction between documentary semiotics and documentary languages, kinds of inference to the indexing process, as well as the collaboration of Peirce's pragmatism to terminology theory. Finally, we listed issues for future research.

A internacionalização da indústria de software: uma avaliação das atividades desenvolvidas offshoring

A indústria de software se destaca por sua transversalidade em diversas cadeias produtivas. Também é de importante relevância para o desenvolvimento de um parque industrial consolidado, uma vez que, apresenta-se como peça chave no desenvolvimento das atividades ligadas a micro-eletrônica. Todavia, é um produto que possui características diferenciadas dos demais produtos manufaturados. Ou seja, é formado por uma seqüência de conhecimentos lógicos que delimitam quais são as funções que o produto irá desempenhar, tal formação concede um caráter de imaterialidade a este. O caráter imaterial e a dificuldade de mensurar o real valor agregado do software, devido a sua transversalidade, instigam a curiosidade para investigar os reais benefícios que o setor pode gerar para a estrutura produtiva de um determinado país. O presente trabalho tem por objetivo apresentar as grandes empresas de software e principalmente analisar os tipos de atividades que são desenvolvidas mundialmente por estas. Procura também analisar as atividades offshoring, isto é, aquelas que são realizadas por empresas multinacionais em outros países levando em conta a sua estratégia global. Busca também dar uma ênfase nas atividades realizadas no Brasil, com isto procura mapear o papel dos países em desenvolvimento nestas atividades. A metodologia será desenvolvida a partir de coleta do material bibliográfico, com dois propósitos distintos: entender os tipos de atividades do setor, dinâmica concorrencial, etapas do processo produtivo, evolução histórica e mercado; e também um estudo do processo de internacionalização, focando o fenômeno de offshoring e as estratégias competitivas das empresas do setor. O acompanhamento dos relatórios anuais das empresas da amostra e de notícias veiculadas em periódicos especializados levará a elaboração de “Dossiês Corporativos”... (Resumo completo, clicar acesso eletrônico abaixo)

Língua wauja (arawak): uma descrição fonológica e morfossintática

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