XII Congreso Argentino de Ciencias de la Computación http://sedici.unlp.edu.ar:80/handle/10915/22016 2026-06-09T05:30:29Z 2026-06-09T05:30:29Z Ochoa, M. Britos, Paola Verónica García Martínez, Ramón http://sedici.unlp.edu.ar:80/handle/10915/22831 2018-12-21T20:02:44Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Las metodologías de desarrollo de sistemas de información, hacen mención de un conocimiento denominado “entendimiento del negocio”. Si bien en algunas se explicita este tipo de conocimiento, ninguna de ellas describe que información debe ser relevada para alcanzar dicho conocimiento, ni que técnicas deben utilizarse (o integrarse) en una protofase que guíe al ingeniero en sistemas en el abordaje de dicho conocimiento. En este trabajo se propone una protofase metodológica que mediante la utilización de técnicas permite documentar la información que conlleva el entendimiento del negocio, con independencia del sistema de información a desarrollar, ya sea un sistema de gestión tradicional, un sistema basado en conocimiento o un sistema de explotación de información.; The methodologies for information systems development - whenever it is a traditional information system, a knowledge based system or a data mining system - refer to a certain knowledge described as “business understanding”. Although, in some of these methodologies this knowledge is clearly explained, neither of them describe which relevant information or techniques must be considered in a proto-phase to enable the system engineer to obtain it. This paper presents different techniques for a methodological proto-phase by using those that permit to obtain documented information to understand the business, independently of the type of system that will be developed.

2006-10-01T00:00:00Z Las metodologías de desarrollo de sistemas de información, hacen mención de un conocimiento denominado “entendimiento del negocio”. Si bien en algunas se explicita este tipo de conocimiento, ninguna de ellas describe que información debe ser relevada para alcanzar dicho conocimiento, ni que técnicas deben utilizarse (o integrarse) en una protofase que guíe al ingeniero en sistemas en el abordaje de dicho conocimiento. En este trabajo se propone una protofase metodológica que mediante la utilización de técnicas permite documentar la información que conlleva el entendimiento del negocio, con independencia del sistema de información a desarrollar, ya sea un sistema de gestión tradicional, un sistema basado en conocimiento o un sistema de explotación de información. The methodologies for information systems development - whenever it is a traditional information system, a knowledge based system or a data mining system - refer to a certain knowledge described as “business understanding”. Although, in some of these methodologies this knowledge is clearly explained, neither of them describe which relevant information or techniques must be considered in a proto-phase to enable the system engineer to obtain it. This paper presents different techniques for a methodological proto-phase by using those that permit to obtain documented information to understand the business, independently of the type of system that will be developed. Molina, Silvia Leguizamón, Guillermo Alba Torres, Enrique http://sedici.unlp.edu.ar:80/handle/10915/22830 2018-12-21T20:03:53Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación La técnica Optimización de Colonias de Hormigas (ACO) puede ser aplicada a problemas de optimización combinatorios duros en ambientes estacionarios y no estacionarios. En dicha metaheurística, las hormigas artificiales de una colonia cooperan para encontrar soluciones de alta calidad en un tiempo razonable. Un ejemplo interesante de un problema de optimización combinatorio no estacionario para ser abordado a través de una técnica ACO, es el Problema de los Ascesores Múltiples (MEP) el cual consiste en encontrar la secuencia de movimientos que debe realizar cada ascensor de un edificio de manera tal de minimizar el tiempo medio de espera de los pasajeros. La llegada de un nuevo pasajero a la cola de un ascensor, la rotura de un ascensor, etc., son los eventos que provocan cambios de estado en este problema, haciéndolo dinámico. Una subclase del problema de ascensores múltiples es el denominado Problema del Ascensor Único (SEP) en su versión no estacionaria. En dicho problema se considera la existencia de un ´único ascensor en un edificio en donde no se tienen en cuenta las ocurrencias de eventos. En este trabajo se presenta un modelo ACO para SEP y en base a éste modelo, se propone el diseño de un Sistema de Colonias de Hormigas (ACS).; The Ant Colony Optimization (ACO) metaheuristic is a bio-inspired approach for hard combinatorial optimization problems for stationary and non-stationary environments. In the ACO metaheuristic, a colony of artificial ants cooperate for finding high quality solutions in a reasonable time. An interesting example of a non-stationary combinatorial optimization problem is the Multiple Elevators Problem (MEP) which consists in finding a sequence of movements for each elevator to perform in a building so that to minimize, for instance, the waiting average time of the passengers. Events like the arrival of one new passenger to the elevator queue or the fault of one elevator produce dynamically the changes of state in this problem. A subclass of MEP is the non-stationary version of the so called Single Elevator Problem (SEP). In this work, we propose the design of an ACO model for the SEP that can be implemented as an Ant Colony System (ACS).

2006-10-01T00:00:00Z La técnica Optimización de Colonias de Hormigas (ACO) puede ser aplicada a problemas de optimización combinatorios duros en ambientes estacionarios y no estacionarios. En dicha metaheurística, las hormigas artificiales de una colonia cooperan para encontrar soluciones de alta calidad en un tiempo razonable. Un ejemplo interesante de un problema de optimización combinatorio no estacionario para ser abordado a través de una técnica ACO, es el Problema de los Ascesores Múltiples (MEP) el cual consiste en encontrar la secuencia de movimientos que debe realizar cada ascensor de un edificio de manera tal de minimizar el tiempo medio de espera de los pasajeros. La llegada de un nuevo pasajero a la cola de un ascensor, la rotura de un ascensor, etc., son los eventos que provocan cambios de estado en este problema, haciéndolo dinámico. Una subclase del problema de ascensores múltiples es el denominado Problema del Ascensor Único (SEP) en su versión no estacionaria. En dicho problema se considera la existencia de un ´único ascensor en un edificio en donde no se tienen en cuenta las ocurrencias de eventos. En este trabajo se presenta un modelo ACO para SEP y en base a éste modelo, se propone el diseño de un Sistema de Colonias de Hormigas (ACS). The Ant Colony Optimization (ACO) metaheuristic is a bio-inspired approach for hard combinatorial optimization problems for stationary and non-stationary environments. In the ACO metaheuristic, a colony of artificial ants cooperate for finding high quality solutions in a reasonable time. An interesting example of a non-stationary combinatorial optimization problem is the Multiple Elevators Problem (MEP) which consists in finding a sequence of movements for each elevator to perform in a building so that to minimize, for instance, the waiting average time of the passengers. Events like the arrival of one new passenger to the elevator queue or the fault of one elevator produce dynamically the changes of state in this problem. A subclass of MEP is the non-stationary version of the so called Single Elevator Problem (SEP). In this work, we propose the design of an ACO model for the SEP that can be implemented as an Ant Colony System (ACS). Roger, Sandra Ferrández, Antonio Ferrández, Sergio Peral, Jesús López-Moreno, Pilar http://sedici.unlp.edu.ar:80/handle/10915/22829 2018-12-21T04:05:14Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Este trabajo describe un mecanismo de inferencia aplicado al Sistema de Búsqueda de Respuestas AliQAn para el idioma español y en dominio abierto. AliQAn está basado fundamentalmente en el uso de patrones sintácticos para identificar las posibles respuestas. Un mecanismo de inferencia es aplicado al conjunto de preguntas de tipo económico. De esta manera, nuestro sistema mejora la precisión de este tipo de preguntas de un 33% a un 57 %.; This work describe an inference mechanism apply to AliQAn Question Answering System for Spanish in open domain. AliQAn is based in use of syntactic pattern to identify the answers. Our approach apply an inference mechanism to questions set of economic type. Thus, our system enhance the accuracy of this question type of 33% to 57 %.

