http://sedici.unlp.edu.ar:80/handle/10915/376 2013-05-24T06:05:26Z 2013-05-24T06:05:26Z Vázquez, Gustavo Esteban http://sedici.unlp.edu.ar:80/handle/10915/9448 2013-01-04T17:34:24Z 2002-01-01T00:00:00Z

Revision Journal of Computer Science & Technology; vol. 2, no. 7 The main goal of this thesis was to design new parallel processing strategies specially conceived for distributed environments in order to solve numerical and structural problems from the field of process systems engineering more efficiently. More specifically, the numerical sample problem addressed in this work was the optimization of nonlinear objective functions subjected to sets of nonlinear constraints, while the structural sample problem was the development of parallel-distributed structural techniques for process instrumentation design

2002-01-01T00:00:00Z The main goal of this thesis was to design new parallel processing strategies specially conceived for distributed environments in order to solve numerical and structural problems from the field of process systems engineering more efficiently. More specifically, the numerical sample problem addressed in this work was the optimization of nonlinear objective functions subjected to sets of nonlinear constraints, while the structural sample problem was the development of parallel-distributed structural techniques for process instrumentation design Esquivel, Susana Cecilia http://sedici.unlp.edu.ar:80/handle/10915/9447 2013-01-04T17:48:21Z 2002-01-01T00:00:00Z

Revision Journal of Computer Science & Technology; vol. 2, no. 7 The area of multi-objective optimization is receiving increasing attention by the comunity of evolutionary computation. In this book the authors present a complete state-of-the art in the field.

2002-01-01T00:00:00Z The area of multi-objective optimization is receiving increasing attention by the comunity of evolutionary computation. In this book the authors present a complete state-of-the art in the field. Tinetti, Fernando Gustavo http://sedici.unlp.edu.ar:80/handle/10915/9446 2013-01-04T17:47:03Z 2002-01-01T00:00:00Z

Revision Journal of Computer Science & Technology; vol. 2, no. 7 The two volumes attempt to render a self-contained idea of the state of the art of cluster computing by the year 1999. In the whole, thirty-six articles are presented in Vol. 1 and twenty-nine articles in Vol.2. In each volume, the articles are grouped according to the topics dealt with.

2002-01-01T00:00:00Z The two volumes attempt to render a self-contained idea of the state of the art of cluster computing by the year 1999. In the whole, thirty-six articles are presented in Vol. 1 and twenty-nine articles in Vol.2. In each volume, the articles are grouped according to the topics dealt with. Reynoso, Luis A. Buccella, Agustina Flores, Andrés P. Aranda, Gabriela N. http://sedici.unlp.edu.ar:80/handle/10915/9445 2012-05-09T22:00:25Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally specified a metamodel where properties of patterns and object-oriented design can be rigorously described. In the present work, our formal basis is used to build a component-based tool for verifying proper applications of object-oriented patterns. The usage of this tool is also focused on the learning process about patterns applications. Through a better understanding of patterns, the designer may certify when and how a pattern is being appropriately applied to solve a specific design problem. Furthermore, the whole design process could be improved by using a precise technique supported by an automatic tool for verification.

2002-01-01T00:00:00Z Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally specified a metamodel where properties of patterns and object-oriented design can be rigorously described. In the present work, our formal basis is used to build a component-based tool for verifying proper applications of object-oriented patterns. The usage of this tool is also focused on the learning process about patterns applications. Through a better understanding of patterns, the designer may certify when and how a pattern is being appropriately applied to solve a specific design problem. Furthermore, the whole design process could be improved by using a precise technique supported by an automatic tool for verification. Abásolo, María José Perales, Francisco De Giusti, Armando http://sedici.unlp.edu.ar:80/handle/10915/9444 2012-05-09T22:00:25Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 Transmission of large terrain databases across the Internet is still worrying. A large terrain database requires a big number of polygons and textures, and that represents a problem with current bandwidth and resource limitations. Multiresolution models permit progressive transmission, that is the transmission of a simple model followed by successive refinements. In this work we present a new multiresolution model called Geometric-Textured Bitree. In contrast with most of recent works, it makes possible the progressive transmission of not only geometry but also the texture of a terrain model. Wavelet Multiresolution Analysis is applied to the selection of geometry points and, texture segmentation. Also a new texture synthesis process based on Wavelet classification is presented.

2002-01-01T00:00:00Z Transmission of large terrain databases across the Internet is still worrying. A large terrain database requires a big number of polygons and textures, and that represents a problem with current bandwidth and resource limitations. Multiresolution models permit progressive transmission, that is the transmission of a simple model followed by successive refinements. In this work we present a new multiresolution model called Geometric-Textured Bitree. In contrast with most of recent works, it makes possible the progressive transmission of not only geometry but also the texture of a terrain model. Wavelet Multiresolution Analysis is applied to the selection of geometry points and, texture segmentation. Also a new texture synthesis process based on Wavelet classification is presented. Estevez, Elsa Clara Fillottrani, Pablo Rubén http://sedici.unlp.edu.ar:80/handle/10915/9443 2012-05-09T22:00:26Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration.

