CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em 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. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".

Pubarca precoce isolada ou associada à hiperplasia adrenal congênita não clássica em meninas : parâmetros clínicos e endocrinológicos

Resumo não disponível.

Planejamento à força, pensa-ação que se apresenta; à fraqueza, pensa-ação pela ausência : metateoria de planejamento : e improviso

Estão presentes também, no caminho investigativo desta pesquisa, discussões sobre o ensino de arte na contemporaneidade, tendo como referência principal os depoimentos dos/das adolescentes. Os valores sociais são discutidos sob uma ótica que, direta ou indiretamente, também influencia a formação do jovem adolescente, altera e propõe concepções de gosto, consumo e estética, bem como a valorização do ensino de arte na escola. Tais concepções permitem uma ampla revisão do ensino das Artes Visuais na prática pedagógica do Ensino Fundamental e Médio. da ação. Já a ausentação se dá à fraqueza. Começando pela ambigüidade noturna da imagem e, seguindo daí, a ambientação dada por uma fraca espaço-temporalidade da pensa-ação: o planejamento como estética da ação. Espaço-temporalidades fortes dão cobertura à distância, isto é, em socialidades secundárias: por exemplo, o Estado e o mercado. As fracas, em contrapartida, dão abrigo à proximidade, isto é, em socialidades primárias: por exemplo, a família, a amizade, a vizinhança, os pátios de escola. Para atritar a força-ação da tecnologia à ação enfraquecida pela ausentação da estética, busquei referências variadas, já deitando-me à sombra dada pelo espírito do improviso Eu fui das proposições de Georges Bataille à economia política clássica, às contribuições antropossociológicas da dádiva, passando por questões epistemológicas envolvidas nas imagens de tempo e espaço. No mesmo espírito assombrado, minha metodologia está baseada em uma opção incomum: como se trata de uma pesquisa sobre planejamento, eu acredito que a abertura à fraqueza da pensa-ação deveria ser, ela mesma, fraca pensa-ação. Que uma pesquisa sobre um fraco planejamento devesse ser fracamente planejada, vindo, quase simultaneamente, ao encontro do que propõe. Finalmente, a noção revisitada de ambigüidade foi inquirida a respeito de seu papel nas articulações de sentido do planejamento. Talvez ela possa dizer algo sobre uma virtual metateoria de planejamento feita de presenças e ausências. Bem como, daí, eu consiga levantar algum indício alternativo ao estranhamento de presenças e ausências de uma Educação que deve muito de sua força à teoriza-planeja-ação.

Verificação de seções de concreto armado solicitadas por flexão composta à fadiga

Neste trabalho, apresenta-se um programa de computador criado para automatizar os procedimentos para a verificação à fadiga de seções de concreto armado, submetidas a solicitações normais, conforme as recomendações do Projeto de revisão da NBR 6118/2001 (Texto conclusivo). o programa calcula as tensões e as variações de tensões, necessárias para as verificações, no regime elástico (estádio 11),qualquer que seja a solicitação (reta ou desviada) e qualquer que seja a seção transversal da barra (suposta poligonal). Este programa tem grande utilidade prática na verificação de lajes, vigas e pilares de concreto armado. Devido à sua simplicidade e à quantidade de conhecimentos básicos, de cálculo diferencial e integral, cálculo numérico, geometria das massas, resistência dos materiais e concreto armado, envolvidos no seu desenvolvimento, pode ser usado também para fins didáticos.

Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

