Fernando Nieto Cadena: la épica de lo cotidiano

Esta investigación se acerca a un corpus de poemarios que se enmarcan dentro de la épica de lo cotidiano, y pretende una aproximación a la poética de su autor, Fernando Nieto Cadena. En cuanto a esta lectura, he seguido categorías de Fredric Jameson y Terry Eagleton, en lo concerniente a ese sesgo ideológico que estos poemas demuestran. Pero me he inclinado por un marco que atienda esta poesía como fenómeno. También deseo despejar la pregunta acerca de las categorías precisas para acometer cierto movimiento en esta poesía, e inquirir sobre su caótico flujo. Quiero desentrañar la manera en que se construye esta lírica, poblada de elementos cercanos a los pobladores de la costa ecuatoriana, con mucho de influencia caribeña: son ellos quienes, al acercarse a esta poesía, podrán leer/se. A esto se añade una lectura que confirme los elementos que caracterizan el decir poético de Nieto Cadena. He hecho un recorrido a través de los títulos de Nieto para descubrir la tensión entre el elemento semántico y el fonético del texto, en pos de revisar los ritmos que este lenguaje ofrece.

El precedente constitucional-electoral: redefinición del sistema tradicional de fuentes (Tema Central)

El reconocimiento de la jurisprudencia como fuente jurídica principal concede a todo fallo efectos vinculantes de alcance general y abstracto. Este cambio de esquema ha trastocado los cánones de tradición romano-germánica. La ubicación de la jurisprudencia dentro del sistema de fuentes dependerá, por la forma, de la jerarquía orgánica del juez o tribunal del que emanare. En cuanto al fondo, existen dos aristas. La primera, en cuanto a la materia, en aplicación del principio del paralelismo de las formas jurídicas: si existiese reserva constitucional o legal sobre una materia determinada, la jurisprudencia estará creando subreglas de idéntica naturaleza y jerarquía. Finalmente, desde la perspectiva axiológica, en atención al principio de interpretación pro homine y de progresividad de los derechos fundamentales, la jurisprudencia que prevalecería es aquella que presente un estándar mayormente garantista, sin importar la jerarquía orgánica del juez o tribunal emisor.

Contextos de oralidad en los relatos de bandidos: Tauras en Manabí

La República del Ecuador hacia mediados de la década de los 60 se caracterizaba por una estructura productiva de estrecha diversificación, un horizonte industrial limitado, mercado interno reducido y una actividad agropecuaria predominante. Bajo estas circunstancias las clases subalternas, constituidas por campesinos asalariados agrícolas y por una población urbana mayoritariamente desocupada, presentaban un panorama de pobreza y abandono extremos, mientras la riqueza económica y predial se concentraba en un grupo minúsculo de terratenientes y políticos, cuyos intereses negaban la necesidad de la educación, la salubridad y la comunicación a la población. Una época de convulsiones y desorientaciones políticas y sociales que sumían al Ecuador en el caos, la corruptela administrativa y el fanatismo político por espacio de cuarenta años, durante los cuales un caudillo llegó a ser elegido cinco veces presidente de la República, asimismo depuesto cuatro y enviado al exilio, lo que produjo una cadena de interinazgos en el poder entre 1934-1935, 1944-1947, 1952-1956, 1960-1961 y 1968-1972. La tradición oral, en forma de relatos especialmente, conserva la memoria del surgimiento de los grupos antagónicos, primero en espacios reducidos y familiares que luego fueron creciendo y constituyéndose en amenaza al poder gubernamental sobre sus representantes en los pueblos y capitales de provincia. Con el nombre de Banda de Tauras se conoció al grupo de bandoleros compuesto por elementos rurales de Manabí. Su existencia arranca en los años precedentes a la década de los 40 a partir de situaciones de índole doméstico y su acción se proyecta, con alcances sociales, hasta fines de los 60, coincidente con el apogeo de la etapa política denominada "velasquismo" (1934-1972) con el Dr. José María Velasco Ibarra, a la cabeza. El líder o jefe más importante de la banda, don Pastor Ramón Tuárez Loor, de origen rural manabita (Los Laureles, parroquia Pueblo Nuevo, cantón Portoviejo) fue ajusticiado en el campo por el Batallón Febres Cordero, mecanismo defensivo y represivo de la norma, de ascendencia gubernamental. El grupo, como otros, desapareció a través de la persecución y el ajusticiamiento de la mayoría de sus miembros, mientras el resto se dispersó por la geografía del país. El trabajo está dividido en tres capítulos. El primero, dedicado a la novela regional manabita a través de las que hemos citado, explora las diferentes formas de presencia de la oralidad en el discurso novelesco, insistiendo especialmente en los aspectos fonético, auditivo y sintáctico del lenguaje oral reflejado en la textura novelesca. El capítulo segundo está dedicado al relato de raíz oral sobre personajes y acciones de la Banda de Tauras e incorpora en su análisis los cuatro relatos citados que pertenecen a incipientes narradores dentro del sistema escriturario. Esta circunstancia -la de incipientes escritores- otorga una hermosa candidez oral a sus relatos haciéndolos accesibles a un análisis dialectológico de la narración oral llevada a la escritura y la persistencia de la oralidad en la escritura. Al final, introducimos una propuesta de análisis del relato de raíz oral a partir de la perspectiva teórica de Maijail Bajtín, especialmente sobre la incidencia de la heteroglosia social y la estilización porodial en el relato. Finalmente, el capítulo tercero aborda los aspectos orales de la comunidad rural relacionados con su visión del mundo, es decir, sus conceptos y percepciones, y su incidencia en la vida sociocultural, reflejados y representados en la ficción a través de las narraciones escogidas.

