Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Análise de estruturas compostas por aduelas pré-moldadas de concreto com protenção externa, sob estado plano de tensão, através do método dos elementos finitos

Aduelas protendidas externamente utilizadas em pontes contrastam com as clássicas construções monolíticas, consistindo de “pequenos” segmentos pré-moldados protendidos por cordoalhas externas. Há muitas vantagens na utilização deste tipo de composição, como rapidez e versatilidade na construção, alto controle de qualidade e economia. No presente trabalho, discute-se uma formulação, baseada no método dos elementos finitos, para simular o comportamento de estruturas compostas por aduelas externamente protendidas. Esta formulação permite tanto a análise de situações de serviço, onde as seções permanecem completamente comprimidas, como também de situações últimas, onde se considera a abertura das juntas e a transferência de esforços através das mesmas. O modelo computacional utiliza dois procedimentos distintos, baseados em um modelo elasto-viscoplástico. No primeiro, determina-se a resposta da estrutura ao longo do tempo, considerando-se, nesta etapa, que o material possui comportamento viscoelástico. No segundo, busca-se a resposta da estrutura para um carregamento instantâneo, considerando-se o material com um comportamento elastoplástico. As juntas entre as aduelas são representadas através de elementos de contato unidimensionais. Os nós de cada elemento de contato coincidem com os nós do elemento de concreto que a ele foi associado.Um modelo de camadas superpostas é utilizado para representar o comportamento viscoelástico do concreto e da armadura protendida Para representar o concreto fissurado, utiliza-se um modelo de fissuras distribuídas, que leva em conta a contribuição do concreto entre fissuras. A armadura passiva é introduzida na análise através de um modelo incorporado e a armadura de protensão não aderente é disposta em elementos fictícios, paralelos aos elementos reais da estrutura. Para verificar a adequação do modelo computacional, compararam-se resultados numéricos com valores experimentais disponíveis na literatura.

Processo de apropriação da escrita da língua de sinais e escrita da língua portuguesa informática na educação de surdos

Ao tratarmos da Educação para Surdos, a presente dissertação insere-se no plano de discussão que envolve duas visões diferentes: uma clínica-orgânica e outra sócio cultural. Partindo destas visões, encaminhamos apontamentos da Proposta Educacional Bilíngüe postulando características que envolvem a alfabetização do Surdo, quando inserido em padrões próprios de sua cultura enfatizando a comunicação através da LIBRAS e da escrita de sua língua natural. Para tanto, buscamos embasamento em ambientes digitais concentrando nosso estudo no aprimoramento de um teclado padrão, transformando-o em suporte para a escrita dos sinais. Assim sendo, o objetivo desta dissertação volta-se para a observação de como se dá o processo de apropriação da escrita da língua de sinais e da língua portuguesa em atividades mediadas por ambientes digitais de aprendizagem. Mostramos que, a partir da abordagem de investigação qualitativa envolvendo três (3) estudos de casos, sujeitos surdos construíram páginas pessoais apropriando-se da escrita dos sinais utilizando o teclado especial na seleção dos símbolos, construindo sinais, frases e textos. Desenvolveram estratégias de escrita de acordo com a LIBRAS estruturando e organizando constituintes fonológicos, morfológicos, sintáticos e semânticos em suas construções. Constatamos a produção de textos correspondentes com a estrutura de sua própria língua e podemos ressaltar que houve aumento do vocabulário para a língua portuguesa buscando modelos mais descritivos e explanatórios de comunicação escrita. Evidenciamos, ao final, que a pesquisa realizada proporcionou a abertura para novos campos de investigação, no que se refere a construção e transmissão da escrita dos sinais formalizando acervos culturais e abriram possibilidades de comunicação proporcionando interações mais significativas entre todos desmistificando as diferenças.

Determinação computacional da influência de parâmetros físicos no comportamento termoenergético de uma edificação

