El libro está estructurado en cinco capítulos; en el capítulo 1 se describen algunos de los modelos de computación paralela que se han propuesto a lo largo de los años, con especial dedicación al modelo BSP. En el capítulo 2 se describe el método de las particiones superpuestas para el que se proponen dos algoritmos BSP y se comparan entre sí. La paralelización de la factorización LDU de matrices tridiagonales fundamenta el algoritmo BSP bidireccional para dos procesadores que se formula en el capítulo 3 en el que, además, se propone un nuevo método bidireccional para un número par de procesadores basado en el método bidireccional para dos procesadores y en el método de las particiones superpuestas; asimismo, se plantean dos algoritmos BSP para el nuevo método y se comparan entre sí. El método de las particiones de Wang es un clásico y rápido método para la resolución de sis-temas tridiagonales que se describe en el capítulo 4; en este capítulo se proponen dos algoritmos BSP para el mismo, uno de los cuales es una modificación de dicho método que supone una mejora cuando el número de procesadores es grande. En la última sección del capítulo se comparan entre sí ambos algoritmos BSP. En el capítulo 5 y último se comparan entre sí todos los algoritmos BSP descritos y analizados en los capítulos anteriores y se obtiene el óptimo para cada una de las situaciones que han sido objeto de estudio. Es de reseñar el buen comportamiento del nuevo método propuesto en el capítulo tercero frente al método de Wang y al método (secuencial) de eliminación de Gauss para sistemas tridiagonales, especialmente en un CRAY T3D y en un CRAY T3E.

No description available.

No description available.

No description available.

O Objetivo deste trabalho foi implementar um resolvedor distribuído para o problema de satisfabilidade em lógica proposicional (SAT) que pudesse ser executado em uma grade de computadores. Foi analisada a influência que o número de máquinas utilizadas pela grade para resolver diversas instâncias do SAT exerce sobre o desempenho do resolvedor implementado / O Objetivo deste trabalho foi implementar um resolvedor distribuído para o problema de satisfabilidade em lógica proposicional (SAT) que pudesse ser executado em uma grade de computadores. Foi analisada a influência que o número de máquinas utilizadas pela grade para resolver diversas instâncias do SAT exerce sobre o desempenho do resolvedor implementado

Desde hace tiempo se viene comentando que los estudiantes universitarios presentan serios problemas de expresión escrita. En diversas fuentes de información, tales como artículos de investigación científica, tesis, u otros medios académicos y profesionales, se puede apreciar diversos errores de redacción. Ésta es una situación que se considera inadmisible en personas con un alto nivel de instrucción formal, especialmente porque todas ellas ya han pasado alrededor de once años de escolarización en la que aprobaron diversas materias relativas a la enseñanza de su lengua materna. Como medida para solucionar este problema, se busca promover la enseñanza de la organización de las ideas. Existen varias técnicas que ayudan a organizar las ideas y preparar la información antes de la redacción del ensayo, monografía o artículo científico. Una de las técnicas más básicas es la redacción del resumen. Se sabe que la redacción del resumen de los textos científicos es una técnica básica y fundamental para la organización de ideas y preparación de información para redactar correctamente textos científicos más complejos. Por tal motivo, el presente proyecto de fin de carrera presenta la implementación de un software de apoyo a la escritura de resúmenes de textos científicos en español, el cual ayudará al escritor a redactar resúmenes de sus textos científicos con una estructura adecuada. Para poder llevarlo a cabo, primero se formó un corpus de 44 resúmenes de textos científicos en español, que sirven para el entrenamiento y prueba del modelo clasificador AZEsp. Para formar el corpus, se tuvo como estructura óptima de los textos la presencia de 6 categorías: Contexto, Brecha, Propósito, Metodología, Resultado y Conclusión. Luego, se procedió a determinar un conjunto de 7 características (atributos), las cuales serían utilizadas para identificar cada una de las categorías. Posteriormente, se implementaron una serie de algoritmos para la extracción de los valores de dichos atributos de cada oración de los resúmenes de textos científicos para que sean utilizadas por el modelo. Una vez obtenidos dichos valores, éstos fueron utilizados para la implementación del modelo clasificador AZEsp y evaluación de su desempeño utilizando métricas tales como Precision, Recall y F-Measure. Finalmente, se implementó el ambiente de ayuda SciEsp, el cual utiliza el modelo clasificador AZEsp para clasificar automáticamente las oraciones de los resúmenes de textos científicos en español ingresados por el usuario, siguiendo una estructura predefinida. Se hizo una serie de experimentos para evaluar el desempeño del modelo clasificador AZEsp. Se obtuvo diferentes resultados; sin embargo, el más resaltante fue que el modelo logró un desempeño de 65.4%. Esto demuestra que la herramienta informática propuesta (SciEsp) está apta para su utilización. En conclusión, los estudiantes universitarios podrán emplear esta herramienta para la redacción de sus resúmenes; ellos podrán identificar sus errores y deficiencias en la redacción, y serán capaces de mejorar de forma autodidacta. / Tesis

