Estudo da perícia em petrografia sedimentar e sua importância para a engenharia de conhecimento

Perícia é a capacidade de aplicar habilidades intelectuais para resolver problemas em domínios estratégicos, com um desempenho e qualidade de solução superior à média dos profissionais da área. Ampliar a compreensão do que é a perícia fornece suporte e justificativas para a proposição de novos recursos para aquisição e modelagem de conhecimento na área da Engenharia de Conhecimento. Esta tese apresenta os resultados de um estudo sobre a perícia em Geologia, em especial numa aplicação em Petrografia Sedimentar. A tarefa em questão é especialmente significativa porque, ao contrário das tarefas típicas, cujo estudo tem levado ao desenvolvimento de diversas metodologias de aquisição de conhecimento, essa tarefa aplica primariamente raciocínio baseado na análise de imagens e, secundariamente, busca e métodos analíticos para interpretar os objetos da perícia (no caso, rochas-reservatório de petróleo). O objetivo deste projeto de tese é a identificação dos recursos cognitivos aplicados por especialistas na solução de problemas, que são essencialmente de reconhecimento visual e a representação do que é reconhecido. A interpretação dessas habilidades fornece fundamentos para a proposta de novos recursos para aquisição e modelagem, e posterior desenvolvimento de sistemas especialistas para interpretação de rochas. Também contribuem para o tratamento da perícia em outros campos que possuam o mesmo caráter de reconhecimento visual tal como a interpretação de rochas. O estudo foi desenvolvido em duas fases. Na primeira, o conhecimento foi eliciado de um especialista em Petrografia Sedimentar e estruturado, utilizando técnicas tradicionais de aquisição de conhecimento. A segunda fase envolveu o desenvolvimento de um experimento com dezenove geólogos com diferentes níveis de perícia, para identificar os tipos de conhecimentos que suportam a perícia e quais os métodos de solução que são aplicados nos altos níveis da perícia. O estudo das habilidades cognitivas demonstrou que especialistas em Petrografia sedimentar desenvolvem uma grande variedade de formas mentais e hierarquias que diferem daquelas normalmente descritas na literatura da área. Especialistas retém ainda um grande conjunto de abstrações simbólicas de imagens, denominados aqui de pacotes visuais. Os pacotes visuais possuem importante papel na indexação das estruturas mentais e na condução do processo de inferência. As representações são tipicamente associadas com seus próprios métodos de solução de problemas adequados à complexidade da tarefa de caracterização de reservatórios. A aplicação desses recursos faz parte do conjunto de conhecimentos tácitos dos especialistas. A associação de grafos de conhecimento e a análise de casos mostrou-se, neste trabalho, um método adequado para a externalizar e adquirir o conhecimento declarativo e as relações causais, as quais não são evidenciadas com as técnicas de aquisição de conhecimento tradicionais. Métodos de solução de problemas, por sua vez, foram eliciados com o auxílio das bibliotecas de solução de problemas disponíveis na literatura e grafos de conhecimento. O modelo de representação, aqui proposto, expressa o conhecimento em dois níveis: o nível da externalização, compatível com o conhecimento de um intermediário em Petrografia Sedimentar, e o nível da inferência, que modela o conhecimento tácito do especialista. Esta tese apresenta de forma inédita o conceito de pacote visual como uma primitiva de representação e um conjunto de métodos de solução de problemas adequados à interpretação de rochas.

Paralelizações de métodos numéricos em clusters empregando as bibliotecas MPICH, DECK e Pthread

