Nuestra novela de cada día

El presente trabajo de tesis pretende indagar y encontrar alguna nueva razón, a más de las existentes, que de cuenta de las motivaciones por las cuales las personas de distintos estamentos sociales e intelectuales, se convierten en cautivos del género telenovela. Para ello, parte de una visión reflexiva sobre el fenómeno televisivo con el fin de contextuar el objeto de estudio en su hábitat, que es, además, su medio de expresión. Éste, como sabemos, es un agente generador de consumos, los que a su vez intervienen, en una operación recíproca, en la formación social e histórica del gusto y en el establecimiento de los estilos de vida. Lo cotidiano entendido como una práctica de vida, se constituye determinante en la construcción y/o, complementariamente, en el ejercicio de una semántica de vida. Es entonces, el espacio donde se fundamentan y desarrollan, de múltiples maneras, las experiencias culturales humanas. Por tanto su tratamiento es substancial para la comprensión de esta tesis. Por último, creemos haber llegado a conclusiones interesantes y válidas dentro del campo de la comunicación, una vez confrontados el estudio teórico y el trabajo de campo.

Representaciones mediáticas del conflicto entre indígenas taromenane y waorani. Estudio de las coberturas de El Comercio y los periódicos locales Semanario Independiente y Espectador Amazónico

La presente investigación analiza la manera cómo tres medios de comunicación impresos del país dieron a conocer en sus publicaciones el incidente suscitado el 29 de marzo de 2013 entre las etnias Waorani y Taromenane. El estudio se centra en dos procesos complementarios: el análisis del discurso realizado a los titulares y lead1; y las vertientes discursivas a través de las cuales la prensa nacional y local redactó los contenidos expuestos. Este trabajo explora los discursos de diario El Comercio y los periódicos locales Semanario Independiente y Espectador Amazónico para entender cómo la prensa participa dentro de un proceso de transmisión de contenidos simbólicos. El estudio se divide en tres capítulos. La intención es responder a la pregunta ¿desde qué estrategias discursivas e ideológicas el diario El Comercio y los periódicos Semanario Independiente y Espectador Amazónico, representaron el conflicto suscitado el 29 de marzo, entre las comunidades Waorani y Taromenane?. El primer capítulo explora el contexto socio histórico que envuelve a las comunidades Waorani y Taromenane. El segundo capítulo examina los factores que permiten la concepción de significados con los que se representa a las dos comunidades de manera semántica. Y cómo estas formas simbólicas son trasladadas a los medios de comunicación y fomentan racismo hacia estas etnias. El tercer capítulo examina el lenguaje con el que los tres medios dieron a conocer el hecho acaecido el 29 de marzo de 2013 entre estas dos comunidades indígenas. Y analiza la ideología que subyace de manera sutil en sus narrativas. El análisis de los titulares y lead parte de los fundamentos teóricos y metodológicos del lingüista Van Dijk y muestra la forma a través de la cual la prensa estereotipo el suceso y fomentó racismo hacia los Waorani y Taromenane. Finalmente, la presente tesis expone unas conclusiones al lector que reflexionan sobre el poder que cumple el lenguaje en la prensa para configurar representaciones sociales, que persiguen sostener creencias, con el fin de legitimidad un determinado orden social.

Aspectos teóricos para entender el significado del buen vivir, sumak kawsay en la Constitución del Ecuador