Nos últimos 70 anos têm sido apresentadas várias propostas para caracteriza ção da noção intuitiva de computabilidade. O modelo de Computação mais conhecido para expressar a noção intuitiva de algoritmo é a Máquina de Turing. Esse trabalho apresenta máquinas abstratas que representam diferentes formas de comportamento computacional, sendo possível abordar a diversidade entre a Teoria da Computação Clássica (Máquina de Turing) e a Teoria da Computa- ção Interativa (Máquina de Turing Persistente). Com a evolução dos sistemas de computação, surgiu a necessidade de estender a de nição de Máquina de Turing para tratar uma diversidade de novas situações, esses problemas conduziram a uma mudança de paradigma. Neste contexto foi desenvolvido a Máquina de Turing Persistente, que é capaz de fundamentar a Teoria da Computação Interativa. Máquinas de Turing Persistentes (PeTM) são modelos que expressam comportamento interativo, esse modelo é uma extensão da Máquina de Turing. O presente trabalho tem como objetivo explorar paralelismo na Máquina de Turing Persistente, através da formalização de uma extensão paralela da PeTM e o estudo dos efeitos sobre essa extensão, variando o número de tas de trabalho. Contribui- ções desse trabalho incluem a de nição de uma máquina de Turing Persistente Paralela para modelar computação interativa e uma exposição de conceitos fundamentais e necessários para o entendimento desse novo paradigma. Os métodos e conceitos apresentados para formalização da computação na Máquina de Turing Persistente Paralela desenvolvidos nessa dissertação, podem servir como base para uma melhor compreensão da Teoria da Computação Interativa e da forma como o paralelismo pode ser especi cado em modelos teóricos.

Emprego do processamento mecânico na reciclagem de sucatas de placas de circuito impresso

O grande desenvolvimento da industria eletrônica, aliado ao aumento do consumo de bens pela população, gera um número cada vez maior de equipamentos defeituosos e obsoletos, entre eles as Placas de Circuito Impresso (PCI), as quais precisam ser dispostas. A sucata destas placas representa uma matéria prima interessante, pois contém metais e ligas metálicas, o que torna sua reciclagem bastante atraente. Como linha geral, as PCI possuem 49% de materiais cerâmicos, vidros e óxidos, 19% de plásticos, 4% de bromo e 28% de metais. A composição real depende da origem do circuito impresso, assim como do tipo e idade do equipamento. O uso do Processamento Mecânico na reciclagem desse resíduo é uma alternativa na recuperação dos metais presentes e também uma maneira de separar seus vários componentes, permitindo assim dispor adequadamente este resíduo. Neste trabalho as PCI passaram por várias etapas de processamento mecânico. Primeiramente foram moídas abaixo de 1mm e após foram classificadas, caracterizadas e diferentes frações foram separadas por densidade. A primeira classificação foi feita por granulometria e gerou três frações diferentes: uma menor que 0,25mm, outra entre 0,25 e 0,50mm e outra entre 0,50 e 1,0mm. Após foi feita uma separação por densidade obtendo-se uma fração rica em metais, em especial o cobre, e outra fração leve composta por polímeros e cerâmicos As frações classificadas por granulometria e as frações leves originadas da separação por densidade foram lixiviadas para caracterizar o resíduo a respeito da sua toxicidade antes e depois do processo. O uso do processamento mecânico mostrou-se muito eficiente na recuperação dos metais, pois foi possível recuperar cerca de 80% dos metais presentes, com destaque para o cobre, que representa quase 75% da fração metálica. Através da lixiviação foi determinado que as PCI deveriam ser classificadas como resíduos perigosos, pois apresentam uma concentração de chumbo bem acima do permitido. Após a separação por densidade foi feito novamente ensaio de lixiviação e embora a concentração de Chumbo na fração leve tenha diminuido significativamente ela ainda permaneceu acima dos limites estabelecidos pelas normas brasileiras.

A metarrepresentação na brincadeira de faz-de-conta : uma investigação da teoria da mente

