Sized Type Analysis for Logic Programs (Technical Communication)

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.

Técnicas avanzadas de diseño y análisis de rendimiento en despliegues inalámbricos en interiores

En los últimos tiempos, el tráfico generado por los usuarios de redes móviles ha crecido de manera muy notable, y se prevé que dicho crecimiento se mantenga de manera continuada a lo largo de los próximos años. El tráfico gestionado por redes móviles se ha multiplicado por cinco entre los años 2010 y 2013, y las predicciones señalan un aumento de diez veces entre 2013 y 2019. De este tráfico que deben gestionar las redes móviles, una gran parte se genera en el interior de edificios. En la actualidad, éste oscila entre el 70% y el 80% del tráfico móvil total, y este porcentaje se prevé que aumente hasta cerca del 95% en los próximos años. En esta situación, con el tráfico móvil aumentando de manera exponencial, especialmente en interiores, el despliegue de soluciones específicas para estos entornos se antoja imprescindible para evitar situaciones de saturación constante de las redes móviles. Desde el punto de vista de los operadores móviles, estas soluciones permitirán limitar los problemas de cobertura, mejorar la eficiencia del uso de recursos radio y reducir el coste de las infraestructuras. Asimismo, desde el punto de vista de los usuarios, estos despliegues específicos en interiores permitirán suministrar de manera continua altas tasas de transferencia y satisfacer los altos requisitos de calidad de servicio que demandan los servicios en tiempo real. La complejidad de las actuaciones a realizar para llevar a cabo el despliegue de soluciones específicas en interiores varía considerablemente según el tipo de entorno al que están destinadas. Por un lado, las soluciones en escenarios de tipo residencial se caracterizan por despliegues masivos de transmisores realizados por los propios usuarios. De esta manera, no hay posibilidad de realizar ningún tipo de planificación previa que permita la optimización del rendimiento y solo se puede recurrir, para la mejora de éste, a métodos de autoconfiguración y autooptimización. Por otro lado, las soluciones en entornos empresariales se caracterizan por la necesidad de realizar una labor de diseño y planificación previa, cuya dificultad estará asociada a las dimensiones del escenario de despliegue y al número de transmisores necesarias. De esta labor de diseño y de la configuración de los elementos involucrados en la solución desplegada dependerá el funcionamiento adecuado de la red, el rendimiento conseguido y la calidad del servicio que se podrá suministrar a través de ésta. En esta Tesis Doctoral se abordan dos de los problemas principales en el ámbito del despliegue de soluciones específicas de interiores. El primero de ellos es la dificultad para estimar la capacidad y el rendimiento que puede garantizarse mediante soluciones autodesplegadas, y el segundo es la complejidad de diseñar y configurar despliegues de soluciones específicas de interiores en entornos empresariales que requieran un número de transmisores considerable. En el ámbito de los autodespliegues en escenarios residenciales, las principales contribuciones originales de esta Tesis Doctoral se centran en el diseño, desarrollo e implementación de procedimientos que permitan de manera sencilla y precisa la estimación de la capacidad y el rendimiento en autodespliegues. Por otro lado, en el ámbito de los despliegues en escenarios empresariales, las aportaciones originales de esta Tesis consisten en el desarrollo de nuevas técnicas que permitan el diseño automático de soluciones específicas de interiores en estos entornos. Los resultados obtenidos han permitido la creación de herramientas específicas para el análisis del rendimiento de autodespliegues en escenarios residenciales reales y para el diseño y configuración de despliegues en escenarios empresariales. Estas herramientas permiten sistematizar la aplicación práctica de las contribuciones de la presente Tesis Doctoral. ABSTRACT In recent times, the traffic generated by users of mobile networks has grown very significantly, and this increase is expected to continue steadily over the next few years. Traffic carried by mobile networks has increased fivefold between 2010 and 2013, and forecasts indicate a tenfold increase between 2013 and 2019. Furthermore, a great part of this traffic is generated inside buildings. Currently, between 70% and 80% of mobile traffic occurs inside buildings, and this percentage is expected to increase to about 95% in the coming years. In this situation, with mobile traffic growing exponentially, especially indoors, the deployment of specific solutions for these environments can be essential to avoid a constant saturation of mobile networks. On the one hand, from the point of view of mobile operators, these solutions will help to reduce the problems of coverage, improve the efficiency of radio resource usage and reduce the cost of infrastructures. Also, from the point of view of users, these specific indoor deployments can both guarantee high data transfer rates and meet the high quality of service requirements associated with real-time services. The complexity of the actions required to carry out the deployment of specific solutions indoors varies considerably depending on the type of scenario they are conceived to. On the one hand, residential scenarios are characterized by massive deployments of base stations made by the user, so there is no possibility of any prior planning. In this case only self-configuration, selfoptimization and self-healing methods can be considered for performance optimization. On the other hand, specific in-building solutions in enterprise environments requires a previous design and planning phase, whose difficulty is closely associated with the size of the deployment scenario and the number of base stations required. The design and configuration of the elements included in the solution will determine its performance and the quality of service that can be guaranteed. The objective of the present Thesis is to address two of the main issues related to specific indoor solutions, such as the difficulty of assessing the capacity and the performance which can be guaranteed by means of self-deployments and the complexity of the design and configuration of deployments in enterprise environments requiring a large number of base stations. The main contribution of this thesis consists of the development of techniques and simple tools for design and performance analysis of indoor wireless networks deployments. The main results include the development of procedures for assessing the capacity and performance of self-deployments in residential scenarios, the performance analysis of real residential self-deployments using the proposed procedures and the development of techniques for the automatic design of wireless networks in enterprise environments. The results obtained have allowed the creation of specific software tools for both the performance analysis of self-deployments and the design and deployment of in-building solutions in enterprise scenarios. These software tools are conceived to systematize the practical application of the contributions of this Thesis.