2006-10-01T00:00:00Z Este trabajo describe un mecanismo de inferencia aplicado al Sistema de Búsqueda de Respuestas AliQAn para el idioma español y en dominio abierto. AliQAn está basado fundamentalmente en el uso de patrones sintácticos para identificar las posibles respuestas. Un mecanismo de inferencia es aplicado al conjunto de preguntas de tipo económico. De esta manera, nuestro sistema mejora la precisión de este tipo de preguntas de un 33% a un 57 %. This work describe an inference mechanism apply to AliQAn Question Answering System for Spanish in open domain. AliQAn is based in use of syntactic pattern to identify the answers. Our approach apply an inference mechanism to questions set of economic type. Thus, our system enhance the accuracy of this question type of 33% to 57 %. Funez, Darío Gustavo Roggero, Patricia Leguizamón, Mario Guillermo http://sedici.unlp.edu.ar:80/handle/10915/22828 2025-02-13T16:12:03Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación El problema de satisfacibilidad (SAT), el primero en demostrarse que es NP-completo, es fundamental en muchos campos de las ciencias de la computación, la ingeniería eléctrica y matemática. En el presente trabajo se integran todas las componentes del sistema DPLL con Redes Neuronales (DPLL RN), para crear un ambiente de ejecución amigable al usuario. Una de las componentes fundamentales del sistema DPLL RN consta de un algoritmo que permite resolver algunas instancias del problema 3SAT, un conocido problema NP-completo derivado de SAT. El sistema DPLL RN combina las reglas de Davis-Putnam con redes neuronales (DPRN), las cuales tienen una gran capacidad para aprender problemas complejos. El ambiente propuesto permite al usuario determinar la satisfacibilidad o no de una fórmula en lógica proposicional, permitiéndole ingresar una fórmula cualquiera o generar una aleatoriamente y luego se refleja en un árbol el camino seguido para obtener las asignaciones que hacen verdadera a dicha fórmula si tales asignaciones existen.; The satisfiability problem (SAT) is a classical N P-complete problem of useful application in plenty of computer science areas, electric engineering, and mathematics. In this work we present an integration of all the components of the DPLL system enhanced with Neural Networks (DPLL NN) in order to create a user friendly execution environment. One of the main components of DPLL NN is an algorithm that is capable of solving some instances of the 3SAT problem, a well-known N P-complete problem derived from SAT. DPLL NN combines the Davis-Putnam rules with neural networks which are capable enough to learn complex problems. The environment proposed allows the user determine the satisfiability of a particular formula either randomly or manually generated. In addition, the environment provides a graphical tree representation of the corresponding assignation values that satisfy that formula (if it can be satisfied).

2006-10-01T00:00:00Z El problema de satisfacibilidad (SAT), el primero en demostrarse que es NP-completo, es fundamental en muchos campos de las ciencias de la computación, la ingeniería eléctrica y matemática. En el presente trabajo se integran todas las componentes del sistema DPLL con Redes Neuronales (DPLL RN), para crear un ambiente de ejecución amigable al usuario. Una de las componentes fundamentales del sistema DPLL RN consta de un algoritmo que permite resolver algunas instancias del problema 3SAT, un conocido problema NP-completo derivado de SAT. El sistema DPLL RN combina las reglas de Davis-Putnam con redes neuronales (DPRN), las cuales tienen una gran capacidad para aprender problemas complejos. El ambiente propuesto permite al usuario determinar la satisfacibilidad o no de una fórmula en lógica proposicional, permitiéndole ingresar una fórmula cualquiera o generar una aleatoriamente y luego se refleja en un árbol el camino seguido para obtener las asignaciones que hacen verdadera a dicha fórmula si tales asignaciones existen. The satisfiability problem (SAT) is a classical N P-complete problem of useful application in plenty of computer science areas, electric engineering, and mathematics. In this work we present an integration of all the components of the DPLL system enhanced with Neural Networks (DPLL NN) in order to create a user friendly execution environment. One of the main components of DPLL NN is an algorithm that is capable of solving some instances of the 3SAT problem, a well-known N P-complete problem derived from SAT. DPLL NN combines the Davis-Putnam rules with neural networks which are capable enough to learn complex problems. The environment proposed allows the user determine the satisfiability of a particular formula either randomly or manually generated. In addition, the environment provides a graphical tree representation of the corresponding assignation values that satisfy that formula (if it can be satisfied). Andrade, Beatriz T. Silva, Leila Freire, Eduardo O. http://sedici.unlp.edu.ar:80/handle/10915/22827 2018-12-21T20:03:51Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Sistemas mecatrônicos são basicamente compostos por componentes de hardware, software e mecânicos, caracterizando-se pela interação com o ambiente e, em geral, podem ser considerados como sistemas de tempo real. Este artigo discute a adequabilidade do uso de UML-RT na modelagem de sistemas mecatrônicos e propõe uma extensão desta linguagem para prover suporte á modelagem dos componentes físicos do sistema. Um estudo de caso em robótica foi desenvolvido para validar o projeto.; Mechatronic systems are basically compounded of hardware, software and mechanical components, and are characterized by the interaction with the environment. In general, such systems can be considered real time systems. This paper discusses the adequacy of UML-RT’s use in the modeling of mechatronic systems and proposes an extension of this language in order to provide support to the modeling of the systems’ physical components. With the objective of validating this approach, a case study in robotics was also developed.