La verdad como derecho constitucional en el ordenamiento jurídico ecuatoriano

Las sociedades desde sus inicios se han preocupado por entender y comprender determinados fenómenos sean estos físicos, sociales o biológicos, con lo cual interviene el raciocinio del ser humano que se preocupa por dar un significado a todas estas manifestaciones. La preocupación se genera en admitir un acto o un hecho como algo valedero que sea aceptado por todos los congéneres, para que tenga una categoría de admisibilidad y si bien se discuta su presencia, ésta sea al menos considerada por una mayoría. Así empieza la existencia de la verdad que tiene significados variados dependiendo de su origen semántico, pero que todos ellos empiezan por desentrañar la esencia de un objeto o de una exteriorización, pero a la vez son condiciones de convivencia social y hasta una forma de alcanzar la libertad. Claro está, que el ideal filosófico es precisamente que exista una correspondencia entre la concepción humana y el objeto que se analiza; pero este esfuerzo no es fácil, al contrario, dependerá inclusive del criterio subjetivo de cada individuo. Surge con preeminencia ante las situaciones difíciles en el campo jurídico, la imperiosa necesidad de ser avalada a través de una resolución que se plasma al final de una investigación; estatus que se configura en un decisión que declara oficialmente un hecho. Por este motivo, la verdad procesal es materia de un análisis, pero a la vez la forma en la que se arriba debe tener despliegues importantes para generar igualdad y equidad de los sujetos procesales para acceder a través de la prueba y mantener una condición de lealtad y transparencia. Este esfuerzo investigativo, devela la misteriosa verdad, aterriza en una condición jurídica y se asienta en la realidad diaria de la prueba, para encontrar en este escenario la paz y conciliación social.

Ecuador: hacia una seguridad con enfoque integral de buen vivir

El derecho a la seguridad es una combinación de facultades y potestades que tiene la sociedad para requerir del Estado la adopción de condiciones propicias para una convivencia pacífica exenta de todo riesgo o peligro. En su significado semántico, la seguridad supone la exclusión de daño, peligro; en tal virtud, es una situación, estado social o mental con ausencia de todo riesgo o amenaza real. Dentro de este contexto, existen diferentes tipos de seguridad: integral, humana, ciudadana, pública, jurídica, social, entre otras. La Constitución de la República del Ecuador establece el ejercicio popular para la defensa y protección de los derechos colectivos, entre ellos, a la seguridad; por tanto, para satisfacerlo es fundamental adoptar políticas públicas que generen condiciones básicas que garanticen: 1. seguridad económica; 2. seguridad política; 3. seguridad ambiental; 4. seguridad de la salud; 5. seguridad alimentaria; y 6. seguridad ciudadana.

Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.