Sistemas web con alta disponibilidad en cloud

Este trabajo contiene el estudio de las tecnologías que se están usando actualmente en web, tratando de explicar cuáles son sus principales componentes, su objetivo y funcionamiento. En base a un supuesto teórico de un montaje para un servicio web con un número muy alto de usuarios, y basándose en las tecnologías estudiadas, se propone un posible montaje completo de un sistema, que sería capaz de gestionar correctamente todas las peticiones, evitando fallos y tiempos de indisponibilidad. Se a~nade un análisis teórico de los costes deribados de la implantación del sistema, comparándolo con un sistema web convencional, y otro análisis con el funcionamiento de una caché y los benéficos, en carga, derivados de su uso.---ABSTRACT---This work contains a study about new web technologies. Its objective is to explain the web technologies componentes with their particular usage and performance. Based on a theorical postulation about a preparation of a web service with a large number of users, and working with the studied technologies, a complete system assembling is proposed. This system will be able to attend all the incoming requests, without failures nor downtimes. It is attached a theorical study of the derivative costs associated to the system implementation, compared to a traditional one. In addition, another study is included with the work ow of a cache and the benefits derived of its usage in work terms.

Investigación sobre fermentaciones metánicas de desechos estacionales

En el campo agrícola se producen una serie de desechos orgánicos, que por un lado representan serios problemas de contaminación ambiental y por otro el desperdicio de valores energéticos importantes. Es decir una acción contraria a la sostenibilidad que debe buscarse en este siglo XXI. Entre estos productos agrícolas pueden citarse la pulpa de café, residuos herbáceos, bagazo de caña y la fracción insoluble de estiércol de ganado porcino conocida como cerdaza. Un problema añadido para dar solución adecuada es la disponibilidad de estos solo en cortas épocas del año. Todo lo anterior ha sido el origen de la presente investigación, para dar solución adecuada tanto en el aprovechamiento de biogás como en la reducción de la contaminación. La investigación descrita en este documento contempla el desarrollo de los siguientes aspectos: 1) Caracterización y problemática de cada uno de los productos señalados, 2) la solución al problema mediante el proceso de digestión anaerobia con fases separadas con el aprovechamiento del biogás generados y 3) recomendaciones para el arranque del proceso de digestión anaerobia y su mantenimiento en una alternancia de los productos citados. En la primera etapa de la fase experimental se estimó el rendimiento específico de metano para los diferentes sustratos, utilizando reactores batch configurados en una y dos fases concluyendo que la digestión anaerobia en dos fases presenta diferentes ventajas sobre la digestión monoetapa. En general se obtuvo un mayor rendimiento en la producción de metano, una reducción en los tiempos de retención, mayor eficiencia en la eliminación de los sólidos volátiles agregados, y una mayor estabilidad en el proceso reflejado en el mantenimiento de valores de pH en los rangos de operación recomendados. Seguidamente, al comparar dos procesos para la puesta en marcha de digestores metanogénicos operados en forma continua, se concluye que las variables determinantes en la estabilidad del sistema son la alcalinidad total presente en el digestor, el establecimiento de la población de microorganismos y la carga orgánica aplicada. Las dos primeras están determinadas por la calidad y proporción del inóculo suministrado al inicio del proceso. La alternación de sustratos suministrados al sistema de digestión en dos fases, permitió determinar el impacto sobre el desempeño del mismo, registrando una reducción en la producción de biogás, la riqueza de metano y la eficiencia de eliminación de sólidos volátiles durante los primeros días de operación luego del cambio de sustrato. Este periodo corresponde al proceso de aclimatación de los microorganismos el cual requirió de 20 días para asimilar los componentes del nuevo sustrato. Finalmente, entre los sustratos analizados, la menor carga orgánica de operación para mantener la operación del sistema en continuo corresponde a la pulpa de café con 0.1 kg SV/m3. La composición de este sustrato favorece la rápida acumulación de acidez volátil en el sistema, proporcionando una tendencia a la acidificación. Sin embargo, al controlar las cargas orgánicas volumétricas, el sistema permaneció operando sin necesidad de adición de alcalinizantes. La aplicación de los resultados de la presente investigación a la problemática de residuos de café es alentadora, comprobando que el sistema puede ser operado en continuo alternando residuos boreales y pulpa de café, ambos sustratos disponibles en las plantas de procesamiento de la cereza de café. ABSTRACT In the agricultural field there are series of organic wastes, which in one hand are the source of serious problems of environmental pollution and in the other, they represent a residue that could be used as a feedstock with significant energy values. These actions are contrary to efforts towards sustainability, which should be a priority in this century. Among agricultural residues with significant abundance, the coffee pulp, herbaceous waste, sugarcane bagasse and the insoluble fraction of pig manure can be mentioned. An added problem to the development of appropriate treatment systems, which provides a solution to the disposal of such wastes, is the limited availability of these feedstocks only in short seasons. These arguments have been the source of our research, in order to provide properly measures to biogas usage and pollution reduction. The research presented in this document includes the approaches to the following aspects. 1) Characterization and problems regarding the selected feedstocks 2) the solution to the problem by anaerobic digestion process with separate phases and 3) recommendations for starting the process of anaerobic digestion and its maintenance with alternation of the products listed For the first stage of the experimental phase, the specific methane yield of the selected feedstocks was estimated using batch reactors configured in one and two phases. It was concluded that two-phase anaerobic digestion offered distinct advantages over the single-stage digestion. In general a higher methane production yields, lower retention times, higher efficiency in volatile solids removal, and increased stability among the process were obtained. When comparing two processes for starting up methanogenic digesters, it is concluded that the variables that determine the stability of the system are the total alkalinity in the digester, the establishment of the population of microorganisms and the organic load. The first variables are influenced by the proportion and quality of the inoculum supplied at the beginning of the process. The alternation of substrates gave as a result a negative impact on system performance, recording a reduction on biogas production, the methane concentration and the efficiency of volatile solids removal. The situation was observed during the first days of operation after the change of feeding. This period corresponds to the process of acclimatization of the microorganisms which required 20 days to assimilate new substrate components. Finally, among substrates studied, the lowest organic load applied to maintain a continuous operation of the system, corresponds to the coffee pulp with 0.1 kg VS / m3. The composition of this substrate promotes a rapid accumulation of volatile acidity within the system, providing a tendency to acidification. However, by controlling organic loads, the operating system remained stable without addition of alkalizing components. The application of the results of this research to the problem of coffee waste is promising, proving that an anaerobic system can be operated continuously by alternating boreal waste and coffee pulp, both substrates available in coffee processing plants.

