Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Conceitualização da leitura e escrita por adultos não-alfabetizados

Esta é uma pesquisa piagetiana clássica que se insere na trilha aberta por Emília Ferreiro na área da psicogênese da alfabetização. A questão central investigada é a de saber qual o conhecimento que os adultos nãoalfabetizados possuem do sistema de escrita. Foram entrevistados 35 sujeitos utilizando o método piagetiano de interrogatório clínico. o material empregado estava composto por cupom fiscal de supermercado, bilhete de loteria, calendário, conta de luz, receita médica, nota fiscal padrão, fotos do meio urbano, recortes de revistas, desenhos com legendas, impressos padronizados de anúncios (do tipo "vende-se" , "aluga-se", "é proibido fumar", Solicitava-se o reconhecimento de classificação de textos "legíveis", palavra e da oração, interpretação de textos acompanhados ou não de imagem, realização de cálculos mentais e produção de escrita. Verificou-se que, embora não haja ainda uma compreensão global do funcionamento do sistema alfabético de escrita, os adultos não-alfabetizados apresentam conceitos etc.), entre outros. letras e números, análise ao nível da emissão verbal, passando por aquele que atribui uma letra para cada macro-partição da emissão verbal (sílaba), até o mais aprimorado que detecta então os elementos mínimos da emissão (fonemas) e trata de fazer a correspondência entre letras e fonemas. Este último nível desvenda o modo pelo qual que correspondem a níveis progressivos de desenvolvimento cognitivo. Esses níveis vão desde aquele que ainda não estabeleceu um vínculo entre a escrita e a pauta sonora da pesquisas com crianças pré-alfabetizadas verifica-se que nas há uma identidade estrutural entre crianças e adultos na forma de se apropriar do conhecimento do modo de funcionamento da língua escrita. Os adultos não apresentam as noções mais primitivas manifestadas pelas crianças pois possuem uma boa distinção entre letras e números, Conquistaram a possibilidade de realizar cálculos mentais, compreendem melhor a importância das segmentações do texto, não agridam nomes semanticamente relacionados para interpretar "sobras de texto" na análise de orações, etc. A pesquisa contribui para um melhor entendimento do processo de aprendizagem da leitura e escrita e pode ser utilizada para uma analise crítica dos métodos pedagógicos tradicionais de alfabetizal;ão de adultos.

Janet Frame : uma escritora de ficção e a ficção de uma escritora : os múltiplos processos da autobiografia estética

A escritora objeto desta tese, figura proeminente da literatura neozelandesa, voltou-se ao gênero autobiográfico após um longo percurso na área da ficção, para definir-se como uma primeira pessoa, depois de sua vida particular ter sido insistentemente confundida com sua obra por parte da crítica. Uma questão que logo vem à tona é que praticamente toda ficção resulta ser, até um certo grau, fundamentalmente autobiográfica e que a análise crítica da obra de um escritor possibilita o conhecimento de sua vida. Nosso argumento, opondo-se a esse pressuposto, parte da vida para melhor compreender a obra, evidenciando que Janet Frame manteve um grande distanciamento entre os eventos reais e sua ficcionalização, realizando uma tarefa que a coloca lado a lado dos nomes mais ilustres da literatura ocidental do século XX. Numa atitude comparatista, procuramos extrair os diversos processos de transmutação estética realizados pela escritora, buscando sanar algumas distorções que impediram uma análise mais confiável de sua obra, problematizando, entre outros aspectos, a questão do gênero autobiográfico, da mímese e do realismo ficcional. A manipulação artística da vida particular de Janet Frame foi resgatada por um conjunto de processos, entre os quais a antimímese, a poetização do quotidiano, a intertextualidade e a interdiscursividade, que revelam um alcance estético e uma auto-referencialidade deslocada muito além do mero biografismo. Outros aspectos analisados na obra como um todo indicam que novas abordagens da ficção de Janet Frame, a partir de enfoques pós-modernos, pós-coloniais, pós-estruturalistas e feministas podem superar as posturas reducionistas das quais ela foi alvo.