El buen vivir, sumak kawsay causó perplejidad en los estudiosos del derecho constitucional, de ahí que me proponga en este trabajo de investigación, aislar elementos teóricos que nos permitan encontrar el significado jurídico constitucional de las palabras que el constituyente consigna en la Ley fundamental, tanto en su sentido como en su contenido, es decir, tanto desde el punto de vista axiológico como deontológico. Para tal efecto, se sistematiza las interpretaciones escépticas como afirmativas de esta innovación constitucional desde el proceso de constitucionalización, para luego definirla desde las ciencias jurídicas como una estimativa jurídica y concepto jurídico indeterminado de carácter simbólico, retorico y persuasivo, por lo tanto puede ser analizado desde diferentes categorías jurídicas: como valor constitucional y fin meta-político (dimensión axiológica) y como principio normativo (dimensión deontológica). Estas categorías nos sirven para explicar la inclusión del buen vivir, sumak kawsay en la Constitución y su función normativa, desde la Teoría de la Constitución como ciencia de la cultura, lo que nos permite hablar de una ruptura discursiva del constitucionalismo moderno y del nacimiento de nuevo constitucionalismo intercultural de origen andino amazónico. Para sostener este argumento me permito utilizar el método de la semántica, la hermenéutica y la pragmática constitucional, considerando la relevancia que adquieren los Preámbulos constitucionales en los procesos de interpretación constitucional en el modelo de constitución axiológica como norma, cuyo núcleo axiótico constituye la dignidad humana en su doble dimensión (individual y colectiva). Los resultados de esta investigación identifican no solo su carácter funcional normativo, sino también aísla aspectos teóricos, características fundamentales y nudos problemáticos de interpretación, con el fin de evitar sus desviaciones e instrumentalización asumiendo una nueva ética pública de carácter relacional comunitaria, de sustentabilidad súper fuerte, que exige una nueva visión de la sociedad, del ciudadano y del Estado, lo cual nos plantea un tipo de interpretación constitucional abierta que permita construir un mestizaje humanizador cuya base sea una ciudadanía intercultural en un Estado plurinacional de derechos y justicia social.

A cultura de segurança do paciente: validação de um instrumento de mensuração para o contexto hospitalar brasileiro

A cultura de segurança do paciente tem recebido crescente atenção no campo das organizações de saúde. Os cuidados de saúde, cada vez mais complexos, elevam o potencial de ocorrência de incidentes, erros ou falhas, particularmente em hospitais.Uma cultura de segurança fortalecida no âmbito hospitalar emerge como um dosrequisitos essenciais para melhorar a qualidade do cuidado de saúde. Avaliar o status da cultura de segurança no hospital permite identificar e gerir prospectivamente questões relevantes de segurança nas rotinas de trabalho. O objetivo central deste estudo foi realizar a adaptação transcultural do Hospital Survey on Patient SafetyCulture (HSOPSC) instrumento de avaliação das características da cultura de segurança do paciente em hospitais para a Língua Portuguesa e contexto brasileiro. Secundariamente, objetivou-se avaliar as características da cultura de segurança nos hospitais participantes. Adotou-se abordagem universalista para avaliar a equivalênciaconceitual, de itens e semântica. A análise de confiabilidade do instrumento foi realizada por meio da análise da consistência interna das dimensões, através do coeficiente alfa de Cronbach. A validade de constructo foi realizada por meio das Análises Fatorial Confirmatória e Exploratória. A cultura de segurança do paciente foi avaliada com a aplicação do questionário na população do estudo. A amostra foicomposta por 322 profissionais que trabalham em dois hospitais de cuidados agudos. A aplicação do instrumento ocorreu entre os meses de março e maio de 2012. O questionário foi traduzido para o Português e sua versão final incluiu 42 itens. Nas etapas iniciais desta adaptação a população-alvo avaliou todos os itens como de fácilcompreensão. A versão adaptada para Língua Portuguesa dos HSOPSC apresentou alfa de Cronbach total de 0,91.

Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Incorporando suporte a restrições espaciais de caráter topológico ao modelo abstrato do consórcio Open GIS

