Mental Disorders in Megacities: Findings from the Sao Paulo Megacity Mental Health Survey, Brazil

Background: World population growth is projected to be concentrated in megacities, with increases in social inequality and urbanization-associated stress. Sao Paulo Metropolitan Area (SPMA) provides a forewarning of the burden of mental disorders in urban settings in developing world. The aim of this study is to estimate prevalence, severity, and treatment of recently active DSM-IV mental disorders. We examined socio-demographic correlates, aspects of urban living such as internal migration, exposure to violence, and neighborhood-level social deprivation with 12-month mental disorders. Methods and Results: A representative cross-sectional household sample of 5,037 adults was interviewed face-to-face using the WHO Composite International Diagnostic Interview (CIDI), to generate diagnoses of DSM-IV mental disorders within 12 months of interview, disorder severity, and treatment. Administrative data on neighborhood social deprivation were gathered. Multiple logistic regression was used to evaluate individual and contextual correlates of disorders, severity, and treatment. Around thirty percent of respondents reported a 12-month disorder, with an even distribution across severity levels. Anxiety disorders were the most common disorders (affecting 19.9%), followed by mood (11%), impulse-control (4.3%), and substance use (3.6%) disorders. Exposure to crime was associated with all four types of disorder. Migrants had low prevalence of all four types compared to stable residents. High urbanicity was associated with impulse-control disorders and high social deprivation with substance use disorders. Vulnerable subgroups were observed: women and migrant men living in most deprived areas. Only one-third of serious cases had received treatment in the previous year. Discussion: Adults living in Sao Paulo megacity had prevalence of mental disorders at greater levels than similar surveys conducted in other areas of the world. Integration of mental health promotion and care into the rapidly expanding Brazilian primary health system should be strengthened. This strategy might become a model for poorly resourced and highly populated developing countries.

Lifetime Prevalence, Age and Gender Distribution and Age-of-Onset of Psychiatric Disorders in the Sao Paulo Metropolitan Area, Brazil: Results from the Sao Paulo Megacity Mental Health Survey

Objectives: To estimate prevalence, age-of-onset, gender distribution and identify correlates of lifetime psychiatric disorders in the Sao Paulo Metropolitan Area (SPMA). Methods: The Sao Paulo Megacity Mental Health Survey assessed psychiatric disorders on a probabilistic sample of 5,037 adult residents in the SPMA, using the World Mental Health Survey Version of the Composite International Diagnostic Interview. Response rate was 81.3%. Results: Lifetime prevalence for any disorder was 44.8%; estimated risk at age 75 was 57.7%; comorbidity was frequent. Major depression, specific phobias and alcohol abuse were the most prevalent across disorders; anxiety disorders were the most frequent class. Early age-of-onset for phobic and impulse-control disorders and later age-of-onset for mood disorders were observed. Women were more likely to have anxiety and mood disorders, whereas men, substance use disorders. Apart from conduct disorders, more frequent in men, there were no gender differences in impulse-control disorders. There was a consistent trend of higher prevalence in the youngest cohorts. Low education level was associated to substance use disorders. Conclusions: Psychiatric disorders are highly prevalent among the general adult population in the SPMA, with frequent comorbidity, early age-of-onset for most disorders, and younger cohorts presenting higher rates of morbidity. Such scenario calls for vigorous public health action.

LALP: a language to program custom FPGA-based acceleration engines

Field-Programmable Gate Arrays (FPGAs) are becoming increasingly important in embedded and high-performance computing systems. They allow performance levels close to the ones obtained with Application-Specific Integrated Circuits, while still keeping design and implementation flexibility. However, to efficiently program FPGAs, one needs the expertise of hardware developers in order to master hardware description languages (HDLs) such as VHDL or Verilog. Attempts to furnish a high-level compilation flow (e.g., from C programs) still have to address open issues before broader efficient results can be obtained. Bearing in mind an FPGA available resources, it has been developed LALP (Language for Aggressive Loop Pipelining), a novel language to program FPGA-based accelerators, and its compilation framework, including mapping capabilities. The main ideas behind LALP are to provide a higher abstraction level than HDLs, to exploit the intrinsic parallelism of hardware resources, and to allow the programmer to control execution stages whenever the compiler techniques are unable to generate efficient implementations. Those features are particularly useful to implement loop pipelining, a well regarded technique used to accelerate computations in several application domains. This paper describes LALP, and shows how it can be used to achieve high-performance computing solutions.