Que corpo é esse? : o corpo na família, mídia, escola, saúde ...

Esta Tese iniciou com a realização do Curso “Uma releitura da dicotomia corpo/organismo” oferecido para professores/as de biologia do Ensino Médio da Rede de Educação Pública da cidade de Porto Alegre, RS. Nela, problematizo as pedagogias empregadas no estudo do corpo visto como um fenômeno “puramente” biológico. Tenho como propósitos interrogar a concepção disciplinar do corpo como a-histórico ou fixo, pré-determinado na herança, genética e/ou histórica, ou como pura anatomia e fisiologia, sem relação com o meio onde vive e as maneiras como vive, como, também, chamar a atenção para o papel de algumas práticas discursivas presentes na família, na mídia e nas práticas escolares vinculadas ao campo da disciplina biológica que se entrelaçam no meio social fabricando os corpos. O entendimento de que os sentidos que atribuímos ao corpo são produzidos nos processos de significação cultural levou-me a estabelecer aproximações com algumas proposições do campo dos Estudos Culturais nas suas versões pós-estruturalistas e de Foucault. O Curso foi gravado em fitas de videocassete que foram transcritas descritas e analisadas. A estratégia de análise compreendeu examinar nas falas e em outras produções – os cartazes – como o corpo foi narrado por esses/as professores/as de biologia e, também, nas cenas das atividades, como foram criados determinados significados ao corpo. Numa tentativa de empreender uma análise articulada às circunstâncias em que a pesquisa se processava, fui estabelecendo conexões entre o que ia emergindo no estudo e as anotações que eu havia feito no transcorrer do Curso, com autores/as de distintas disciplinas. No Curso foram desenvolvidas atividades com os propósitos de pensar e de discutir sobre as implicações de algumas práticas habituais na constituição do corpo e da vida das pessoas. Dentre essas atividades, três compõem esta Tese que foi organizada na forma de artigos. A atividade intitulada Histórias dos nomes, em que discuto as implicações de alguns marcadores sociais, especialmente os nomes, na constituição das identidades das pessoas. A atividade denominada Com quem sou parecido/a? Como é ser parecido/a?, em que discuto como algumas práticas que atuam nas famílias constróem as parecenças atribuídas às pessoas e aos grupos familiares, instituindo os pertencimentos/as exclusões. A atividade intitulada Implicações da disciplina biológica e das mídias na constituição do corpo e da vida, em que discuto os efeitos das práticas discursivas veiculadas na mídia e existentes nas práticas escolares ligadas ao ensino de biologia que, ao se correlacionam no meio social, constróem os significados que atribuímos ao nosso corpo e à nossa vida. Analisar as narrativas desses/as professores/as sobre suas experiências relativamente a distintas instituições sociais, as famílias, a mídia, a educação escolarizada e, nela, a disciplina biológica, possibilitou-me entender os corpos e as vidas como configurados nas práticas de significação que os inscrevem cotidianamente. Tais sistemas de significação, que codificam, moldam e regulam as percepções, os gestos, os sentimentos, os hábitos, as maneiras de agir das pessoas em relação a elas mesmas e aos demais, fabricam os corpos e governam a vida das pessoas. Essas compreensões permitiram-me, também, interrogar a pretensa existência do corpo como dotado de essências universais biológica, histórica e/ou transcendental, de um corpo fixo, estável e universal. E, ainda, problematizar as práticas discursivas da disciplina biológica presentes na educação escolarizada, uma vez que elas engendram uma maneira particular do que e como ver o corpo humano. Os pressupostos que regem as estratégias disciplinares, ao assumirem uma posição dominante nas salas de aula, vêm excluindo as vozes e as experiências dos/as estudantes em relação ao seu corpo e à sua vida, o que têm dificultado conexões com os seus saberes e práticas. Dessa forma, as disciplinas vêm atuando mais no controle dos corpos do que na produção de saberes relevantes às vidas dos/as alunos/as.