Os Sistemas de Informação Geográfica (SIG) são construídos, especificamente, para armazenar, analisar e manipular dados geográficos, ou seja, dados que representam objetos e fenômenos do mundo real, cuja localização em relação à superfície da Terra seja considerada. A interoperabilidade desses sistemas, que constitui-se na capacidade de compartilhar e trocar informações e processos entre ambientes computacionais heterogêneos, se faz necessária, pois, devido ao elevado custo de aquisição dos dados geográficos, as comunidades de informação precisam compartilhar dados de fontes existentes, sem a necessidade de fazer conversões. Porém, pela complexidade e incompatibilidades de representação, de estrutura e de semântica das informações geográficas, a maioria dos softwares de SIG, hoje, não são interoperáveis. Existe também, além do problema da não interoperabilidade, uma crescente preocupação com relação à qualidade e à integridade espacial dos dados geográficos. Contudo, alguns modelos conceituais de dados geográficos e os softwares de SIG não oferecem, ainda, os meios adequados para representar e garantir a integridade espacial das informações. As restrições de integridade definidas durante a fase de projeto conceitual, normalmente, são implementadas durante o projeto físico, seja de forma implícita ou explícita, podendo ser incorporadas diretamente no modelo de implementação do SIG, de forma que o usuário da aplicação apenas mencione a regra e o sistema a implemente e a garanta automaticamente.Este trabalho de pesquisa propõe uma extensão ao Modelo Abstrato OpenGIS, modelo este que deve ser um padrão de interoperabilidade de software para SIG. A extensão proposta incorpora ao mesmo um subconjunto de tipos de restrição espacial, buscando com isso oferecer melhor suporte às regras da realidade geográfica expressáveis na modelagem conceitual do sistema.

Definição terminológica : fundamentos teórico-metodológicos para sua descrição e explicação

Ao propor uma nova metodologia analítico-descritiva para o enfoque da definição terminológica científica, este trabalho pretende contribuir para o reconhecimento dos perfis desse tipo de definição no escopo do desenvolvimento das teorias terminológicas de perspectiva lingüística. À luz de algumas idéias da semântica enunciativa, especialmente as cunhadas por Émile Benveniste, o estudo demonstra a viabilidade e produtividade de um reconhecimento de relações mantidas quer entre o enunciado-texto da definição e seu ambiente de significação, quer entre o enunciado definitório e seus sujeitos enunciadores. Para tanto, são examinadas as diferentes formulações de definições dicionarizadas para termos de Química, contrastadas com uma pequena amostra de definições de termos de Ciência Política, também coletadas em dicionários especializados. O trabalho conclui que é importante o reconhecimento do enunciado definitório em relação a todo um entorno de significação das linguagens científicas envolvidas, evidenciando que a definição é um objeto textual multidimensional, dotado de características que o fazem exceder aqueles limites mais usuais ou tradicionais de um objeto lógico-categorial. Além disso, o trabalho demonstra que não é funcional, no seu enfoque, uma separação a priori e estrita entre conceitos e significados.