2006-10-01T00:00:00Z Sistemas mecatrônicos são basicamente compostos por componentes de hardware, software e mecânicos, caracterizando-se pela interação com o ambiente e, em geral, podem ser considerados como sistemas de tempo real. Este artigo discute a adequabilidade do uso de UML-RT na modelagem de sistemas mecatrônicos e propõe uma extensão desta linguagem para prover suporte á modelagem dos componentes físicos do sistema. Um estudo de caso em robótica foi desenvolvido para validar o projeto. Mechatronic systems are basically compounded of hardware, software and mechanical components, and are characterized by the interaction with the environment. In general, such systems can be considered real time systems. This paper discusses the adequacy of UML-RT’s use in the modeling of mechatronic systems and proposes an extension of this language in order to provide support to the modeling of the systems’ physical components. With the objective of validating this approach, a case study in robotics was also developed. Pamplona Junior, Alcides Ribeiro Filho, Manoel Souza, Marcos A. Bezerra, Fábio V. Hounsell, Marcelo S. Nascimento, Messias J. A. Barata, Pebertli N. http://sedici.unlp.edu.ar:80/handle/10915/22826 2018-12-21T20:02:37Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Este artigo apresenta a concepção, projeto e implementação de um sistema educacional de realidade virtual desktop para o estudo e treinamento de procedimentos de manutenção de uma Unidade Hidrelétrica de Energia. Possui uma arquitetura modular o que o torna expansível e flexível para outras áreas de treinamento de manutenção. O sistema se subdivide em dois módulos funcionais principais: Educativo e Manutenção. O primeiro visa ambientar o treinando a estrutura e á s peças constituintes de uma Unidade Hidrelétrica de Energia nos seus vários níveis de detalhamento, bem como, suas informações gerais e técnicas. O módulo de manutenção dispõe de um programa de treinamento dividido em três modos: automático, guiado e exploratório. Os modos de treinamento apresentam ao treinando os procedimentos de manutenção de forma que este aumente gradativamente o seu envolvimento com o sistema.; This article presents the inception, design and implementation of a virtual reality system for learning in maintenance of an hydroelectric energy unity. The system adopts a modular architecture what makes it expansive and flexible for other areas of training in assembly. The system is subdivided in two main functional modules: educative and maintenance. The first one aims to set trainee to the structure and to the constituent pieces of an hydroelectric energy unity in his several levels of detail as well its general and technical information. The maintenance module disposes a program of training divided in three modes: automatic, guided and exploratory. The mode of training presents to trainee the procedures of maintenance so that it increases gradually his involvement in the system.

2006-10-01T00:00:00Z Este artigo apresenta a concepção, projeto e implementação de um sistema educacional de realidade virtual desktop para o estudo e treinamento de procedimentos de manutenção de uma Unidade Hidrelétrica de Energia. Possui uma arquitetura modular o que o torna expansível e flexível para outras áreas de treinamento de manutenção. O sistema se subdivide em dois módulos funcionais principais: Educativo e Manutenção. O primeiro visa ambientar o treinando a estrutura e á s peças constituintes de uma Unidade Hidrelétrica de Energia nos seus vários níveis de detalhamento, bem como, suas informações gerais e técnicas. O módulo de manutenção dispõe de um programa de treinamento dividido em três modos: automático, guiado e exploratório. Os modos de treinamento apresentam ao treinando os procedimentos de manutenção de forma que este aumente gradativamente o seu envolvimento com o sistema. This article presents the inception, design and implementation of a virtual reality system for learning in maintenance of an hydroelectric energy unity. The system adopts a modular architecture what makes it expansive and flexible for other areas of training in assembly. The system is subdivided in two main functional modules: educative and maintenance. The first one aims to set trainee to the structure and to the constituent pieces of an hydroelectric energy unity in his several levels of detail as well its general and technical information. The maintenance module disposes a program of training divided in three modes: automatic, guided and exploratory. The mode of training presents to trainee the procedures of maintenance so that it increases gradually his involvement in the system. Rapeli, Laide R. C. Penteado, Rosângela A. D. http://sedici.unlp.edu.ar:80/handle/10915/22825 2018-12-21T20:03:49Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Sistemas OO, quando não projetados adequadamente, podem apresentar baixa reusabilidade e comprometer sua manutenibilidade. Um processo iterativo de refatoração usando padrões de projeto de software é aqui proposto para esses sistemas. Ele foi concebido de modo prospectivo a partir de sete estudos de caso. O processo é composto de três etapas: 1) Entender o sistema; 2) Refatorá-lo usando padrões de projeto e 3) Verificar se a funcionalidade do sistema permanece inalterada após a refatoração. Diretrizes específicas de cada padrão de projeto foram preparadas para a Etapa 2 e exemplificadas pelo padrão Singleton, apresentado. Um estudo de caso de aplicação do processo e diretrizes é também incluído; OO systems, when not properly designed, may present low reusability and impair their maintainability. An iterative refactoring process using software design patterns is here proposed for these systems. Is has been devised in a prospective way from seven case studies. The process is composed of three stages: 1) Understand the system; 2) Refactor it using design patterns and 3) Verify if the system functionality is preserved after refactoring. Guidelines specific for each design pattern have been prepared for step 2 and exemplified by Singleton pattern, presented. A case study of the process and guidelines application is also included.

2006-10-01T00:00:00Z Sistemas OO, quando não projetados adequadamente, podem apresentar baixa reusabilidade e comprometer sua manutenibilidade. Um processo iterativo de refatoração usando padrões de projeto de software é aqui proposto para esses sistemas. Ele foi concebido de modo prospectivo a partir de sete estudos de caso. O processo é composto de três etapas: 1) Entender o sistema; 2) Refatorá-lo usando padrões de projeto e 3) Verificar se a funcionalidade do sistema permanece inalterada após a refatoração. Diretrizes específicas de cada padrão de projeto foram preparadas para a Etapa 2 e exemplificadas pelo padrão Singleton, apresentado. Um estudo de caso de aplicação do processo e diretrizes é também incluído OO systems, when not properly designed, may present low reusability and impair their maintainability. An iterative refactoring process using software design patterns is here proposed for these systems. Is has been devised in a prospective way from seven case studies. The process is composed of three stages: 1) Understand the system; 2) Refactor it using design patterns and 3) Verify if the system functionality is preserved after refactoring. Guidelines specific for each design pattern have been prepared for step 2 and exemplified by Singleton pattern, presented. A case study of the process and guidelines application is also included. Freitas, Aparecido Valdemir de Neto, João José http://sedici.unlp.edu.ar:80/handle/10915/22824 2018-12-21T20:03:19Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento são automaticamente detectadas por estes dispositivos para, em seguida, reagirem a elas de forma espontânea. Historicamente tais dispositivos emergiram das pesquisas na área de linguagens formais e autômatos. No entanto, o formalismo suscitou aplicações em diversas outras áreas. Programas com código auto-modificável, que perderam terreno em conseqüência do advento da Engenharia de Software nos anos 70, voltaram á vida recentemente em aplicações diversas. Uma das formas de programação de código auto-modificável é a utilização de linguagens de programação especificamente projetadas para isso. Linguagens adaptativas de programação são dispositivos adaptativos que empregam uma linguagem de programação convencional como mecanismo subjacente. Com o correr de sua execução, um programa escrito em uma linguagem adaptativa exibirá um comportamento auto-modificável em decorrência da ativação de suas ações adaptativas. O artigo apresenta aspectos do projeto e implementação de um ambiente para gerenciar a execução de uma linguagem adaptativa. Com o emprego de linguagem adaptiva, um novo estilo de programação é concebido, uma vez que o seu comportamento está diretamente associado ao conjunto de regras que o define, o qual se altera á medida que o código é executado.; Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behavior are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Programs with self-modifying code have been avoided since the advent of Software Engineering (1970 s) but are nowadays being used in several applications. One way to generate self-modifying programs is by using specially-designed programming languages. Adaptive programming languages are adaptive devices that use an usual programming language as underlying mechanism. A group of adaptive functions, defined through extension of the language, causes the self-modification of the device, resulting in a language with adaptive style. The paper shows design and implementation aspects of an environment to manager the adaptive language execution. With the use of adaptive language, a new programming style is conceived, once its behavior is directly associated to the set of rules that defines it, which change as the code is executed.

