Dinâmica de paredes de domínios magnéticos : um estudo através da impedanciometria

Neste trabalho é apresentado um estudo sobre a dinâmica de paredes de domínios através de medidas de impedanciometria. É proposto um método que permite a obtenção dos seguintes parâmetros das amostras estudadas: mobilidade e velocidade crítica das paredes, largura dos domínios e de suas paredes, densidade de energia de parede e constante efetiva de troca. Todas essas informações são obtidas a partir do espectro em freqüência da permeabilidade e de relações apropriadas entre a permeabilidade e a impedância complexa. O elo de ligação entre essas quantidades é feita através do efeito da profundidade de penetração, cuja definição inclui a freqüência, a resistividade e a permeabilidade do material. O método foi aplicado ao estudo de dois tipos diferentes de materiais, (i) (110)[001]FeSi3%, policristalino e altamente texturizado com tamanho de grãos bastante grande (~ 5 mm) e (ii) amostras nanocristalinas obtidas através do recozimento de fitas amorfas de Fe73.5Cu1Nb3Si16.5B6. Enquanto o primeiro sistema foi utilizado para se fazer uma comparação entre os parâmetros aqui obtidos com aqueles de outros autores e técnicas, o segundo foi estudado em termos das modificações da anisotropia magnética associadas ao alívio das tensões internas com a temperatura de recozimento.

O problema de Dirichlet para a equação das superfícies mínimas em domínios não necessariamente convexos

Estudamos o problema de Dirichlet para a equação das superfícies mínimas em domínios limitados do plano. Provamos a existência e unicidade de gráficos mínimos sobre domínios limitados e não necessariamente convexos, com valores no bordo satisfazendo uma condição que denominamos condição da declividade limitada generalizada a qual, usando cilindros no lugar de planos, generaliza a condição clássica da declividade limitada. Com este resultado, dado um domínio limitado e suave qualquer do plano, conseguimos obter cotas explícitas para a norma C2 de dados no bordo deste domínio que garantem a existência de solução ao correspondente problema de Dirichlet.

Raciocínio baseado em casos aplicado a diversos domínios de problema

A procura por uma forma de, fácil e rapidamente, retirar conhecimento de um especialista e transmiti-lo a outros profissionais tem levado ao desenvolvimento de diversas pesquisas que unem metodologias de raciocínio com o atendimento a problemas. Os ambientes corporativos demonstram sua eficiência baseados na maneira como desenvolvem suas tarefas. Cada vez mais, buscam alternativas que os ajudem a responder por atividades e problemas ocorridos, as quais podem significar um processo de manutenção que pode decidir o nível de eficiência e competência da organização. Estas alternativas compreendem ferramentas ou profissionais, os quais transformaram-se em especialistas por adquirirem conhecimento e capacidade em prover soluções a problemas. As características de um problema podem ser alteradas sob alguns aspectos mas, mesmo em domínios mais complexos como a gerência de redes de computadores ou a medicina, algo que foi aprendido sempre tem utilidade em novas situações. Este é o tipo de conhecimento e raciocínio próprios de um especialista, ou seja, o uso de suas experiências. Raciocínio Baseado em Casos (case-based reasoning) é uma metodologia de inteligência artificial que apresenta a forma de raciocínio semelhante à de um especialista, onde o raciocínio é obtido por um processo de recordar um exemplo concreto. Porém, as pesquisas que a utilizam, geralmente, desenvolvem trabalhos para um específico tipo de domínio de problema, o que resulta em alterações de programação, caso estes desejem ser adaptados para outros domínios. Este procedimento, muitas vezes, é tido como difícil e trabalhoso Baseando-se neste contexto, o presente trabalho apresenta um mecanismo que fornece inclusões de conhecimento de especialistas, independente do tipo de domínio de problema, e raciocínio sobre este conhecimento, de forma a auxiliar usuários com problemas referentes ao domínio cadastrado. Para tanto, a implementação baseou-se na união de sistemas de registros de problemas (trouble ticket systems) com raciocínio baseado em casos, propondo uma forma auxiliar no conhecimento e busca de soluções em domínios de problema. O estudo, além de fazer uso das metodologias citadas acima, usa o domínio de gerenciamento de segurança em redes de computadores para exercitar suas funções, provar sua utilidade e dificuldades. Assim, um estudo mais detalhado sobre os problemas que cercam o domínio de segurança em redes TCP/IP foi desenvolvido.