APSEE-Reuse : um meta-modelo para apoiar a reutilização de processos de software

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos tecnológicos e gerenciais do processo de desenvolvimento de software. Software tornou-se a base de sustentação de inúmeras organizações dos mais diversos ramos de atuação espalhados pelo planeta, consistindo de um elemento estratégico na diferenciação de produtos e serviços atuais. Atualmente, o software está embutido em sistemas relacionados a infindável lista de diferentes ciências e tecnologias. A Tecnologia de Processo de Software surgiu em meados da década de 1980 e representou um importante passo em direção à melhoria da qualidade de software através de mecanismos que proporcionam o gerenciamento automatizado do desenvolvimento de software. Diversas teorias, conceitos, formalismos, metodologias e ferramentas surgiram nesse contexto, enfatizando a descrição formal do modelo de processo de software, para que possa ser automatizado por um ambiente integrado de desenvolvimento de software. Os modelos de processos de software descrevem o conhecimento de uma organização e, portanto, modelos que descrevem experiências bem sucedidas devem ser continuamente disseminados para reutilização em diferentes projetos. Apesar da importância desse tópico, atualmente apenas uma pequena porção do conhecimento produzido durante o desenvolvimento de software é mantido para ser reutilizado em novos projetos. Embora, à primeira vista, o desafio de descrever modelos reutilizáveis para processos de software pareça ser equivalente ao problema tratado pela tradicional área de reutilização de produtos software, isso é apenas parcialmente verdade, visto que os processos envolvem elementos relacionados com aspectos sociais, organizacionais, tecnológicos e ambientais. A crescente complexidade da atual modelagem de processos vem influenciando a investigação de tecnologias de reutilização que sejam viáveis nesse campo específico. A investigação conduzida nesse trabalho culminou na especificação de um meta-modelo que tem como objetivo principal aumentar o nível de automação fornecido na reutilização de processos, apoiando a modelagem de processos abstratos que possam ser reutilizados em diferentes contextos. O meta-modelo proposto por esse trabalho - denominado APSEE-Reuse - fornece uma série de construtores sintáticos que permitem que os diferentes aspectos desse contexto sejam descritos segundo múltiplas perspectivas, complementares entre si, contribuindo para diminuir a complexidade do modelo geral. A solução proposta destaca-se por fornecer um formalismo para modelagem de processos, o qual é integrado à uma infraestrutura de automação de processos de software, permitindo que a reutilização esteja intimamente relacionada com as outras etapas do ciclo de vida de processos. Os diferentes componentes envolvidos na definição do modelo APSEE-Reuse proposto foram especificados algebricamente, constituindo uma base semântica de alto 15 nível de abstração que deu origem a um conjunto de protótipos implementados no ambiente PROSOFT-Java. O texto ainda discute os experimentos realizados com o meta-modelo proposto na especificação de diferentes estudos de casos desenvolvidos a partir de exemplos retirados na literatura especializada, e de processos que fornecem soluções em contextos e necessidades específicas de projetos desenvolvidos no PPGC-UFRGS. Finalmente, são apresentadas considerações acerca dos trabalhos relacionados, os elementos críticos que influenciam a aplicabilidade do modelo e as atividades adicionais vislumbradas a partir do trabalho proposto.

Aspecto progressivo : um modal epistêmico?

Esta pesquisa procurou demonstrar que o aspecto progressivo representa a opção disponibilizada pela língua portuguesa para que o falante, diante de determinadas situações, possa se referir apenas ao fragmento manifesto, revelando, assim, o seu desejo de se comprometer somente com a parte da verdade evidenciada pela situação. Quando uma situação é apresentada com um verbo de estado, os falantes de língua inglesa, para atingir o mesmo objetivo, utilizam perífrases dos verbos de estado. Foram selecionados verbos de estado que expressam estados mentais/cognitivos para testar as hipóteses, porque a mitigação de comprometimento revelou ser mais claramente observável em enunciados com este tipo de verbos. Os resultados obtidos evidenciaram que os falantes de ambas as línguas distinguem situações completas de incompletas e que optam por mais de uma forma para expressar menor comprometimento, e não somente pela forma do aspecto progressivo quando, após interpretar uma situação como incompleta, desejam manifestar-se a respeito dela. Os falantes de ambas as línguas também utilizaram formas no perfectivo + perífrase modalizadora e perífrases dos verbos de estado no progressivo. A opção pelo uso destas formas, para ser fiel à verdade de sua interpretação da situação como não-completa, indiciou que há uma avaliação de grau de comprometimento por parte do falante. Os resultados apontam para a possibilidade de que o aspecto progressivo atue como um modal epistêmico, não obstante o fato de o falante poder expressar comprometimento parcial também através de outras formas.

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.

Uma Avaliação de abordagens alternativas para armazenar RDF em banco de dados relacional