Improving flexible databases searches using machine learning

El objetivo principal de este proyecto ha sido introducir aprendizaje automático en la aplicación FleSe. FleSe es una aplicación web que permite realizar consultas borrosas sobre bases de datos nítidos. Para llevar a cabo esta función la aplicación utiliza unos criterios para definir los conceptos borrosos usados para llevar a cabo las consultas. FleSe además permite que el usuario cambie estas personalizaciones. Es aquí donde introduciremos el aprendizaje automático, de tal manera que los criterios por defecto cambien y aprendan en función de las personalizaciones que van realizando los usuarios. Los objetivos secundarios han sido familiarizarse con el desarrollo y diseño web, al igual que recordar y ampliar el conocimiento sobre lógica borrosa y el lenguaje de programación lógica Ciao-Prolog. A lo largo de la realización del proyecto y sobre todo después del estudio de los resultados se demuestra que la agrupación de los usuarios marca la diferencia con la última versión de la aplicación. Esto se basa en la siguiente idea, podemos usar un algoritmo de aprendizaje automático sobre las personalizaciones de los criterios de todos los usuarios, pero la gran diversidad de opiniones de los usuarios puede llevar al algoritmo a concluir criterios erróneos o no representativos. Para solucionar este problema agrupamos a los usuarios intentando que cada grupo tengan la misma opinión o mismo criterio sobre el concepto. Y después de haber realizado las agrupaciones usar el algoritmo de aprendizaje automático para precisar el criterio por defecto de cada grupo de usuarios. Como posibles mejoras para futuras versiones de la aplicación FleSe sería un mejor control y manejo del ejecutable plserver. Este archivo se encarga de permitir a la aplicación web usar el lenguaje de programación lógica Ciao-Prolog para llevar a cabo la lógica borrosa relacionada con las consultas. Uno de los problemas más importantes que ofrece plserver es que bloquea el hilo de ejecución al intentar cargar un archivo con errores y en caso de ocurrir repetidas veces bloquea todas las peticiones siguientes bloqueando la aplicación. Pensando en los usuarios y posibles clientes, sería también importante permitir que FleSe trabajase con bases de datos de SQL en vez de almacenar la base de datos en los archivos de Prolog. Otra posible mejora basarse en distintas características a la hora de agrupar los usuarios dependiendo de los conceptos borrosos que se van ha utilizar en las consultas. Con esto se conseguiría que para cada concepto borroso, se generasen distintos grupos de usuarios, los cuales tendrían opiniones distintas sobre el concepto en cuestión. Así se generarían criterios por defecto más precisos para cada usuario y cada concepto borroso.---ABSTRACT---The main objective of this project has been to introduce machine learning in the application FleSe. FleSe is a web application that makes fuzzy queries over databases with precise information, using defined criteria to define the fuzzy concepts used by the queries. The application allows the users to change and custom these criteria. On this point is where the machine learning would be introduced, so FleSe learn from every new user customization of the criteria in order to generate a new default value of it. The secondary objectives of this project were get familiar with web development and web design in order to understand the how the application works, as well as refresh and improve the knowledge about fuzzy logic and logic programing. During the realization of the project and after the study of the results, I realized that clustering the users in different groups makes the difference between this new version of the application and the previous. This conclusion follows the next idea, we can use an algorithm to introduce machine learning over the criteria that people have, but the problem is the diversity of opinions and judgements that exists, making impossible to generate a unique correct criteria for all the users. In order to solve this problem, before using the machine learning methods, we cluster the users in order to make groups that have the same opinion, and afterwards, use the machine learning methods to precise the default criteria of each users group. The future improvements that could be important for the next versions of FleSe will be to control better the behaviour of the plserver file, that cost many troubles at the beginning of this project and it also generate important errors in the previous version. The file plserver allows the web application to use Ciao-Prolog, a logic programming language that control and manage all the fuzzy logic. One of the main problems with plserver is that when the user uploads a file with errors, it will block the thread and when this happens multiple times it will start blocking all the requests. Oriented to the customer, would be important as well to allow FleSe to manage and work with SQL databases instead of store the data in the Prolog files. Another possible improvement would that the cluster algorithm would be based on different criteria depending on the fuzzy concepts that the selected Prolog file have. This will generate more meaningful clusters, and therefore, the default criteria offered to the users will be more precise.