2006-10-01T00:00:00Z Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento são automaticamente detectadas por estes dispositivos para, em seguida, reagirem a elas de forma espontânea. Historicamente tais dispositivos emergiram das pesquisas na área de linguagens formais e autômatos. No entanto, o formalismo suscitou aplicações em diversas outras áreas. Programas com código auto-modificável, que perderam terreno em conseqüência do advento da Engenharia de Software nos anos 70, voltaram á vida recentemente em aplicações diversas. Uma das formas de programação de código auto-modificável é a utilização de linguagens de programação especificamente projetadas para isso. Linguagens adaptativas de programação são dispositivos adaptativos que empregam uma linguagem de programação convencional como mecanismo subjacente. Com o correr de sua execução, um programa escrito em uma linguagem adaptativa exibirá um comportamento auto-modificável em decorrência da ativação de suas ações adaptativas. O artigo apresenta aspectos do projeto e implementação de um ambiente para gerenciar a execução de uma linguagem adaptativa. Com o emprego de linguagem adaptiva, um novo estilo de programação é concebido, uma vez que o seu comportamento está diretamente associado ao conjunto de regras que o define, o qual se altera á medida que o código é executado. Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behavior are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Programs with self-modifying code have been avoided since the advent of Software Engineering (1970 s) but are nowadays being used in several applications. One way to generate self-modifying programs is by using specially-designed programming languages. Adaptive programming languages are adaptive devices that use an usual programming language as underlying mechanism. A group of adaptive functions, defined through extension of the language, causes the self-modification of the device, resulting in a language with adaptive style. The paper shows design and implementation aspects of an environment to manager the adaptive language execution. With the use of adaptive language, a new programming style is conceived, once its behavior is directly associated to the set of rules that defines it, which change as the code is executed. Krause, Walter Otto Britos, Paola Verónica García Martínez, Ramón http://sedici.unlp.edu.ar:80/handle/10915/22823 2018-12-21T20:03:44Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Sabidas las dificultades que poseen los niños con Síndrome de Down para aprender exclusivamente a partir del lenguaje expresivo oral, ¿Se puede a partir de la evaluación de su desempeño ante un juego interactivo inferir la mejor manera de aprender a través de estímulos visuales y a partir de ello, mejorar los métodos de enseñanza para que se adecuen a esta situación? El objetivo del sistema será el de trazar la actuación de un niño con Síndrome de Down ante un problema planteado en modo de juego de ingenio donde fundamentalmente deberá hacer uso de habilidades Lógico-Matemáticas y Espaciales, que ayudando al niño en forma interactiva, lo irá guiando en el aprendizaje de sus reglas. El trazado de la actuación del niño podrá ser analizado posteriormente con otras herramientas de software y dicha información podrá ser de utilidad para los investigadores del área educativa a fin de poder adaptar los métodos de enseñanza centrándose en las fortalezas de los niños con necesidades educativas especiales.; Down Syndrome boys have difficulties to learn exclusively from oral expressive language, so: Can we infer the best way of learning through visual stimuli by evaluating their performance playing an interactive game? Can we improve the teaching methods entailing them to this situation? The goal of the proposed system presented in this paper is to give the performing trace of a Down Syndrome boy during his resolution of a problem displayed as a game situation where the boy has to use logical an spatial abilities lo learn the game rules. The boy performing trace data would be analyzed with other tools and the resulting information may be useful for educational researchers in order to entail the teaching methods centering them in the boys´ strengths.

2006-10-01T00:00:00Z Sabidas las dificultades que poseen los niños con Síndrome de Down para aprender exclusivamente a partir del lenguaje expresivo oral, ¿Se puede a partir de la evaluación de su desempeño ante un juego interactivo inferir la mejor manera de aprender a través de estímulos visuales y a partir de ello, mejorar los métodos de enseñanza para que se adecuen a esta situación? El objetivo del sistema será el de trazar la actuación de un niño con Síndrome de Down ante un problema planteado en modo de juego de ingenio donde fundamentalmente deberá hacer uso de habilidades Lógico-Matemáticas y Espaciales, que ayudando al niño en forma interactiva, lo irá guiando en el aprendizaje de sus reglas. El trazado de la actuación del niño podrá ser analizado posteriormente con otras herramientas de software y dicha información podrá ser de utilidad para los investigadores del área educativa a fin de poder adaptar los métodos de enseñanza centrándose en las fortalezas de los niños con necesidades educativas especiales. Down Syndrome boys have difficulties to learn exclusively from oral expressive language, so: Can we infer the best way of learning through visual stimuli by evaluating their performance playing an interactive game? Can we improve the teaching methods entailing them to this situation? The goal of the proposed system presented in this paper is to give the performing trace of a Down Syndrome boy during his resolution of a problem displayed as a game situation where the boy has to use logical an spatial abilities lo learn the game rules. The boy performing trace data would be analyzed with other tools and the resulting information may be useful for educational researchers in order to entail the teaching methods centering them in the boys´ strengths. Taranilla, María Teresa Leguizamón, Mario Guillermo Gagliardi, Edilma Olinda Hernández Peñalver, Gregorio http://sedici.unlp.edu.ar:80/handle/10915/22815 2018-12-21T04:05:46Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación El problema inverso al resuelto por la suma de Minkowski se refiere a la descomposición de polígonos en suma de Minkowski. Este problema, que denominamos SMINK-1, puede resolverse con un algoritmo de complejidad exponencial. Debido a la complejidad inherente del mismo, propusimos en trabajos anteriores su resolución utilizando un algoritmo genético con el cual se obtuvieron resultados satisfactorios. Sin embargo, se presentaron ciertos problemas respecto a un considerable aumento en el tamaño del espacio de soluciones no factibles. En este trabajo presentamos una propuesta para tratar las soluciones no factibles utilizando una forma alternativa de descodificación, de manera que la mayoría de las soluciones no factibles sean evaluadas como factibles. La nueva propuesta de descodificación incluida en el algoritmo genético es validada a través de un conjunto de instancias de distinto tipo del problema SMINK-1; A solution for the opposite problem to the classical Minkowski Sum problem embodies the polygon decomposition in Minkowski sum. This problem (called SMINK-1) can be solved by algorithms of exponential complexity. Due to this fact, we proposed in earlier works a genetic algorithm from which satisfactory results were obtained. However, the representation used and the applied decoding process increased greatly the size of the infeasible search space. In this work, we propose an alternative approach for decoding the solutions which evaluates almost all infeasible solutions as feasible ones. The new decoding approach implemented in the genetic algorithm is validated by using a set of different instances of SMINK-1