Perfil da demanda por microcomputadores no Brasil: o que os microdados da POF-IBGE indicam?

Neste estudo, analisou-se a relação entre a despesa domiciliar com a compra de computadores e as características demográficas e socioeconômicas dos domicílios brasileiros. Foram utilizados os microdados de duas Pesquisas de Orçamentos Familiares (POF), elaboradas pelo Instituto Brasileiro de Geografia e Estatística (IBGE): 2002-2003 e 2008-2009. Essas bases permitiram que se utilizasse a despesa total per capita como variável definidora do poder aquisitivo do domicílio. Foi adotada uma abordagem econométrica para a natureza desse tipo de análise, isto é, o modelo de seleção de Heckman, que envolve dois estágios. No primeiro, analisaram-se os fatores associados à probabilidade de ocorrência da despesa e, no segundo, foram avaliados os fatores associados aos valores da despesa efetuada. Os principais resultados indicaram que o perfil do chefe (gênero e idade) e a composição dos domicílios e escolaridade dos moradores são fatores relevantes tanto para a decisão de gastar quanto para a decisão sobre o valor a ser gasto. A redução da elasticidade que relaciona as despesas com computador ao poder aquisitivo do domicílio (em 2002-2003 foi 0,56763, enquanto em 2008-2009 caiu para 0,41546) pode ser explicada pela queda no preço dos computadores e pelo aumento do poder de compra das famílias.

Definição de metadados para registros de áudio em repositórios digitais de acesso aberto

A sociedade atual exige inovadores ambientes de trabalho para lidar efetivamente com uma carga cada vez maior de informações heterogêneas. A produção e divulgação dos dados e novos conhecimentos também ocorrem de forma rápida e ampla. No entanto, recuperar informação relevante torna-se cada vez mais difícil, uma vez que o conhecimento humano não está mais centralizado em unidades físicas de informação e sim distribuído, inclusive em repositórios digitais. Com a diversidade de suportes existentes uma informação pode estar num livro, num artigo, num filme ou num arquivo de áudio. O objetivo deste trabalho é definir os metadados para registros de áudio em repositórios digitais de acesso aberto, garantindo que essas informações tenham maior visibilidade no extenso universo da internet. Os metadados possuem importante contribuição no registro e na futura recuperação do recurso informacional, tornando acessíveis coleções que existem apenas em formato digital. Assim, o processo de recuperação depende da qualidade do tratamento dado ao documento e da escolha e uso dos tipos de metadados. O Dublin Core (DC) é um dos esquemas de metadados mais utilizado em repositórios digitais, sendo já um padrão ISO (ISO 15836:2009). Neste trabalho foi feita a identificação e comparação dos metadados disponíveis no formato MARC 21, na metodologia LILACS e também no esquema DC, definindo-se um escopo mínimo de metadados. Para melhorar e completar a descrição dos registros desse tipo de material, que possui uma complexidade específica, também foram acrescentados novos metadados com base em estudos feitos pela Library of Congress para o desenvolvimento de sua coleção digital. O resultado do trabalho é um formulário específico para os materiais de coleções de áudio, mantendo a compatibilidade e interoperabilidade com o esquema Dublin Core. Aos elementos existentes foram agregados refinamentos como entrevistador, editor de som, áudio bits, duração e identificação do arquivo, que abrangem e melhoram os aspectos de descrição e preservação digital. O mundo está rapidamente sendo transformado pela proliferação de recursos de informação disponíveis e distribuídos pela rede de computadores com um número cada vez maior de instituições que têm desenvolvido coleções digitais. Uma das vantagens das coleções em áudio é o fato de que a linguagem utilizada na expressão oral, especialmente em entrevistas, tende a ser mais coloquial e por isso torna a informação mais acessível aos ouvintes não especializados nas disciplinas em questão e faz a ponte entre universidade e sociedade. Dar visibilidade às coleções de áudio, “spots” de rádio acessíveis que podem ser veiculados por rádios comunitárias e educativas, vai ao encontro do papel de promoção de pesquisas das instituições. Esse compartilhamento da informação contribui para a construção da cidadania e capacitação da população para participar das políticas públicas

O ciclo da comunicação científica na semiosfera