Este trabalho tem como objetivo desenvolver e empregar técnicas e estruturas de dados agrupadas visando paralelizar os métodos do subespaço de Krylov, fazendo-se uso de diversas ferramentas e abordagens. A partir dos resultados é feita uma análise comparativa de desemvpenho destas ferramentas e abordagens. As paralelizações aqui desenvolvidas foram projetadas para serem executadas em um arquitetura formada por um agregado de máquinas indepentes e multiprocessadas (Cluster), ou seja , são considerados o paralelismo e intra-nodos. Para auxiliar a programação paralela em clusters foram, e estão sendo, desenvolvidas diferentes ferramentas (bibliotecas) que visam a exploração dos dois níveis de paralelismo existentes neste tipo de arquitetura. Neste trabalho emprega-se diferentes bibliotecas de troca de mensagens e de criação de threads para a exploração do paralelismo inter-nodos e intra-nodos. As bibliotecas adotadas são o DECK e o MPICH e a Pthread. Um dos itens a serem analisados nestes trabalho é acomparação do desempenho obtido com essas bibliotecas.O outro item é a análise da influência no desemepnho quando quando tulizadas múltiplas threads no paralelismo em clusters multiprocessados. Os métodos paralelizados nesse trabalho são o Gradiente Conjugação (GC) e o Resíduo Mínmo Generalizado (GMRES), quepodem ser adotados, respectivamente, para solução de sistemas de equações lineares sintéticos positivos e definidos e não simétricas. Tais sistemas surgem da discretização, por exemplo, dos modelos da hidrodinâmica e do transporte de massa que estão sendo desenvolvidos no GMCPAD. A utilização desses métodos é justificada pelo fato de serem métodos iterativos, o que os torna adequados à solução de sistemas de equações esparsas e de grande porte. Na solução desses sistemas através desses métodos iterativos paralelizados faz-se necessário o particionamento do domínio do problema, o qual deve ser feito visando um bom balanceamento de carga e minimização das fronteiras entre os sub-domínios. A estrutura de dados desenvolvida para os métodos paralelizados nesse trabalho permite que eles sejam adotados para solução de sistemas de equações gerados a partir de qualquer tipo de particionamento, pois o formato de armazenamento de dados adotado supre qualquer tipo de dependência de dados. Além disso, nesse trabalho são adotadas duas estratégias de ordenação para as comunicações, estratégias essas que podem ser importantes quando se considera a portabilidade das paralelizações para máquinas interligadas por redes de interconexão com buffer de tamanho insuficiente para evitar a ocorrência de dealock. Os resultados obtidos nessa dissertação contribuem nos trabalhos do GMCPAD, pois as paralelizações são adotadas em aplicações que estão sendo desenvolvidas no grupo.

Estudo da carburização de tubos de ligas de Fe-Cr-Ni aplicadas em fornos de pirólise

Durante sua utilização, tubos que operam na pirólise de substâncias orgânicas sofrem degradação estrutural resultante dos mecanismos de carburização que, em geral, levam à falha dos tubos. A carburização decorre da quantidade de carbono disponível na pirólise, que chega a formar uma camada intensa de coque no interior dos tubos. Para a retirada do coque, é introduzido vapor no intuito de queimá-lo que, adicionalmente, deixa carbono na superfície para a carburização. Este trabalho analisa os aspectos metalúrgicos envolvidos no ataque das liga Fe-Cr- Ni através da carburização, onde falhas catastróficas podem ocorrer devido às tensões térmicas geradas nas paradas de retirada do coque formado. Os tubos usados são fabricados com as ligas HP40 e HPX. Ligas ricas em cromo e níquel são utilizados; no caso do níquel a estabilização da estrutura austenítica e do cromo pela formação de uma camada protetora de óxido. No entanto, tempos prolongados de emprego da liga pode gerar quebra da barreira protetora e, então, proporcionar a difusão do carbono para o material, causando mudanças microestuturais que irão afetar as propriedades metalúrgicas Neste trabalho foram analisadas microestruturas de ligas com 25% Cr e 35% Ni que operaram por 20.000 e 37.000 horas, bem como a realização de uma série de tratamentos térmicos com ligas 25% Cr 35% Ni e 35% Cr 45% Ni sem uso, a fim de se estabelecer à relação existente entre a difusão do carbono e a microestrutura resultante. De posse destes dados, foram realizadas análises em microscopia, ensaios mecânicos, dilatometria e modelamento das tensões térmicas geradas nas paradas de decoking. Foi, também, desenvolvido uma metodologia capaz de relacionar a espessura da camada difundida de carbono com o magnetismo existente na superfície interna causada pela formação de precipitados magnéticos.

Um Modelo de estruturação de requisitos para o método fusion

Uma definição confiável dos requisitos de um software depende diretamente da completa e correta compreensão sobre as necessidades do sistema e sua conseqüente representação de forma adequada ao processo de desenvolvimento. Uma proposta de modelagem de requisitos deve apresentar qualidades que colaborem para a compreensão mútua das necessidades entre os envolvidos no processo e que organizem os requisitos de forma a permitir o acompanhamento no desenvolvimento do software. O presente trabalho apresenta um modelo de estruturação de requisitos fundamentado em metodologias orientadas a objetivos com utilização de cenários e preceitos da Teoria da Atividade. O modelo tem sua argumentação nas premissas que cliente e usuários normalmente expressam suas necessidades através de objetivos almejados e que a ação humana deve ser analisada dentro de um contexto para que possa fazer sentido e ser compreendida. Inserido no contexto do Projeto FILM1, cujo objetivo é expandir o Método Fusion, agregando uma etapa de modelagem de requisitos, o trabalho estabeleceu a qualidade de usabilidade como motivadora da definição de um modelo de estruturação de requisitos. A usabilidade é uma qualidade que visa facilitar a utilização do modelo como uma ferramenta de representação dos requisitos de forma inteligível, atuando tanto na especificação dos requisitos como na validação dos mesmos entre os envolvidos. Os requisitos são estruturados segundo uma abordagem voltada aos clientes e usuários do sistema. O modelo definido tem por objetivo prover a construção gradual e incremental do entendimento compartilhado entre os envolvidos sobre os domínios do problema e da solução, na concepção e no desenvolvimento do software. Metodologias orientadas a objetivos, operacionalizadas através de cenários, conjugadas a princípios da atividade oferecem um suporte adequado a estruturação de requisitos provendo usabilidade ao modelo. A avaliação da aplicabilidade do modelo é realizada com a modelagem de requisitos em três estudos de casos. Em cada caso são aplicadas técnicas de elicitação no sentido da afinar a sintonia com a estrutura do modelo de requisitos. A concepção do modelo, embasada em conceitos da Teoria da Atividade, é bastante adequado às atividades de elicitação em uma abordagem voltada aos clientes e usuários.

