Incorporação de dados geomecânicos em projetos de suporte de teto em mina subterrânea de carvão

o estado de Santa Catarina é responsável por 50% da produção nacional de carvão. A produção de carvão nas carboníferas da região de Criciúma - SC ocorre por meio de mineração subterrânea, utilizando o método de câmaras e pilares. Os sistemas de suportes de teto em mina subterrânea de carvão têm apresentado notáveis mudanças no seu desenvolvimento ao longo da história. Para tanto, atualmente existe uma ampla gama de tipos de suportes ou mecanismos de sustentação. O teto das minas de carvão é composto de rochas sedimentares as quais variam em espessura e em extensão lateral. Além disso, essas rochas apresentam resistência variada e características estruturais distintas. Contudo, o padrão de sustentação geralmente é o mesmo, independente da qualidade do maciço. Esse estudo buscou verificar se o padrão de suporte de teto atualmente empregado na Mina Barro Branco, apresenta-se adequado às distintas condições geológicas e geomecânicas do maciço rochoso que compõe o teto imediato da mina. Para este fim, o teto imediato foi avaliado ao longo de várias seções da mina e as informações foram usadas para classificar o maciço em zonas de acordo com o sistema Coal Mine Roof Rating (CMRR) proposto pelo U.S. Bureauof Minesem 1994. Diferentes índices de CMRRforam identificados e então considerados para definir a largura máxima nos cruzamentos, o comprimentoe a capacidadede carregamento dos parafusos de teto. Estatísticas da mina revelam que caimentos de teto acorreram quando as dimensões e o padrão de suporte empregado estão aquém do mínimo recomendado pelo CMRR. Esta metodologiaprovou ser adequada, minimizando os riscosde ruptura de teto e predizendoo tipo de suporte mais apropriadoa ser empregado às várias zonas dentro do depósito. Estes resultados preliminares devem ser validados em diferentes locais da mina e ajustes secundários devem ser implementados no método principalmente devido ao uso de explosivos no desmonte das rochas.

Agentes de software nas empresas : um estudo de caso na área de compras

Com o aumento de informações disponíveis e das possibilidades de fazer comércio por meios eletrônicos, aumenta a complexidade de algumas tarefas, como comprar. Um dos possíveis caminhos para diminuir essa complexidade é dotar programas de computadores com conhecimentos sobre a realização de tais tarefas, incluindo como tomar decisões. Esta dissertação versa sobre a utilização de agentes de software nas empresas, que são programas de computadores delegados para a realização de funções específicas. Além de uma revisão sobre o atual uso de tais tecnologias, apresenta-se uma possível aplicação na área de Compras para uma empresa real. Para modelar o sistema proposto, utilizou-se uma extensão da Unified Modeling Language (UML), a Agent UML, que objetiva a adequação da primeira para representar sistemas multiagentes. As dificuldades encontradas para modelagem são uma discussão adicional, bem como as sugestões. Outras contribuições do presente trabalho são as apresentações de mecanismos de decisão e de negociação para a Função Compras, inspirados em funções de valor e na negociação colaborativa. Encerra-se, apontando algumas futuras direções, incentivando reflexões posteriores sobre este tema pioneiro na Escola de Administração da Universidade Federal do Rio Grande do Sul.