Este ensaio apresenta a construção de um objeto de pesquisa com base na teoria da semiótica da cultura. São feitas reflexões sobre os sistemas modelizantes envolvidos no ciclo da comunicação científica em grupo de pesquisa de universidade, desde a busca da informação até a publicação dos resultados dos estudos. As linguagens naturais (idiomas) e artificiais (linguagem de busca em computadores e vocabulários controlados) são identificadas. A partir disso, o objeto se delineia como o conjunto de textos da cultura e a própria semiosfera, representada pelos diálogos dos sujeitos da cultura e o processo de comunicação envolvido. Alguns desafios se apresentam, como: a necessidade de aprofundamento na teoria da semiótica da cultura, a participação do pesquisador também como sujeito da pesquisa e o trabalho com a interdisciplinaridade para estudar um objeto com as vertentes da ciência da informação, biomedicina, semiótica e outras disciplinas a elas relacionadas.

Desarrollo de códigos neutrónicos propios para la simulación del núcleo de reactores PWR

La simulación de la física del núcleo de los reactores nucleares por su complejidad requiere del uso de computadores y del software adecuado, y su evolución es ir hacía métodos y modelos de los llamados best-estimate, con el objeto de aumentar la disponibilidad de la central manteniendo los márgenes de seguridad. Para ello el Departamento de Ingeniería Nuclear (UPM), ha desarrollado el Sistema SEANAP en uso en varias centrales nucleares españolas, que realiza la simulación en 3D y con detalle de barrita combustible del quemado nominal y real del núcleo del reactor, hace el seguimiento en línea de la operación, y ayuda a la planificación óptima de las maniobras operacionales

Evaluación de competencias básicas en los grados de Informática de la UPM.

La evaluación de las competencias básicas tal y como se define en el RD 1393/2007, de 29 de octubre (BOE núm. 260, de 30 octubre 2007), por el que se establece la ordenación de las enseñanzas universitarias oficiales es una tarea que tendrán que abordar todas las universidades de cara a la posterior evaluación por la ANECA para mantener la acreditación de sus títulos de grado. En este trabajo se ilustra el protocolo que se ha diseñado y ejecutado para evaluar dichas competencias en los tres títulos de grado de la Universidad Politécnica de Madrid relacionados con la informática: Grado en Ingeniería de Computadores, Grado en Ingeniería del Software y Grado en Ingeniería Informática.

Microprocesadores y microcomputadoras

Los microcomputadores son las máquinas que han hecho de la informática algo cotidiano y no un asunto para especialistas, como hasta hace muy poco tiempo lo eran los computadores. Ahora, millones de estas máquinas se esparcen por el mundo formando parte de las actividades de cualquier sector. También, del ocio y del hogar. ¿Qué puede decirse de los microprocesadores?. Este microcircuito no está sólo dentro de cada microcomputador, sino dentro de toda máquina computadorizada, tanto si se trata de una máquina herramienta, un reloj, un instrumento médico, el tablero de control de un automóvil o cualquier otra de las muchas decenas de miles de tipos de máquinas distintas que se han creado nuevas o que han innovado su estructura y organización interna,y por tanto su funcionalidad.

Nada radicalmente nuevo

Desde el punto de vista socioeconómico, los computadores personales constituyen el fenómeno más importante de la informática en la actual década. Pero la facturación mundial de varias decenas de miles de millones de dólares sólo por estas máquinas ha convertido a la lucha por los mercados en la estrella fulgurante de esta película y desplazado muy detrás de una densa cortina de humo la realidad de los apasionantes aspectos técnicos, culturales y sociales suscitados.

Láseres de semiconductor: teoría y aplicaciones