Análise numérica e experimental do comportamento de fundações superficiais assentes em solo melhorado

O presente trabalho tem como objetivo estudar o comportamento de camadas superficiais de solo melhorado como base de fundações superficiais. Nesta pesquisa foram realizados ensaios de placa de 30 cm de diâmetro sobre camadas de solo residual compactado e de solo tratado com cimento (teor de 5% de cimento), ambas com 60 cm de espessura. O programa experimental também incluiu a retirada de amostras de campo das camadas de solo melhorado para a execução de ensaios triaxiais drenados (CID) com medida interna de deformações, a fim de obter parâmetros constitutivos para a realização de simulações numéricas. Uma comparação entre os resultados dos ensaios triaxiais com amostras retiradas em campo e moldadas em laboratório (Rohlfes Junior, 1996) é apresentada. A diferença entre os resultados dos ensaios triaxiais com amostras de campo e laboratório foi significativa para o caso das amostras de solo melhorado com cimento, tal fato é atribuído principalmente a dificuldade de mistura em campo. O Método dos Elementos Finitos foi utilizado para simular o comportamento carga x recalque das placas assentes sobre camadas de solo melhorado. O modelo Pseudo-Elástico Não Linear (Hiperbólico) foi empregado na análise numérica para modelar o comportamento dos novos materiais. Os resultados dos ensaios de placa sobre camadas de solo melhorado demonstraram que houve um aumento significativo da capacidade de suporte, além de uma redução considerável dos recalques, quando comparados ao comportamento carga x recalque do solo natural (Cudmani, 1994). A analise do comportamento de fundações superficiais assentes em solos estratificados, através de simulações numéricas, demonstrou ser eficiente para a previsão do comportamento carga x recalque das mesmas.

Integração de imagens TM e aerogeofísicas para análise litoestrutural de uma porção da zona de cisalhamento transcorrente dorsal de Canguçu, regiao de Quitéria-Várzea do Capivarita, RS

A utilização de programas de processamento de imagens digitais e de sistemas de informações geográficas que admitem a importação e exportação de inúmeros formatos de apresentação de dados, aliado a modernos equipamentos de computação, tem tornado a integração de dados, de diferentes sensores, um caminho padrão em Geociências, pela otimização da relação custo/tempo na execução de serviços de mapeamento. Neste contexto, esse trabalho resulta da análise da integração de dados de sensoriamento remoto e geofísica, com o objetivo de verificar sua aplicabilidade na identificação e caracterização litológica e estrutural de uma área-teste, localizada na Região de Quitéria -Várzea do Capivarita, no Estado do Rio Grande do Sul. A metodologia usada, em um primeiro momento, priorizou o processamento e análise individual de dados cartográficos, de imagens TM/LANDSAT-5 e dados de aeromagnetometria e aerogamaespectrometria nos canais Contagem Total (CT), Potássio (K), Tório (Th) e Urânio (U). Os dados foram, a seguir, convertidos para o formato digital na forma de imagens (“raster”) com resolução espacial de 30 x 30 m, a fim de permitir o cruzamento de informações através de técnicas de Processamento Digital de Imagens e de Sistemas de Informações Geográficas (SIG’s). A integração das imagens TM e geofísicas foi realizada com o uso da Transformação IHS, através da conversão das bandas TM para as componentes individuais I, H e S; substituindo-se a componente H, pela imagem geofísica no retorno ao espaço RGB. A análise dos produtos de sensoriamento remoto e geofísica obtidos nessa pesquisa, permitiram identificar os Domínios Morfoestruturais; identificar e delimitar as diferentes Unidades Fotolitológicas; reconhecer os principais sistemas estruturais a partir da extração e análise de lineamentos; obter informações do padrão de relevo magnético; e, principalmente, a geração de imagens temáticas de teores de radioelementos com a identificação de áreas promissoras de mineralizações. Os resultados comprovam a eficiência do emprego de técnicas de integração de dados digitais, via computador, tanto para fins de mapeamento litoestrutural, como em caráter prospectivo, em serviços geológicos de grandes áreas.