Para o reconhecimento da especificidade do termo jurídico

Este trabalho defende de que a idéia que critérios lingüísticos e pragmáticos contribuem para o reconhecimento da especificidade do termo jurídico. Desse modo, parte do princípio que a identificação de uma terminologia está vinculada ao reconhecimento da natureza e dos propósitos daqueles que a utilizam em uma dada área de conhecimento, o que, na área jurídica, se torna evidente na expressão da normatividade da lei. A pesquisa utiliza como referencial teórico as concepções de base da Teoria Comunicativa da Terminologia, da Teoria dos Atos de Fala, aportes da Teoria Semiótica do Texto no âmbito jurídico, bem como fundamentos gerais da ciência jurídica. O corpus de estudo, a partir do qual se demonstra a validade da idéia defendida, é formado por textos legislativos. A Constituição Brasileira de 1988 foi escolhida como campo preferencial de pesquisa e é examinado como objeto da comunicação que se estabelece entre o destinador e o destinatário no âmbito do universo sócio-cultural da área jurídica. Descrevem-se os mecanismos que tecem a rede modal que estrutura esse tipo de texto, considerando-se que a enunciação da norma constitucional configura um ato de fala jurídico. Esse ato de fala é analisado na manifestação de normas de três categorias: programáticas, de atribuição de poder e competência e de conduta, destacando-se o caráter performativo dos verbos que expressam tais normas. Após a identificação do padrão morfossintático e semântico que caracteriza a sua estrutura frasal, analisam-se os elementos que vinculam o verbo, seu sujeito e complementos aos propósitos da área temática, com destaque para sua implicação pragmática. Conforme a pesquisa demonstra, tais propósitos imprimem o caráter de imperatividade àquilo que é comunicado, conferindo especificidade às unidades lexicais que integram a estrutura frasal dos verbos focalizados. Conclui-se que o verbo performativo é fator primordial no processo de atualização da especificidade dos termos na linguagem jurídica, bem como se demonstra que alguns dos verbos analisados se constituem em genuínos candidatos a termo jurídico. Finalizando a investigação, são indicados parâmetros para a marcação de elementos lingüísticos, tanto morfossintáticos como semânticos e de natureza pragmática, para o processamento informatizado da linguagem usada no Direito.

Análise das políticas de suprimento praticadas pelas grandes empresas industriais brasileiras

O objetivo principal deste estudo é contribuir para o entendimento das relações de suprimento estabelecidas entre as grandes empresas industriais do Brasil e seus fornecedores. A pesquisa parte do princípio que existem algumas variáveis que afetam as políticas de suprimento e procura verificar as correlações existentes entre estas variáveis e as políticas. Baseia-se em um conjunto de teorias, entre as quais, a teoria geral das organizações, a teoria dos jogos, a economia dos custos das transações, os estudos sobre a importância da confiança nas relações de negócios teoria da confiança e a teoria de compras. Através de um questionário, construído com baseado em escalas de Likert e de diferenc ial semântico, procurou-se validar um modelo de relacionamento que coloca em extremos as relações chamadas de CFD (Contratos de fornecimento discretos) e CFP (Contratos de fornecimento de parcerias). Foram remetidos questionários a 300 empresas e se obteve o retorno de 238. A amostra contém empresas de 14 estados brasileiros e 11 setores. O estudo em sua parte descritiva concluiu que existem diferenças significativas nas ações das empresas de acordo com o ramo no qual atuam. Não existem, no entanto, diferenças significativas entre os diversos estados brasileiros nos quais se situam suas matrizes, o que indica uma homogeneização de práticas em todo o território nacional, ao menos entre as grandes empresas. Foram encontradas correlações significativas entre algumas variáveis independentes e as estratégias de suprimento. Isto pode fornecer subsídios tanto para a definição de posturas para as empresas fornecedores de insumos industriais, quanto para as empresas que estão montando estratégias de suprimento e querem utilizar o estudo como “benchmark” dos seus processos em relação às maiores empresas brasileiras.