O Resource Description Framework (RDF) é uma infra-estrutura, que possibilita a codificação, troca e reuso de metadata estruturado. Metadata é dados sobre dados. O termo refere a qualquer dado usado para ajudar a identificação, descrição e localização de recursos eletrônicos na rede. O RDF permite adicionar declarações, sinônimos e palavras que não estão presentes nos recursos, mas que são pertinentes a eles. Uma declaração RDF pode ser desenhada usando diagramas de arcos e nodos, onde os nodos representam os recursos e os arcos representam as propriedades nomeadas. O modelo básico consiste em recursos, propriedades e objetos. Todas as coisas sendo descritas pelas declarações RDF são chamadas de recursos. Um recurso pode ser uma página da Web inteira ou um elemento específico HTML ou XML dentro de um documento fonte. Uma propriedade é um aspecto específico, característica, atributo, ou relação usada para descrever um recurso. O objeto pode ser um outro recurso ou um literal. Estas três partes, juntas, formam uma declaração RDF. O resultado do parser para recursos com metadata RDF, é um conjunto de declarações referentes aquele recurso. A declaração destas propriedades e a semântica correspondente delas estão definidas no contexto do RDF como um RDF schema. Um esquema não só define as propriedades do recurso (por exemplo, título, autor, assunto, tamanho, cor, etc.), mas também pode definir os tipos de recursos sendo descritos (livros, páginas Web, pessoas, companhias, etc.). O RDF schema, provê um sistema básico de tipos necessários para descrever tais elementos e definir as classes de recursos. Assim, os recursos constituindo este sistema de tipos se tornam parte do modelo RDF de qualquer descrição que os usa. A geração de modelos RDF pode ser conseguida através de algoritmos implementados com linguagens de programação tradicionais e podem ser embutidos em páginas HTML, documentos XML e até mesmo em imagens. Com relação a modelos em imagens, servidores Web específicos são usados para simular dois recursos sobre o mesmo URI, servindo ora a imagem ora a descrição RDF. Uma alternativa para armazenar e manipular grande quantidade de declarações RDF é usar a tecnologia de banco de dados relacional. Abordagens para armazenar declarações RDF em banco de dados relacional foram propostas, mas todas elas mantêm modelos diversos de diferentes fontes. Critérios de avaliação como tempo de carga, proliferação de tabelas, espaço, dados mantidos e custo de instruções SQL foram definidos. Duas abordagens apresentaram resultados satisfatórios. Com uma nova abordagem proposta por este trabalho se obteve melhores resultados principalmente no aspecto de consultas. A nova proposta provê mecanismos para que o usuário faça seu próprio modelo relacional e crie suas consultas. O conhecimento necessário pelo usuário se limita em parte aos modelos mantidos e ao esquema RDF.

Holoparadigma : um modelo multiparadigma orientado ao desenvolvimento de software distribuído

Este texto apresenta um novo modelo multiparadigma orientado ao desenvolvimento de software distribuído, denominado Holoparadigma. O Holoparadigma possui uma semântica simples e distribuída. Sendo assim, estimula a modelagem subliminar da distribuição e sua exploração automática. A proposta é baseada em estudos relacionados com modelos multiparadigma, arquitetura de software, sistemas blackboard, sistemas distribuídos, mobilidade e grupos. Inicialmente, o texto descreve o modelo. Logo após, é apresentada a Hololinguagem, uma linguagem de programação que implementa os conceitos propostos pelo Holoparadigma. A linguagem integra os paradigmas em lógica, imperativo e orientado a objetos. Além disso, utiliza um modelo de coordenação que suporta invocações implícitas (blackboard) e explícitas (mensagens). A Hololinguagem suporta ainda, concorrência, modularidade, mobilidade e encapsulamento de blackboards em tipos abstratos de dados. Finalmente, o texto descreve a implementação da Holoplataforma, ou seja, uma plataforma de desenvolvimento e execução para a Hololinguagem. A Holoplataforma é composta de três partes: uma ferramenta de conversão de programas da Hololinguagem para Java (ferramenta HoloJava), um ambiente de desenvolvimento integrado (ambiente HoloEnv) e um plataforma de execução distribuída (plataforma DHolo).