2002-01-01T00:00:00Z There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class expressions in a formal specification language, and we present several refinement steps for component development, introducing in each one design decisions and implementation details. This evolution starts from the initial specification of a component as an abstract module, and finishes with the final deployment as fully implemented code. The usage of formal tools helps to assure the correctness of each step, and provides the ground to introduce complementarytechniques, such as bisimulations, for the process of component integration. Riesco, Daniel Eduardo Uzal, Roberto Montejano, Germán Antonio http://sedici.unlp.edu.ar:80/handle/10915/9442 2012-05-09T22:00:26Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 We have proposed a technique which can be employed within the methodology known as business process reengineering. This technique has been applied in a government project, which included an Information System and Geographical Information System, developed with financial support from The World Bank. One model used in process reengineering is the process model diagram, which helps to find the tasks, to be completed in each area of the organisation. To understand the domain is crucial to be able to specify each one of these tasks. We show in this work how to use process modelling to find the tasks and to formalise their description using RAISE formal method. In this way, using a model of process as input, an engineer employs a systematic technique to create-as a starting point-the main functions (tasks) of the domain using the RAISE formal method. Furthermore, we show how a structured architecture in layers can be used for reuse during the development in the large.

2002-01-01T00:00:00Z We have proposed a technique which can be employed within the methodology known as business process reengineering. This technique has been applied in a government project, which included an Information System and Geographical Information System, developed with financial support from The World Bank. One model used in process reengineering is the process model diagram, which helps to find the tasks, to be completed in each area of the organisation. To understand the domain is crucial to be able to specify each one of these tasks. We show in this work how to use process modelling to find the tasks and to formalise their description using RAISE formal method. In this way, using a model of process as input, an engineer employs a systematic technique to create-as a starting point-the main functions (tasks) of the domain using the RAISE formal method. Furthermore, we show how a structured architecture in layers can be used for reuse during the development in the large. González, Adela http://sedici.unlp.edu.ar:80/handle/10915/9441 2012-05-09T22:00:26Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 The objective of this research is to develop a tool for the generation of 3D objects modeled with flexible materials, with visco-elastic or inelastic characteristics, similar to the plasticine. It is desirable to prioritize the simplicity of the interface with the user in the interactive deformation process of the object. To compute the deformations of object which is exposed to external forces, like elements with which the modeling will be simulated, what implies the process between the deformable object and rigid ones.

2002-01-01T00:00:00Z The objective of this research is to develop a tool for the generation of 3D objects modeled with flexible materials, with visco-elastic or inelastic characteristics, similar to the plasticine. It is desirable to prioritize the simplicity of the interface with the user in the interactive deformation process of the object. To compute the deformations of object which is exposed to external forces, like elements with which the modeling will be simulated, what implies the process between the deformable object and rigid ones. Acosta Nelson Tosini, Marcelo Alejandro http://sedici.unlp.edu.ar:80/handle/10915/9440 2012-05-09T22:00:26Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 Standard hardware, dedicated microcontroller or application specific circuits can implement fuzzy logic or neural network controllers. This paper presents efficient architecture approaches to develop controllers using specific circuits. A generator uses several tools that allow translating the initial problem specification to a specific circuit implementation, by using HDL descriptions. These HDL description files can be synthesized to get the FPGA configuration bit-stream.

2002-01-01T00:00:00Z Standard hardware, dedicated microcontroller or application specific circuits can implement fuzzy logic or neural network controllers. This paper presents efficient architecture approaches to develop controllers using specific circuits. A generator uses several tools that allow translating the initial problem specification to a specific circuit implementation, by using HDL descriptions. These HDL description files can be synthesized to get the FPGA configuration bit-stream. Rueda, Sonia Vivian García, Alejandro Javier Simari, Guillermo Ricardo http://sedici.unlp.edu.ar:80/handle/10915/9439 2012-05-09T22:00:27Z 2002-01-01T00:00:00Z

Articulo Journal of Computer Science & Technology; vol. 2, no. 7 Negotiation is a basic mechanism for interaction that allows the members in a Multiagent System to coordinate their actions and to reach a favorable agreement. When agents are collaborative, the negotiation process progresses through a dialogue in which proposals and counter-proposals are exchanged in a common effort to advance towards a mutual agreement. An Interaction Protocol regulates communication and gives structure to the dialog. Most interaction protocols designed to regulate negotiation among agents are abstract models based in some real world negotiation practice (e.g. auctions). Here we propose a deliberative mechanism for negotiation among BDI agents based in Argumentation.

2002-01-01T00:00:00Z Negotiation is a basic mechanism for interaction that allows the members in a Multiagent System to coordinate their actions and to reach a favorable agreement. When agents are collaborative, the negotiation process progresses through a dialogue in which proposals and counter-proposals are exchanged in a common effort to advance towards a mutual agreement. An Interaction Protocol regulates communication and gives structure to the dialog. Most interaction protocols designed to regulate negotiation among agents are abstract models based in some real world negotiation practice (e.g. auctions). Here we propose a deliberative mechanism for negotiation among BDI agents based in Argumentation.