Este trabalho apresenta um estudo sobre a influência que alguns parâmetros físicos têm no desempenho termoenergético de uma edificação com um sistema de condicionamento de ar do tipo expansão direta, e visa auxiliar na busca por soluções que aumentem a eficiência energética das construções brasileiras. Para tal foi utilizado o programa simulador EnergyPlus, onde são estudados casos em que se alteram os seguintes parâmetros físicos: localização geográfica, tipo de vidro utilizado nas fachadas, área envidraçada das fachadas, e a orientação da edificação em relação ao eixo norte verdadeiro. São usados dados de dias de projeto de verão e inverno segundo a ASHRAE (American Society of Heating, Refrigerating and Air-Conditioning Engineers) para obter cargas térmicas de refrigeração e aquecimento, e arquivos climáticos para obter os seguintes consumos elétricos anuais: do sistema de condicionamento de ar, das lâmpadas e total. Visando reduzir o consumo elétrico das lâmpadas da edificação e assim promover um uso racional da energia elétrica, é modelado um sistema de controle automático da potência das lâmpadas, o qual é comparado com o tradicional sistema liga/desliga das lâmpadas. Também é feita uma análise econômica comparativa entre estes dois tipos de controle de potência das lâmpadas, onde se verifica se há vantagem econômica em aliar a utilização de películas nos vidros das fachadas da edificação O estresse térmico em vidros, caracterizado pelo surgimento de trincas ou até mesmo ruptura devido ao aparecimento de consideráveis diferenças de temperatura em seu interior, é avaliado observando a evolução da temperatura média das faces externa e interna dos vidros ao longo de um dia de projeto de verão. Os resultados mostram que as orientações e os tipos de vidro alteram sensivelmente tanto a potência requerida pelo sistema de condicionamento de ar quanto os consumos elétricos anuais do sistema de condicionamento de ar, das lâmpadas e total; o sistema de controle automático da potência das lâmpadas revela um grande potencial de redução do consumo elétrico anual das lâmpadas e um pequeno potencial de redução da potência requerida pelo sistema de condicionamento de ar; a análise econômica mostra que a utilização de película nos vidros é economicamente viável em boa parte dos casos avaliados; e a comparação da temperatura da face interna dos vidros estudados mostra diferenças significativas.

O hedge utilizando contratos futuros como estratégia de gestão de risco de preço da soja : estudo de caso da Cooperativa Tritícola Mista Alto Jacuí Ltda.

O Brasil é, atualmente, o segundo maior produtor mundial de soja, e as perspectivas econômicas apontam para a liderança da produção nos próximos anos. Esse mercado apresenta-se como o principal segmento do agronegócio, movimentando bilhões de dólares em divisas para a economia do país todos os anos. O preço dessa commodity é estabelecido no mercado internacional e refletido automaticamente para o mercado interno. Essa característica obriga os produtores rurais, cooperativas agropecuárias, processadores, exportadores e outros agentes envolvidos na comercialização da soja a conviverem com oscilações de preço constantemente. Para esses agentes, torna-se necessária a implantação de um instrumento para gerenciamento de risco de preço sob pena de perderem a capacidade de cobrir custos de produção. Este trabalho tem o objetivo de analisar o hedge utilizando contratos futuros como ferramenta para a gestão de risco de preço da soja. O hedge é uma das operações proporcionadas pelos mercados futuros cuja função básica é ser instrumento de gerenciamento de risco de preço. O objetivo principal do hedge é proteger compradores e vendedores contra uma eventual oscilação de preços de um determinado produto. O presente estudo aborda conceitos de risco, mercados futuros e hedge e apresenta características do agronegócio da soja, enfocando, sobretudo, a formação de preço deste ativo. Para ressaltar a importância do assunto tratado, apresenta-se o estudo de caso da Cooperativa Tritícola Mista Alto Jacuí Ltda., que, no ano de 2004, implantou a estratégia de hedge com contratos futuros negociados na Chicago Board of Trade para gestão do risco de preço da soja, obtendo resultados satisfatórios. As conclusões do trabalho demonstram que a consolidação da produção brasileira de soja requer a implementação de modernos instrumentos para a gestão de risco de preços. É de extrema importância que as cooperativas agropecuárias e os grandes produtores rurais tenham conhecimento de opções de estratégias de comercialização visando proteger e fortalecer sua atividade econômica.

Imagem, memória e educação : um estudo sobre modos de ver e lembrar