A Teoria da Mente é uma área de estudo que investiga a compreensão da mente pelas crianças pequenas. Uma das questões centrais nesta investigação refere-se a quando a criança começa a entender a mente em sua dimensão metarrepresentativa. Neste estudo, examinou-se o status metarrepresentativo da brincadeira de faz-de-conta, considerada como uma das atividades que indicam a presença de uma teoria da mente, e a sua relação com o nível representativo apresentado nas tarefas de crença falsa e de aparência-realidade, e no emprego de termos mentais. Os dados foram obtidos através de testagem, entrevista e de uma sessão de observação, em que cada um dos sete participantes, com seis anos de idade, foi observado por vinte minutos. As crianças foram filmadas interagindo com colegas e brinquedos e suas falas gravadas, utilizando-se um microfone de lapela. Os resultados mostraram que todas as crianças do estudo resolveram as tarefas de crença falsa e de aparência-realidade, indicando a presença de uma teoria da mente e da capacidade de metarrepresentação. Quanto à brincadeira de faz-de-conta, houve predomínio de episódios categorisados como de brinquedo não-metarrepresentativo, apesar de seis crianças apresentarem episódios de faz-de-conta metarrepresentativo. Quanto ao uso de termos mentais, cinco crianças, em suas conversações, empregaram termos mentais considerados metarrepresentativos. Apesar das crianças apresentarem episódios de faz-de-conta metarrepresentativo, de resolverem corretamente as tarefas e de empregarem termos mentais que requerem metarrepresentação para serem compreendidos, não parece haver uma relação linear entre esses indicadores. Os resultados confirmam a hipótese de alguns autores de que a brincadeira de faz-de-conta metarrepresentativa ocorre mais tardiamente no desenvolvimento, estando estreitamente relacionada à compreensão da sintaxe do termo mental fazer de conta.

Aplicação da teoria da homogeneização em materiais compósitos viscoelásticos

Materiais compósitos são empregados nos mais diversos tipos de estruturas (civis, mecânicas, aeronáuticas, etc.). A possibilidade de otimização de suas propriedades, frente às solicitações consideradas, representa uma grande vantagem na sua utilização. A teoria da homogeneização permite a avaliação da influência de detalhes microestruturais nas características do composto através do estudo de uma célula elementar. Os deslocamentos periódicos dessa célula são aproximados com expansões ortogonais polinomiais. A exatidão dos cálculos elásticos está associada ao grau dos polinômios utilizados. O procedimento numérico no modelo viscoelástico é incremental no tempo, utilizando-se de variáveis de estado, cuja implementação proporciona grande economia computacional, pois evita o cálculo de integrais hereditárias. A influência de diversos parâmetros físicos na constituição dos compósitos de fibras unidirecionais estudados é discutida e comparada com resultados obtidos com modelos em elementos finitos, tanto em elasticidade, quanto em viscoelasticidade sem envelhecimento. Para o caso de envelhecimento, no qual as características dos constituintes são variáveis com o tempo, é mostrada a resposta dos compósitos sob relaxação para diferentes instantes iniciais de carregamento em situações de "softening" (ou abrandamento) e "hardening" (ou endurecimento).

Organizações e a Lei de Ferro das Oligarquias : um estudo sobre os assentamentos rurais de reforma agrária

O propósito principal desta dissertação foi analisar as formas de organização implantadas em vários assentamentos rurais constituídos a partir do programa brasileiro de reforma agrária. Nesses assentamentos, a influência do Movimento dos Trabalhadores Rurais Sem Terra (MST) é relativamente forte e o seu significativo controle produz diversos impactos em termos da organização dos assentados, expressa nos discursos prevalecentes, nas práticas sociais e, em especial, numa ênfase nas formas coletivas de organização social. O estudo utiliza, como arcabouço teórico, a clássica teoria proposta por Robert Michels e os seus argumentos estruturais acerca da formação de oligarquias resultantes de processos sociais típicos do desenvolvimento de organizações sociais. O método de análise centrou-se em estudos de casos e pesquisas anteriores realizadas em diferentes estados brasileiros por vários pesquisadores, as quais investigaram a dinâmica interna e as formas de organização em assentamentos rurais. O estudo foi capaz de estabelecer a existência de um processo de diferenciação devido à criação de uma estrutura de poder, bem como as resultantes práticas oligárquicas dentro dos assentamentos. Como uma de suas principais conclusões, esta dissertação aponta que o processo de formação da representação social é um dos desafios principais, seja para o Movimento dos Sem Terra, seja para os assentados.

Estimativa da vida útil de placas cerâmicas esmaltadas solicitadas por abrasão através de ensaios acelerados