Bem-estar subjetivo infantil : conceito de felicidade e construção de instrumentos para avaliação

A presente Tese consiste de estudos na área do Bem-Estar Subjetivo dentro da área da Psicologia Positiva. O primeiro estudo desenvolvido trata da investigação do desenvolvimento do conceito de felicidade e suas principais características em crianças de idade escolar. Foram também investigados a autopercepção infantil sobre o bem-estar subjetivo, os indicadores de qualidade de vida subjetiva infantil, os principais eventos de vida positivos e negativos, além de identificarem-se as diferenças de gênero, entre faixas etárias e entre tipos de escolas. Participaram do estudo 200 crianças entre cinco e doze anos de idade (m= 8,7 anos) que foram entrevistadas individualmente. Uma Análise de Conteúdo das entrevistas geraram categorias consistentes relativas aos domínios de satisfação de vida infantil: Self, Família, Amizade, Escola, Satisfação de Necessidades Básicas, Satisfação de Desejos, Lazer e Não-Violência. Estas categorias permitiram o desenvolvimento de instrumentos objetivos para avaliar bem-estar subjetivo em nossa cultura. Os estudos de construção e de validação concorrente das escalas (Escala de Satisfação de Vida Global Infantil, Escala Multidimensional de Satisfação de Vida para Crianças e Escala de Afeto Positivo e Negativo para Crianças) são apresentados. Os resultados indicaram que as escalas possuem adequadas características psicométricas, incluindo elevados níveis de consistência interna. Os fatores extraídos possuem sentido teórico. Evidências de validade concorrente também foram obtidas. Estes estudos promoveram uma melhor compreensão do bem-estar subjetivo de crianças brasileiras e dos processos de desenvolvimento imbricados no conceito de felicidade. Os instrumentos desenvolvidos podem ser de utilidade para psicólogos que trabalham com crianças e adolescentes, como para os pesquisadores da área.

Uma abordagem Bottom-UP para a integração semântica de esquemas XML

XML (eXtensibile Markup Language) é um padrão atual para representação e intercâmbio dos semi-estruturados na Web. Dados semi-estruturados são dados não convencionais cujas instâncias de uma mesma fonte de dados podem ter representações altamente heterogêneas. Em função isto, um esquema para estes dados tende a ser extenso para suportar todas as alternativas de representação que um dado pode assumir. Parte do grande volume de dados disponível hoje na Web é composto por fontes de dados heterogêneas XML sobre diversos domínios do conhecimento. Para realizar o acesso a estas fontes, aplicações na Web necessitam de um mecanismo de integração de dados. O objetivo principal deste mecanismo é disponibilizar um esquema de dados global representativo dos diversos esquemas XML das fontes de dados. Com base neste esquema global, consultas são formuladas, traduzidas para consultas sobre os esquemas XML, executadas nas fontes de dados e os resultados retornados à aplicação. Esta tese apresenta uma abordagem para a integração semântica de esquemas XML relativos a um domínio de aplicação chamada BInXS. BInXS adota um processo bottom-up de integração, no qual o esquema global é definido para um conjunto de esquemas XML representadas atrtavés de DTDs (Document Type Definitions). A vantagem do processo bottom-up é que todas as informações dos esquemas XML são consideradas no esquema global. Desta forma, toda a informação presente nas fontes de dados pode ser consultada. O processo de integração de BInXS é baseado em um conjunto de regras e algoritmos que realizam a cnversão de cada DTD para um esquema canônico conceitual e a posterior integração semântica propriamente dita destes esquemas canônicos. O processo é semi-automático pois considera uma eventual intervenção de um usuário especialista no domínio para validar ou confirmar alternativas de resultado produzidas automaticamente. Comparada com trabalhos relacionados, BInXS apresenta as seguintes contribuições: (i) uma representação canônica conceitual para esquemas XML que é o resultado de uma anállise detalhada do modelo XML; (ii) um étodo de unificação que lida com as particularidades da integração de dados semi-estruturados e; (iii) uma estratégia de mapeamento baseada em expressões de consulta XPath que possibilita uma tradução simples de consultas globais para consultas a serem executadas nas fontes de dados XML.