A diferenciação da literatura moderna alemã no processo constitutivo da sociedade funcional : uma abordagem sistêmica baseada em Niklas Luhmann

Este estudo interdisciplinar se baseia na teoria dos sistemas desenvolvida pelo sociólogo alemão Niklas Luhmann (1927-1998). Analisa-se a literatura alemã por volta de 1800 dentro de uma concepção histórica que vê neste período o ponto culminante da transformação de uma sociedade estratificada em direção a uma ordem social moderna, estruturada por sistemas diferenciados como educação, economia, direito e literatura que realizam uma determinada função e se caracterizam por suas comunicações específicas. A poética da literatura romântica como fase constitutiva da literatura alemã moderna reflete este processo. Ela descreve sua autonomia, a diferenciação de um campo próprio, inicialmente através da negação de uma finalidade. Em seguida recorre ao gênio, o indivíduo excepcional, como garantia de uma arte livre de normas estéticas e coações sociais. Posteriormente abstrai destas justificativas externas ou individuais e formula tautologicamente seu campo para, no final, marcá-lo pela definição da qualidade de seus textos. Na semântica da época, formula-se esta qualidade no conceito da “ironia”, enquanto a teoria dos sistemas usa conceitos como observação de segunda ordem ou oscilação entre o atual e potencial. Paralelamente, o sistema da literatura diferenciado e autônomo torna-se um campo a ser observado por seu ambiente. A historia literária do século XIX o instrumentaliza por fins políticos, enquanto direitos autorais e o livro como mercadoria de possível lucro lhe atribui uma dinâmica acelerada. Encontra-se na figura do autor uma instância onde se cruzam as diversas observações de sistemas como direito, economia e ciências humanas.

Uma Biblioteca para programação paralela por troca de mensagens de clusters baseados na tecnologia SCI

A presente Dissertação propõe uma biblioteca de comunicação de alto desempenho, baseada em troca de mensagens, especificamente projetada para explorar eficientemente as potencialidades da tecnologia SCI (Scalable Coherent Interface). No âmago da referida biblioteca, a qual se denominou DECK/SCI, acham-se três protocolos de comunicação distintos: um protocolo de baixa latência e mínimo overhead, especializado na troca de mensagens pequenas; um protocolo de propósito geral; e um protocolo de comunicação que emprega uma técnica de zero-copy, também idealizada neste Trabalho, no intuito de elevar a máxima largura de banda alcançável durante a transmissão de mensagens grandes. As pesquisas desenvolvidas no decurso da Dissertação que se lhe apresenta têm por mister proporcionar um ambiente para o desenvolvimento de aplicações paralelas, que demandam alto desempenho computacional, em clusters que se utilizam da tecnologia SCI como rede de comunicação. A grande motivação para os esforços envidados reside na consolidação dos clusters como arquiteturas, a um só tempo, tecnologicamente comparáveis às máquinas paralelas dedicadas, e economicamente viáveis. A interface de programação exportada pelo DECK/SCI aos usuários abarca o mesmo conjunto de primitivas da biblioteca DECK (Distributed Execution Communication Kernel), concebida originalmente com vistas à consecução de alto desempenho sobre a tecnologia Myrinet. Os resultados auferidos com o uso do DECK/SCI revelam a eficiência dos mecanismos projetados, e a utilização profícua das características de alto desempenho intrínsecas da rede SCI, haja visto que se obteve uma performance muito próxima dos limites tecnológicos impostos pela arquitetura subjacente. Outrossim, a execução de uma clássica aplicação paralela, para fins de validação, testemunha que as primitivas e abstrações fornecidas pelo DECK/SCI mantêm estritamente a mesma semântica da interface de programação do original DECK.

O projeto logicista de Frege

Resumo não disponível.