O desempenho de placas cerâmicas esmaltadas sujeitas ao tráfego de pessoas tem sido alvo de inúmeras críticas, tanto por parte dos especificadores, em vista da carência de informações técnicas seguras, quanto por parte dos usuários, devido ao comportamento insatisfatório, muitas vezes registrado, em condições reais de utilização. Com o intuito de contribuir com o estudo desse assunto, procurou-se modelar o comportamento de placas cerâmicas esmaltadas submetidas a um processo abrasivo. Para tanto, desenvolveu-se um equipamento de abrasão que permitiu a aplicação variável de carga e a inserção de diferentes concentrações de abrasivo. Como variáveis de resposta, foram analisadas seis propriedades que podem estar relacionadas à percepção do fenômeno: reflexão especular, reflexão difusa, delta E, rugosidade média Ra, rugosidade média Rz e aspecto visual. Após desgaste, avaliou-se também a limpabilidade das superfícies, as quais revelaram tendência à maior impregnação de sujeira. A relação entre o comportamento obtido em laboratório com o desempenho em campo foi obtida através de um estudo de caso cujas placas revelaram significativo desgaste após poucos anos de utilização A partir da modelagem dos dados de campo foi possível constatar que a classificação visual mostrou os melhores parâmetros estatísticos, comportamento este também observado nos ensaios de laboratório. Dessa forma, a classificação visual constitui-se na propriedade selecionada para estimar a vida útil de placas cerâmicas esmaltadas sujeitas à abrasão provocada pelo tráfego de pessoas. Os modelos resultantes mostraram que a variação de aspecto, decorrente do ensaio de abrasão, e a variação do aspecto, decorrente do trânsito de pessoas em movimento livre, são proporcionais, respectivamente, à raiz quadrada do tempo e à raiz quadrada do tráfego. Portanto, existe uma relação constante entre tempo e tráfego que permite estimar o comportamento futuro do material. Para frenagem, resulta que a variação de aspecto é aproximadamente proporcional à raiz cúbica do tráfego. Utilizando a modelagem proposta, foi possível estimar a vida útil de quatro tipologias de placas cerâmicas, designadas: bege sem brilho, bege com brilho, marrom sem brilho e marrom com brilho.

Avaliação da aplicação da teoria das restrições no processo de planejamento e controle da produção de obras de edificação

Devido à necessidade de permanecer competitiva e rentável, a indústriada construção civil tem mudado a forma de conduzir seus negócios e adaptado filosofias gerenciais para a suarealidade, como é o casodo Just-in-Time (JIT)e dos Sistemas da Oualidade (por exemplo: TOM e TOC). Dentro deste contexto, encontra-se a aplicação da Teoria das Restrições (TR) no processo de Planejamento e Controle da Produção (PCP) de obras de edificação. A Teoria das Restrições é uma filosofia gerencial fundamentada no conceito de restrição e em como gerenciar as restrições identificadas, fornecendo: (a) um procedimento para os responsáveis pela produção identificarem onde e como concentrar esforços e (b) um processo de melhoria contínua para o sistema produtivo como um todo, buscando sempre o ótimo globalantes do local. O desconhecimento dos possíveis benefícios e dificuldades decorrentes da adaptação e aplicação desta teoria na indústria da construção civil fez com que a aplicação da Teoria das Restrições fosse simulada, usando a técnica STROBOSCOPE (Stateand Resource Based Simulation of Construction Processes), em um empreendimento para analisar os impactos que prazos e custos podem sofrer durante as aplicações em casos reais. Estas simulações mostraram que a Teoria das Restrições e suas técnicas e ferramentas são aplicáveis ao processo de PCP, reduzindo os atrasos e os custos por atraso que um empreendimento pode sofrer.

Análise de indicadores voltados à tomada de decisão gerencial : um comparativo entre a teoria e a prática