Este estudo trata sobre memórias que são produzidas tendo imagens como evocadores. Procura abordar as múltiplas relações que travamos com as imagens, interações que constituem nosso olhar, que produzem nossas identidades, que se inscrevem em nossas memórias. Para o desenvolvimento da investigação, foi escolhida uma imagem em particular e procurou-se acompanhar o seu circuito e sua inscrição em memórias individuais e coletivas, através da análise de histórias de vida de sujeitos que interagiram com a imagem em diferentes tempos e contextos. Trata-se de Il Quarto Stato, de Pellizza da Volpedo, obra dada a público inicialmente na Itália em 1901 e de ampla circulação no Brasil entre o final da década de 1970 e início dos anos 80, no contexto de ascensão dos movimentos sociais, através de reproduções veiculadas em diversas materialidades. A pesquisa está inscrita nos campos da História da Educação e da História Cultural, utilizando-se, embora não exclusivamente, as construções teóricas de Roger Chartier para pensar as maneiras através das quais uma imagem adquire significados de acordo com o suporte em que é apresentada e o ato que a apreende. Para a descrição do circuito de Il Quarto Stato foi utilizada uma diversidade de materiais impressos, como jornais, revistas, cartazes, livros, manuais escolares, além de objetos audiovisuais, como filmes e documentários. As memórias produzidas a partir de Il Quarto Stato, tomado como evocador, foram narradas por dezenove entrevistados em quarenta e cinco entrevistas e analisadas a partir dos pressupostos metodológicos da história oral, ressaltando-se a complexidade da relação construída através da interação entre as subjetividades do entrevistador e do entrevistado. O estudo procura enfatizar a força das imagens como privilegiados evocadores de memórias. Também destaca o caráter heterogêneo das lembranças que se produzem mediadas por Il Quarto Stato, entre as quais, memórias políticas, memórias de família e memórias de trabalho foram as mais expressivas. A pesquisa trata, ainda, do modo como os narradores, através de suas memórias, procuram produzir-se a si mesmos, tentando construir passados e identidades com os quais consigam conviver no presente.

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

A casa moderna em Porto Alegre : projetos residenciais de Edgar Albuquerque Graeff 1949 - 1961

Esta pesquisa tem como núcleo o estudo de residências projetadas pelo arquiteto Edgar Albuquerque Graeff em Porto Alegre. Formado em 1947 pela Faculdade Nacional de Arquitetura da Universidade do Brasil no Rio de Janeiro, Graeff revelou grande influência da arquitetura moderna carioca em seu trabalho. Partindo do estudo mais abrangente da produção residencial em Porto Alegre entre 1940 e 1960, em seu contexto e suas peculiaridades, buscase uma compreensão dos caminhos da arquitetura moderna na cidade de Porto Alegre em sua origem e desenvolvimento. Pretende-se sustentar através de registros históricos, depoimentos e dos próprios projetos, o caráter pioneiro e singular do trabalho de Edgar Graeff em Porto Alegre, sua contribuição para o surgimento local de uma arquitetura moderna com fortes referências à obra de Lúcio Costa, Oscar Niemeyer e outros expoentes da escola carioca. O trabalho compreende a revisão e o estudo das diferentes influências e orientações arquitetônicas locais nas primeiras décadas do século XX, registrando a evolução do cenário porto-alegrense até o momento de introdução do modernismo na cidade. Na década de 40 Edgar Graeff contribuiu para a evolução desta arquitetura, sendo arquiteto praticante, teórico e professor do curso de arquitetura da UFRGS. O impacto de residências como a projetada para Edvaldo P. Paiva foi um marco divisor no campo das idéias, dos costumes e da cultura arquitetônica em Porto Alegre, transpondo para o nosso contexto local estratégias e elementos de arquitetura que até então eram usadas principalmente por arquitetos do Rio de Janeiro e São Paulo. Tais propostas arquitetônicas manifestaram localmente o pensamento moderno preconizado por Le Corbusier.

Inovações na produção de estoques residenciais e a formação de padrões na sua distribuição em uma área de Porto Alegre

O trabalho inicia com uma revisão de fenômenos em que a estrutura dos usos do solo urbano, marcada por diferenciação residencial, é definida pelo exercício de preferências de localização. Diversos modelos de escolha são abordados, verificando-se sua relevância e possibilidade de aplicação a contextos de decisão de localização residencial. Os processos de acumulação de capital no ambiente construído, enquanto determinados estruturalmente mas, também, como conseqüência de decisões locais, são apontados, bem como os agentes responsáveis por sua promoção. Como elemento metodológico, os conceitos de centralidade, externalidades de vizinhança, convenção urbana, inovação e imitação espacial, aglomeração e padrões espaço-temporais são articulados. A aplicação desses conceitos a uma situação real é buscada na cidade de Porto Alegre, delimitando- se uma área de estudo, a qual tem sido destino de deslocamento de demanda por habitação, resultando em intensa produção de estoques residenciais e, em conseqüência, no aumento da densidade e da taxa de ocupação do solo. Tais estoques, produzidos ao longo das últimas duas décadas, aproximadamente, são descritos e enquadrados como resultantes de um processo no qual um sistema auto-organizado, composto por estoques e agentes, busca produzir e reproduzir padrões de diferenciação residencial. As implicações para o planejamento urbano das decisões de localização e de produção de estoques residenciais, realizadas por um grande número de agentes privados, são apresentadas. Ao final, são feitas recomendações para a continuidade da pesquisa, no sentido de poderem ser realizadas descrições mais abrangentes e precisas do fenômeno estudado.