Qualidade de vida em idosos

Introdução: Esta tese de doutorado é mais uma contribuição do Grupo de Qualidade de Vida (Centro Brasileiro) do Programa de Pós-Graduação em Ciências Médicas: Psiquiatria, da UFRGS. Esse grupo têm trabalhado em projetos transculturais de elaboração de instrumentos de qualidade de vida (QV) sob a coordenação da Organização Mundial de Saúde. Entre os instrumentos genéricos de QV já desenvolvidos estão o WHOQOL-100 e o WHOQOL-Bref e entre os instrumentos específicos, para populações especiais, estão o WHOQOL-HIV, o WHOQOL-SRPB e, mais recentemente, o WHOQOL-OLD. O desenvolvimento de uma escala de QV para idosos é especialmente importante tendo em vista especificidades deste grupo etário, bem como o aumento da proporção de idosos na população mundial. Objetivos: O objetivo maior deste estudo é desenvolver uma escala de QV para idosos (WHOQOL-OLD). Entretanto, como trata-se de um processo com longa duração de tempo, foram gerados objetivos específicos a partir da revisão da literatura e coleta de dados, que deram origem a 5 artigos, cada um com sua proposta, a saber: artigo 1. Apresentar a metodologia utilizada e os resultados dos grupos focais para avaliação de QV do idoso, artigo 2. Identificar variáveis relevantes na QV de pessoas idosas, artigo 3. Investigar a relação da percepção de QV do idoso com a percepção de QV do idoso na opinião de seu cuidador, artigo 4. Investigar variáveis associadas com percepção subjetiva de saúde em idosos internados e artigo 5. Pesquisar um possível viés nas respostas de idosos no Inventário de Depressão de Beck (BDI). Métodos: O primeiro estudo teve um desenho qualitativo enquanto os demais foram quantitativos. As amostras variaram para cada estudo. Em todos os estudos idosos(as) acima de 60 anos foram entrevistados. Para os estudos 1 e 2, a amostra contou com profissionais da área da saúde (1) e cuidadores (1 e 2). E, para o estudo 5, adultos acima de 18 anos também foram pesquisados. A coleta dos dados foi realizada em hospitais, lares e grupos comunitários, residências e recrutamento utilizando a técnica de "snow-ball" (bola de neve) em que cada sujeito indicava um outro sujeito. Todos os entrevistados preencheram o Termo de Consentimento Informado e, a partir daí, foram convidados a responder acerca de informações sociodemográficas, QV percebida (WHOQOL-100) e sintomatologia depressiva (BDI), com pequena variação para os cuidadores. O último estudo contou apenas com os dados sociodemográficos e com as respostas ao BDI. Resultados: De forma abreviada, os resultados dos 5 artigos confirmam as especificidades do idoso e portanto a necessidade de desenvolvimento de instrumentos específicos para esta população. O artigo 1 teve como resultado a sugestão de novos itens para idosos, a partir das respostas espontâneas e análise dos domínios e facetas do WHOQOL-100. O artigo 2, por sua vez, mostrou associações da percepção de QV geral com níveis de depressão, percepção subjetiva de saúde e sexo. No artigo 3, foi possível verificar uma tendência, em todos os domínios e na medida QV geral, de o cuidador responder pior percepção de QV do idoso do que o próprio idoso cuidado, apesar de algumas concordâncias (domínios físico, nível de independência, meio ambiente e espiritualidade/religião). Também observou-se que a intensidade de depressão do idoso exerceu forte influência tanto na sua própria percepção de QV quanto na percepção do cuidador sobre o idoso. O artigo 4 mostrou uma prevalência alta e não esperada de idosos internados que se percebiam como saudáveis. Foi possível observar, ainda, uma associação significativa entre percepção saudável e menor intensidade de sintomas depressivos, bem como melhor percepção de QV no domínio nível de independência. E por último, o artigo 5 discute o viés da subescala somático e de desempenho nas respostas do idoso ao BDI. Conclusões: Idosos constituem um grupo particular e, como tal, apresentam especificidades relevantes. A avaliação dos idosos em relação às suas percepções de QV está associada a sexo, idade, estado civil, classe social, percepção de saúde e mais fortemente associada a níveis de sintomas depressivos. Explorando o cuidador como avaliador da QV do idoso observou-se uma tendência de o cuidador perceber a QV do idoso pior do que a própria percepção do idoso, apesar de fortes correlações para todos os domínios e na medida QV geral na percepção do par idoso-cuidador. Já na avaliação de percepção de saúde em idosos foi verificada a influência da intensidade dos sintomas depressivos bem como da dimensão independência: quanto menor a intensidade de depressão e quanto maior o nível de independência, maior associação com percepção de saúde entre idosos. Além desses, características próprias da população idosa podem interferir nos resultados do BDI fazendo com que seus achados sejam maximizados por questões somáticas e de desempenho sugerindo pontos de corte especiais para os idosos. Novos estudos são sugeridos a fim de atender a demanda específica do idoso.

