Ponencias (Lenguajes y Sistemas Informáticos)

URI permanente para esta colecciónhttps://hdl.handle.net/11441/11394

Examinar

Mostrando 1 - 20 de 1294

Caracterización de las cenizas de piritas de suroeste español como posible mena de Cu, Zn, Ag, y Au
(I Congreso Nacional Cuenca Minera de Riotinto, 1988) Romero Aleta, Rafael; Díaz Ojeda, Emilio; Carranza Mora, Francisco; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Ingeniería Química y Ambiental; Universidad de Sevilla. Departamento de Ingeniería Química; Universidad de Sevilla. TEP186: Biohidrometalurgia; Universidad de Sevilla. TEP218: Biotecnología Ambiental
Estimación económica global de la recuperación hidrometalúrgica de Cu, Zn, Ag y Au en cenizas de piritas
(Congreso Nacional Cuenca Minera de Riotinto, 1988) Díaz Ojeda, Emilio; Romero Aleta, Rafael; Carranza Mora, Francisco; Moraga Borrell, José María; Universidad de Sevilla. Departamento de Ingeniería Química; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TEP218: Biotecnología Ambiental; Universidad de Sevilla. TEP186: Biohidrometalurgia
Extracción de Cu y Zn en cenizas de piritas mediante lixiviación ácida
(Congreso Nacional Cuenca Minera de Riotinto, 1988) Romero Aleta, Rafael; Díaz Ojeda, Emilio; Carranza Mora, Francisco; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Ingeniería Química; Universidad de Sevilla. TEP186: Biohidrometalurgia; Universidad de Sevilla. TEP218: Biotecnología Ambiental
Extracción de Au y Ag a partir de cenizas de piritas mediante cianuración
(Congreso Nacional Cuenca Minera de Riotinto, 1988) Díaz Ojeda, Emilio; Carranza Mora, Francisco; Romero Aleta, Rafael; Universidad de Sevilla. Departamento de Ingeniería Química; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TEP218: Biotecnología Ambiental; Universidad de Sevilla. TEP186: Biohidrometalurgia
Piecewise linear analysis of an influence diagram
(International System Dynamic Conference (ISDC), 1992) Toro Bonilla, Miguel; Arrabal Parrilla, Juan José; Romero Moreno, Luisa María; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
To each causal diagram, and the structure that it represents, a dynamical system can be associated. From its qualitative análisis, the behaviours associated to the structure can be deduced. This paper introduces a piecewise linear dynamical system associated to a causal diagram. Some interesting results on the qualitative behaviourof the system can be obtained from this dynamical system. In this paper a method is proposed to implement automatically the construction of a piecewise linear dynamical system to each causal diagram. The study of its equilibria and its stability. This allows us to obtain, automatically, the behaviour modes associated to a causal diagram.
Qualitative Behavior Associated to System Dynamics Influence Diagrams
(International System Dynamic Conference (ISDC), 1992) Aracil Santonja, Javier; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas
The paper introduces a simple dynamical system associated to the influence diagram which contains only qualitative information. It is a analysed how with the information in the influence diagram only limited conclusions about the behavior of the system can be reached. However, with some extra qualitative information regarding the relative weight of the influences those limitations are overcome.
Qualitative modelling and simulations by piecewise linear analysis
(IFAC Proceedings Volumes, 1992-06) Toro Bonilla, Miguel; Arrabal Parrilla, Juan José; Romero Moreno, Luisa María; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Since applications of expert systems were typical in domains with no well defined models, qualitative methods for modelling and reasoning were soon developed. Most current qualitative reasoning programs derive the qualitative behaviour of a system by simulating a hand-crafted qualitative version of the differential equation that caracterizes the model of a system. This paper describes a method to construct a family of piecewise linear dynamical systems from the qualitative information contained in a model. We apply the dynamical system theory to deduce results about the behaviour of the family of dynamical systems constructed as a consequence of the qualitative model.
Protocol Conversion for Interconnecting Energy Management systems
(IEEE Computer Society, 1993) Luque Rodríguez, Joaquín; Gonzalo, Fernando; Pérez García, Francisco; Mejías Risoto, Manuel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Tecnología Electrónica
Especificación orientada a objetos desde un enfoque algebraico
(Universidad Politécnica de Valencia, 1994-09) Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado a objetos, desde el punto de vista de un lenguaje de especificación formal. Mostramos algunas características del lenguaje TESORO y la facilidad que incorpora este leguaje para la descripción del comportamiento de los objetos utilizando distintos estilos de especificación.
A Technique for Distributed Systems Specification
(IEEE Computer Society, 1995) Troyano Jiménez, José Antonio; Torres Valderrama, Jesús; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour and a set of transition rules between states. The specification is composed by three sections: definition of algebraic data types to represent the domain of object attributes, definition of classes that group objects with common features, and definition of relationships among classes. We show two possible styles for defining the behaviour of objects, in one hand we use a transition system (state oriented) and in the other hand we use an algebraic model of processes description (constraint oriented). We illustrate the paper with the specification of the dining philosophers problem, a typical example in distributed programming.
Parsing TAGs with Prolog
(dblp computer science bibliography, 1997) Díaz Madrigal, Víctor Jesús; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Among formalisms for the computation of syntactic description of natural language sentences, Tree Adjoining Grammars (TAG) play a major role. Several classical Context Free Grammars (CFGs) parsers have been redefined for TAGs , but it is not frequent to find in the literature references to parsing TAGs from a logic programming point of view. In this paper , we will concentrate on this direction, presenting a pure top-down left-to-rigth recognizer algorithm for TAG, using Prolog, that reduces the problems found in the translation of Lang's axiomatization. Actually, the algorithm is a parser that, given a grammatical input, produces the parse forest using a compact representation of every parse tree. Also, a rule represenltation of TAG's elementary trees is introduced in order to write grammars that can be compiled directly into Prolog predicates in a similar way that traditionally Definite Clause Grammars (DCGs) does respect to CPGs.
Multimedia in the operation of large industrial networks
(IEEE Computer Society, 1997) Escudero Fombuena, José Ignacio; Gonzalo, Fernando; Mejías Risoto, Manuel; Parada, M.; Luque Rodríguez, Joaquín; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Tecnología Electrónica
This paper describes the main features of the IDOLO system. This system uses multimedia technology in the operation and maintenance of large industrial networks (electricity, telecommunications, water, gas, ...). The four functions of the system are: (a) network operation (real time), providing a real-time presentation of images and sounds from distant installations together with classical remote control information; (b) network operation (extended real time), offering the network operator complementary multimedia information for consultation; (c) network maintenance, including the multimedia information needed to carry out suitable preventive and corrective maintenance of the network equipment and installations; (d) operator training, allowing to use both real-time multimedia information, and multimedia information stored in the system to improve the training of operators that telecontrol the network.
Search and Linguistic Description of Connected Regions In Quantitative Data
(International Federation of Automatic Control, 1997-05) Riquelme Santos, José Cristóbal; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
The aim of this paper is to resume a great volume of quantitative knowledge in a qualitative model formed by linguistic rules. The initial information will be formed by the numeric and quantitative data that a real system spplies from its perfomance. First connected regions that have a similar behaviour will be found, and later every region will be described by means of linguistic terms. A transformation of the parameter space is proposed in order to reduce the number of regions, and so, the number of rules.
Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion
(Springer Nature, 1998) Riquelme Santos, José Cristóbal; Ridao Carlini, Miguel Ángel; Camacho, Eduardo F.; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
A method based on genetic algorithms for obtaining coordinated motion plans of manipulator robots is presented. A decoupled planning approach has been used; that is, the problem has been decomposed into two subproblems: path planning and trajectory planning. This paper focuses on the second problem. The generated plans minimize the total motion time of the robots along their paths. The optimization problem is solved by evolutionary algorithms using a variable-length individuals codification and specific genetic operators.
Application of a Natural Language Interface to the Teleoperation of a Mobile Robot
(Elsevier, 1998) González Romano, José Mariano; Gómez Ortega, Juan; Camacho, Eduardo F.; Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
This paper describes the application of a natural language interface to the teleoperation of a mobile robot. Natural language communication with robots is a major goal, since it allows for non expert people to communicate with robots in his or her own language. This communication has to be flexible enough to allow the user to control the robot with a minimum knowledge about its details. In order to do this, the user must be able to perform simple operations as well as high level tasks which involve multiple elements of the system. For this ones, an adequate representation of the knowledge about the robot and its environment will allow the creation of a plan of simple actions whose execution will result in the accomplishment of the requested task
Automatic Semiqualitative Analysis: Application to a Biometallurgical System
(Springer, 1998) Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
The aim of this work is the representation and analysis of semiqualitative models. Their qualitative knowledge is represented by means of qualitative operators and envelope functions. A semiqualitative model is transformed into a family of quantitative models. In this paper the analysis of a model is proposed as a constraint satisfaction problem. Constraint satisfaction is an umbrella term for a variety of techniques of Artificial Intelligence and related disciplines. In this paper attention is focused on intervals consistency techniques. The semiqualitative analysis is automatically made by means of consistency techniques. The presented method is applied to a industrial biometallurgical system in order to show how increase the capacity of production.
Including Qualitative Knowledge in Semiqualitative Dynamical Systems
(Springer, 1998) Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
A new method to incorporate qualitative knowledge in semiqualitative systems is presented. In these systems qualitative knowledge may be expressed in their parameters, initial conditions and/or vector fields. The representation of qualitative knowledge is made by means of intervals, continuous qualitative functions and envelope functions. A dynamical system is defined by differential equations with qualitative knowledge. This definition is transformed into a family of dynamical systems. In this paper the semiqualitative analysis is carried out by means of constraint satisfaction problems, using interval consistency techniques.
A Review of Earley-Based Parser for TIG
(Springer, 1998) Díaz Madrigal, Víctor Jesús; Carrillo Montero, Vicente; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Tree Insertion Grammar (TIG) is a compromise between Context-Free Grammars (CFG) and Tree Adjoining Grammars (TAG), that combines the efficiency of the former with the strong lexicalizing power of the latter. In this paper, we present a plain representation of TIG elementary trees that can be used directly as the input grammar for the original Earley parser without the additional considerations established in the Schabes and Waters Earley-based parser for TIG.
A Requirements Elicitation Approach Based in Templates and Patterns
(1999) Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Educación y Ciencia (MEC). España
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer professional customers and users. The usual choice for expressing elicited requirements is natural language, since it is frequently the only common language to all participants. Problems of natural language are well–known, but using more formal notations too early is a risky choice that can make requirements impossible to understand for customers and users. Moreover, requirements engineers do not usually have good writing skills, and sometimes semantically correct requirements, expressed in natural language, are not understood because of the way they are written. in this paper, we present requirements templates that can improve requirements elicitation and expression, and two kinds of patterns: linguistic patterns, which are very used sentences in natural language requirements descriptions that can be parameterized and integrated into templates, and requirements patterns, which are generic requirements templates that are found very often during the requirements elicitation process and that can be reused with some adaptation.
Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
(WSEAS, 1999) Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Pérez Castellanos, José Antonio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer professional customers is not an easy task. Natural language is frequently the usual choice for expressing customer requirements in spite of its well–known problems, but using more formal notations too early is a risky choice that can make requirements impossible to understand for customers and users. In addition, using natural language do not guarantee understanding. Requirements engineers do not usually have good writing skills, and sometimes requirements expressed in natural language are not understood because of the poor way they are written. In this paper, we propose to use requirements templates and patterns to improve requirements expression. We have identified two types of requirements patterns: linguistic patterns, which are very used, well– understood, sentences in natural language requirements descriptions that can be parameterized and integrated into templates, and requirements patterns, which are generic requirements templates that are found very often during the requirements elicitation process and that can be reused with some adaptation.

Examinar

Examinando Ponencias (Lenguajes y Sistemas Informáticos) por Fecha de publicación