Multiple feature points representation in target localization of wireless visual sensor networks

This paper discusses the target localization problem in wireless visual sensor networks. Additive noises and measurement errors will affect the accuracy of target localization when the visual nodes are equipped with low-resolution cameras. In the goal of improving the accuracy of target localization without prior knowledge of the target, each node extracts multiple feature points from images to represent the target at the sensor node level. A statistical method is presented to match the most correlated feature point pair for merging the position information of different sensor nodes at the base station. Besides, in the case that more than one target exists in the field of interest, a scheme for locating multiple targets is provided. Simulation results show that, our proposed method has desirable performance in improving the accuracy of locating single target or multiple targets. Results also show that the proposed method has a better trade-off between camera node usage and localization accuracy.

Pavimentos urbanos : criterios para su uso y diseño

La necesidad creciente del ciudadano por recuperar las relaciones con su entorno en busca de un cambio que mejore su calidad de vida, hace que nos replanteemos las ciudades y los elementos que la componen. La presente investigación se centra en los pavimentos urbanos como elemento principal de conexión entre el ciudadano y su entorno, de generación del paisaje urbano. El paisaje urbano nos ofrece el pavimento como parte exterior y visible de su piel, la epidermis, en la que se apoya y desarrolla toda la actividad de la ciudad, dando forma e influyendo en la calidad del espacio Los pavimentos urbanos deben permitir la utilización y el uso de la vía pública exterior con total seguridad y confort para el ciudadano. El objetivo principal de la presente investigación es poder establecer criterios de diseño y uso en los pavimentos urbanos, atendiendo a los parámetros funcionales (estudio de la marcha humana: normal y patológica, ergonomía, antropometría, biomecánica) y formales o de diseño (relacionados con la dimensión, la forma, el color, la textura o las juntas, la usabilidad, durabilidad, desgaste). Se añaden factores externos como contaminantes, lugar, usos, climatología. La normativa existente, tanto a nivel nacional como internacional, no establece un nivel de seguridad para los pavimentos exteriores. La situación se agrava con la existencia de una variedad de métodos de ensayos y de directivas europeas, no consiguiendo llegar a un consenso en la designación del método de ensayo más adecuado al tipo de material y uso. La tesis concluye que se deben tener en cuenta las necesidades del ciudadano. Seleccionar el material adecuado al lugar y buscar las características adecuadas del material en las condiciones de uso previstas. Conocer el lugar y el uso al que se destina de forma que definamos las características fundamentales que se mantienen inalterables durante un periodo de tiempo razonable ABSTRACT The increasing need for citizens to recover their relationship with their environment as they seek to improve quality of life has made us reconsider cities and the elements that constitute them. This piece of research is focused on urban pavements as an essential element of connection between the citizen and their environment in the urban area. The urban area offers pavements as an external and visible part of its skin, its epidermis, upon which all activity is supported and carried out, giving shape and influencing in the quality of space. Citizens should be allowed to use urban pavements on public roads with total safety and comfort. The main objective of this research is to be able to establish criteria for the design and use of urban pavements, according to both functional parameters (study of human walking – normal and pathological, ergonometric, anthropometric, and biomechanically) as well as formal or design parameters (related to size, shape, colour, texture, joinings, usability, durability and resilience). Further external considerations are taken into account such as pollution, location, use and climate. Current regulations, both national and internationally, do not establish a standard degree of safety for exterior pavements. The situation is complicated further by the existence of a number of test methods and European directives, that do not reach a consensus on the most appropriate test methods on usage and materials. The thesis concludes that the focus should be citizen-centric. Materials should be chosen according to how appropriate they are for the location and the designated kind of usage. Understanding and knowing the site and the proposed kind of use are of fundamental necessity when defining the characteristics that are unchanging over a reasonable period of time.