Por um "nó" espistemológico da linguística e da psicanálise : um estudo sobre Saussure, Jakobson, Benveniste e Lacan

O objetivo do presente trabalho é construir recursos operatórios de leitura que permitam articular, desde um ponto de vista epistemológico, lingüística e psicanálise. Esta temática surge de uma problemática de pesquisa atual, relativa à crescente demanda, endereçada a lingüística, por diferentes práticas clínicas nas quais a linguagem está implicada. Neste sentido, procura-se relacionar um paradigma de linguagem com uma teoria da subjetividade apropriada tanto à reflexão clínica quanto à reflexão epistemológica. Desta forma, esta dissertação opta por um estudo teórico, visando a construção de operadores conceituais que possibilitem a articulação entre a psicanálise lacaniana e as teorias da linguagem de Saussure, Jakobson e Benveniste, utilizando como corpus de análise essas próprias teorias lingüísticas e psicanalíticas. Portanto, seu procedimento analítico pode ser qualificado como metateórico. Quatro critérios são utilizados para a seleção dos autores: 1°) as três teorias são, cada uma a seu modo, estruturalistas – isso significa que a estrutura é o conceito operador que permite pensar as proposições que estão na base de cada teoria (seus axiomas); 2°) as três teorias estabelecem proposições sobre o objeto língua – isso requer perguntar quais axiomas sobre a língua cada teoria teve que construir para dar conta da estrutura. Desses dois critérios deriva-se um terceiro; 3°) as três teorias conformam três “sistemas de linguagem” que não dissolvem o “objeto língua” para se constituírem em sua especificidade (diluindo-a em objetos de outros domínios teóricos, exteriores ao campo da linguagem – ou da lingüística – propriamente dito, tais como, por exemplo, a biologia, a psicologia, a sociologia). Cada sistema é representado por um nome próprio : I – Sistema de Linguagem elaborado por Saussure; II – Sistema de Linguagem tratado por Jakobson; III – Sistema de Linguagem concebido por Benveniste. Como critério de fechamento, temos que : 4°) as três teorias interessam de perto ao Sistema de Linguagem da psicanálise lacaniana. A relação entre tais teorias deverá servir de suporte de leitura à interlocução estabelecida no campo interdisciplinar sobre a presença da linguagem nas diferentes clínicas, assim como revitalizar os campos conceituais tanto da lingüística quanto da psicanálise.

Estudo da evolução estrutural induzida por irradiação iônica em multicamadas de Fe/sub 30/Co/sub 70/Cu

Neste trabalho, relata-se o comportamento estrutural de multicamadas de Fe30Co70/Cu, quando submetidas a irradiações com íons de He+ e Kr+ e tratamentos térmicos. As multicamadas foram confeccionadas à temperatura ambiente, numa câmara de ultra-alto vácuo por evaporação alternada de uma liga Fe30Co70 e Cu. As energias das irradiações foram escolhidas de tal forma que os íons atravessassem a multicamada, ficando alojados no substrato de Si. As doses foram calculadas para que os dois tipos de íons depositassem a mesma energia total na multicamada. Após a confecção dos filmes, os mesmos foram submetidos a tratamentos térmicos de 10 minutos em temperaturas variando de 350 a 450 oC. Este processo quebra a estrutura de camadas e forma uma liga heterogênea de grãos magnéticos embebidos numa matriz metálica de Cu. Para investigar a evolução das propriedades estruturais das amostras utilizou-se difração, refletividade e espectroscopia de absorção de raios-X. Os resultados da refletividade de raios-X mostraram claramente que uma estrutura de multicamadas é formada após a evaporação, fato que é comprovado pelo pico de Bragg observado nas curvas de refletividade. As irradiações com He+ e Kr+ não destroem a estrutura de multicamadas, ao contrário, elas provocam um alisamento de todas as interfaces. Pelas medidas de difração de raios-X verificou-se que as irradiações resultam no aumento de cristalinidade e no crescimento de tamanho dos cristalitos do sistema. A irradiação com He+ não provoca mudanças significativas na multicamada, mas a irradiação com Kr+ induz uma transformação de fase de bcc para fcc/hcp nas camadas de Fe30Co70. Esta nova fase induzida pela irradiação com Kr+ é metaestável, pois um simples tratamento térmico de 450 oC durante 10 minutos destrói a nova estrutura fcc/hcp, fazendo com que a liga retorne a estrutura bcc. As medidas de absorção de raios-X estão em perfeito acordo com as medidas de difração e refletividade, mostrando que as irradiações promovem uma melhora na ordem cristalográfica. De acordo com o que foi observado das medidas, a irradiação com He+ não provoca nenhum efeito significativo na estrutura da liga de FeCo. Contudo, a irradiação com Kr+ induz uma transformação de fase nesta liga de bcc para uma estrutura fcc e/ou hcp. Tal transformação é induzida pela irradiação com Kr+ porque estes íons transferem mais energia, em colisões nucleares, do que os íons de He+. Além disso, estes íons provocam um grande número de cascatas de colisões, fazendo com que os átomos contidos dentro do volume destas cascatas tornem-se móveis. Desta forma, os átomos de Fe e Co se rearranjam em uma estrutura fcc, que é imposta pelas camadas de Cu adjacentes. Embora a estrutura fcc seja muito mais provável, também é possivel que a estrutura induzida seja hcp.