Um Modelo de simulação de processos de software baseado em conhecimento para o ambiente PROSOFT

Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de processos de software aparecem como uma proposta para se obter maior controle das atividades realizadas com o intuito de se obter maior qualidade. A simulação de processos de software, através da representação dos passos definidos em um modelo, tem sido utilizada no auxílio a gerentes de projetos de sistemas para fornecer-lhes informações preciosas sobre o desenvolvimento de um sistema especificado. A representação de conhecimento a respeito das características relacionadas a um ambiente de desenvolvimento ajuda na obtenção de simulações mais realísticas. A partir do modelo, o simulador obtém uma descrição do ambiente em que deve atuar, baseado no conhecimento que se tem a respeito do ambiente. Esse trabalho apresenta um modelo de simulação de processos de software baseado em conhecimento para ser inserido em um ambiente de engenharia de processos de software. A função do modelo é simular um processo de software instanciado, procurando detectar inconsistências no mesmo que possam gerar problemas durante a sua execução, como aumento de custos e comprometimento da qualidade do(s) produto(s) obtido(s). Após a simulação o projetista pode constatar a necessidade de se refazer o modelo, ajustar parâmetros ou executar o processo de software. O objetivo da simulação, nesse trabalho, é auxiliar as pessoas responsáveis por um ambiente de desenvolvimento a obter modelos de processos validados. O modelo de simulação foi definido para ser utilizado no ambiente PROSOFT, que é um ambiente de desenvolvimento que permite a integração de novas ferramentas para desenvolvimento de software. O ambiente PROSOFT vem recebendo propostas de extensão que tem contribuído para o seu aprimoramento, fornecendo para seus usuários uma quantidade cada vez maior de ferramentas de auxílio a construção de artefatos de software. As propostas mais recentes foram um modelo para construção de sistemas especialistas, a definição de um ambiente cooperativo e um gerenciador de processos de software. ATOs algébricos (construções do PROSOFT) são utilizados para especificar formalmente o modelo de simulação definido neste trabalho. A validação é realizada através de um modelo em UML (Unified Method Language) que foi utilizado como base para a construção de um programa implementado usando a linguagem Java. Isso ocorre porque a ferramenta do PROSOFT (implementada em Java) que seria utilizada para validar as especificações algébricas ainda não está finalizada.

Expectativas futuras de adolescentes em situação de rua : um estudo autofotográfico

O objetivo deste trabalho foi identificar as expectativas futuras de adolescentes em situação de rua, em relação à educação, ao trabalho, à família e à moradia, examinando as interconexões existentes entre elas e buscando compreender os fatores relacionados ao processo de construção e desconstrução dos projetos de vida. À luz da Abordagem Ecológica do Desenvolvimento Humano, cada tema foi investigado considerando a dimensão Tempo em toda a sua extensão, buscando fatores no presente e no passado que fornecessem subsídios para entender o processo de construção de projetos futuros. A amostra foi composta por 14 adolescentes em situação de rua, do sexo masculino, com idades entre 12 e 16 anos, encontrados nas ruas de Porto Alegre e identificados por cinco fatores principais: 1) atividades realizadas nas ruas; 2) vinculação familiar; 3) aparência pessoal; 4) local de permanência; e, 5) presença/ausência de um adulto responsável. Na primeira etapa da pesquisa, foi utilizada uma entrevista semi-estruturada, baseada nos fatores ecológicos de Contexto, Tempo e Processo. As entrevistas foram submetidas à análise de conteúdo. Na segunda etapa da pesquisa, baseada no método autofotográfico, os adolescentes receberam uma câmera fotográfica e foram solicitados a registrar 12 fotografias em resposta à pergunta "Como você se vê no futuro?". Após a revelação, as fotos foram entregues aos participantes e, com base nestas, foi realizada nova entrevista. As imagens fotográficas foram submetidas à análise de conteúdo, de acordo com o método citado. Os dados mostraram que, em geral, os adolescentes em situação de rua apresentam projetos futuros bem elaborados em relação às áreas profissional, familiar, educacional e habitacional. Sobre as expectativas profissionais, os adolescentes almejaram trabalhar em diferentes profissões, buscando principalmente a melhoria financeira e a valorização social através do resultado final do trabalho. Apesar dos conflitos vivenciados no contexto familiar presente, os adolescentes apresentaram o desejo de constituir família, buscando um modelo tradicional formado por esposa e filhos. Os participantes depositaram grande importância na Educação como forma de ascensão profissional, indicando o estudo como principal forma de realização de seus projetos. Todos os adolescentes referiram a intenção de continuar ou retomar os estudos no futuro. Os adolescentes buscaram a própria inserção social através da mudança do local de moradia. Configurou-se, como principal expectativa, a saída das favelas e a ida para os bairros, percebidos como setores mais valorizados socialmente, com menos riscos à vida e à saúde de seus moradores.

O método de Perron : aplicações e extensões

Nesta dissertação apresentamos e desenvolvemos o Método de Perron, fazendo uma aplicação ao ploblema de Dirichlet para a equação das superfícies de curvatura média constante em R3. Apresentamos também uma extensão deste método dentro de EDP's e, por fim, obtemos uma extensão geométrica que se aplica a superfícies ao invés de gráficos. Comentamos a aplicação deste método geométrico á existência de superfícies mínimas tendo como bordo duas curvas convexas em planos paralelos do R3.