O DINHEIRO E O SAGRADO Uma leitura das interfaces de fenômenos culturais, religiosos e econômicos e de seus reflexos existenciais, à luz das Ciências Sociais e da Psicologia Analítica

Esta tese é o resultado de uma pesquisa sobre o uso e a influência do dinheiro no que tange às questões existenciais, no contexto capitalista, ligadas ao trinômio: saúde, amor e espiritualidade. Para isso, foram analisados vários tipos de vínculo, afetivos ou não, existentes nas relações humanas, no âmbito da família, do mercado e do Estado, convergindo para a busca do sagrado que dá sentido e significado existenciais. O eixo teórico se localiza em uma interface entre as Ciências Sociais e a Psicologia Analítica, de Carl Gustav Jung (1875-1961), que expressa em sua obra a necessidade humana de encontrar a realização do ser pela conquista consciente de um estado de integração evolutiva. Esta dimensão integral existe quando é realizada a unificação dos vários aspectos do eu com o inconsciente, expressos teleologicamente no processo de individuação. O resultado da evolução científica e tecnológica, acrescido pela supremacia do mercado, abrange praticamente todas as esferas da vida humana, imprimindo uma importância excessiva ao dinheiro. Por exemplo, até o campo religioso foi invadido pela lógica monetária, que se instalou impondo uma atitude monetarizada nas práticas e ritos religiosos, como ocorre em algumas igrejas neopentecostais. Por sua vez, a supervalorização do dinheiro contribui para um processo que combina dessacralização e exclusão social, bem como para o aumento significativo de doenças em todas as instâncias em que as trocas deixaram de acontecer livremente. Com a interdição das trocas, a vida se esvai, comprometendo a evolução humana nas instâncias físicas, psíquicas, sociais, espirituais, familiares, afetivas ou profissionais. Como os desejos de lucro e de acúmulo impedem as trocas, a conquista da dimensão integral vai ficando sombreada até ser substituída pela anestesia do consumo, no sentido de aliviar, apesar de não eliminar, os sentimentos de angústia pela falta de sentido existencial. Busca-se neste trabalho o entendimento da razão pela qual o ser humano contemporâneo deixou de trocar livremente e passou a acumular, muitas vezes por meio de consumo do supérfluo, ficando à mercê de um mercado que pretende ser hegemônico, colocando inclusive o dinheiro como caminho de cura e salvação. Fizemos um levantamento das possibilidades que podem restar para a concretização de uma readequação do uso do dinheiro a serviço da individuação e da realização existencial.(AU)

O DINHEIRO E O SAGRADO Uma leitura das interfaces de fenômenos culturais, religiosos e econômicos e de seus reflexos existenciais, à luz das Ciências Sociais e da Psicologia Analítica