O privado e o especial : análise de um recorte do atendimento educacional de alunos com necessidades educativas especiais na rede privada do Rio Grande do Sul

Esta dissertação analisa o atendimento educacional de alunos com necessidades educativas especiais na rede privada de ensino do Rio Grande do Sul. Buscou-se, prioritariamente, identificar os dispositivos legais que orientam a educação especial no Brasil e compreender o papel da iniciativa privada no atendimento de alunos com necessidades educativas especiais, consideradas as legislações educacionais. Sendo a educação especial uma área do conhecimento com bases teóricas associadas a diferentes campos do saber, analisou-se o percurso histórico da educação especial, considerando suas rupturas paradigmáticas e as influências de diferentes domínios do conhecimento científico; discutiram-se as variadas propostas conceituais para a identificação dos sujeitos, as alternativas de atendimento e o avanço de movimentos de integração/inclusão. Quanto ao contexto brasileiro, os fundamentos dessa abordagem encontram-se na história de educação brasileira, nos textos normativos da educação nacional, na história da educação especial e nos dispositivos legais voltados para essa área. Os aspectos analisados, compostos pelos foros de debate sobre a educação especial e pelas modalidades de atendimento a alunos com necessidades educativas especiais, foram interpretados a partir da perspectiva da educação inclusiva. Para a compreensão do contexto enfocado, o estudo foi desenvolvido a partir da abordagem da investigação qualitativa, através de revisão bibliográfica, análise documental, discussão de iniciativas educacionais que visem ao atendimento do aluno com necessidades educativas especiais. Sobre a temática central, identificou-se a presença da tendência de educação inclusiva nos dispositivos legais e constatou-se a escassez de informações que traduzam a realidade sobre a oferta de educação especial na rede privada de ensino regular. Além disso, foram destacados movimentos pontuais de discussão e implantação de políticas de educação inclusiva em alguns segmentos da rede privada de ensino do estado.

Caracterização tecnológica e beneficiamento mineral para a produção de concentrado de zircão de alta qualidade, partindo de pré-concentrado e concentrado de zircão de baixa qualidade, produzidos na mina do Guaju (PB)