Definição de classes para comunicação Unicast e Multicast

No projeto de arquiteturas computacionais, a partir da evolução do modelo cliente-servidor, surgiram os sistemas distribuídos com a finalidade de oferecer características tais como: disponibilidade, distribuição, compartilhamento de recursos e tolerância a falhas. Estas características, entretanto, não são obtidas de forma simples. As aplicações distribuídas e as aplicações centralizadas possuem requisitos funcionais distintos; aplicações distribuídas são mais difíceis quanto ao projeto e implementação. A complexidade de implementação é decorrente principalmente da dificuldade de tratamento e de gerência dos mecanismos de comunicação, exigindo equipe de programadores experientes. Assim, tem sido realizada muita pesquisa para obter mecanismos que facilitem a programação de aplicações distribuídas. Observa-se que, em aplicações distribuídas reais, mecanismos de tolerância a falhas constituem-se em uma necessidade. Neste contexto, a comunicação confiável constitui-se em um dos blocos básicos de construção. Paralelamente à evolução tanto dos sistemas distribuídos como da área de tolerância a falhas, foi possível observar também a evolução das linguagens de programação. O sucesso do paradigma de orientação a objetos deve-se, provavelmente, à habilidade em modelar o domínio da aplicação ao invés da arquitetura da máquina em questão (enfoque imperativo) ou mapear conceitos matemáticos (conforme o enfoque funcional). Pesquisadores demonstraram que a orientação a objetos apresenta-se como um modelo atraente ao desenvolvimento de aplicações distribuídas modulares e tolerantes a falhas. Diante do contexto exposto, duas constatações estimularam basicamente a definição desta dissertação: a necessidade latente de mecanismos que facilitem a programação de aplicações distribuídas tolerantes a falhas; e o fato de que a orientação a objetos tem-se mostrado um modelo promissor ao desenvolvimento deste tipo de aplicação. Desta forma, nesta dissertação definem-se classes para a comunicação do tipo unicast e multicast, nas modalidades de envio confiável e não-confiável. Além destes serviços de comunicação básicos, foram desenvolvidas classes que permitem referenciar os participantes da comunicação através de nomes. As classes estão organizadas na forma de um pacote, compondo um framework. Sua implementação foi desenvolvida usando Java. Embora não tivessem sido requisitos básicos, as opções de projeto visaram assegurar resultados aceitáveis de desempenho e possibilidade de reuso das classes. Foram implementados pequenos trechos de código utilizando e testando a funcionalidade de cada uma das classes de comunicação propostas.

Censo da produção de flores e plantas ornamentais no Rio Grande do Sul : Brasil na virada do milênio

A Floricultura é um setor do agronegócio gaúcho que tem propiciado o crescimento econômico e social do Estado. Com o objetivo de trazer subsídios para o desenvolvimento da produção de Flores e Plantas Ornamentais (FPO) no Rio Grande do Sul e para a organização de sua Cadeia Produtiva, foi realizado em 2000 o levantamento da produção, com abrangência a nível de Estado. Foram registradas 560 Unidades Produtivas (UP), distribuídas em 133 municípios gaúchos. Com os resultados obtidos, foi desenvolvido o Cadastro Eletrônico dos Produtores de Flores e Plantas Ornamentais do RS – 2000, um banco de dados em compact disc (CD), contendo a lista de plantas e produtos sob produção, com respectivos nomes e endereços das UPs de FPO do Estado. Comparando os dados de 2000 com os do censo realizado em 1996, a área de cultivo aumentou de 304 para 609 ha, com módulo médio de produção de 1,09 ha. Acompanhando a expansão de área de cultivo, o volume de produção de todas as categorias de produtos foi superior em 2000. Os resultados demonstram uma forte demanda em assistência técnica especializada e a necessidade de melhorar a capacitação profissional da mão-de-obra de apoio.

Inscrição de um próprio ao nome na escrita do nome próprio