El continuo crecimiento del comercio mundial ha ocasionado un incremento constante en la demanda de vuelos comerciales. Las aerolíneas se han visto en la necesidad de diversificar sus flotas de aeronaves y aumentar el número de las mismas para satisfacer la creciente demanda. La variedad de tipos de avión, la creciente cantidad de vuelos y un mayor número de aeronaves disponibles han complicado el proceso mediante el cual se asigna un avión específico a atender un vuelo programado. Ante esta nueva realidad se ha visto un creciente número de investigaciones dedicadas a diseñar algoritmos capaces de obtener una buena asignación vuelo-avión utilizando la menor cantidad de recursos. Los algoritmos planteados han ido subiendo en complejidad a medida que ha pasado el tiempo. Los primeros que fueron planteados eran denominados algoritmos exactos, estos podían obtener la respuesta optima, pero requerían de mucho tiempo y poder de procesamiento. Luego se hizo uso de algoritmos heurísticos, como el GRASP, el cual entregaban una solución buena, que posiblemente no sea la óptima, pero su consumo de recursos era menor. En la actualidad se han diseñado varios algoritmos meta-heurísticos que permiten obtener una mejor solución que los heurísticos haciendo mejoras continuas a la solución obtenida hasta que se cumplan ciertas condiciones de parada. El objetivo de este proyecto es diseñar un algoritmo genético que minimize los costos en la asignación avión-vuelo y a la vez maximice los posibles beneficios a obtener. Para cumplir con este objetivo se hará un estudio de los conceptos asociados a la asignación de tipos de aeronaves a vuelos y se recopilarán datos reales de previas asignaciones hechas por aerolíneas que están presentes en el mercado peruano. El producto final será un algoritmo genético diseñado y calibrado para obtener soluciones que sean válidas para el actual contexto nacional. / Tesis

El presente documento es resultado de la investigación sobre automatización inteligente - comprensión y generación de lenguaje natural- en un Sistema de Diálogo, para optimar el servicio de atención al cliente actualmente brindado por un operador vía telefónica. / Tesis