Ocupar, resistir e produzir também na educação : análise do discurso pedagógico do MST

Esta dissertação trata da análise do discurso pedagógico do Movimento dos trabalhadores Rurais Sem Terra (MST). Metodologicamente, o texto está dividido em três partes. Na primeira parte, é apresentado o quadro conceitual da Escola Francesa de Análise de Discurso, a qual fundamenta a análise. A segunda parte do trabalho trata dos procedimentos metodológicos que sustentam e organizam a análise do corpus discursivo. A terceira parte examina o funcionamento do discurso pedagógico, particularmente, o funcionamento que faz desse discurso, um discurso diferente em relação ao discurso pedagógico dominante: a inserção do discurso-outro (o discurso pedagógico dominante, o discurso da Educação Popular e o discurso político do MST) no discurso de referência; o estabelecimento de redes de filiação de sentido com discursos marginalizados, “abafados” pelo discurso pedagógico dominante; a ruptura com o discurso pedagógico tradicional, através do funcionamento discursivo da determinação discursiva produzida por orações relativas, adjetivos, sintagmas preposicionais,os quais produzem um efeito de sobredeterminação discursiva a fim de produzir um efeito de reorientação/movimentação nos sentidos fixados/ cristalizados por esse discurso. E, finalmente, a produção do novo, no universo semântico pedagógico, construído pelo Discurso Pedagógico do MST.

Solução de equações intervalares

Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-intervalo, procurando identificar a influência de cada uma sobre definições fundamentais, tais como as das operações aritméticas e a do tipo de solução encontrado. Uma vez caracterizadas as semânticas associadas ao tipo de dado intervalar, o trabalho apresenta resultados que permitem mapear algebricamente a operação de multiplicação de números-intervalo tanto na representação de extremo inferior e extremo superior como na representação por ponto médio e diâmetro. Com base nesses resultados apresenta os mapeamentos das expressões algébricas que definem as potências positivas inteiras tanto para a semântica de número-intervalo como para a de envoltória de reais. Conjugando os resultados obtidos com a semântica de número-intervalo, o trabalho apresenta procedimentos algorítmicos para a determinação de dois tipos de soluções de equações intervalares: solução própria, a obtida diretamente a partir da relação de igualdade estrutural algébrica entre intervalos, e envoltória intervalar de soluções reais, normalmente referenciada como a solução intervalar usual. Exemplos são apresentados para a validação dos procedimentos, bem como para a discussão do significado de cada tipo de solução sob o enfoque semântico.

Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos

O avanço tecnológico no projeto de microprocessadores, nos recentes anos, tem seguido duas tendências principais. A primeira tenta aumentar a freqüência do relógio dos mesmos usando componentes digitais e técnicas VLSI mais eficientes. A segunda tenta explorar paralelismo no nível de instrução através da reorganização dos seus componentes internos. Dentro desta segunda abordagem estão as arquiteturas multi-tarefas simultâneas, que são capazes de extrair o paralelismo existente entre e dentro de diferentes tarefas das aplicações, executando instruções de vários fluxos simultaneamente e maximizando assim a utilização do hardware. Apesar do alto custo da implementação em hardware, acredita-se no potencial destas arquiteturas para o futuro próximo, pois é previsto que em breve haverá a disponibilidade de bilhões de transistores para o desenvolvimento de circuitos integrados. Assim, a questão principal a ser encarada talvez seja: como prover instruções paralelas para uma arquitetura deste tipo? Sabe-se que a maioria das aplicações é seqüencial pois os problemas nem sempre possuem uma solução paralela e quando a solução existe os programadores nem sempre têm habilidade para ver a solução paralela. Pensando nestas questões a arquitetura SEMPRE foi projetada. Esta arquitetura executa múltiplos processos, ao invés de múltiplas tarefas, aproveitando assim o paralelismo existente entre diferentes aplicações. Este paralelismo é mais expressivo do que aquele que existe entre tarefas dentro de uma mesma aplicação devido a não existência de sincronismo ou comunicação entre elas. Portanto, a arquitetura SEMPRE aproveita a grande quantidade de processos existentes nas estações de trabalho compartilhadas e servidores de rede. Além disso, esta arquitetura provê suporte de hardware para o escalonamento de processos e instruções especiais para o sistema operacional gerenciar processos com mínimo esforço. Assim, os tempos perdidos com o escalonamento de processos e as trocas de contextos são insignificantes nesta arquitetura, provendo ainda maior desempenho durante a execução das aplicações. Outra característica inovadora desta arquitetura é a existência de um mecanismo de prébusca de processos que, trabalhando em cooperação com o escalonamento de processos, permite reduzir faltas na cache de instruções. Também, devido a essa rápida troca de contexto, a arquitetura permite a definição de uma fatia de tempo (fatia de tempo) menor do que aquela praticada pelo sistema operacional, provendo maior dinâmica na execução das aplicações. A arquitetura SEMPRE foi analisada e avaliada usando modelagem analítica e simulação dirigida por execução de programas do SPEC95. A modelagem mostrou que o escalonamento por hardware reduz os efeitos colaterais causados pela presença de processos na cache de instruções e a simulação comprovou que as diferentes características desta arquitetura podem, juntas, prover ganho de desempenho razoável sobre outras arquiteturas multi-tarefas simultâneas equivalentes, com um pequeno acréscimo de hardware, melhor aproveitando as fatias de tempo atribuídas aos processos.