Este estudo foi dirigido para identificar as causas que determinam a formação de concentrados de zircão de baixa qualidade, mineral extraído de dunas da jazida do Guaju, no Estado da Paraíba, e beneficiado em uma rota industrial desenvolvida pela empresa Millennium Inorganic Chemicals do Brasil S/A. A caracterização tecnológica indicou que a jazida do Guaju corresponde a sedimentos de origem eólica, inconsolidados, constituídos por quartzo (95%), argila (2%) e minerais pesados (3%) disseminados nas dunas. Ilmenita, zircão, rutilo e cianita são os minerais pesados de interesse econômico na jazida. Devido a características mineralógicas e texturais, o pacote foi dividido, neste estudo, em dois compartimentos: TOPO e BASE. O primeiro corresponde à parte superior do pacote sedimentar; o segundo, à parte inferior. No TOPO, 95% dos grãos têm brilho vítreo, 5% são opacos, e 20% dos grãos de ilmenita têm alteração parcial ou total para leucoxeno. Na BASE, 2% dos grãos têm brilho vítreo, 98% são opacos, e 90% da ilmenita tem alteração parcial ou total para leucoxeno. O TOPO possui concentração de minerais pesados quatro vezes maior que a BASE. A opacidade dos grãos decorre de uma película argilo-ferruginosa fortemente aderida e que os envolve. A empresa produz seis tipos de concentrados de zircão, cujas qualidades variam conforme o teor de ZrO2 e das substâncias contaminantes Fe2O3, TiO2, Al2O3 e P2O5. Quanto maior o teor de ZrO2 e menores os teores das substâncias contaminantes, melhor é a qualidade do concentrado. Pesquisas desenvolvidas em um concentrado de baixa qualidade, denominado Zirconita B, indicaram que a formação dessa matéria-prima é decorrente de três fatores principais: excesso de minerais contaminantes, que não são eliminados nos processos eletrostáticos e magnéticos devido à película argilo-ferruginosa; presença de inclusões minerais nos zircões; processo de metamitização nos zircões Identificadas as causas, o estudo progrediu para o estabelecimento de uma rota alternativa de beneficiamento, para a produção de concentrados de zircão mais puros. A remoção da película ocorreu com a implementação do processo de atrição (escrubagem), tendo sido definidos os parâmetros operacionais otimizados, tanto em escala de bancada de laboratório, como em equipamento semipiloto. Removida a película, a matéria-prima foi submetida a separadores eletrostático e magnético para a retirada dos minerais condutores e/ou magnéticos do concentrado. Posteriormente, para a remoção das inclusões minerais dos zircões, foi implementada uma rota que iniciou com o aquecimento prévio do concentrado em forno de microondas, para fraturar as zonas de contato entre as inclusões minerais e a massa zirconítica, considerando as diferenças entre os coeficientes de dilatação dos minerais; seguiuse com o processo de moagem, para provocar a quebra dos zircões portadores de inclusões e liberar ou expor as mesmas; posteriormente, o material foi peneirado e a fração retida na malha 0,063 mm foi repassada nos separadores eletrostático e magnético, para a remoção das inclusões liberadas, ou expostas nos zircões quebrados Tecnicamente, esta rota foi considerada parcialmente eficaz, devido, principalmente, à baixa granulometria dos grãos de zircão. Essa característica afetou as performances na moagem e na separação magnética, determinando uma baixa recuperação do produto final. Apesar disso, esse produto final teve teor de ZrO2 compatível com o do produto de melhor qualidade produzido na mina do Guaju; entretanto, os teores das substâncias contaminantes ficaram levemente superiores aos mínimos exigidos para um produto de alta qualidade. Devido à baixa produção anual da matéria-prima, acredita-se que a rota para a remoção das inclusões minerais não seja economicamente viável. A atrição, no entanto, é perfeitamente viável, devido aos baixos investimentos de implantação e custos operacionais. Deverá ser implementada no produto denominado Pré-Concentrado de Zircão (PCZ), gerado no beneficiamento da ilmenita. A atrição do PCZ vai condicionar a produção de massas maiores de concentrados de zircão de qualidade superior, diminuindo, conseqüentemente, a formação dos produtos de menor qualidade.

APSEE-Monitor: um mecanismo de apoio a visualização de modelos de processos de software

A tecnologia de processos de desenvolvimento de software ´e uma importante área de estudo e pesquisas na Engenharia de Software que envolve a construção de ferramentas e ambientes para modelagem, execução, simulação e evolução de processos de desenvolvimento de software, conhecidos como PSEEs (do inglês: Process-Centered Software Engineering Environments). Um modelo de processo de software é uma estrutura complexa que relaciona elementos gerenciáveis (i.e. artefatos, agentes, e atividades) que constituem o processo de software. Esta complexidade, geralmente, dificulta a percepção e entendimento do processo por parte dos profissionais envolvidos, principalmente quando estes profissionais têm acesso apenas a uma visão geral do modelo. Desta forma, há necessidade de mecanismos para visualização e acompanhamento dos processos, fornecendo informações adequadas aos diferentes estados, abstraindo as informações relevantes tanto as fases presentes no processo de desenvolvimento quanto ao agente envolvido, além de facilitar a interação e o entendimento humano sobre os elementos do processo. Estudos afirmam que a maneira como são apresentadas as informações do modelo de processo pode influenciar no sucesso ou não do desenvolvimento do software, assim como facilitar a adoção da tecnologia pela indústria de software. Este trabalho visa contribuir nas pesquisas que buscam mecanismos e cientes para a visualização de processos de software apresentando a abordagem APSEE-Monitor destinada ao apoio a visualização de processos de software durante a sua execução. O principal objetivo desta pesquisa é apresentar um modelo formal de apoio a visualização de processos capaz de extrair dados de processos e organizá-los em sub-domínios de informações de interesse do gerente de processos. Neste trabalho aplica-se o conceito de múltiplas perspectivas como uma estratégia viável para a abstração e organização das informações presentes no modelo de processos. A solução proposta destaca-se por estender a definção original de perspectivas e fornecer uma estratégia de extração dos dados através de uma especificação formal utilizando o paradigma PROSOFT-Algébrico. Além disso, o trabalho apresenta um conjunto de requisitos relativos a interação entre gerentes de processos e PSEEs, a definição formal das perspectivas, uma gramática que define a linguagem de consulta aos processos, e um protótipo da aplicação.