Aunque los láseres de semiconductor constituyen la antítesis de lo que convencionalmente es la imagen de un láser, su uso y aplicaciones comienzan a estar tan extendidos que es seguro que dentro de muy pocos años el número de los que estarán en funcionamiento será superior al de todas las otras familias láser actualmente conocidas. La razón de lo anterior es que constituyen, como veremos, la base de los sistemas de comunicaciones ópticas que se están desarrollando en todo el mundo, así como de muchos sistemas de control y, posiblemente, de algunas fases de los computadores ópticos que puedan desarrollarse en el futuro. El láser de semiconductor no emite, por lo general, el típico haz casi perfectamente paralelo que se propaga en línea recta sin apenas divergencia, ni incluso puede llegar a verse, ya que, normalmente, va a trabajar en el infrarrojo. Pero a pesar de ello, o mejor dicho, gracias a ello, es la fuente luminosa idónea para trabajar en conjunción con las fibras ópticas. El desarrollo, por otra parte, de toda la tecnología microelectrónica que puede ser aplicada a él de manera inmediata, hace que no sea necesario desarrollar nuevas técnicas para obtener de él lo que se desee. Finalmente, su tamaño y consumo de potencia, hacen de él el elemento más asequible para poder ser introducido dentro de una serie de sistemas donde esos dos parámetros sean imprescindibles. Su estudio, su desarrollo y cómo utilizarlo constituyen en consecuencia, necesidades que pueden ser esenciales en múltiples ocasiones

Programación y simulación de la comunicación intercelular mediante conjugación en el simulador multicelular GRO

Los conjuntos bacterianos son sistemas dinámicos difíciles de modelar debido a que las bacterias colaboran e intercambian información entre sí. Estos microorganismos procariotas pueden tomar decisiones por mayoría e intercambiar información genética importante que, por ejemplo, las haga resistentes a un antibiótico. El proceso de conjugación consiste en el intercambio de un plásmido de una bacteria con otra, permitiendo así que se transfieran propiedades. Estudios recientes han demostrado que estos plásmidos pueden ser reprogramados artificialmente para que la bacteria que lo contenga realice una función específica [1]. Entre la multitud de aplicaciones que supone esta idea, el proyecto europeo PLASWIRES está intentando demostrar que es posible usar organismos vivos como computadores distribuidos en paralelo y plásmidos como conexión entre ellos mediante conjugación. Por tanto, mediante una correcta programación de un plásmido, se puede conseguir, por ejemplo, hacer que una colonia de bacterias haga la función de un antibiótico o detecte otros plásmidos peligrosos en bacterias virulentas. El proceso experimental para demostrar esta idea puede llegar a ser algo lento y tedioso, por lo que es necesario el uso de simuladores que predigan su comportamiento. Debido a que el proyecto PLASWIRES se basa en la conjugación bacteriana, surge la necesidad de un simulador que reproduzca esta operación. El presente trabajo surge debido a la deficiencia del simulador GRO para reproducir la conjugación. En este documento se detallan las modificaciones necesarias para que GRO pueda representar este proceso, así como analizar los datos obtenidos e intentar ajustar el modelo a los datos obtenidos por el Instituto de Biomedicina y Biotecnología de Cantabria (IBBTEC). ---ABSTRACT---Bacterial colonies are dynamical systems difficult to model because bacteria collaborate and exchange information with each other. These prokaryotic organisms can make decisions by majority and exchange important genetic information, for example, make them resistant to an antibiotic. The conjugation process is the exchange of a plasmid from one bacterium to another, allowing both to have the same properties. Recent studies have shown that these plasmids can be artificially reprogrammed to make the bacteria that contain it to perform a specific function [1]. Among the multitude of applications involved in this idea, the European project PLASWIRES is attempting to prove that it is possible to use living organisms as parallel and distributed computers with plasmids acting as connectors between them through conjugation. Thus, by properly programming a plasmid, you can get a colony of bacteria that work as an antibiotic or detect hazardous plasmids in virulent bacteria. The experimental process to prove this idea can be slow and tedious, so the use of simulators to predict their behavior is required. Since PLASWIRES project is based on bacterial conjugation, a simulator that can reproduce this operation is required. This work arises due to the absence of the conjugation process in the simulator GRO. This document details the changes made to GRO to represent this process, analyze the data and try to adjust the model to the data obtained by the Institute of Biomedicine and Biotechnology of Cantabria ( IBBTEC ). This project has two main objectives, the first is to add the functionality of intercellular communication by conjugation to the simulator GRO, and the second is to use the experimental data obtained by the IBBTEC. To do this, the following points should be followed: • Study of conjugation biology as a mechanism of intercellular communication. • Design and implementation of the algorithm that simulates conjugation. • Experimental validation and model adjust to the experimental data on rates of conjugation and bacterial growth.

Manejo de memoria en programación lógica con tabulación