Simulação paralela de eventos discretos com uso de memória compartilhada distribuída

A simulação paralela de eventos é uma área da computação que congrega grande volume de pesquisas, pela importância em facilitar o estudo de novas soluções nas mais diferentes áreas da ciência e tecnologia, sem a necessidade da construção de onerosos protótipos. Diversos protocolos de simulação paralela podem ser encontrados, divididos em dois grandes grupos de acordo com o algoritmo empregado para a execução em ordem dos eventos: os conservadores e os otimistas; contudo, ambos os grupos utilizam trocas de mensagens para a sincronização e comunicação. Neste trabalho, foi desenvolvido um novo protocolo de simulação paralela, fazendo uso de memória compartilhada, o qual foi implementado e testado sobre um ambiente de estações de trabalho, realizando, assim, simulação paralela com uso de memória compartilhada distribuída. O protocolo foi desenvolvido tendo como base de funcionamento os protocolos conservadores; utilizou diversas características dos mesmos, mas introduziu várias mudanças em seu funcionamento. Sua execução assemelha-se às dos protocolos de execução síncrona, utilizando conceitos como o lookahead e janelas de tempo para execução de eventos. A principal mudança que o novo protocolo sofreu foi proporcionada pelo acesso remoto à memória de um LP por outro, produzindo diversas outras nas funções relativas à sincronização dos processos, como o avanço local da simulação e o agendamento de novos eventos oriundos de outro LP. Um ganho adicional obtido foi a fácil resolução do deadlock, um dos grandes problemas dos protocolos conservadores de simulação paralela. A construção de uma interface de comunicação eficiente com uso de memória compartilhada é o principal enfoque do protocolo, sendo, ao final da execução de uma simulação, disponibilizado o tempo de simulação e o tempo de processamento ocioso (quantia utilizada em comunicação e sincronização). Além de uma implementação facilitada, propiciada pelo uso de memória compartilhada ao invés de trocas de mensagens, o protocolo oferece a possibilidade de melhor ocupar o tempo ocioso dos processadores, originado por esperas cada vez que um LP chega a uma barreira de sincronização. Em nenhum momento as modificações efetuadas infringiram o princípio operacional dos protocolos conservadores, que é não possibilitar a ocorrência de erros de causalidade local. O novo protocolo de simulação foi implementado e testado sobre um ambiente multicomputador de memória distribuída, e seus resultados foram comparados com dois outros simuladores, os quais adotaram as mesmas estratégias, com idênticas ferramentas e testados em um mesmo ambiente de execução. Um simulador implementado não utilizou paralelismo, tendo seus resultados sido utilizados como base para medir o speedup e a eficiência do novo protocolo. O outro simulador implementado utilizou um protocolo conservador tradicional, descrito na literatura, realizando as funções de comunicação e sincronização através de trocas de mensagens; serviu para uma comparação direta do desempenho do novo protocolo proposto, cujos resultados foram comparados e analisados.

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.