Esta tese é o resultado de uma pesquisa sobre o uso e a influência do dinheiro no que tange às questões existenciais, no contexto capitalista, ligadas ao trinômio: saúde, amor e espiritualidade. Para isso, foram analisados vários tipos de vínculo, afetivos ou não, existentes nas relações humanas, no âmbito da família, do mercado e do Estado, convergindo para a busca do sagrado que dá sentido e significado existenciais. O eixo teórico se localiza em uma interface entre as Ciências Sociais e a Psicologia Analítica, de Carl Gustav Jung (1875-1961), que expressa em sua obra a necessidade humana de encontrar a realização do ser pela conquista consciente de um estado de integração evolutiva. Esta dimensão integral existe quando é realizada a unificação dos vários aspectos do eu com o inconsciente, expressos teleologicamente no processo de individuação. O resultado da evolução científica e tecnológica, acrescido pela supremacia do mercado, abrange praticamente todas as esferas da vida humana, imprimindo uma importância excessiva ao dinheiro. Por exemplo, até o campo religioso foi invadido pela lógica monetária, que se instalou impondo uma atitude monetarizada nas práticas e ritos religiosos, como ocorre em algumas igrejas neopentecostais. Por sua vez, a supervalorização do dinheiro contribui para um processo que combina dessacralização e exclusão social, bem como para o aumento significativo de doenças em todas as instâncias em que as trocas deixaram de acontecer livremente. Com a interdição das trocas, a vida se esvai, comprometendo a evolução humana nas instâncias físicas, psíquicas, sociais, espirituais, familiares, afetivas ou profissionais. Como os desejos de lucro e de acúmulo impedem as trocas, a conquista da dimensão integral vai ficando sombreada até ser substituída pela anestesia do consumo, no sentido de aliviar, apesar de não eliminar, os sentimentos de angústia pela falta de sentido existencial. Busca-se neste trabalho o entendimento da razão pela qual o ser humano contemporâneo deixou de trocar livremente e passou a acumular, muitas vezes por meio de consumo do supérfluo, ficando à mercê de um mercado que pretende ser hegemônico, colocando inclusive o dinheiro como caminho de cura e salvação. Fizemos um levantamento das possibilidades que podem restar para a concretização de uma readequação do uso do dinheiro a serviço da individuação e da realização existencial.(AU)

RELAXAMENTO PSICOFÍSICO EM CRIANÇAS

Trabalho de natureza monográfica bibliográfica investiga o relaxamento psicofísico na área da saúde, em crianças, por um intervalo de oito anos, entre janeiro de 1997 e novembro de 2004. Inicialmente, com base em literatura neuropsicológica, descreve o papel do relaxamento na busca da homeostase e da consciência corporal saudável, enfocando comportamentos de prazer e dor. A seguir, descreve e analisa diversas técnicas de relaxamento, Relaxamento Progressivo de Jacobson, Autógeno de Schultz e Relaxamento de Michaux. A fim de desenvolver sua pesquisa utiliza-se de 27 bases de dados, devido a pouca produção encontrada sobre o tema, por base. Como resultados, levanta ao todo 500 artigos sobre relaxamento, sendo 200 em crianças. São artigos nacionais e internacionais, com predomínio do idioma inglês. A seguir, classifica esses artigos por ano de produção, constatando um crescimento significativo, porém não sistemático em seu número, de 14 artigos em 1997, para 39, em 2004. Quanto à temática, os dados revelam em primeiro lugar, um interesse em dor, em segundo em problemas respiratórios, e, em terceiro lugar, em ansiedade. Os artigos sobre dor, por serem os mais numerosos levantados, sofrem análise mais detalhada, com discriminação da quantidade de artigos por ano e dos tipos de situação e de patologia caracterizados por quadro álgico. Finalmente é feita uma classificação dos artigos segundo a utilização do relaxamento junto à problemática clínica predominantemente física, a de fundo psíquico afetivo-emocional, sem utilização de fármacos e, a de fundo psíquico, com intervenção psiquiátrica farmacológica. Na discussão dos resultados, vários artigos pesquisados são também comentados. Dada a riqueza dos dados, evidenciando interesse crescente de profissionais da área da Saúde na literatura levantada, sugere-se pesquisa complementar.

RELAXAMENTO PSICOFÍSICO EM CRIANÇAS

Trabalho de natureza monográfica bibliográfica investiga o relaxamento psicofísico na área da saúde, em crianças, por um intervalo de oito anos, entre janeiro de 1997 e novembro de 2004. Inicialmente, com base em literatura neuropsicológica, descreve o papel do relaxamento na busca da homeostase e da consciência corporal saudável, enfocando comportamentos de prazer e dor. A seguir, descreve e analisa diversas técnicas de relaxamento, Relaxamento Progressivo de Jacobson, Autógeno de Schultz e Relaxamento de Michaux. A fim de desenvolver sua pesquisa utiliza-se de 27 bases de dados, devido a pouca produção encontrada sobre o tema, por base. Como resultados, levanta ao todo 500 artigos sobre relaxamento, sendo 200 em crianças. São artigos nacionais e internacionais, com predomínio do idioma inglês. A seguir, classifica esses artigos por ano de produção, constatando um crescimento significativo, porém não sistemático em seu número, de 14 artigos em 1997, para 39, em 2004. Quanto à temática, os dados revelam em primeiro lugar, um interesse em dor, em segundo em problemas respiratórios, e, em terceiro lugar, em ansiedade. Os artigos sobre dor, por serem os mais numerosos levantados, sofrem análise mais detalhada, com discriminação da quantidade de artigos por ano e dos tipos de situação e de patologia caracterizados por quadro álgico. Finalmente é feita uma classificação dos artigos segundo a utilização do relaxamento junto à problemática clínica predominantemente física, a de fundo psíquico afetivo-emocional, sem utilização de fármacos e, a de fundo psíquico, com intervenção psiquiátrica farmacológica. Na discussão dos resultados, vários artigos pesquisados são também comentados. Dada a riqueza dos dados, evidenciando interesse crescente de profissionais da área da Saúde na literatura levantada, sugere-se pesquisa complementar.

Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano

O tema desta pesquisa, Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano, sugere que a problemática do conhecimento sobre o espírito e a espiritualidade humanos está enraizada não apenas nos redutos religiosos, mas também no próprio interstício da ciência e também no coração da sociedade moderna. Apostamos neste tema não apenas pela sua atualidade, mas porque vem assumindo nestes últimos anos o status de indispensável no conjunto dos saberes, das realizações e do ethos humanos. Mas, para nos infiltrarmos neste assunto, é preciso uma nova lente epistemológica capaz de fazer uma leitura crítica, complexa e multidimensional a respeito da espiritualidade humana. A gênese do problema levantada para esta pesquisa parte do conflito entre as várias percepções sobre a condição humana, que ocorre a partir mesmo da crise experimentada hoje por muitos matizes científicos. A aproximação entre a teoria da complexidade, a espiritualidade humana com a educação, nos permite criar um cenário enriquecedor que acrescenta qualidade aos discursos e práticas educacionais na escola, na família, nas pastorais, na educação religiosa e ainda, em outras atividades afins. A nossa pergunta nuclear e que servirá de norte para o esforço desta pesquisa, é a seguinte: o espírito humano existe e, se existe, é educável? Para um melhor aproveitamento e compreensão desta dissertação, a pesquisa foi dividida em três capítulos, sistematizados da seguinte forma: No primeiro capítulo fizemos a exposição de algumas dificuldades de infiltração na temática sobre o espírito e da espiritualidade humanos. Essa exposição foi feita em dois momentos: o primeiro discute alguns pressupostos conceituais e semânticos sobre o espírito humano e, em seguida, aponta a necessidade de superar o conhecimento fragmentado em favor da recomposição do cariz humano. No segundo momento, discorremos sobre a rasoura científica que tem deixado de lado algumas dimensões humanas, sob pesado ônus para a existência humana como um todo. No segundo capítulo discutimos a atualidade do tema, que também pode ser visto em duas partes: na primeira dialogamos com algumas teorias sobre a complexidade e a multidimensionalidade da condição humana. Em seguida, focamos a partir dos novos humores antropológicos a dimensão simbólica e espiritual do humano. Na segunda parte, pontuamos sobre o desencantamento e crise da sociedade prometéica e a emergência e interfaces dos assuntos sobre a espiritualidade humana nestas últimas décadas. No terceiro e último capítulo, discorremos sobre as funções do espírito e as possibilidades reais de uma educação para o espírito humano. Semelhantemente, dividimos o capítulo em dois momentos de discussão: no primeiro, fazemos uma abordagem sobre a dimensão do espírito e a expressão da consciência como função de sentido. No segundo e último momento, levantamos a questão da educação do espírito humano. Seguindo este raciocínio, propomos uma pedagogia voltada também para o espírito humano. Deixamos por fim algumas sugestões que sinalizam uma educação para a ecologia do humano.

Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano

O tema desta pesquisa, Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano, sugere que a problemática do conhecimento sobre o espírito e a espiritualidade humanos está enraizada não apenas nos redutos religiosos, mas também no próprio interstício da ciência e também no coração da sociedade moderna. Apostamos neste tema não apenas pela sua atualidade, mas porque vem assumindo nestes últimos anos o status de indispensável no conjunto dos saberes, das realizações e do ethos humanos. Mas, para nos infiltrarmos neste assunto, é preciso uma nova lente epistemológica capaz de fazer uma leitura crítica, complexa e multidimensional a respeito da espiritualidade humana. A gênese do problema levantada para esta pesquisa parte do conflito entre as várias percepções sobre a condição humana, que ocorre a partir mesmo da crise experimentada hoje por muitos matizes científicos. A aproximação entre a teoria da complexidade, a espiritualidade humana com a educação, nos permite criar um cenário enriquecedor que acrescenta qualidade aos discursos e práticas educacionais na escola, na família, nas pastorais, na educação religiosa e ainda, em outras atividades afins. A nossa pergunta nuclear e que servirá de norte para o esforço desta pesquisa, é a seguinte: o espírito humano existe e, se existe, é educável? Para um melhor aproveitamento e compreensão desta dissertação, a pesquisa foi dividida em três capítulos, sistematizados da seguinte forma: No primeiro capítulo fizemos a exposição de algumas dificuldades de infiltração na temática sobre o espírito e da espiritualidade humanos. Essa exposição foi feita em dois momentos: o primeiro discute alguns pressupostos conceituais e semânticos sobre o espírito humano e, em seguida, aponta a necessidade de superar o conhecimento fragmentado em favor da recomposição do cariz humano. No segundo momento, discorremos sobre a rasoura científica que tem deixado de lado algumas dimensões humanas, sob pesado ônus para a existência humana como um todo. No segundo capítulo discutimos a atualidade do tema, que também pode ser visto em duas partes: na primeira dialogamos com algumas teorias sobre a complexidade e a multidimensionalidade da condição humana. Em seguida, focamos a partir dos novos humores antropológicos a dimensão simbólica e espiritual do humano. Na segunda parte, pontuamos sobre o desencantamento e crise da sociedade prometéica e a emergência e interfaces dos assuntos sobre a espiritualidade humana nestas últimas décadas. No terceiro e último capítulo, discorremos sobre as funções do espírito e as possibilidades reais de uma educação para o espírito humano. Semelhantemente, dividimos o capítulo em dois momentos de discussão: no primeiro, fazemos uma abordagem sobre a dimensão do espírito e a expressão da consciência como função de sentido. No segundo e último momento, levantamos a questão da educação do espírito humano. Seguindo este raciocínio, propomos uma pedagogia voltada também para o espírito humano. Deixamos por fim algumas sugestões que sinalizam uma educação para a ecologia do humano.