A escrita do nome próprio tem ocupado um lugar privilegiado na aprendizagem, operador por excelência, a partir do qual podem-se realizar uma série de permutações em suas letras, emprestando-se a constituir outros nomes. Esperase que através da escrita do nome o sujeito possa demonstrar maior estabilidade em um eu que tenha domínio sobre a linguagem. A hipótese inicialmente formulada é de que na escrita do nome está em jogo a constituição subjetiva do escrevente e que as diferentes associações nas e com as letras tipográficas revelam os processos através dos quais se dá a inscrição de sujeito na linguagem. É ao sujeito da inscrição que estamos nos referindo, submetido à incidência das leis que regulam a linguagem. Podemos entreler, ler nas entrelinhas, na escrita do nome e em seus desdobramentos, impasses, omissões, trocas e rasuras, o que uma escrita não consciente – no sentido de não se sustentar numa hipótese enquanto exercício de uma reflexão – desvela sobre os processos de criação da cultura e de um sujeito, através da passagem realizada entre a transmissão de um nome próprio à apropriação de um próprio ao nome.

Concepção de small clauses nominais amalgamadas nas estruturas predicativas complexas do português brasileiro

Esta dissertação faz uma análise prévia da predicação complexa no modelo da Gramática Tradicional; aponta, em seguida, o enfoque das estruturas predicativas complexas à luz da Gramática Gerativa modelo de Princípios & Parâmetros (Chomsky, 1981, 1986). Ressalta que as estruturas sintáticas são projetadas a partir do léxico e correspondem a várias construções de predicação complexa. Mostra que os predicados complexos formados por APs e DPs predicativos apresentam características sintáticas e semânticas diferentes. Focaliza que essas construções superficialmente semelhantes são, em essência, diferentes, porque cada uma delas possui um processo próprio de estruturação interna, do qual decorre um sentido específico. Aponta, essencialmente, dois tipos de estruturas complexas: predicados secundários e miniorações complementos. Os predicados secundários se dividem, ainda, em predicados secundários orientados para o sujeito de [DP IP], predicados secundários orientados para o objeto de [DP VP] e predicados resultativos de [DP VP]. Os predicados secundários de [DP IP] e de [DP VP] e os predicados resultativos de [DP VP] constituem as Small Clauses adjuntas de predicados secundários. Apresenta que é possível encontrar evidências que as estruturas predicativas complexas do PB estão amalgamadas na concepção de Small Clauses nominais. Postula que as estruturas predicativas complexas do PB e as estruturas de Small Clauses nominais são em essência semelhantes. Tais estruturas possuem um mesmo processo de estruturação interna, que são analisadas conforme as configurações das representações sintáticas de cada sentença.

Estudo etnobotânico das plantas utilizadas como medicinais por moradores do bairro Ponta Grossa, Porto Alegre,Rio Grande do Sul

Este trabalho foi realizado com o intuito de estudar as plantas utilizadas como medicinais pelos moradores do bairro Ponta Grossa e pelos Agentes Comunitários de Saúde relacionados ao Posto de Saúde da Família do bairro Ponta Grossa, Porto Alegre, Rio Grande do Sul. Como metodologia, foram realizadas entrevistas estruturadas, na forma de questionários, para obtenção dos dados socioculturais e semi-estruturadas para o levantamento dos dados sobre as plantas. Foram coletadas 150 espécies utilizadas pela população, sendo 9 delas identificadas somente até gênero, pertencentes a 59 famílias botânicas. As famílias mais representadas em número de espécies foram Asteraceae e Lamiaceae. As partes das plantas mais utilizadas foram folhas e partes aéreas, sendo o chá a principal forma de utilização. As doenças e/ou sintomas mais mencionados foram os relacionados aos aparelhos digestório e respiratório. Em uma análise dos nomes populares foram encontradas 56 espécies com etnohomônimos e 73 espécies com etno-sinônimos verdadeiros ou falsos. Também foi realizada uma revisão bibliográfica comparativa entre as indicações de uso originais e as indicações atuais referidas no estado do Rio Grande do Sul e países limítrofes. Esta revisão teve como objetivo verificar se houve alterações do conhecimento popular. Uma espécie apresentou equivalência entre as indicações de usos originais e atuais e 140 apresentaram alteração do conhecimento popular. Para 16 espécies foi detectada alteração total do conhecimento, 61 apresentaram ampliação do conhecimento e 21 redução do conhecimento popular. Ferramentas quantitativas foram utilizadas, como Valor de Uso (UV) e a porcentagem de Concordância corrigida quanto aos Usos Principais (CUPc), para verificar quais as espécies mais importantes para a população e as mais promissoras para a realização de estudos biológicos posteriores. Para as 21 espécies mais importantes foram feitas revisões na literatura científica com o objetivo de reunir dados químicos e biológicos, que resultarão na elaboração de um manual didático, o qual será devolvido como um retorno para a população estudada.