Desenvolvimento de regras de pronúncia para a síntese de fala em língua portuguesa

Sabe-se que a fala é a principal maneira de comunicação entre as pessoas. A Síntese de fala (geração automática da fala pelo computador) tem recebido atenção da comunidade acadêmica e profissional por várias décadas. Ela envolve a conversão de um texto de entrada em fala, usando algoritmos e algumas formas de fala codificada. O texto pode ser digitado pelo teclado ou obtido por reconhecimento de caracteres ou, ainda, obtido de um banco de dados. A síntese de fala pode ser usada em vários domínios de aplicação, tais como: auxílio para deficientes visuais, telecomunicações, multimídia, etc. Este trabalho apresenta um estudo sobre a produção da fala e da área de síntese de fala visando servir de subsídio para dissertações e pesquisas futuras, bem como para o Projeto Spoltech, um projeto de cooperação entre os Estados Unidos e o Brasil para o avanço da tecnologia da língua falada no Brasil (Português Brasileiro). Dentro deste estudo serão apresentadas as principais técnicas de síntese de fala, entre as quais destaca-se: Texto para Fala (TPF). Problemas de separação de sílabas, determinação da sílaba tônica, pronunciação das vogais “e” e “o” como um fonema aberto ou fechado, etc, são enfrentados dentro do contexto da área de síntese de fala para o português falado no Brasil. Tendo conhecimento destes problemas, o principal objetivo deste trabalho será criar regras para resolver o problema de pronunciação das vogais “e” e “o” de forma automática, visando obter produção sonora mais inteligível, por intermédio da implementação de um analisador estatístico, o qual verificará a letra anterior e posterior ao “e” ou “o” de uma palavra e, com isso, determinar a pronúncia dos mesmos para aquela seqüência de letras. As mesmas poderão tornar-se regras válidas para a solução do problema se atingirem 80% dos casos de ocorrência no dicionário com fonema “e” ou “o” aberto (limiar), sendo que elas serão lidas por um interpretador Scheme utilizado pelo programa Festival - ferramenta para a construção de sistemas de síntese de fala desenvolvida pelo Centre for Speech Technology Research (University of Edinburgh, Reino Unido), a qual utiliza TPF como método de síntese. Sabendo-se que o Festival gera os fonemas “e” e “o” como fechados se não há uma regra para inferir o contrário, serão consideradas apenas as regras encontradas para os fonemas abertos. Para possibilitar esta análise será utilizado um dicionário eletrônico de pronunciação (com 19.156 palavras), o qual possui a palavra e a sua respectiva pronúncia, conforme pode-se verificar no exemplo do Anexo 1.

Mediadores técnicos, tecnociência na agricultura e a definição legítima da problemática ambiental no campo tecnocientífico