Este trabalho aborda um estudo sobre os STI - Sistemas Tutores Inteligentes - dando uma visão geral do que esta sendo feito nesta área e quais são as tendências futuras que direcionam os STI a trabalhar com arquiteturas de agentes. Para simular as mudanças que ocorrem em certos estados mentais dos agentes, fizemos uma unido dos STI com a IAD - Inteligência Artificial Distribuída - e construímos os modelos dos agentes com base no ambiente dos STI e na arquitetura SEM - Sociedade dos Estados Mentais - [CORM que baseia seu formalismo na Teoria das Situações. Exploramos e adotamos a ideia da arquitetura aberta dos STI [OLI92], pois, através dela, foi possível criar um ambiente cooperativo de aprendizagem no qual o tutor e o aluno podem ensinar e aprender. Trabalhamos com dois agentes globais, a saber, o tutor e o aluno, sendo cada um deles composto por quatro agentes locais associados a determinados estados mentais do agente. Os agentes locais correspondem aos estados mentais: crença, desejo, intenção e expectativa, definidos na arquitetura SEM como agentes locais, e tratados individualmente nesta, que se preocupa com o comportamento particular de cada um. Optamos por usar a arquitetura SEM, que é uma arquitetura de agentes, no lugar de uma funcional tradicional, ou seja, composta por módulos, que é característica dos STI, porque nela podemos tratar os estados mentais como agentes locais, e assim é possível modelar o comportamento individual de cada estado e as mudanças que a interação entre os agentes provoca em cada um Abordamos três situações de ensino/aprendizagem com peculiaridades diferentes nas quais os agentes globais interagem cooperativamente com o objetivo de um ensinar o outro. Para cada dialogo, estabelecemos objetivos específicos: no primeiro, nosso interesse é na maneira como o aluno ensina uma nova estratégia ao tutor; no segundo, analisamos as mudanças das crenças do tutor sobre o conhecimento do aluno; no terceiro, nos preocupamos com as estratégias de ensino utilizadas pelo tutor. O processo de ensino/aprendizagem que acontece no desenrolar da interação entre os agentes é realizado usando o método de aprendizagem simbólica automática EBL - Explanation-Based Learning - [MIT86],[COS90] Este método proporciona a generalização do exemplo de treinamento que é incorporado as crenças e as estratégias do agente que desempenha o papel daquele que aprende, enriquecendo-as. As estratégias, que são fundamentais para os STI, são tratadas como pianos de ensino, utilizadas para promover a aprendizagem, pois definem a maneira como determinado conteúdo deve ser ensinado. Tratamos aqui as estratégias de uma maneira inovadora e diferente da tratada anteriormente [COR94]. Elas são um conjunto de ações e possuem armazenados procedimentos que são usados pelos agentes durante a interação. São determinadas e controladas conforme a intenção e usadas de acordo com as crenças, no sentido de selecionar a mais adequada para cada situação. / This study focuses on the Intelligent Tutoring System (ITS) and aims at presenting a general view concerning what has been developed in this field as well as the coming trends which lead the ITS to deal with agents' architecture. In order to simulate the changes which occur in certain mental states of the agents, we linked ITS with Distributed Artificial Intelligence (DAI) and then we built the agents' modules based on ITS environment and on SEM - Sociedade dos Estados Mentais that means Mental States Society - architecture [COR94]. Such an architecture bases its formalism on the Situation Theory. We explored and adopted the idea of the ITS open architecture [OLI92] for, through it, it has been possible to create a cooperative learning environment in which both the tutor and the student are able to teach and learn. The two global agents we worked on - tutor and student - both of them are made up of four local agents which are their mental states. The mental states involved are: belief, desire, intention, and expectation. These mental states are treated individually and defined as local agents according to SEM architecture. Instead of using a functional architecture - characteristic of ITS - we chose an agent architecture, for this latter makes it possible to treat the mental states as subagents. It is possible, therefore, to model the individual behavior of each state as well as the changes resulted from the agents' interaction. We focused on three teaching/learning situations that present different situations in which the global agents interact co-operatively in such a way that they teach each other. Specific aims were meant to each dialogue, as follows: the first dialogue concern has to do with the way the student teaches the tutor a new strategy; the second dialogue aim is to explore the tutor's "belief revision" about the student's knowledge; the third dialo gue goal has to do with the teaching strategies used by the tutor. The teaching/learning process brought about as the interaction between the agents happens is applied by using the Explanation-Based Learning (EBL) method [MIT86],[COS 90]. This method makes it possible to generalize the test example which is added to the learning agent's beliefs and strategies, making them more complete. The strategies, which are vital to the ITS, are treated as teaching plans and used to bring about learning, for they define the way in which a certain content is supposed to be taught. The strategies are treated here in a new manner, differently from the way they had formerly been [COR94]. They are a set of actions and present procedures on file that are used by the agents during the interaction. Also, the strategies are chosen and controlled by the intention and consulted by the beliefs so as to select the most suitable one, according to the situation.

Publicación a texto completo no autorizada por el autor / Expone una solución para el problema del diagnóstico de enfermedades periodontales. Este es un problema que resuelven, en base a la experiencia adquirida a lo largo de los años y al conocimiento alcanzado, los profesionales en ciencias de la salud, en este caso los médico-cirujano dentistas y/o odontólogos con conocimientos en enfermedades periodontales, por lo cual se contará con la participación de un experto en los temas relacionados en lo previamente mencionado. El caso de estudio en mención será llevado a cabo, e implantado posteriormente, en las instalaciones de la Facultad de Odontología de la Universidad Nacional Mayor de San Marcos - UNMSM. Los elementos y componentes, que requerirán de una previa revisión y análisis comparativo de sus beneficios, que participarán en la solución, tales como son los sistemas expertos y las metodologías de construcción y desarrollo de este tipo de tecnologías de la información que serán base fundamental en el desarrollo de la tesis, serán descritos y definidos para una adecuada comprensión. El resultado final del trabajo será el diseño de un sistema experto que pueda realizar, recolectando previamente información acerca de los síntomas de un paciente, un diagnóstico de forma acertada de tal manera que represente una solución eficiente. / Trabajo de suficiencia profesional