Este trabalho visa abordar um aspecto de grande importância em um sistema de gestão empresarial – os indicadores que devem orientar a tomada de decisão na organização. Os indicadores podem cumprir duas funções administrativas: planejamento e controle. Por suas origens históricas, a ênfase no controle ainda prevalece sobre o planejamento. Porém, o ambiente competitivo dos dias atuais não permite atrasos na tomada de decisão gerencial. Portanto, se os indicadores auxiliarem na função de planejamento – orientando e permitindo inferir sobre possíveis consequências de uma ou outra decisão - estariam possibilitando ações mais focalizadas, com melhores resultados para a empresa. Diminuiriam, assim, eventuais correções no rumo da gestão. Consequentemente, diminuiria também o tempo necessário para o alcance dos resultados planejados. Esta dissertação buscou analisar os pr incipais modelos teóricos de sistemas de indicadores, explicitando quais os indicadores sugeridos e o modo como devem ser tratados. Realizou-se, também, uma pesquisa de campo em 20 empresas do Rio Grande do Sul, a fim de identificar os indicadores que estavam sendo efetivamente utilizados para a tomada de decisão, bem como problemas decorrentes do uso destes. Com isso, pôde-se confrontar os modelos teóricos e a prática atual das empresas pesquisadas, o que permitiu extrair as conclusões do trabalho. Além disso, permitiu verificar a correlação existente entre um uso eficiente de indicadores e o desempenho destas empresas, comparando-se com uma pesquisa realizada com este objetivo em empresas americanas. Como conclusão final, constatou-se a importância central dos indicadores em um sistema de gestão, constituindo uma base sólida na busca por um melhor desempenho empresarial.

Aplicação de um método de implantação da manutenção produtiva total a partir da ótica da teoria das restrições na linha de fabricação de panelas da Tramontina Farroupilha S.A.

Este trabalho tem por objetivo estudar a implantação dos princípios e técnicas da Manutenção Produtiva Total, Teoria das Restrições e Sistema Toyota de Produção em uma indústria metalúrgica visando aumentar a capacidade produtiva da linha de fabricação de panelas de aço inoxidável. O mesmo foi desenvolvido na Tramontina Farroupilha S.A. Após uma fundamentação teórica e a apresentação das características gerais da empresa, é proposto um método de implantação da Manutenção Produtiva Total em dez etapas, aplicado em equipamento gargalo e obtendo um aumento significativo de sua capacidade. As conclusões indicam a possibilidade de implantação deste método à esta atividade industrial bem como a sua utilização em outros ramos industriais, observadas as características específicas de cada organização.

Verificação do estado limite de serviço de abertura das fissuras em seções de concreto armado submetidas à flexão simples

Este trabalho apresenta um programa que tem por finalidade automatizar os procedimentos de verificação do estado limite de serviço de abertura das fissuras em seções retangulares e T de concreto armado, submetidas à flexão simples, conforme as recomendações da norma NBR 6118/2003 – Projeto de Estruturas de Concreto. O programa foi implementado na linguagem de programação Microsoft Visual Basic, aproveitando os recursos fornecidos por esta linguagem, que propiciam o desenvolvimento de uma entrada de dados amigável, típica do ambiente Windows. A fissuração, em elementos de concreto armado, ocorre quando as tensões de tração no concreto excedem a sua capacidade resistente. Nos elementos fissurados, as aberturas das fissuras devem ser controladas. Segundo as recomendações da norma, o valor característico da abertura das fissuras não deve ultrapassar determinados valores admissíveis. No procedimento implementado, são determinadas as aberturas das fissuras considerando-se o conjunto de barras da armadura tracionada e a camada mais tracionada da armadura, com o propósito de estabelecer a situação mais desfavorável. O programa tem também a pretensão de auxiliar estudantes de engenharia na compreensão do fenômeno da fissuração, fornecendo valores de elementos que caracterizam o funcionamento da peça fletida.

Decomposição de Calderon e suas aplicações na teoria da regularidade em equações elípticas

Este trabalho tem por objetivo estudar a regularidade de soluções de Equações Diferenciais Parciais Elípticas da forma Lu = f, para f 2 Lp(­), onde p > 1. Para isto, usamos a Decomposição de Calderon-Zygmund e um resultado que é consequência deste, o Teorema da Interpolação de Marcinkiewicz. Além disso, usando quocientes-diferença provamos a regularidade das soluções para o caso p = 2 e L = ¡¢ de uma forma alternativa.