A dimensão de conflito relacionada à problemática ambiental, enquanto um problema social, é o elemento instigador do exercício de pesquisa proposto. Dotada de uma flexibilidade na formulação e estabelecimento de possíveis contornos e de uma inegável presença e relevância no cenário contemporâneo, a disputa pela definição legítima da problemática ambiental instala-se em distintos campos sociais. No presente exercício de pesquisa, a disputa por uma caracterização legítima da problemática ambiental é utilizada como a “porta-de-entrada”, através da qual objetiva-se uma aproximação com a dinâmica de disputa particular do campo tecnocientífico, vinculado às “ciências rurais” e delimitado pelo recorte estadual do Rio Grande do Sul. Pretende-se distinguir os macro posicionamentos envolvidos em uma disputa e, concomitantemente, resgatar estratégias peculiares a cada um destes, destacando a constante interação existente entre as mesmas. Um momento final é reservado à tentativa de estabelecer o vínculo entre uma disputa pela problemática ambiental no campo tecnocientífico e o confronto entre distintas construções da noção de desenvolvimento rural. Foram entrevistados mediadores técnicos gaúchos vinculados às instituições de pesquisa, ensino e extensão considerados de relevância no cenário. Para a seleção dos agentes entrevistados, bem como para a delimitação das instituições, recorreu-se ao auxílio de informantes qualificados. Estabelecido um panorama inicial este foi, freqüentemente, refinado e consagrado na etapa de campo através da confirmação/complementação proporcionada pelos próprios agentes entrevistados. Utilizou-se um roteiro de entrevistas subdividido em quatro blocos: origem e trajetória social; problemática ambiental e agricultura; ciência e tecnologia e desenvolvimento rural. A polaridade principal estabelece-se entre os agentes, dominantes no campo, simpatizantes do modelo de modernização da agricultura e, no pólo oposto, os dominados, partidários da agroecologia. A problemática ambiental é percebida, do lado dos dominantes, sob o ponto de vista dos impactos no meio físico, estes passíveis de serem contornados através de técnicas de menor impacto ambiental e cientificamente embasadas. Já, por parte dos dominados, ressalta-se o elo entre a problemática ambiental e um modelo de modernização da agricultura, este reconhecido como insustentável. A disputa prossegue em um jogo de estratégias em constante interação, tendo por objetivo circunscrever aos domínios de cada grupo as abordagens particulares da problemática ambiental e, em decorrência, a tentativa de dotá-las de autoridade/legitimidade no campo tecnocientífico. Da seqüência de estratégias utilizadas destaca-se o forte apelo, por parte dos dominantes no campo, à denominada “boa ciência”, sendo esta considerada a instância legítima. No pólo oposto, os dominados esforçamse por consagrar sua proposição central, a agroecologia. Igualmente, no exercício discursivo em torno do desenvolvimento rural, os agentes resgatam a polaridade “boa ciência” x agroecologia.

Contaminação do meio físico por hidrocarbonetos e metais na área da Refinaria Alberto Pasqualini, Canoas, RS

O presente estudo resulta de convênio entre a Fundação de Apoio da Universidade Federal do Rio Grande do Sul (FAURGS) e a Refinaria Alberto Pasqualini (REFAP S.A.), tendo como objetivo o diagnóstico das contaminações por metais e hidrocarbonetos dos solos e águas subterrâneas na área e seus domínios. Os poços tubulares profundos existentes ao redor da refinaria registram 559 unidades distribuídas num raio de 2.000 metros, que têm uso residencial dominante (81,5%) e, em menor escala, comercial (6,5%), industrial (2,6%) e público (0,9%). A caracterização geológica revelou grande variação lateral e vertical, marcada pela ocorrência de sedimentos quaternários síltico-argilosos e arenosos finos com lentes de argilas orgânicas plásticas, tendo espessura de até 14 metros cobrindo rochas sedimentares da Formação Sanga do Cabral. Esta última composta principalmente por arenitos finos a muito finos, siltitos e argilitos avermelhados. Uma parcela significativa da área encontra-se capeada por aterros de terraplenagem com espessuras entre 0,5 e 4 metros. Os estudos hidrogeológicos da área registram a existência de um aqüífero freático livre, constituído pelo material de aterro e camadas sedimentares superficiais, e outro semi-confinado, representado por níveis arenosos descontínuos intercalados no pacote dominantemente síltico-argiloso de sedimentos quaternários. Os sedimentitos da Formação Sanga do Cabral fazem parte do aqüífero semiconfinado. O diagnóstico da contaminação de solos por hidrocarbonetos e metais contou com a análise química de 94 amostras coletadas em 48 sondagens manuais em diferentes profundidades. Os resultados apontaram a virtual ausência de vanádio e baixos níveis de contaminação por cromo, mercúrio, cádmio, cobre, chumbo e Hidrocarbonetos Totais de Petróleo (TPH). A grande quantidade de amostras permitiu a realização de uma avaliação geoestatística para determinação dos teores naturais do terreno e das concentrações oriundas de contaminações. Os solos presentes no entorno da bacia de aeração e da área de descarte de borras e caliças apresentaram as maiores concentrações de metais e, mesmo que inexpressivas, de TPH. A avaliação da qualidade das águas subterrâneas do aqüífero semiconfinado foi realizada através da instalação de 10 poços de monitoramento com profundidades da ordem de 20 metros e coleta de amostras para análises químicas. Também foram coletadas amostras do aqüífero freático em 9 poços de monitoramento rasos com profundidades da ordem de 5 metros, já existentes na ocasião. Os resultados obtidos para as águas do aqüífero semi-confinado retratam uma boa situação ambiental deste, com teores de metais inexistentes na grande maioria dos poços e concentrações abaixo dos limites de intervenção apenas em alguns. Hidrocarbonetos de petróleo (TPH) foram registrados em apenas um poço, em quantidade inexpressiva. Os poços rasos revelam um cenário menos favorável no aqüífero freático, apontando contaminação pouco significativa por hidrocarbonetos de petróleo em apenas 4 locais.