2006-10-01T00:00:00Z El problema inverso al resuelto por la suma de Minkowski se refiere a la descomposición de polígonos en suma de Minkowski. Este problema, que denominamos SMINK-1, puede resolverse con un algoritmo de complejidad exponencial. Debido a la complejidad inherente del mismo, propusimos en trabajos anteriores su resolución utilizando un algoritmo genético con el cual se obtuvieron resultados satisfactorios. Sin embargo, se presentaron ciertos problemas respecto a un considerable aumento en el tamaño del espacio de soluciones no factibles. En este trabajo presentamos una propuesta para tratar las soluciones no factibles utilizando una forma alternativa de descodificación, de manera que la mayoría de las soluciones no factibles sean evaluadas como factibles. La nueva propuesta de descodificación incluida en el algoritmo genético es validada a través de un conjunto de instancias de distinto tipo del problema SMINK-1 A solution for the opposite problem to the classical Minkowski Sum problem embodies the polygon decomposition in Minkowski sum. This problem (called SMINK-1) can be solved by algorithms of exponential complexity. Due to this fact, we proposed in earlier works a genetic algorithm from which satisfactory results were obtained. However, the representation used and the applied decoding process increased greatly the size of the infeasible search space. In this work, we propose an alternative approach for decoding the solutions which evaluates almost all infeasible solutions as feasible ones. The new decoding approach implemented in the genetic algorithm is validated by using a set of different instances of SMINK-1 Estienne, Claudio F. Sanchis, Alberto http://sedici.unlp.edu.ar:80/handle/10915/22813 2018-12-21T20:03:40Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación El presente trabajo describe la aplicación de técnicas de medida de confianza en reconocimiento automático del habla. Las mismas tienen por objeto medir la confiabilidad de las palabras reconocidas por el sistema de reconocimiento y detectar aquellas que puedan tener errores con el fin de aceptar como válida, o rechazar una frase reconocida. El objetivo final de dichas técnicas, es mejorar la confiabilidad de los sistemas de reconocimiento automático del habla. Concretamente el trabajo se centra en la implementación de un sistema de verificación de palabras basado en características que aportan información útil para la corrección de palabras reconocidas. Dichas características son utilizadas dentro de un clasificador estadístico basado en el modelo de máxima entropía. La posibilidad de combinar diferentes fuentes de información que permiten los modelos de máxima entropía es utilizada en este trabajo para combinar las características mencionadas con otras propiedades de las palabras, logrando un aumento significativo en el rendimiento del sistema de verificación. La evaluación del sistema completo se realiza en el marco de un sistema automático de reserva y consulta de disponibilidades en un hotel por medio de la voz.; In this work we present the application of confidence measures in automatic speech recognition in order to obtain a reliable measure of recognized words performed by a speech recognizer. This measure is then used to detect wrong words in order to accept or reject the whole utterance. The main goal of such techniques is to increase the reliability of automatic speech recognition systems. This work focus on the implementation of a word verification system based on scores which give truthful information in testing recognized words. Those scores are embedded inside a statistical classifier based on the maximum entropy paradigm. Maximum entropy models have the ability to combine different sources of information. This property is applied to combine mentioned scores with other words properties. As a consequence, significant improvement on the reliability of the verification system is obtained. Evaluation of the whole system is performed on a automatic voice driven hotel book system.

2006-10-01T00:00:00Z El presente trabajo describe la aplicación de técnicas de medida de confianza en reconocimiento automático del habla. Las mismas tienen por objeto medir la confiabilidad de las palabras reconocidas por el sistema de reconocimiento y detectar aquellas que puedan tener errores con el fin de aceptar como válida, o rechazar una frase reconocida. El objetivo final de dichas técnicas, es mejorar la confiabilidad de los sistemas de reconocimiento automático del habla. Concretamente el trabajo se centra en la implementación de un sistema de verificación de palabras basado en características que aportan información útil para la corrección de palabras reconocidas. Dichas características son utilizadas dentro de un clasificador estadístico basado en el modelo de máxima entropía. La posibilidad de combinar diferentes fuentes de información que permiten los modelos de máxima entropía es utilizada en este trabajo para combinar las características mencionadas con otras propiedades de las palabras, logrando un aumento significativo en el rendimiento del sistema de verificación. La evaluación del sistema completo se realiza en el marco de un sistema automático de reserva y consulta de disponibilidades en un hotel por medio de la voz. In this work we present the application of confidence measures in automatic speech recognition in order to obtain a reliable measure of recognized words performed by a speech recognizer. This measure is then used to detect wrong words in order to accept or reject the whole utterance. The main goal of such techniques is to increase the reliability of automatic speech recognition systems. This work focus on the implementation of a word verification system based on scores which give truthful information in testing recognized words. Those scores are embedded inside a statistical classifier based on the maximum entropy paradigm. Maximum entropy models have the ability to combine different sources of information. This property is applied to combine mentioned scores with other words properties. As a consequence, significant improvement on the reliability of the verification system is obtained. Evaluation of the whole system is performed on a automatic voice driven hotel book system. Kofman, Hugo http://sedici.unlp.edu.ar:80/handle/10915/22810 2018-12-21T04:05:42Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Este trabajo describe un nuevo software de simulación de sistemas ópticos formados por lentes de superficies esféricas, las cuales pueden ser delgadas o gruesas. Se basa en el trazado de rayos, entre los que se incluyen los no paraxiales. La luz puede ser monocromática o policromática. Permite construir sistemas de varias lentes, ingresando sus parámetros (posición, radios de curvatura, ancho, índices de refracción), los cuales pueden ser salvados y recuperados como archivos de texto. Con el software se puede estudiar la trayectoria de rayos individuales, y formar imágenes de puntos y de figuras extensas. Éstas se forman por superposición de miles de rayos, ya sea sobre una pantalla plana, o en un campo curvo en el que se minimizan algunas aberraciones. La aplicación, puede ser útil para apreciar las calidades de las imágenes formadas y estudiar las distintas aberraciones que producen las lentes y los sistemas ópticos, ya sea con fines pedagógicos o de diseño.; This work describes a new software for simulation of optical systems formed by thin and thick lenses of spherical surfaces. It is based in the plot of paraxial and non-paraxial rays. Light can be either monochromatic or polychromatic. It permits to build systems composed by several lenses, entering their parameters (position, curvature radius, width, refraction indexes), which can be saved and open as text files. The software allows to study the trajectories of individual rays and to form images of points and extended figures. These are formed by the superposition of thousands of rays over either a plane screen or a curve field that minimizes some aberrations. The application can be useful to appreciate the qualities of formed images and to study the different aberrations produced by lenses and optical systems with didactical and design goals.