CLIMA ORGANIZACIONAL E BURNOUT: UM ESTUDO COM SERVIDORES PÚBLICOS FEDERAIS

As condições inadequadas vivenciadas nas organizações afligem não só os trabalhadores da iniciativa privada, pois são igualmente encontradas no segmento estatal, contrariando a expectativa de que o aparato governamental eliminaria as condições insalubres e criaria outras melhores nas quais prevalecesse à promoção de saúde. Diante desse panorama questionou-se porque, uma vez que, pelo menos do ponto de vista da sociedade leiga, esses servidores estão submetidos a condições privilegiadas de trabalho. O presente estudo objetivou identificar e descrever possíveis relações entre o clima organizacional e o burnout em servidores públicos de uma instituição federal de ensino. Objetivou-se ainda descrever o clima organizacional predominante. A pesquisa realizada teve cunho quantitativo, tipo estudo de caso e exploratória. A coleta de dados deu-se por meio das escalas ECO (escala de clima organizacional), ECB (escala de caracterização do burnout) e um questionário sociodemográfico, todos os instrumentos autoaplicáveis eletronicamente disponíveis à instituição. Participaram do estudo 201 servidores públicos federais, com idade média de 37 anos, majoritariamente de nível superior e casados. Os resultados revelaram que cerca de um quarto dos participantes raramente experimentaram burnout, no entanto outra quarta parte deles frequentemente experimentaram altos níveis de burnout, resultado bastante expressivo. Os servidores perceberam clima organizacional mediano, destacando-se a boa coesão entre os colegas de trabalho e a percepção de baixa recompensa. Merece destaque a grande dispersão entre as percepções de clima, o que permite inferir haver subclimas não identificados nesta investigação, possivelmente ocasionados por uma força de clima fraca e pela participação dos servidores de unidades de ensino geograficamente distintas, geridas por gestores locais com relativa autonomia. Os resultados dos cálculos de correlação revelaram que, quanto menos os participantes percebem apoio da chefia e da organização, coesão entre colegas, e mais controle/pressão, mais exaustos se sentem, mais desumanizam as pessoas com quem tratam e mais se decepcionam no trabalho e vice-versa. Conforto físico menor está associado a maior desumanização e a mais decepção no trabalho e vice-versa; e que controle/pressão, relaciona-se positiva e fracamente com desumanização e vice-versa. Desta forma, a hipótese de que existe associação entre burnout e clima organizacional foi confirmada. Os resultados também revelaram que os servidores com burnout, perceberam pior clima organizacional que os seus pares sem burnout, confirmando a segunda hipótese. Esses servidores também se mostraram neutros quanto à percepção de apoio da chefia e conforto físico; não percebem controle pressão, nem recompensa; todavia percebem coesão entre os colegas. Esses resultados sugerem que os participantes têm se apoiado nessas relações para suportar a indiferença e ausência de estímulos experimentados no trabalho. Os resultados obtidos nesse estudo permitiram concluir que o clima organizacional é fraco, provavelmente influenciado por uma cultura organizacional fraca, explicando a heterogeneidade da percepção do clima organizacional pelos servidores. Além disso, embora haja burnout entre poucos participantes, há que se atentar que cerca de um quarto deles, encontra-se acometido desta síndrome e isto poderá contagiar os demais.

B lymphocyte involvement in ankylosing spondylitis: the heavy chain variable segment gene repertoire of B lymphocytes from germinal center-like foci in the synovial membrane indicates antigen selection

The synovial membrane (SM) of affected joints in ankylosing spondylitis (AS) is infiltrated by germinal center-like aggregates (foci) of lymphocytes similar to rheumatoid arthritis (RA). We characterized the rearranged heavy chain variable segment (VH) genes in the SM for gene usage and the mutational pattern to elucidate the B lymphocyte involvement in AS.