Los lenguajes de programación son el idioma que los programadores usamos para comunicar a los computadores qué queremos que hagan. Desde el lenguaje ensamblador, que traduce una a una las instrucciones que interpreta un computador hasta lenguajes de alto nivel, se ha buscado desarrollar lenguajes más cercanos a la forma de pensar y expresarse de los humanos. Los lenguajes de programación lógicos como Prolog utilizan a su vez el lenguaje de la lógica de 1er orden de modo que el programador puede expresar las premisas del problema que se quiere resolver sin preocuparse del cómo se va a resolver dicho problema. La resolución del problema se equipara a encontrar una deducción del objetivo a alcanzar a partir de las premisas y equivale a lo que entendemos por la ejecución de un programa. Ciao es una implementación de Prolog (http://www.ciao-lang.org) y utiliza el método de resolución SLD, que realiza el recorrido de los árboles de decisión en profundidad(depth-first) lo que puede derivar en la ejecución de una rama de busqueda infinita (en un bucle infinito) sin llegar a dar respuestas. Ciao, al ser un sistema modular, permite la utilización de extensiones para implementar estrategias de resolución alternativas como la tabulación (OLDT). La tabulación es un método alternativo que se basa en memorizar las llamadas realizadas y sus respuestas para no repetir llamadas y poder usar las respuestas sin recomputar las llamadas. Algunos programas que con SLD entran en un bucle infinito, gracias a la tabulación dán todas las respuestas y termina. El modulo tabling es una implementación de tabulación mediante el algoritmo CHAT. Esta implementación es una versión beta que no tiene implementado un manejador de memoria. Entendemos que la gestión de memoria en el módulo de tabling tiene gran importancia, dado que la resolución con tabulación permite reducir el tiempo de computación (al no repetir llamadas), aumentando los requerimientos de memoria (para guardar las llamadas y las respuestas). Por lo tanto, el objetivo de este trabajo es implementar un mecanismo de gestión de la memoria en Ciao con el módulo tabling cargado. Para ello se ha realizado la implementación de: Un mecanismo de captura de errores que: detecta cuando el computador se queda sin memoria y activa la reinicialización del sitema. Un procedimiento que ajusta los punteros del modulo de tabling que apuntan a la WAM tras un proceso de realojo de algunas de las áreas de memoria de la WAM. Un gestor de memoria del modulo de tabling que detecta c realizar una ampliación de las áreas de memoria del modulo de tabling, realiza la solicitud de más memoria y realiza el ajuste de los punteros. Para ayudar al lector no familiarizado con este tema, describimos los datos que Ciao y el módulo de tabling alojan en las áreas de memoria dinámicas que queremos gestionar. Los casos de pruebas desarrollados para evaluar la implementación del gestor de memoria, ponen de manifiesto que: Disponer de un gestor de memoria dinámica permite la ejecución de programas en un mayor número de casos. La política de gestión de memoria incide en la velocidad de ejecución de los programas. ---ABSTRACT---Programming languages are the language that programmers use in order to communicate to computers what we want them to do. Starting from the assembly language, which translates one by one the instructions to the computer, and arriving to highly complex languages, programmers have tried to develop programming languages that resemble more closely the way of thinking and communicating of human beings. Logical programming languages, such as Prolog, use the language of logic of the first order so that programmers can express the premise of the problem that they want to solve without having to solve the problem itself. The solution to the problem is equal to finding a deduction of the objective to reach starting from the premises and corresponds to what is usually meant as the execution of a program. Ciao is an implementation of Prolog (http://www.ciao-lang.org) and uses the method of resolution SLD that carries out the path of the decision trees in depth (depth-frist). This can cause the execution of an infinite searching branch (an infinite loop) without getting to an answer. Since Ciao is a modular system, it allows the use of extensions to implement alternative resolution strategies, such as tabulation (OLDT). Tabulation is an alternative method that is based on the memorization of executions and their answers, in order to avoid the repetition of executions and to be able to use the answers without reexecutions. Some programs that get into an infinite loop with SLD are able to give all the answers and to finish thanks to tabulation. The tabling package is an implementation of tabulation through the algorithm CHAT. This implementation is a beta version which does not present a memory handler. The management of memory in the tabling package is highly important, since the solution with tabulation allows to reduce the system time (because it does not repeat executions) and increases the memory requirements (in order to save executions and answers). Therefore, the objective of this work is to implement a memory management mechanism in Ciao with the tabling package loaded. To achieve this goal, the following implementation were made: An error detection system that reveals when the computer is left without memory and activate the reinizialitation of the system. A procedure that adjusts the pointers of the tabling package which points to the WAM after a process of realloc of some of the WAM memory stacks. A memory manager of the tabling package that detects when it is necessary to expand the memory stacks of the tabling package, requests more memory, and adjusts the pointers. In order to help the readers who are not familiar with this topic, we described the data which Ciao and the tabling package host in the dynamic memory stacks that we want to manage. The test cases developed to evaluate the implementation of the memory manager show that: A manager for the dynamic memory allows the execution of programs in a larger number of cases. Memory management policy influences the program execution speed.

Estudio comparativo y completo de la oferta de software libre para centros de educación primaria

La Organización de Estados Iberoamericanos para la Educación, la Ciencia y la Cultura (OEI) pretende llevar energía solar y acceso a internet a más de 66.000 escuelas en Iberoamérica, la mayor parte de ellas ubicadas en zonas rurales y de difícil acceso. Con el proyecto “Luces para aprender” se quiere reducir la brecha digital y poner fin al aislamiento de las comunidades rurales, facilitando su acceso a las tecnologías de la comunicación, con el fin de favorecer su desarrollo educativo, económico, social y cultural. La OEI que coordina el proyecto “Luces para Aprender” se dirigió a TEDECO (Tecnología para el Desarrollo y la Cooperación), que es un grupo de cooperación al desarrollo de la Facultad de Informática de la UPM, para solicitar asesoramiento en la parte software a instalar en el proyecto. Surge la necesidad de dotar de sistema operativo a los computadores que tendrán las escuelas beneficiarias de este proyecto. Por lo tanto, se ha decido crear un sistema operativo que consiste en una distribución GNU/Linux que se adapte a las necesidades de dicho proyecto. Esta distribución va acompañada de un manual de usuario y una guía de instalación para facilitar la implantación en los respectivos centros. Se pretende que la distribución esté disponible en un repositorio web y además esté basada en la filosofía de código libre y abierto. ---ABSTRACT---The OEI (Organization of Ibero-American States for Education, Science and Culture) hopes to provide solar energy and Internet access to more than 66.000 schools in Ibero-America, most of them, located in rural zones and of difficult access. With the project “Luces para aprender” (lights to learn), they would like to reduce the digital gap and put an end to the deprivation of the rural communities, supplying access to the Information Technologies, with the aim of contributing to its educative, economic, social and cultural development. The OEI that coordinates "Luces para Apreder" project, requested TEDECO (Technology for Development and Cooperation), which is a group of development cooperation of Facultad de Informática of the UPM, to advice in the part of software installation in the project. There is a need for an operative system that the computers will have in schools that will benefit from that project. Therefore, it has been decided to create an operative system that consists of a GNU/Linux distribution adapted to the needs of the project. That distribution will be accompanied by a user’s manual and an installation guide to help the implementing in the centres. The distribution is supposed to be available in a web, and moreover, will be based on the philosophy of free and opened codes.

Modelo de computación conexionista inspirado en las redes de procesadores evolutivos y su aprendizaje

La informática teórica es una disciplina básica ya que la mayoría de los avances en informática se sustentan en un sólido resultado de esa materia. En los últimos a~nos debido tanto al incremento de la potencia de los ordenadores, como a la cercanía del límite físico en la miniaturización de los componentes electrónicos, resurge el interés por modelos formales de computación alternativos a la arquitectura clásica de von Neumann. Muchos de estos modelos se inspiran en la forma en la que la naturaleza resuelve eficientemente problemas muy complejos. La mayoría son computacionalmente completos e intrínsecamente paralelos. Por este motivo se les está llegando a considerar como nuevos paradigmas de computación (computación natural). Se dispone, por tanto, de un abanico de arquitecturas abstractas tan potentes como los computadores convencionales y, a veces, más eficientes: alguna de ellas mejora el rendimiento, al menos temporal, de problemas NPcompletos proporcionando costes no exponenciales. La representación formal de las redes de procesadores evolutivos requiere de construcciones, tanto independientes, como dependientes del contexto, dicho de otro modo, en general una representación formal completa de un NEP implica restricciones, tanto sintácticas, como semánticas, es decir, que muchas representaciones aparentemente (sintácticamente) correctas de casos particulares de estos dispositivos no tendrían sentido porque podrían no cumplir otras restricciones semánticas. La aplicación de evolución gramatical semántica a los NEPs pasa por la elección de un subconjunto de ellos entre los que buscar los que solucionen un problema concreto. En este trabajo se ha realizado un estudio sobre un modelo inspirado en la biología celular denominado redes de procesadores evolutivos [55, 53], esto es, redes cuyos nodos son procesadores muy simples capaces de realizar únicamente un tipo de mutación puntual (inserción, borrado o sustitución de un símbolo). Estos nodos están asociados con un filtro que está definido por alguna condición de contexto aleatorio o de pertenencia. Las redes están formadas a lo sumo de seis nodos y, teniendo los filtros definidos por una pertenencia a lenguajes regulares, son capaces de generar todos los lenguajes enumerables recursivos independientemente del grafo subyacente. Este resultado no es sorprendente ya que semejantes resultados han sido documentados en la literatura. Si se consideran redes con nodos y filtros definidos por contextos aleatorios {que parecen estar más cerca a las implementaciones biológicas{ entonces se pueden generar lenguajes más complejos como los lenguajes no independientes del contexto. Sin embargo, estos mecanismos tan simples son capaces de resolver problemas complejos en tiempo polinomial. Se ha presentado una solución lineal para un problema NP-completo, el problema de los 3-colores. Como primer aporte significativo se ha propuesto una nueva dinámica de las redes de procesadores evolutivos con un comportamiento no determinista y masivamente paralelo [55], y por tanto todo el trabajo de investigación en el área de la redes de procesadores se puede trasladar a las redes masivamente paralelas. Por ejemplo, las redes masivamente paralelas se pueden modificar de acuerdo a determinadas reglas para mover los filtros hacia las conexiones. Cada conexión se ve como un canal bidireccional de manera que los filtros de entrada y salida coinciden. A pesar de esto, estas redes son computacionalmente completas. Se pueden también implementar otro tipo de reglas para extender este modelo computacional. Se reemplazan las mutaciones puntuales asociadas a cada nodo por la operación de splicing. Este nuevo tipo de procesador se denomina procesador splicing. Este modelo computacional de Red de procesadores con splicing ANSP es semejante en cierto modo a los sistemas distribuidos en tubos de ensayo basados en splicing. Además, se ha definido un nuevo modelo [56] {Redes de procesadores evolutivos con filtros en las conexiones{ , en el cual los procesadores tan solo tienen reglas y los filtros se han trasladado a las conexiones. Dicho modelo es equivalente, bajo determinadas circunstancias, a las redes de procesadores evolutivos clásicas. Sin dichas restricciones el modelo propuesto es un superconjunto de los NEPs clásicos. La principal ventaja de mover los filtros a las conexiones radica en la simplicidad de la modelización. Otras aportaciones de este trabajo ha sido el dise~no de un simulador en Java [54, 52] para las redes de procesadores evolutivos propuestas en esta Tesis. Sobre el término "procesador evolutivo" empleado en esta Tesis, el proceso computacional descrito aquí no es exactamente un proceso evolutivo en el sentido Darwiniano. Pero las operaciones de reescritura que se han considerado pueden interpretarse como mutaciones y los procesos de filtrado se podrían ver como procesos de selección. Además, este trabajo no abarca la posible implementación biológica de estas redes, a pesar de ser de gran importancia. A lo largo de esta tesis se ha tomado como definición de la medida de complejidad para los ANSP, una que denotaremos como tama~no (considerando tama~no como el número de nodos del grafo subyacente). Se ha mostrado que cualquier lenguaje enumerable recursivo L puede ser aceptado por un ANSP en el cual el número de procesadores está linealmente acotado por la cardinalidad del alfabeto de la cinta de una máquina de Turing que reconoce dicho lenguaje L. Siguiendo el concepto de ANSP universales introducido por Manea [65], se ha demostrado que un ANSP con una estructura de grafo fija puede aceptar cualquier lenguaje enumerable recursivo. Un ANSP se puede considerar como un ente capaz de resolver problemas, además de tener otra propiedad relevante desde el punto de vista práctico: Se puede definir un ANSP universal como una subred, donde solo una cantidad limitada de parámetros es dependiente del lenguaje. La anterior característica se puede interpretar como un método para resolver cualquier problema NP en tiempo polinomial empleando un ANSP de tama~no constante, concretamente treinta y uno. Esto significa que la solución de cualquier problema NP es uniforme en el sentido de que la red, exceptuando la subred universal, se puede ver como un programa; adaptándolo a la instancia del problema a resolver, se escogerín los filtros y las reglas que no pertenecen a la subred universal. Un problema interesante desde nuestro punto de vista es el que hace referencia a como elegir el tama~no optimo de esta red.---ABSTRACT---This thesis deals with the recent research works in the area of Natural Computing {bio-inspired models{, more precisely Networks of Evolutionary Processors first developed by Victor Mitrana and they are based on P Systems whose father is Georghe Paun. In these models, they are a set of processors connected in an underlying undirected graph, such processors have an object multiset (strings) and a set of rules, named evolution rules, that transform objects inside processors[55, 53],. These objects can be sent/received using graph connections provided they accomplish constraints defined at input and output filters processors have. This symbolic model, non deterministic one (processors are not synchronized) and massive parallel one[55] (all rules can be applied in one computational step) has some important properties regarding solution of NP-problems in lineal time and of course, lineal resources. There are a great number of variants such as hybrid networks, splicing processors, etc. that provide the model a computational power equivalent to Turing machines. The origin of networks of evolutionary processors (NEP for short) is a basic architecture for parallel and distributed symbolic processing, related to the Connection Machine as well as the Logic Flow paradigm, which consists of several processors, each of them being placed in a node of a virtual complete graph, which are able to handle data associated with the respective node. All the nodes send simultaneously their data and the receiving nodes handle also simultaneously all the arriving messages, according to some strategies. In a series of papers one considers that each node may be viewed as a cell having genetic information encoded in DNA sequences which may evolve by local evolutionary events, that is point mutations. Each node is specialized just for one of these evolutionary operations. Furthermore, the data in each node is organized in the form of multisets of words (each word appears in an arbitrarily large number of copies), and all the copies are processed in parallel such that all the possible events that can take place do actually take place. Obviously, the computational process just described is not exactly an evolutionary process in the Darwinian sense. But the rewriting operations we have considered might be interpreted as mutations and the filtering process might be viewed as a selection process. Recombination is missing but it was asserted that evolutionary and functional relationships between genes can be captured by taking only local mutations into consideration. It is clear that filters associated with each node allow a strong control of the computation. Indeed, every node has an input and output filter; two nodes can exchange data if it passes the output filter of the sender and the input filter of the receiver. Moreover, if some data is sent out by some node and not able to enter any node, then it is lost. In this paper we simplify the ANSP model considered in by moving the filters from the nodes to the edges. Each edge is viewed as a two-way channel such that the input and output filters coincide. Clearly, the possibility of controlling the computation in such networks seems to be diminished. For instance, there is no possibility to loose data during the communication steps. In spite of this and of the fact that splicing is not a powerful operation (remember that splicing systems generates only regular languages) we prove here that these devices are computationally complete. As a consequence, we propose characterizations of two complexity classes, namely NP and PSPACE, in terms of accepting networks of restricted splicing processors with filtered connections. We proposed a uniform linear time solution to SAT based on ANSPFCs with linearly bounded resources. This solution should be understood correctly: we do not solve SAT in linear time and space. Since any word and auxiliary word appears in an arbitrarily large number of copies, one can generate in linear time, by parallelism and communication, an exponential number of words each of them having an exponential number of copies. However, this does not seem to be a major drawback since by PCR (Polymerase Chain Reaction) one can generate an exponential number of identical DNA molecules in a linear number of reactions. It is worth mentioning that the ANSPFC constructed above remains unchanged for any instance with the same number of variables. Therefore, the solution is uniform in the sense that the network, excepting the input and output nodes, may be viewed as a program according to the number of variables, we choose the filters, the splicing words and the rules, then we assign all possible values to the variables, and compute the formula.We proved that ANSP are computationally complete. Do the ANSPFC remain still computationally complete? If this is not the case, what other problems can be eficiently solved by these ANSPFCs? Moreover, the complexity class NP is exactly the class of all languages decided by ANSP in polynomial time. Can NP be characterized in a similar way with ANSPFCs?