2006-10-01T00:00:00Z Este trabajo describe un nuevo software de simulación de sistemas ópticos formados por lentes de superficies esféricas, las cuales pueden ser delgadas o gruesas. Se basa en el trazado de rayos, entre los que se incluyen los no paraxiales. La luz puede ser monocromática o policromática. Permite construir sistemas de varias lentes, ingresando sus parámetros (posición, radios de curvatura, ancho, índices de refracción), los cuales pueden ser salvados y recuperados como archivos de texto. Con el software se puede estudiar la trayectoria de rayos individuales, y formar imágenes de puntos y de figuras extensas. Éstas se forman por superposición de miles de rayos, ya sea sobre una pantalla plana, o en un campo curvo en el que se minimizan algunas aberraciones. La aplicación, puede ser útil para apreciar las calidades de las imágenes formadas y estudiar las distintas aberraciones que producen las lentes y los sistemas ópticos, ya sea con fines pedagógicos o de diseño. This work describes a new software for simulation of optical systems formed by thin and thick lenses of spherical surfaces. It is based in the plot of paraxial and non-paraxial rays. Light can be either monochromatic or polychromatic. It permits to build systems composed by several lenses, entering their parameters (position, curvature radius, width, refraction indexes), which can be saved and open as text files. The software allows to study the trajectories of individual rays and to form images of points and extended figures. These are formed by the superposition of thousands of rays over either a plane screen or a curve field that minimizes some aberrations. The application can be useful to appreciate the qualities of formed images and to study the different aberrations produced by lenses and optical systems with didactical and design goals. Tissera, Pablo Cristian Printista, Alicia Marcela Errecalde, Marcelo Luis http://sedici.unlp.edu.ar:80/handle/10915/22808 2018-12-21T20:03:13Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Las simulaciones por computadoras basadas en Autómatas Celulares (AC) han sido aplicadas exitosamente en distintas áreas cientí cas, tales como la química, bioquímica, economía, física, etc. En este trabajo hacemos uso de los AC para especi car e implementar un modelo de simulación que nos permita investigar las dinámicas pedestres en situaciones de emergencia. En particular, nos centraremos en aquellos casos que involucran la evacuaci ón forzada de una multitud de personas debido a la amenaza del fuego, dentro de un área cerrada de nida con un número especí co de salidas. El trabajo incluye una breve introducción a la teoría y generalidades de los AC, que nos guiará para la implementación del modelo de simulación del problema. Como soporte del modelo se provee una nueva herramienta de simulación denominada EVAC que permite diseñar, construir, ejecutar, visualizar y analizar distintos modelos ambientales en los cuales tendrá lugar el proceso de evacuación. El trabajo experimental incluye distintas con guraciones de los ambientes a evacuar y el análisis del desempeño de la evacuación. El trabajo permite identi car aspectos de seguridad importantes a la hora de diseñar un edi cio, las fortalezas de los AC como herramientas de simulación y posibles extensiones que permitirían representar más adecuadamente algunas particularidades del problema; Computer simulations based on Cellular Automata (CA) have been applied with considerable success in different scienti c areas, such as chemistry, biochemistry, economy, physics, etc. In this work we use CAs in order to specify and implement a simulation model that allows us to investigate behavioral dynamics for pedestrians in an emergency. In particular, we will focus in those cases that involve the forced evacuation of a multitude of people due to the threat of the re, within an closed area de ned with a speci c number of exits. The work includes a brief introduction to the basic concepts of CAs that will guide in the implementation of the simulation model. As support of the model, a new simulation tool named EVAC is presented. EVAC allows to design, construct, execute, visualize and analyse different environmental models in which the evacuation process will take place. The experimental work considers different building con gurations to be evacuated and describes the performance analysis of the forced evacuations due to the threat of the re. The work allows to identify important aspects of security to be considered at the time of designing a building, the strengths of the CA approach when used as simulation tool and possible extensions that would allow to represent more suitably some particularitities of the problem.

2006-10-01T00:00:00Z Las simulaciones por computadoras basadas en Autómatas Celulares (AC) han sido aplicadas exitosamente en distintas áreas cientí cas, tales como la química, bioquímica, economía, física, etc. En este trabajo hacemos uso de los AC para especi car e implementar un modelo de simulación que nos permita investigar las dinámicas pedestres en situaciones de emergencia. En particular, nos centraremos en aquellos casos que involucran la evacuaci ón forzada de una multitud de personas debido a la amenaza del fuego, dentro de un área cerrada de nida con un número especí co de salidas. El trabajo incluye una breve introducción a la teoría y generalidades de los AC, que nos guiará para la implementación del modelo de simulación del problema. Como soporte del modelo se provee una nueva herramienta de simulación denominada EVAC que permite diseñar, construir, ejecutar, visualizar y analizar distintos modelos ambientales en los cuales tendrá lugar el proceso de evacuación. El trabajo experimental incluye distintas con guraciones de los ambientes a evacuar y el análisis del desempeño de la evacuación. El trabajo permite identi car aspectos de seguridad importantes a la hora de diseñar un edi cio, las fortalezas de los AC como herramientas de simulación y posibles extensiones que permitirían representar más adecuadamente algunas particularidades del problema Computer simulations based on Cellular Automata (CA) have been applied with considerable success in different scienti c areas, such as chemistry, biochemistry, economy, physics, etc. In this work we use CAs in order to specify and implement a simulation model that allows us to investigate behavioral dynamics for pedestrians in an emergency. In particular, we will focus in those cases that involve the forced evacuation of a multitude of people due to the threat of the re, within an closed area de ned with a speci c number of exits. The work includes a brief introduction to the basic concepts of CAs that will guide in the implementation of the simulation model. As support of the model, a new simulation tool named EVAC is presented. EVAC allows to design, construct, execute, visualize and analyse different environmental models in which the evacuation process will take place. The experimental work considers different building con gurations to be evacuated and describes the performance analysis of the forced evacuations due to the threat of the re. The work allows to identify important aspects of security to be considered at the time of designing a building, the strengths of the CA approach when used as simulation tool and possible extensions that would allow to represent more suitably some particularitities of the problem. Salvatelli, Adrián Caropressi, José Luis Delrieux, Claudio Izaguirre, María F. Casco, Víctor http://sedici.unlp.edu.ar:80/handle/10915/22806 2018-12-21T04:05:37Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación La segmentación en imágenes biológicas es de importancia crucial para la determinación de descriptores que permitan, entre otras cosas, elaborar modelos de diversos procesos biológicos, cotejar parámetros en dichos modelos, y proponer o rebatir teorías. Sin embargo, el proceso de segmentación de la información necesaria para el cómputo de los descriptores es casi siempre un proceso asistido, dado que la calidad de las imágenes que se pueden generar con la tecnología actual de microscopía clásica, adolecen de defectos que impiden el uso adecuado de técnicas de segmentación autónoma. En este trabajo se propone el uso de la dimensión fractal box (FBD) como descriptor local, para la segmentación de imágenes de microscopía de la piel de embriones de anfibios en las que, usando técnicas de imnunofluorescencia, se ha marcado E-Cadherina, una molécula de adhesión celular, expresada en membranas celulares y responsable de la adhesión dependiente de Ca2+. El propósito del presente trabajo fue elaborar un workflow de procesamiento para ser aplicado sin supervisión a un grupo no determinado de imágenes de la misma naturaleza, de las que se intenta extraer la información requerida para los propósitos de caracterización y eventual cuantificación.