Síntese e enriquecimento enantiomérico via catálise enzimática do sistema 5-bromo-12-oxa-pentaciclo[6.2.16,9.12,7.12,10]dodeca-4-eno-3-endo-ol e derivados. RMN de 1H e 13C: correlação de parâmetros teóricos e experimentais

Partindo de ciclopentadieno, ciclohexadieno, p-benzoquinona e 2,5-dibromo-pbenzoquinona, os adutos 1, 5, 30 e 31 foram sintetizados. Os adutos 1, 5 e 30 foram utilizados como produtos de partida para a síntese de 13 (treze) novos compostos, em sua maioria com potenciais características para apresentarem atividade biológica inibidora de glicosidases e reguladora da liberação de Insulina no sangue. O aduto 31 é inédito na literatura até o momento. Cinco novas propostas de mecanismos são apresentadas. Os álcoois racêmicos 6 e 29 foram submetidos a reações de transesterificação catalisadas por lipase de Pseudomonas cepacia em diferentes preparações e seus enantiômeros separados com enantiosseletividade (E) maior que 100 em todos os casos. Este processo resultou, também, na obtenção dos respectivos acetatos 43 e 44 enantiomericamente puros e com excelentes rendimentos químicos. Os compostos 6, 29 e 34 depois de terem suas estruturas moleculares resolvidas através dos métodos espectroscópicos de rotina, tiveram suas estruturas moleculares calculadas pelo método ab initio e por Funcionais de Densidade. As geometrias otimizadas foram submetidas ao método GIAO para o cálculo dos tensores de blindagem magnética isotrópica. Estes cálculos mostraram-se eficazes na descrição dos deslocamentos químicos da maioria dos átomos, incluindo os dos anéis ciclopropanos presentes nas estruturas moleculares de cada composto. Algumas dificuldades foram encontradas para a descrição do sistema vinílico halogenado dos álcoois 6 e 29. Foram utilizadas moléculas modelo para verificar a extensão de tais dificuldades.

Avaliando a eficiência das lojas da ECT do Rio Grande do Sul

É certo afirmar que muitas das organizações têm buscado aperfeiçoar seus processos, melhorar seu desempenho, ampliar seus mercados e principalmente medir seus resultados. O mercado postal, que teve como berço o setor estatal, diante das inúmeras transformações tecnológicas e o processo de globalização, tem conduzido as empresas que exploram o setor a se debaterem na busca de aperfeiçoamento das avaliações de seus desempenhos. As empresas postais do mundo inteiro têm procurado métodos capazes de dar sustentação às suas práticas para garantia e ampliação de seus mercados. A Empresa Brasileira de Correios e Telégrafos – ECT, criada em 1969, configurada com muitas lojas similares em todo o Brasil, que prestam e comercializam um conjunto de produtos e serviços semelhantes, mas que utilizam recursos diversos em intensidade diferente, possui sua atual avaliação de desempenho das lojas centrada em um único fator econômico financeiro, denominado índice de receitas e despesas – R/D. Esse índice não considera fatores que estão sendo utilizados pelas lojas, fora da visão financeira. Nesse ponto, considerada a importância e relevância do tema, é que surge a proposta de avaliar um conjunto de lojas da ECT do Rio Grande do Sul, através de modelagem matemática, utilizando uma técnica denominada data envelopment analysis – DEA (em português, análise envoltória de dados), que possibilita a inclusão de outras variáveis fora da visão econômica. Este trabalho tem como objetivos: (1) definir que variáveis podem ser utilizadas para a avaliação das lojas; (2) definir um conjunto de lojas similares, que executam as mesmas funções e que se diferenciam somente na intensidade da utilização dos recursos; (3) gerar, através da técnica, os resultados que podem ser obtidos a partir dos fatores quantitativos definidos e realizar análise de sensibilidades e (4) propiciar aos administradores um referencial para apoio à decisão. Espera-se que através da utilização da técnica seja possível: (1) identificar fatores que sejam usados de forma distinta nas lojas; (2) identificar que práticas estão sendo utilizadas pelas lojas consideradas eficientes e que podem contribuir para as lojas não eficientes e (3) permitir a participação dos gestores locais na alteração e extensão do modelo levando em conta as características das lojas.