A influência da força e da flexibilidade no batimento de pernas e sua relação com a performance total de nadadores de 100 metros nado crawl

O objetivo do presente estudo foi verificar a influência da força e da flexibilidade no batimento de pernas e sua relação com a performance de nadadores de 100 metros nado crawl. Os 23 melhores nadadores, na prova de 100 metros nado crawl, do Campeonato Estadual Júnior e Sênior de Inverno, do Estado do Rio Grande do Sul, foram selecionados para este estudo. Os nadadores foram submetidos a: (1) avaliação da flexibilidade (flexão plantar), (2) avaliação da capacidade de produção de força (torque) isométrica e isocinética dos músculos extensores e flexores do joelho, (3) avaliação do batimento de pernas na distância de 100 metros e (4) avaliação da performance do nado crawl na distância de 100 metros. Inicialmente, a influência da força e da flexibilidade no batimento de pernas, foi analisada. Em seguida, a influência do batimento de pernas na performance total dos nadadores foi analisada. Após este procedimento, a amostra foi dividida em três grupos, conforme o tempo obtido no teste de batimento de pernas (grupo I: do 1º ao 8º tempo; grupo II: do 9º ao 16º tempo; e grupo III:do 17º ao 23º tempo), com o objetivo de verificar diferenças entre os grupos nas variáveis testadas Os valores obtidos (n=23) para correlação entre flexão plantar e batimento de pernas não foram significativos. Já nos subgrupos da amostra, somente o grupo I obteve correlação significativa (r=0,70 - p<0,05) entre flexão plantar e batimento de pernas. Os valores obtidos da força (torque) isométrica, resultante da flexão e extensão do joelho em um ângulo de 60º e os valores da força (torque) isocinética obtidos na velocidade de 370º/s não se correlacionaram com os resultados obtidos no teste de batimento de pernas, tanto na análise do grupo todo, quanto nos grupos estratificados. Os tempos de batimento de pernas (n=23) mostraram correlação significativa (r=0,70 – p<0,05) com a performance total. A análise nos subgrupos mostrou valores significativos somente para o grupo III (r=0,85 – p<0,05), mas não mostrou valores significativos para os grupos I e II. Os resultados sugerem que a força (torque) resultante da flexão e extensão do joelho em 60º (isométrico) e na velocidade de 370º/s (isocinético) não tem influência no batimento de pernas, enquanto a flexibilidade esta influenciando no batimento de pernas somente no grupo I. O batimento de pernas tem importância significativa para a performance total de nadadores de 100 metros nado crawl.

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.

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.