Uma reflexão sobre a utilização de museus como vetores de operções urbanas : os casos dos museus Iberê Camargo e Guggenheim-Bilbao

O universo das operações urbanas, e em última análise o permanente processo de RE construção das cidades, é o objeto do presente trabalho. Em especial, as ações que envolvem a utilização de museus como catalisadores ou vetores de transformação urbana. Para tanto, são analisados principalmente os casos dos museus Gugenheim, em Bilbao (Espanha), e Iberê Camargo, em Porto Alegre (RS). Utilizando uma experiência como contraponto da outra, observa-se que no caso da cidade espanhola o museu foi inserido como catalizador de uma operação urbana – o Projeto de Revitalização de Bilbao –, oposto do que ocorre em Porto Alegre, onde o museu é inserido na cidade sem maiores preocupações de promover ações de dinamização e transformação urbana. Complementando a análise, também serão descritos os casos de Fortaleza (CE) – Centro Cultural Dragão do Mar –, e do Rio de Janeiro (RJ) – Guggenheim Rio. A abordagem, dentre as diversas possíveis, se apoia em três aspectos principais: em primeiro lugar, procura-se, por meio de revisão bibliográfica, estabelecer conceitos/nomes para os diferentes tipos operações urbanas, que via de regra iniciam-se com o prefixo RE; logo situar os museus, tanto por sua natureza, mas sobretudo, pela importância que assumiram como atratores de público e o impacto que causaram nos usos circundantes e na dinâmica de ocupação do solo urbano; por fim, como a ótica pretendida é o da cidade como bem público levantam-se as estratégias passíveis de utilização pelo Poder Público para promover o desenvolvimento urbano, recuperando os investimentos realizados com a captura de mais valias e rendas fundiárias urbanas.

O templo cristão na modernidade : permanências simbólicas & conquistas figurativas

O estudo enfoca a arquitetura religiosa moderna, no intuito de apreender as permanências simbólicas e as conquistas figurativas alcançadas pelos arquitetos modernistas para dar forma e representação ao templo, em tempo dito ‘dessacralizado’ porque materialista e espiritualmente plural. Fundamentalmente, compila e sistematiza, por similaridades ideológicas, funcionais, simbólicas, tipológicas e formais, o legado eclesiástico projetado e/ou construído no mundo ocidental cristão entre os anos 1850 e 1960, grosso modo. Em sincronia, apresenta suas condições de origem, razões e significados e analisa como os pressupostos modernistas aplicaram-se ao fato arquitetural das novas catedrais, igrejas paroquiais, capelas locais e obras eclesiásticas várias, católicas e protestantes. Revela, também, seus produtores – financiadores, incentivadores, projetistas e construtores – analisando a atenção dada ao tema pelos mais eminentes nomes do período e realçando agentes inestimáveis, desprezados pela ‘bibliografia oficial’ do Movimento Moderno. Nas entrelinhas ensaia, ainda, discussão crítico-interpretativa de obras paradigmáticas ao debate por conjunção especial de fatores, no sentido de identificar as estratégias e signos modernos válidos à prática arquitetural contemporânea.