2006-10-01T00:00:00Z La segmentación en imágenes biológicas es de importancia crucial para la determinación de descriptores que permitan, entre otras cosas, elaborar modelos de diversos procesos biológicos, cotejar parámetros en dichos modelos, y proponer o rebatir teorías. Sin embargo, el proceso de segmentación de la información necesaria para el cómputo de los descriptores es casi siempre un proceso asistido, dado que la calidad de las imágenes que se pueden generar con la tecnología actual de microscopía clásica, adolecen de defectos que impiden el uso adecuado de técnicas de segmentación autónoma. En este trabajo se propone el uso de la dimensión fractal box (FBD) como descriptor local, para la segmentación de imágenes de microscopía de la piel de embriones de anfibios en las que, usando técnicas de imnunofluorescencia, se ha marcado E-Cadherina, una molécula de adhesión celular, expresada en membranas celulares y responsable de la adhesión dependiente de Ca2+. El propósito del presente trabajo fue elaborar un workflow de procesamiento para ser aplicado sin supervisión a un grupo no determinado de imágenes de la misma naturaleza, de las que se intenta extraer la información requerida para los propósitos de caracterización y eventual cuantificación. Bavera, Francisco Aguirre, Jorge Nordio, Martín http://sedici.unlp.edu.ar:80/handle/10915/22802 2018-12-21T20:03:36Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación The interaction between software systems by means of mobile code is a powerful and truly effective method, particularly useful for installing and executing code dynamically. However, for this mechanism to be applicable safely, especially in industrial or critical applications, techniques that guarantee foreign code execution safety for the consumer or host will be necessary. Of course, tool support for automating, at least partially, the application of these techniques is essential. The importance of guarantee code execution safety originates numerous active research lines, among which Proof-Carrying Code (PCC) is one of the most successful. One of the problems to overcome for the PCC industrial use is to obtain lineal methods of safeness certification and verification. A framework for the generation and execution of safe mobile code based on PCC together with techniques for static analysis of control and data-flow, called PCC-SA, was developed later by the authors. The results of the group that allowed proving the hypothesis that the PCC-SA complexity in practice is lineal respect to the input programs length, as for certification as for verification processes are also presented. To achieve this, a C-program family, whose elements are referred to as lineally annotative, is defined. Parameters statically measured over their source code determine whether a program belongs to this family or not. Different properties of this family are demonstrated in this work, which allows formally showing that for all the programs of this family, the PCC-SA presents a lineal behavior. The parameters required for a large sample of programs keeping of standard packages, are calculated. This calculation finally determines that all the programs of the sample are lineally annotative, which validates the hypothesis previously stated.

2006-10-01T00:00:00Z The interaction between software systems by means of mobile code is a powerful and truly effective method, particularly useful for installing and executing code dynamically. However, for this mechanism to be applicable safely, especially in industrial or critical applications, techniques that guarantee foreign code execution safety for the consumer or host will be necessary. Of course, tool support for automating, at least partially, the application of these techniques is essential. The importance of guarantee code execution safety originates numerous active research lines, among which Proof-Carrying Code (PCC) is one of the most successful. One of the problems to overcome for the PCC industrial use is to obtain lineal methods of safeness certification and verification. A framework for the generation and execution of safe mobile code based on PCC together with techniques for static analysis of control and data-flow, called PCC-SA, was developed later by the authors. The results of the group that allowed proving the hypothesis that the PCC-SA complexity in practice is lineal respect to the input programs length, as for certification as for verification processes are also presented. To achieve this, a C-program family, whose elements are referred to as lineally annotative, is defined. Parameters statically measured over their source code determine whether a program belongs to this family or not. Different properties of this family are demonstrated in this work, which allows formally showing that for all the programs of this family, the PCC-SA presents a lineal behavior. The parameters required for a large sample of programs keeping of standard packages, are calculated. This calculation finally determines that all the programs of the sample are lineally annotative, which validates the hypothesis previously stated. Tamargo, Luciano H. García, Alejandro Javier Falappa, Marcelo Alejandro http://sedici.unlp.edu.ar:80/handle/10915/22801 2018-12-21T20:03:09Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación The aim of this work is to analyze the knowledge interchange on multi-agent systems using shared knowledge areas. The project involves the analysis and reformulation of some aspects of the Linda model, adding new model level features. This work proposes the idea of distributed tuples spaces, offering the possibility of coexistence among different tuples spaces with distinct features, being stored in remote sites. This distributed model requires the definition of new operations whose domain and range are tuples spaces, and the formulation of access constraints for the agents

2006-10-01T00:00:00Z The aim of this work is to analyze the knowledge interchange on multi-agent systems using shared knowledge areas. The project involves the analysis and reformulation of some aspects of the Linda model, adding new model level features. This work proposes the idea of distributed tuples spaces, offering the possibility of coexistence among different tuples spaces with distinct features, being stored in remote sites. This distributed model requires the definition of new operations whose domain and range are tuples spaces, and the formulation of access constraints for the agents De Giusti, Armando Eduardo Pesado, Patricia Mabel Estrebou, César Armando Galdámez, Nicolás Romero, Andrés Moralejo, Lucrecia http://sedici.unlp.edu.ar:80/handle/10915/22800 2018-12-21T04:05:31Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Se presenta un análisis del sistema de planeamiento de la producción industrial, en el caso de plantas distribuidas con productos complejos. En general el problema de la distribución física de la planta agrega varios elementos a la complejidad intrínseca del planeamiento de la producción, fundamentalmente por el tema de los recursos físicamente distantes (máquinas, materias primas, operarios), los tiempos de movimiento de los diferentes stocks así como la centralización/distribución del control de calidad. Por otra parte se aborda el caso de los “productos complejos”, entendiendo por tales aquéllos en los que el Análisis de producción contiene no sólo materias primas, sino también productos semielaborados (en 1 o más niveles) cuya producción debe planificarse coherentemente con los productos “finales”. Esta estructura requiere una descomposición en niveles de los recursos de stock/semielaborados requeridos para cumplir los planes de producción, con relaciones de interdependencia que requieren validar el orden de producción. Por último se discuten diferentes criterios de optimización de los planes de producción, analizando los resultados obtenidos con un enfoque basado en la reducción de complejidad en la gestión de planta. VII Workshop de Procesamiento Distribuido y Paralelo (WPDP)