Ecologia da capivara (Hydrochoerus hydrochaeris, Linnaeus 1766) (Mammalia, Rodentia) na Reserva Biológica do Lami, sul do Brasil

Aspectos da ecologia da capivara (Hydrochoerus hydrochaeris) foram estudados na Reserva Biológica do Lami, Rio Grande do Sul, Brasil, de janeiro de 2000 a maio de 2002. A área abrange 210,3 ha, onde são encontrados seis categorias de vegetação (matas, campos úmidos, campos arenosos, banhados arbustivos, banhados herbáceos e juncais) em interface com corpos hídricos (arroio Lami e lago Guaíba). O clima da região é subtropical úmido sem estação seca, com temperatura média anual de 18°C. Foram realizadas contagens diretas dos indivíduos, com identificação de classes etárias, ao longo de transecções fixas que percorriam as cinco categorias de hábitat mais expressivas (excluindo o juncal), totalizando 7.245 m de extensão. Acada indivíduo contactado, registravase a posição espacial e o hábitat em que se encontrava, para identificação dos padrões de uso do espaço e dos hábitats A densidade foi calculada para cada ano de estudo, considerando o maior número de capivaras registrado, resultando em uma densidade de adultos de 0,24 ind/ha em 2000 e 0,21 ind/ha em 2001 e 2002, enquanto que a densidade geral foi de 0,28 ind/ha em 2000, 0,24 ind/ha em 2001 e 0,33 ind/ha em 2002. A proporção de adultos foi, em média, de 67 a 98% da população. O maior número de nascimentos foi registrado no período de primavera/verão. A abundância relativa, em número de indivíduos registrados por quilômetro percorrido, diferiu significativamente entre quatro zonas da área de estudo. Os hábitats mais utilizados foram a mata, o campo úmido e o banhado arbustivo, sendo que, de forma geral, o primeiro foi positivamente selecionado, o segundo apresentou seleção positiva a neutra, e o terceiro foi negativamente selecionado. Não foi verificado um padrão sazonal de uso dos hábitats. Foram registradas, adicionalmente, informações sobre comportamento, interações com aves e causas de mortalidade.

Contribuição para o aumento do nível de precisão das avaliações imobiliárias através da análise das preferências do consumidor

Um dos principais fatores que determinam o baixo desempenho das avaliações está relacionado à omissão de importantes atributos nos processos avaliatórios. A seleção de bens comparáveis ao imóvel avaliando e o reconhecimento das variáveis que devem participar do modelo avaliatório são fatores determinantes no resultado das avaliações. Falhas na interpretação destes aspectos, bem como o limitado conhecimento quanto à forma de interação dos atributos na formação do valor dos imóveis, tendem a gerar distorções nas estimativas de valor obtidas. Para minimizar os erros e reduzir a imprecisão dos trabalhos, é imprescindível saber quais atributos contribuem para a formação do valor dos imóveis. O presente trabalho objetiva aumentar a compreensão dos atributos que influenciam a decisão de compra dos apartamentos residenciais através da análise das preferências dos consumidores. O estudo visa verificar se parte da imprecisão dos trabalhos avaliatórios é causada pelo desconhecimento parcial destes atributos por parte dos avaliadores Para tanto, realizou-se uma pesquisa de caráter exploratório, cujos instrumentos de levantamento de dados são questionários, aplicados para verificar e comparar a importância atribuída a um extenso número de atributos por dois grupos distintos, formados por avaliadores de imóveis e compradores. Os resultados obtidos indicam que os atributos usualmente empregados na prática avaliatória não são, em sua grande maioria, aqueles que influenciam a decisão de compra no processo de aquisição dos imóveis. Além disso, apesar de existir coerência na interpretação dos avaliadores sobre a contribuição de uma série de atributos para a formação do valor de mercado dos imóveis, foram identificadas distorções na forma como estes profissionais percebem a importância de alguns atributos, havendo, por exemplo, uma supervalorização de aspectos relativos à localização e segurança Por outro lado, os avaliadores não distinguem a elevada influência de alguns atributos no processo de decisão de compra, tais como existência de elevador e gás central, áreas de serviço maiores e idoneidade da empresa que construiu o imóvel. Embora o trabalho não apresente resultados plenamente conclusivos neste sentido, pode-se dizer que há um forte indicativo de que o nível de imprecisão das avaliações imobiliárias possa ser reduzido através de uma maior compreensão das preferências dos consumidores.

