Jornadas y Congresos US

URI permanente para esta comunidadhttps://hdl.handle.net/11441/30105

Esta comunidad recoge las actas de los congresos celebrados en la Universidad de Sevilla u organizados por la misma.

This community collects the acts of the congresses held at the Universidad de Sevilla or organized by it.

Examinar

Mostrando 1 - 20 de 24

A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules
(Fénix Editora, 2013) Bangalan, Zylynn F.; Soriano, Krizia Ann N.; Juayong, Richelle Ann B.; Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía; Ministerio de Ciencia e Innovación (MICIN). España; Universidad de Sevilla. TIC193: Computación Natural
Evolution-Communication P system with energy (ECPe systems) is a cell- like variant P system which establishes a dependence between evolution and communi- cation through special objects, called `energy,' produced during evolution and utilized during communication. This paper presents our initial progress and e orts on the im- plementation and simulation of ECPe systems using Graphics Processing Units (GPUs). Our implementation uses matrix representation and operations presented in a previous work. Speci cally, an implementation of computations on ECPe systems without antiport rules is discussed.
A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Recon guration
(Fénix Editora, 2012) Zhang, Gexiang; Gutiérrez Naranjo, Miguel Ángel; Qin, Yanhui; Gheorgue, Marian; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía; Ministerio de Ciencia e Innovación (MICIN). España; Universidad de Sevilla. TIC193: Computación Natural
This paper develops a membrane-inspired evolutionary algorithm, PSMA, which is designed by using a population P system and a quantum-inspired evolutionary algorithm (QIEA). We use a population P system with three cells to organize three types of QIEAs, where communications between cells are performed at the level of genes, instead of the level of individuals reported in the existing membrane algorithms in the literature. Knapsack problems are applied to discuss the parameter setting and to test the effectiveness of PSMA. Experimental results show that PSMA is superior to four representative QIEAs and our previous work with respect to the quality of solutions and the elapsed time. We also use PSMA to solve the optimal distribution system reconfiguration problem in power systems for minimizing the power loss.
Actas del IV Congreso Internacional Move.net sobre Movimientos Sociales y TIC
(Grupo Interdisciplinario de Estudios en Comunicación, Política y Cambio Social de la Universidad de Sevilla (COMPOLÍTICAS), 2022) Universidad de Sevilla. Departamento de Comunicación Audiovisual, Publicidad y Literatura; Candón-Mena, José; Ministerio de Ciencia e Innovación (MICIN). España; Agencia Estatal de Investigación. España
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division
(Fénix Editora, 2012) Porreca, Antonio E.; Murphy, Niall; Pérez Jiménez, Mario de Jesús; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the tractability of decision problems. On the one hand, the limitation on the efficiency of tissue P systems with cell division and communication rules of length 1 has been established. On the other hand, polynomial time solutions to NP–complete problems by using families of tissue P systems with cell division and communication rules of length at most 3 has been provided. In this paper, we improve the previous result by showing that the HAM-CYCLE problem can be solved in polynomial time by a family of tissue P systems with cell division by using communication rules with length at most 2. Hence, a new tractability boundary is given: passing from 1 to 2 amounts to passing from non–efficiency to efficiency, assuming that P ̸= NP.
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study
(Fénix Editora, 2013) Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús; Su, Yansen; Yu, Hui; Pan, Linqiang; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living organisms. A special kind of GRNs known as Logic Networks (LNs) has been recently introduced. These networks consider that the state of one or more genes can in uence another one. In a previous work, we proposed a Membrane Computing model which simulates the dynamics of LNs by drawing on the improved LAPP algorithm. In this paper we provide a case study for our LN model on a network which regulates the circadian rhythms of long{term studied plant Arabidopsis thaliana. We outline the software tools employed and propose a methodology for analysing LNs on our Membrane Computing model. At the end of the paper, some conclusions and future work are included.
Counting Cells with Tissue-like P Systems
(Fénix Editora, 2012) Ardelean, Ioan I.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Peña Cantillana, Francisco; Reina Molina, Raúl; Sarchizian, Iris; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII); Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural; Universidad de Sevilla. FQM296: Topología Computacional y Matemática Aplicada
Counting the number of cells obtained in an experiment is crucial in many areas in Biology. Nonetheless, this is usually performed by hand by the researcher due the intrinsic difficulty of the task. In this paper, we present a set of techniques for counting cells inspired in the treatment of Digital Images via tissue-like P systems with promoters.
Diseño de material específico docente para el aprendizaje de microcontroladores y sistemas USB
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011) Jiménez Moreno, Gabriel; Jiménez Fernández, Ángel Francisco; Domínguez Morales, Manuel Jesús; Cerezuela Escudero, Elena; Cascado Caballero, Daniel; Gómez Rodríguez, Francisco de Asís; Rivas Pérez, Manuel; Linares Barranco, Alejandro; Universidad de Sevilla. Departamento de Arquitectura y Tecnología de Computadores; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII); Universidad de Sevilla. Departamento de Tecnología Electrónica; Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen; Ministerio de Ciencia e Innovación (MICIN). España
En la enseñanza en profundidad y especializada en materias de tipo informática nos encontramos con que los contenidos no paran de crecer y cada vez son más difíciles de abarcar. Por otra parte hay que empezar a pensar que los alumnos deben ser creadores de nuevos productos, y no sólo diseñadores de las ideas de otros, debemos educar no sólo a un profesional diseñador si no también innovador. Para conseguir esto hemos puesto en marcha varios proyectos de innovación docente utilizando la metodología basada en el aprendizaje por proyectos (ApP). En el uso de dicha metodología caben destacar dos ventajas: facilitar al alumno la compresión y estudio de materias con contenidos cada vez más complejos y numerosos, y entrenarlo en el diseño de sistemas con microcontroladores tal como se hace en la industria. Por otra parte se aportan dos novedades metodológicas: se desarrolla un material que se presta al alumno para que pueda hacer los proyectos en su casa, en las horas no presenciales, con lo que se aprovecha mejor el tiempo para dar los contenidos; y se modifica la metodología ApP para que el alumno sea el que proponga nuevos proyectos que puedan tener un cierto éxito comercial.
Entrenamiento de la creatividad y la innovación en la ingeniería de computadores basándose en la metodología de aprendizaje por proyectos
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011) Jiménez Moreno, Gabriel; Sevillano Ramos, José Luis; Jiménez Fernández, Ángel Francisco; Paz Vicente, Rafael; Linares Barranco, Alejandro; Domínguez Morales, Manuel Jesús; Cerezuela Escudero, Elena; Miró Amarante, María Lourdes; Universidad de Sevilla. Departamento de Arquitectura y Tecnología de Computadores; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII); Universidad de Sevilla. Departamento de Tecnología Electrónica; Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen; Ministerio de Ciencia e Innovación (MICIN). España
En los estudios de Ingeniería normalmente se instruye en competencias sobre diseño, en las que es fundamental conocer las tecnologías y herramientas correspondientes a la materia en que el alumno se especializa. Los problemas y proyectos que el alumno resuelve a lo largo de su carrera suelen estar orientados por el profesor, de manera que la idea básica forma parte de la propuesta o enunciado. El alumno no hace más que aplicar la tecnología para resolver el problema que ha ideado otro, en raras ocasiones se plantean problemas o proyectos abiertos que requieran aplicar la creatividad. En este trabajo se muestra una experiencia realizada durante el curso 2009/10, y financiada por el Plan de Renovación de Metodologías Docentes Universidad Sevilla, en la Escuela Técnica Superior de Ingeniería Informática (ETSII), en la que los alumnos debían hacer propuestas de proyectos a resolver con las herramientas propias de las asignaturas implicadas
Extending SNP Systems Asynchronous Simulation Modes in P-Lingua
(Fénix Editora, 2014) Macías Ramos, Luis Felipe; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Universidad de Sevilla. TIC193: Computación Natural
Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the neurophysiological structure of the brain, these systems have been subjected to many extensions in recent years, many of them intended to “somewhat” incorporate more and more features inspired by the functioning of the living neural cells. Although when first introduced in SN P systems were considered to work in synchronous mode, it became clear that considering nonsynchronized systems would be rather natural both from both from a mathematical and neuro-biological point of view. Asynchronous variants of these systems were introduced in, setting up a scenario where even if a neuron had enabled rules ready to fire, such rules non-deterministically could be not applied. Once new theoretical variants are defined, providing simulation software tools enables experimental study and validation of the proposed models. One more than promising developing branch comprises the use of parallel architectures, concretely GPUs, that provide efficient implementations. One drawback of this approach, due to the inherent constraints of the GPUs programming model, is a relatively long development cycle to extend existing variants. At the expense of sacrificing efficiency for expressivity, other alternatives involving sequential approaches can be considered. Within this trend, P–Lingua offers the high flexibility of the Java programming language as well as a general acceptance within the Membrane computing community. P–Lingua affords a standard language for the definition of P systems. Part of the same software project, pLinguaCore library provides particular implementations of parsers and simulators for the models specified in P–Lingua. Support for simulating SN P systems in P–Lingua was introduced in. In that version all (synchronous and asynchronous) “working modes” considered in were implemented. Since then, new asynchronous variants have appeared. In this paper we present a brand new extension of P–Lingua related to asynchronous SN P systems, in order to incorporate simulation capabilities for limited asynchronous SN P systems, introduced in, and asynchronous SN P systems with local introduced respectively in
Forward and Backward Chaining with P Systems
(Fénix Editora, 2011) Ivanov, Sergiu; Alhazov, Artiom; Rogozhin, Vladimir; Gutiérrez Naranjo, Miguel Ángel; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the other hand, the paradigm of rules is profusely used in computer science for representing and dealing with knowledge. Therefore, it makes much scene to establish a "bridge" between these domains, for instance, by designing P systems reproducing forward and backward chaining which can be used as tools for reasoning in propositional logic. Our work shows again, how powerful and intuitive the formalism of membrane computing is and how it can be used to represent concepts and notions from totally unrelated areas.
Implementing Local Search with Membrane Computing
(Fénix Editora, 2011) Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present an implementation of local search with Membrane Computing techniques applied to the N-queens problem as a case study. A CLIPS program inspired in the Membrane Computing design has been implemented and several experiments have been performed.
Improving the Efficiency of Tissue P Systems with Cell Separation
(Fénix Editora, 2012) Pérez Jiménez, Mario de Jesús; Sosík, Petr; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
Cell fission process consists of the division of a cell into two new cells such that the contents of the initial cell is distributed between the newly created cells. This process is modelled by a new kind of cell separation rules in the framework of Membrane Computing. Specifically, in tissue-like membrane systems, cell separation rules have been considered joint with communication rules of the form symport/antiport. These models are able to create an exponential workspace, expressed in terms of the number of cells, in linear time. On the one hand, an efficient and uniform solution to the SAT problem by using cell separation and communication rules with length at most 8 has been recently given. On the other hand, only tractable problems can be efficiently solved by using cell separation and communication rules with length at most 1. Thus, in the framework of tissue P systems with cell separation, and assuming that P ̸= NP, a first frontier between efficiency and non-efficiency is obtained when passing from communication rules with length 1 to communication rules with length at most 8. In this paper we improve the previous result by showing that the SAT problem can be solved by a family of tissue P systems with cell separation in linear time, by using communication rules with length at most 3. Hence, we provide a new tractability borderline: passing from 1 to 3 amounts to passing from non–efficiency to efficiency, assuming that P ̸= NP.
Limits on Efficient Computation in P Systems with Symport/Antiport Rules
(Fenix Editora, 2017) Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Universidad de Sevilla. TIC193: Computación Natural
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by changing the places of objects with respect to the membranes, and not by changing the objects themselves. In these systems the environment plays an active role because the systems not only send objects to the environment, but also bring objects from the environment. In the initial configuration of a system, there is a special alphabet whose elements appear in an arbitrary large number of copies. The ability of these computing devices with infinite copies of some objects has been widely exploited in the design of efficient solutions to computationally hard problems. This paper deals with computational aspects of P systems with symport/antiport rules and membrane division rules or membrane separation rules. Specifically, we study the limitations of such P systems when the only communication rules allowed have length 1.
Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division
(Fénix Editora, 2011) Zhang, Xingyi; Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is possible only because prime factorization has been presumed to be difficult. A polynomial-time algorithm for prime factorization on a quantum computer is given by P. W. Shor in 1997. In this work, a linear-time solution for prime factorization is given on a kind of biochemical computational devices - tissue P systems with cell division, instead of physical computational devices.
Metas de la alfabetización científica en Infantil : un análisis desde la regulación nacional de enseñanzas mínimas
(Copiarte, 2013) García Carmona, Antonio; Criado García-Legaz, Ana María; Universidad de Sevilla. Departamento de Didáctica de las Ciencias Experimentales y Sociales; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía
Se analiza la alfabetización científica promovida por la regulación de enseñanzas mínimas para la etapa de Infantil (3-6 años) en España. Para ello, se aplicó un protocolo de análisis, ya validado por los autores, a fin de conocer qué metas (objetivos y competencias) de educación científica plantea el documento para la etapa educativa. Los resultados indican que el documento hace alusiones explícitas y adecuadas a capacidades propias de la indagación científica (curiosidad por los fenómenos naturales, interpretación de fenómenos y objetos físicos del entorno,…), y de otras competencias básicas esenciales en la educación científica como la comunicativa, matemática, cultural y la digital. Sin embargo, se detectan carencias con respecto a la promoción de competencias que tienen que ver con la socialización y la afectividad, ampliamente promulgadas desde la literatura actual para favorecer la educación científica básica.
On Efficiency of P Systems with Symport/Antiport and Membrane Division
(Fenix Editora, 2017) Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Universidad de Sevilla. TIC193: Computación Natural
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by changing the places of objects with respect to the membranes, and not by changing the objects themselves. In these systems the environment plays an active role because the systems not only send objects to the environment, but also bring objects from the environment. In the initial configuration of a system, there is a special alphabet whose elements appear in an arbitrary large number of copies. The ability of these computing devices to have infinite copies of some objects has been widely exploited in the design of efficient solutions to computationally hard problems. This paper deals with computational aspects of P systems with symport/antiport and membrane division rules where there is not an environment having the property mentioned above. Specifically, we establish the relationships between the polynomial complexity class associated with P systems with symport/antiport, membrane division rules, and with or without environment. As a consequence, we prove that the role of the environment is irrelevant in order to solve NP–complete problems in an efficient way.
On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs
(Fénix Editora, 2012) Juayong, Richelle Ann B.; Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía; Ministerio de Ciencia e Innovación (MICIN). España; Universidad de Sevilla. TIC193: Computación Natural
In this report, we present our initial proposal on simulating computations on a restricted variant of Evolution-Communication P system with energy (ECPe system) which will then be implemented in Graphics Processing Units (GPUs). This ECPe sys- tems variant prohibits the use of antiport rules for communication. Several possible levels of parallelizations for simulating ECPe systems computations on GPUs are emphasized. Our work is based on a localized matrix representation for the mentioned variant given in a previous literature. Our proposal employs a methodology for forward computing also discussed in the said literature.
P Systems with Replicator Dynamics: A Proposal
(Fénix Editora, 2011) Cavaliere, Matteo; Gutiérrez Naranjo, Miguel Ángel; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Ciencia e Innovación (MICIN). España; Junta de Andalucía; Universidad de Sevilla. TIC193: Computación Natural
This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing
Práctica de desarrollo de interfaces hardware/software para el manejo de sensores de redes inalámbricas
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011) Jiménez Fernández, Ángel Francisco; Domínguez Morales, Manuel Jesús; Cerezuela Escudero, Elena; Paz Vicente, Rafael; Jiménez Moreno, Gabriel; Linares Barranco, Alejandro; Villar de Ossorno, José Ignacio; Universidad de Sevilla. Departamento de Arquitectura y Tecnología de Computadores; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII); Universidad de Sevilla. Departamento de Tecnología Electrónica; Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen; Ministerio de Ciencia e Innovación (MICIN). España
En este artículo se describe una práctica de laboratorio en la que se ilustran los mecanismos necesarios para implementar redes de sensores inalámbricos y la comunicación hardware/software en un PC. En los últimos años se han popularizado las redes de sensores inalámbricos. En la actualidad podemos encontrarlos realizando una elevada diversidad de tareas, desde aplicaciones domóticas, médicas, o de monitorización del medio ambiente. Proponemos una práctica en la que cada alumno usará un dispositivo basado en la tecnología XBEE, y desarrollará un software en el PC que implementará una red inalámbrica con una topología de maya en el laboratorio. Ilustrando, de esta manera, los principios necesarios para el desarrollo de interfaces hardware/software para la comunicación con el modem, así como proporcionar al alumno los conocimientos necesarios el manejo y gestión del propio modem.
Práctica de laboratorio sobre implementación joystick HID-USB de interfaz con una emisora RC
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011) Paz Vicente, Rafael; Cerezuela Escudero, Elena; Jiménez Fernández, Ángel Francisco; Domínguez Morales, Manuel Jesús; Jiménez Moreno, Gabriel; Villar de Ossorno, José Ignacio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII); Universidad de Sevilla. Departamento de Tecnología Electrónica; Universidad de Sevilla. Departamento de Arquitectura y Tecnología de Computadores; Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen; Ministerio de Ciencia e Innovación (MICIN). España
Actualmente, la interconexión de cualquier tipo de periférico con un ordenador se realiza utilizando el bus USB. Dentro de este tipo de dispositivos, podemos resaltar un tipo especial denominado HID (Human Interface Device) destinada a la conexión de periféricos de interfaz humana, como pueden ser teclados, ratones, joysticks. Este tipo de dispositivos se caracterizan por ser reconocidos por el sistema operativo sin necesidad de utilizar ningún driver. En este artículo se describe la implementación de un dispositivo de este tipo por parte de los alumnos. Al no necesitar el desarrollo de un driver simplifica el número de elementos que el alumno deberá desarrollar para poder completar satisfactoriamente la práctica. La siguiente práctica permite al alumno profundizar en los mecanismos por el cual dichos dispositivos se identifican y enumeran sus características y posibilidades, resultando atractivo al poder programar un microcontrolador que se comporte como un joystick.

Examinar

Examinando Jornadas y Congresos US por Agencia financiadora "Ministerio de Ciencia e Innovación (MICIN). España"