2006-10-01T00:00:00Z Se presenta un análisis del sistema de planeamiento de la producción industrial, en el caso de plantas distribuidas con productos complejos. En general el problema de la distribución física de la planta agrega varios elementos a la complejidad intrínseca del planeamiento de la producción, fundamentalmente por el tema de los recursos físicamente distantes (máquinas, materias primas, operarios), los tiempos de movimiento de los diferentes stocks así como la centralización/distribución del control de calidad. Por otra parte se aborda el caso de los “productos complejos”, entendiendo por tales aquéllos en los que el Análisis de producción contiene no sólo materias primas, sino también productos semielaborados (en 1 o más niveles) cuya producción debe planificarse coherentemente con los productos “finales”. Esta estructura requiere una descomposición en niveles de los recursos de stock/semielaborados requeridos para cumplir los planes de producción, con relaciones de interdependencia que requieren validar el orden de producción. Por último se discuten diferentes criterios de optimización de los planes de producción, analizando los resultados obtenidos con un enfoque basado en la reducción de complejidad en la gestión de planta. Villagra, Andrea Montenegro, Cristian San Pedro, María Eugenia de Lasso, Marta Graciela Pandolfi, Daniel http://sedici.unlp.edu.ar:80/handle/10915/22798 2018-12-21T20:03:01Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación En este trabajo se presenta una aplicación para la planificación y replanificación dinámic a del mantenimiento preventivo de locaciones petroleras. Para los casos de planificación de mantenimiento de unas pocas locaciones petroleras, un algoritmo enumerativo es suficiente, sin embargo para una planificación de 200 o más locaciones, PAE es una herramienta capaz de brindar en forma oportuna la planificación del recorrido. El beneficio debe observarse desde dos aspectos. Primero, una planificación es mejor que otra, si para un mismo número de locaciones a visitar el costo de recorrido e intervención planificado es menor. Segundo, si con un mismo tiempo de intervención es posible realizar el mantenimiento a más locaciones, este beneficio reduce la probabilidad de caída al incrementar la cantidad de locaciones recorridas. Esta herramienta ha sido diseñada para operar a un bajo costo de desarrollo tanto desde el punto de vista de la tecnología hardware como la tecnología de software que la soporta, desarrollada por el Laboratorio de Tecnologías Emergentes de la Universidad Nacional de la Patagonia Austral Unidad Académica Caleta Olivia, utiliza un algoritmo evolutivo que es el generador de múltiples soluciones a este problema.; This work shows up an application for the dynamic scheduling of preventive maintenance of oil location. For the cases of scheduling of maintenance of few oil locations, an enumerative algorithm is enough, however for a scheduling of 200 or more locations PAE is a tool able to provide in opportune form the scheduling of the journey. The benefit should be observed from two aspects. First, a scheduling is better than other if for the same number of locations to visit, the journey cost and intervention scheduled is small. Second, if for the same period of intervention it is possible to carry out the maintenance to more locations, this benefit reduces the probability of fall when increasing the quantity of visited locations. This tool has been designed to operate so much at a low development cost from the point of view of the hardware technology like the software technology that it supports it. It was developed by Laboratorio de Tecnologias Emergentes of the Universidad Nacional de la Patagonia Austral Unidad Académica Caleta Olivia. It uses an evolutionary algorithm that is the generator of multiple solutions to this problem.

2006-10-01T00:00:00Z En este trabajo se presenta una aplicación para la planificación y replanificación dinámic a del mantenimiento preventivo de locaciones petroleras. Para los casos de planificación de mantenimiento de unas pocas locaciones petroleras, un algoritmo enumerativo es suficiente, sin embargo para una planificación de 200 o más locaciones, PAE es una herramienta capaz de brindar en forma oportuna la planificación del recorrido. El beneficio debe observarse desde dos aspectos. Primero, una planificación es mejor que otra, si para un mismo número de locaciones a visitar el costo de recorrido e intervención planificado es menor. Segundo, si con un mismo tiempo de intervención es posible realizar el mantenimiento a más locaciones, este beneficio reduce la probabilidad de caída al incrementar la cantidad de locaciones recorridas. Esta herramienta ha sido diseñada para operar a un bajo costo de desarrollo tanto desde el punto de vista de la tecnología hardware como la tecnología de software que la soporta, desarrollada por el Laboratorio de Tecnologías Emergentes de la Universidad Nacional de la Patagonia Austral Unidad Académica Caleta Olivia, utiliza un algoritmo evolutivo que es el generador de múltiples soluciones a este problema. This work shows up an application for the dynamic scheduling of preventive maintenance of oil location. For the cases of scheduling of maintenance of few oil locations, an enumerative algorithm is enough, however for a scheduling of 200 or more locations PAE is a tool able to provide in opportune form the scheduling of the journey. The benefit should be observed from two aspects. First, a scheduling is better than other if for the same number of locations to visit, the journey cost and intervention scheduled is small. Second, if for the same period of intervention it is possible to carry out the maintenance to more locations, this benefit reduces the probability of fall when increasing the quantity of visited locations. This tool has been designed to operate so much at a low development cost from the point of view of the hardware technology like the software technology that it supports it. It was developed by Laboratorio de Tecnologias Emergentes of the Universidad Nacional de la Patagonia Austral Unidad Académica Caleta Olivia. It uses an evolutionary algorithm that is the generator of multiple solutions to this problem. Fillottrani, Pablo Rubén http://sedici.unlp.edu.ar:80/handle/10915/22795 2018-12-21T20:02:59Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, especially if further negation symbols such as strong negation are also available. We therefore propose a new logic programming approach in which negation and default inference are independent, orthogonal concepts. Semantical characterization of this approach is given in the style of answer sets, but other approaches are also possible. Finally, we compare them with the semantics for logic programs with two kinds of negation.

2006-10-01T00:00:00Z In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, especially if further negation symbols such as strong negation are also available. We therefore propose a new logic programming approach in which negation and default inference are independent, orthogonal concepts. Semantical characterization of this approach is given in the style of answer sets, but other approaches are also possible. Finally, we compare them with the semantics for logic programs with two kinds of negation. Monks, Eduardo Rochol, Juergen Costa, Antônio Carlos da Rocha http://sedici.unlp.edu.ar:80/handle/10915/22794 2018-12-21T20:03:33Z 2006-10-01T00:00:00Z

Objeto de conferencia XII Congreso Argentino de Ciencias de la Computación Este artigo apresenta uma metodologia para o planejamento de capacidade de redes corporativas para a implantação de serviços VoIP. É descrita a adaptação da metodologia de planejamento de redes telefônicas convencionais para serviços VoIP e os resultados da sua aplicação em um estudo de caso; This paper presents an methodology to corporate networks capacity planning to VoIP services implementation. It describes a process of adapting conventional telephony network capacity planning to VoIP services and its use in a case study.

2006-10-01T00:00:00Z Este artigo apresenta uma metodologia para o planejamento de capacidade de redes corporativas para a implantação de serviços VoIP. É descrita a adaptação da metodologia de planejamento de redes telefônicas convencionais para serviços VoIP e os resultados da sua aplicação em um estudo de caso This paper presents an methodology to corporate networks capacity planning to VoIP services implementation. It describes a process of adapting conventional telephony network capacity planning to VoIP services and its use in a case study.