A educação infantil em Porto Alegre : um estudo das creches comunitárias

A Educação Infantil em Porto Alegre: Um estudo das Creches Comunitárias é uma pesquisa teórica e empírica que pretende construir um espaço de debate em torno da parceria público/privado na oferta da educação infantil, no município de Porto Alegre. Com isso, quer provocar a discussão da alternativa posta em prática, no Município, para o atendimento da primeira etapa da educação básica que envolve o movimento popular comunitário e o poder público municipal, responsável pela educação das crianças pequenas da cidade. Neste processo, através da parceria, além dos atores diretamente envolvidos, quais sejam movimento comunitário e Prefeitura Municipal, entram, em muitas delas, outros parceiros e as famílias das crianças que pagam por este serviço. O referencial teórico para esta investigação parte, originariamente, de autores que analisam as crises do capital e as estratégias de superação a elas propostas, enfocando, dentre outras, o neoliberalismo, a Terceira Via e o Terceiro Setor e sua funcionalidade ao capital. A minimização do Estado, presente em todas estas estratégias, e a precarização das políticas sociais, com destaque para a educação infantil, tema desta dissertação, trazem subjacente a necessidade de alternativas para a educação e o cuidado das crianças de zero a seis anos. As construções sociais próprias da política de participação institucional no Município e a necessidade do atendimento às crianças oriundas de famílias pobres da periferia da cidade encaminham soluções criativas, mas necessitam ser analisadas quanto à sua permanência como política pública para a educação infantil. Esta dissertação pretende refletir sobre a parceria instituída em 1993, em Porto Alegre, e vigente até hoje (2005), avaliando o convênio firmado entre o poder público e a sociedade civil, buscando abrir novas perspectivas para avançar sobre o que coletivamente foi construído no Município até então.

Políticas públicas, conselhos municipais e agricultura familiar : representações sobre o rural em Roca Sales/RS e a emergência da noção de multifuncionalidade da agricultura

Esta dissertação trata inicialmente de questões relativas ao papel das políticas públicas voltadas à modernização da agricultura nos contextos internacional e brasileiro. Com efeito, procurou-se evidenciar como foram concebidos os processos de modernização agrícola assentados no produtivismo. A propósito, os problemas sócio-ambientais gerados por estas políticas propiciaram o início do debate sobre a multifuncionalidade da agricultura. No caso brasileiro, a contestação das políticas de modernização conservadora da agricultura chegando levou ao Programa Nacional de Fortalecimento da Agricultura Familiar (PRONAF), cujo público-alvo, os agricultores familiares, estiveram, em grande medida, alijados até então das políticas públicas modernizantes. Num segundo momento, chamou-se a atenção para a emergência da noção de multifuncionalidade da agricultura, particularmente no que ela pode vir a transformar os rumos do desenvolvimento rural brasileiro, além da questão da produção. Traçando paralelos com o debate da multifuncionalidade, dedicou-se um capítulo sobre a evolução das concepções em torno da propriedade fundiária: de um direito irrestrito à sua função sócio-ambiental. Na atualidade, a incorporação de demandas ambientais reorientaram essa discussão. Por outro lado, a dissertação permite também discutir o lugar do Conselho de Desenvolvimento Rural (CMDR) de Roca Sales, a partir de uma interpretação fundada nas lógicas de seu funcionamento. Destacou-se a dependência do conselho em relação a programas estaduais e federais cuja alocação de recursos exige a caução dos conselheiros do desenvolvimento rural. Enfim, procurou-se discutir as representações sociais dos atores locais, de alguma maneira implicados no conselho, sobre a agricultura e o mundo rural. Notadamente, tentou-se examinar em qual medida as preocupações com o desenvolvimento rural consideram funções não produtivas da agricultura, principalmente nas dimensões da: reprodução socioeconômica das famílias; promoção da segurança alimentar da sociedade e das próprias famílias rurais; manutenção do tecido social e cultural e preservação dos recursos naturais e da paisagem rural. Nesse sentido, puderam-se apreender nas visões dos atores locais percepções que se aproximam dos fundamentos da noção de multifuncionalidade da agricultura, principalmente quando relacionados à temas como: agroindustrialização familiar, diversificação, profissionalização do agricultor, segurança alimentar, autoconsumo e turismo rural. Com efeito, as preocupações com o desenvolvimento rural revelam propensões dos atores locais em considerar as funções não mercantis da agricultura.