Uma fundamentação teórica para a complexidade estrutural de problemas de otimização

Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.

Geração de regras de extração de dados em páginas HTML

Existem vários trabalhos na área de extração de dados semi-estruturados, usando diferentes técnicas. As soluções de extração disponibilizadas pelos trabalhos existentes são direcionadas para atenderem a dados de certos domínios, considerando-se domínio o conjunto de elementos pertencentes à mesma área de interesse. Dada a complexidade e a grande quantidade dos dados semi-estruturados, principalmente dos disponíveis na World Wide Web (WWW), é que existem ainda muitos domínios a serem explorados. A maior parte das informações disponíveis em sites da Web está em páginas HTML. Muitas dessas páginas contêm dados de certos domínios (por exemplo, remédios). Em alguns casos, sites de organizações diferentes apresentam dados referentes a um mesmo domínio (por exemplo, farmácias diferentes oferecem remédios). O conhecimento de um determinado domínio, expresso em um modelo conceitual, serve para definir a estrutura de um documento. Nesta pesquisa, são consideradas exclusivamente tabelas de páginas HTML. A razão de se trabalhar somente com tabelas está baseada no fato de que parte dos dados de páginas HTML encontra-se nelas, e, como conseqüência, elimina-se o processamento dos outros dados, concentrando-se os esforços para que sejam processadas automaticamente. A pesquisa aborda o tratamento exclusivo de tabelas de páginas HTML na geração das regras de extração, na utilização das regras e do modelo conceitual para o reconhecimento de dados em páginas semelhantes. Para essa técnica, foi implementado o protótipo de uma ferramenta visual denominado Gerador de Regras de Extração e Modelo Conceitual (GREMO). GREMO foi desenvolvido em linguagem de programação visual Delphi 6.0. O processo de extração ocorre em quatro etapas: identificação e análise das tabelas de informações úteis em páginas HTML; identificação de conceitos para os elementos dos modelos conceituais; geração dos modelos conceituais correspondentes à página, ou utilização de modelo conceitual existente no repositório que satisfaça a página em questão; construção das regras de extração, extração dos dados da página, geração de arquivo XML correspondente aos dados extraídos e, finalmente, realimentação do repositório. A pesquisa apresenta as técnicas para geração e extração de dados semi-estruturados, as representações de domínio exclusivo de tabelas de páginas HTML por meio de modelo conceitual, as formas de geração e uso das regras de extração e de modelo conceitual.

Um Middleware reflexivo para apoiar o desenvolvimento de aplicações com requisitos de segurança

Muitos aplicativos atuais, envolvendo diversos domínios de conhecimento, são estruturados como arquiteturas de software que incorporam, além dos requisitos funcionais, requisitos não funcionais, como segurança, por exemplo. Tais requisitos podem constituir um domínio próprio, e, portanto, serem comuns a várias outras arquiteturas de software. Tecnologias como Programação Orientada a Aspectos, Reflexão Computacional e Padrões de Projeto colaboram no desenvolvimento de arquiteturas que provêem a separação de requisitos não funcionais. Porém, sua experimentação e adoção no domínio da segurança computacional ainda é incipiente. O foco deste trabalho é a elaboração de um padrão de projeto voltado à segurança, utilizando como arquitetura conceitual programação orientada a aspectos, e como arquitetura de implementação, reflexão computacional. A composição destas tecnologias resulta em um middleware orientado à segurança, voltado a aplicações desenvolvidas em Java. Estuda-se as tecnologias, seus relacionamentos com a área de segurança, seguido da proposta de uma arquitetura de referência, a partir da qual é extraído um protótipo do middleware de segurança. Este, por sua vez, provê mecanismos de segurança tão transparentes quanto possível para as aplicações que suporta. Com o objetivo de realizar a implementação do middleware de segurança, também são estudadas os mecanismos de segurança da plataforma Java, porém limitado ao escopo deste trabalho. Segue-se o estudo da base conceitual das tecnologias de Reflexão Computacional, o modelo de implementação, seguido de Programação Orientada a Aspectos, o modelo conceitual, e, por fim, têm-se os Padrões de Projeto, a arquitetura de referência. Integrando as três tecnologias apresentadas, propõe-se um modelo, que estabelece a composição de um Padrão Proxy, estruturado de acordo com a arquitetura reflexiva. Este modelo de arquitetura objetiva implementar o aspecto de segurança de acesso a componentes Java, de forma não intrusiva,. Baseado no modelo, descreve-se a implementação dos diversos elementos do middleware, estruturados de forma a ilustrar os conceitos propostos. Ao final, apresenta-se resultados obtidos durante a elaboração deste trabalho, bem como críticas e sugestões de trabalhos futuros.