Particionamento de domínio e balanceamento de carga no modelo HIDRA

A paralelização de aplicaçõpes envolvendo a solução de problemas definidos sob o escopo da Dinâmica dos Fluidos Computacional normalmente é obtida via paralelismo de dados, onde o domínio da aplicação é dividido entre os diversos processadores, bem como a manutenção do balancecamento durante a execução é um problema complexo e diversas heurísticas têm sido desenvolvidas. Aplicações onde a simulação é dividida em diversas fases sobre partes diferentes do domínio acrescentam uma dificuldade maior ao particionamento, ao se buscar a distirbuição equlibrada das cargas em todas as fases. este trabalho descreve a implementação de mecanismos de particionamento e balanceamento de carga em problemas multi-fase sobre clusters de PCs. Inicialmente é apresentada a aplicação desenvolvida, um modelo de circulação e transporte de susbtâncias sobre corpos hídricos 2D e 3 D, que pode ser utilizado para modelar qualquer corpo hídrico a partir da descrição de sua geometria, batimetria e condições de contorno. Todo o desenvolvimento e testes do modelo foi feito utilizando como caso de estudo o domínio do Lago Guaíba, em Porto Alegre. Após, são descritas as principais heurísticas de particionamento de domínio de aplicações multi-fase em clusters, bem como mecanismos para balanceamento de carga para este tipo de aplicação. Ao final, é apresentada a solução proposta e desenvolvida, bem como os resultados obtidos com a mesma.

Um processo auto-documentável de geração de ontologias de domínio para dados semi-estruturados

Dados são disponibilizados através dos mais distintos meios e com os mais variados níveis de estruturação. Em um nível baixo de estruturação tem-se arquivos binários e no outro extremo tem-se bancos de dados com uma estrutura extremamente rígida. Entre estes dois extremos estão os dados semi-estruturados que possuem variados graus de estruturação com os quais não estão rigidamente comprometidos. Na categoria dos dados semiestruturados tem-se exemplos como o HTML, o XML e o SGML. O uso de informações contidas nas mais diversas fontes de dados que por sua vez possuem os mais diversos níveis de estruturação só será efetivo se esta informação puder ser manejada de uma forma integrada e através de algum tipo de esquema. O objetivo desta dissertação é fornecer um processo para construção de uma ontologia de domínio que haja como esquema representativo de diferentes conjuntos de informação. Estes conjuntos de informações podem variar de dados semi-estruturados a dados estruturados e devem referir-se a um mesmo domínio do conhecimento. Esta proposta permite que qualquer modelo que possa ser transformado no modelo comum de integração possa ser utilizado com entrada para o processo de integração. A ontologia de domínio resultante do processo de integração é um modelo semântico que representa o consenso obtido através da integração de diversas fontes de forma ascendente (bottom-up), binária, incremental, semi-automática e auto-documentável. Diz-se que o processo é ascendente porque integra o modelo que representa a fonte de interesse sobre a ontologia, é binário porque trabalha com dois esquemas a cada integração o que facilita o processo de documentação das integrações realizadas, é incremental porque cada novo esquema de interesse é integrado sobre a ontologia vigente naquele momento, é semiautomático porque considera a intervenção do usuário durante o processo e finalmente é autodocumentável porque durante o processo, toda integração de pares de conceitos semanticamente equivalentes é registrada. O fato de auto-documentar-se é a principal característica do processo proposto e seu principal diferencial com relação a outras propostas de integração. O processo de mapeamento utiliza, dos esquemas de entrada, toda a informação presente ou que possa ser inferida. Informações como se o conceito é léxico ou não, se é raiz e os símbolos que permitem deduzir cardinalidades são consideradas. No processo de integração são consideradas práticas consagradas de integração de esquemas de BDs, na identificação de relacionamentos entre objetos dos esquemas, para geração do esquema integrado e para resolução de conflitos. As principais contribuições desta dissertação são (i) a proposta de um metamodelo capaz de manter o resultado dos mapeamentos e das integrações realizadas e (ii) a especificação de um processo auto-documentável que de sustentação a auditoria do processo de integração.