A morfodinâmica praial como subsídio ao gerenciamento costeiro : o caso da Praia de Fora - Parque Estadual de Itapuã, RS

O Parque Estadual de Itapuã é considerado a última área representativa dos ecossistemas originais da região metropolitana de Porto Alegre, sendo que nos últimos 11 anos somente foi permitida a entrada de pesquisadores em suas dependências. Após este longo período em que esteve fechado, o Parque voltará a receber turistas no início de 2002, sendo que os principais destinos serão as praias. Dentre as oito praias existentes na área, somente três serão abertas à visitação, sendo a Praia de Fora a maior delas e a única voltada para a Lagoa dos Patos. Com objetivo de fornecer subsídios para o gerenciamento da Praia de Fora, efetuou-se a análise de uma série de parâmetros morfodinâmicos consagrados na literatura mundial, aprimorando o nível de conhecimento desta praia e suas relações com a Lagoa dos Patos. Para tanto, utilizou-se os modelos de praias de Banco Único e de Bancos Múltiplos da chamada Escola Australiana com a aplicação dos seguintes parâmetros: Parâmetro Adimensional Omega (Ù), Omega Teórico (Ùterorico), Parâmetro de Banco (B), Declividade da Face de Praia (Tang ß) e Parâmetro Dimensionador de Surfe (surf scaling parameter). Outros modelos utilizados foram o Perfil de Equilíbrio de DEAN (1973), o modelo de Transporte Longitudinal dos sedimentos da zona de surfe, (SPM, 1984), o Limite Externo e Limite Interno (Profundidade de Fechamento) e o modelo de Sentido Preferencial de Transporte Perpendicular (SUNAMURA & TAKEDA, 1984). Além destes, optou-se por realizar uma análise temporal da variação da linha de praia da Praia de Fora no período entre 1978 e 2001. Os resultados obtidos indicam um ambiente com uma grande variação energética anual, sendo que a largura da face praial apresentou variações de até 16 m e a declividade de 2,8° a 11.3°. A análise dos parâmetros morfodinâmicos indicou uma praia com grande alternância de estágios morfodinâmicos, que reflete a presença de uma zona de transporte de sedimentos muito intenso por ação de ondas até a profundidade de 0,90 m, uma zona de transporte significativo entre 0,90 e 5 m e uma zona de transporte incipiente para as profundidades maiores que 6 m. O transporte no sentido longitudinal, apresenta uma bidirecionalidade com uma pequena resultante para SE e em sentido transversal apresenta uma maior incidência de transporte da zona de surfe para a antepraia, caracterizando setores erosivos na Praia de Fora. Estes setores erosivos foram detectados em 58% da extensão da Praia de Fora com uma taxa média de 3,75 m por ano. Já em 14% da extensão da praia foi observado acresção e em 28% da praia não houve variação significativa da posição da linha de praia. As taxas médias de deposição chegaram a 1,75 m por ano. A sistematização de todos os resultados permitiu a elaboração de subsídios para o gerenciamento da Praia de Fora. São eles: análise dos riscos para a segurança de banhistas na praia, manejo de dunas, restrições a explotação de areia de fundo nas adjacências da Praia de Fora e delimitação submersa do Parque de Itapuã junto à cota batimétrica dos –6m. Esta delimitação aumentaria em aproximadamente 10.920 hectares ou 196 %, a área atual de preservação do Parque de Itapuã.

Elaboração de índice ambiental urbano através da análise de densidade populacional e superfície impermeável em bacias hidrográficas

O planejamento urbano possui um vasto campo a ser descoberto no que se refere às exigências mundiais ambientais existentes atualmente. Não apenas existem novas diretrizes a serem alcançadas, mas as cidades estão em constante evolução e, assim, a complexidade das mesmas também se torna um desafio. A partir dessas questões, o presente trabalho vem contribuir na elaboração de uma metodologia que facilite a construção de indicadores urbanos, principalmente naqueles que possam avaliar os limites do crescimento das cidades, representados aqui através da integração entre impermeabilização do solo urbano e densidade populacional. A escolha de indicadores é função de cada pesquisador que possui conhecimento sobre os problemas, ambientais ou não, existentes nas cidades. Qualquer cidade, de qualquer porte, em qualquer lugar do planeta pode estar apresentando um problema ambiental relacionado às funções urbanas. Muitos podem ser os indicadores ambientais urbanos, mas nesta pesquisa são relacionados dois tipos de indicadores: a densidade populacional e as superfícies impermeáveis urbanas, pois acredita-se que com o crescente aumento de construções urbanas, um descompasso é causado na capacidade de absorção do solo durante períodos de chuva. A impermeabilização do solo gera problemas de enchentes que, muitas vezes, causa inúmeros impedimentos como alagamentos de vias ou nas próprias construções urbanas que afetam a população, causando inclusive mortalidade no caso de pessoas e carros arrastadas pela forte corrente das águas Uma metodologia simples pode facilitar o trabalho de planejamento de cidades como a utilização de procedimentos normalmente aplicados em estudos de recursos hídricos com o acréscimo de indicadores que também refletem as condições urbanas de bacias hidrográficas. As ferramentas utilizadas por esta pesquisa são: a) programas computacionais de geoprocessamento que agilizam e possibilitam a interconexão de diferentes informações urbanas localizadas no espaço; b) programas de sensoriamento remoto que atualizam informações cadastrais sobre a cidade utilizando imagens de satélite compatíveis; e, finalmente, c) modelos geoestatísticos que estimam valores próximos à realidade para toda a superfície urbana estudada, pois, muitas vezes, os dados disponíveis não cobrem toda a extensão da área em estudo Os resultados fornecidos através desses procedimentos metodológicos se mostraram satisfatórios no que se refere a análise da transformação das condições naturais de drenagem da bacia hidrográfica estudada. Foram percebidas alterações que prejudicam o desempenho de drenagem urbana em locais onde a própria topografia da região, juntamente com os dados de impermeabilização do solo e de densidade populacional contribuem para situações de alagamentos. Com essas informações é possível prever esses locais problemáticos e, então, melhorar as propostas de planejamento urbano dessas regiões. Considera-se que a pesquisa estimula a utilização de bacias hidrográficas como unidades de planejamento ambiental em cidades, pois é através delas que se pôde compreender os efeitos dos adensamentos urbanos como as enchentes urbanas que são atualmente um grande problema enfrentado nas cidades brasileiras.

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.

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.

Componentes de percepção para o ambiente PROSOFT cooperativo

A Engenharia de Software tornou-se uma das principais áreas de concentração do mundo da Ciência da Computação, pois ela abrange métodos para construir sistemas, ferramentas que fornecem apoio a construção e os procedimentos a seguir para que os métodos estejam de acordo com as ferramentas usadas [PRE 95]. No desenvolvimento de sistemas cada vez mais complexos vê-se a necessidade da utilização de equipes de pessoas no projeto e implementação. Essas pessoas podem estar geograficamente dispersas e portanto possuem a necessidade de troca de informações para que os sistemas desenvolvidos sejam adequados com o objetivo inicial e de qualidade. Assim, os sistemas cooperativos, chamados de groupware, tornaram-se uma importante ferramenta utilizada por esse grupo de profissionais para que as tarefas desenvolvidas em grupo se tornem interativas e eficientes. A interação entre as pessoas que estão trabalhando cooperativamente deve ser a mais produtiva possível, sendo semelhante ao trabalho em grupo em um único local. Assim, a percepção das atividades que estão sendo realizadas devem estar disponíveis para cada profissional, através da Interface Homem-Computador do sistema groupware que estão utilizando. Este trabalho apresenta uma “biblioteca” de Componentes de Percepção que fornecem as informações necessárias para que as pessoas que estão participando da tarefa cooperativa tenham a percepção das atividades que estão sendo realizadas, como também quem e como as estão fazendo. Esses componentes são uma extensão do Ambiente PROSOFT Cooperativo, fornecendo assim uma especificação formal de forma a garantir completeza, corretude e ausência de ambigüidades que são muito difíceis de se conseguir com uma descrição informal.