Adição experimental de novos materiais às argilas da região do polo cerâmico de Santa Gertrudes (SP)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Participação, organização social e desenvolvimento sustentável no contexto da Resex Mãe Grande de Curuçá

A problemática central desta dissertação é a participação dos usuários da RESEX Mãe Grande de Curuçá nos processos de discussão, formulação, implementação e gestão desta unidade de conservação. Objetiva-se, ainda, analisar a organização social desses sujeitos, especialmente no que respeita às suas instituições representativas e associativas bem como as implicações políticas, econômicas e socioambientais da instalação da RESEX. Este estudo baseou-se em levantamento de dados bibliográficos e documentais – incluindo atas, relatórios, fotografias e mapas – e pesquisa de campo para a coleta de dados. As evidências produzidas revelaram que não obstante a criação de instrumentos e espaços institucionais de cunho participativo, o engajamento das populações usuárias nos processos decisórios concernentes à gestão da UC em questão é afetado por condicionantes diversos, os quais obstam uma participação efetiva. A persistência de práticas insustentáveis de manejo dos recursos naturais, motivada por fatores endógenos e exógenos e os percalços da organização social, denotam dificuldades à concretização da sustentabilidade no contexto estudado. Almeja-se, então, que a análise dessa realidade, efetuada neste trabalho, concorra para o equacionamento das problemáticas evidenciadas. Espera-se, ainda, que este estudo contribua com as reflexões acerca da organização social, participação e sustentabilidade em unidades de conservação na Amazônia.

Fundamentos para o planejamento e gestão metropolitanos por ilhas e bacias hidrográficas: uma alternativa para região metropolitana de Belém

Esta dissertação faz uma reflexão sobre a ausência de um efetivo sistema de planejamento e gestão da Região Metropolitana de Belém (RMB), fundamental para equacionar seus problemas plurimunicipais. Trata-se de um trabalho que além de fazer tal reflexão, sugere fundamentos que contribuam para a construção de uma proposta de planejamento e gestão da RMB, com base na adaptação de determinados instrumentos instituídos pela Política Nacional de Recursos Hídricos, Lei nº. 9.433/97. Esta adaptação foi possível a partir da compreensão e identificação da estrutura hidrográfica do território da RMB que, associadas aos instrumentos de gestão adotados pela referida Lei, resultou em instrumentos institucionais e técnicos que primam pelo uso das bacias hidrográficas metropolitanas como unidades estratégicas de planejamento e gestão e pelo uso de princípios de participação democrática no equacionamento dos problemas de interesse dos municípios dessa região.

Emergência de comportamentos autônomos na aprendizagem da língua estrangeira a partir da interface da consciência linguageira e da motivação

Esta pesquisa situa-se entre os estudos da Consciência Linguageira e a formação de comportamentos autônomos com influência do fator motivacional em aprendentes do Inglês como língua estrangeira. Considerando a relevância da explicitude dos insumos complexos e da Consciência Linguageira na instrução, observei que, ao utilizar esses princípios, o docente pode favorecer em seus aprendentes a formação de comportamentos que os levem a um maior controle de sua própria aprendizagem. Desta forma, o presente estudo tem como objetivos verificar a correlação entre Consciência Linguageira, autonomização e motivação como aspecto subliminar. O embasamento teórico deste estudo respalda-se essencialmente nas contribuições de Little (1997), Flavell (1976), Donmall (1991), Hawkings (2001), James; Garret (1991), Benson (2001), Rutherford (1987) e Van Lier (1991). Concomitantemente à investigação bibliográfica foi desenvolvida uma pesquisa - ação a fim de compreender o processo de apropriação do insumo pelo aprendente adulto, formulando hipóteses e valorizando o contexto dinâmico da sala de aula para intervir na melhoria da aprendizagem. A observação e a coleta de dados ocorreram em uma turma do 6º nível de língua inglesa, dos Cursos Livres de Línguas Estrangeiras, da Universidade Federal do Pará. Os dados procedentes das entrevistas, questionários, observações e atividades de foco na forma demonstraram que diante de situações em que o insumo linguístico apresentava maior complexidade, as produções orais e escritas ficavam comprometidas e havia menor participação dos aprendentes nas atividades de conversação. Observei ainda, que as atividades de Foco na Forma, a explicitude e as reflexões conduzidas por meio de metalinguagem aproximaram os alunos da solução de dificuldades ante os insumos complexos, e os motivaram a buscar, autonomamente, diferentes alternativas de aprendizagem. Os dados foram cruzados para as análises a respeito das implicações da Consciência Linguageira no desenvolvimento de comportamentos autônomos e da motivação sobre o desempenho dos aprendentes, permitindo uma reflexão relativa ao tema e aos insights significativos para a solução de problemas oriundos da imprevisibilidade do contexto em sala de aula.

Tomada de decisão em flexibilidade de manufatura para gerenciamento de riscos operacionais no processo produtivo industrial

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Singular Value Decomposition and Ligand Binding Analysis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um algoritmo de busca tabu para problemas de localização não capacitados

In this work, a tabu search algorithm for solving uncapacitated location problems is presented. The uncapacitated location problem is a classic problem of localization and occurs in many practical situations. The problem consists in determining in a network, at the minimum possible cost, the better localization, in a network, for the installation of facilities in order to attend the customers' associated demands, at the minimum possible cost. One admits that there exists a cost associated with the opening of a facility and a cost of attendance of each customer by any open facilities. In the particular case of the uncapacitated location problem there is no capacity limitation to attend the customers’ demands. There are some parameters in the algorithm that influence the solution’s quality. These parameters were tested and optimal values for them were obtained. The results show that the proposed algorithm is able to find the optimal solution for all small tested problems keeping the compromise between solution’s quality and computational time. However, to solve bigger problems, the structure of the algorithm must be changed in its structure. The implemented algorithm is integrated to a computational platform for solution of logistic problems

O Programa Nacional de Alimentação Escolar (PNAE) no município de Pirapozinho (SP)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Foraminíferos em testemunho do manguezal do Canal de Bertioga (SP): padrões de estrutura de comunidades aplicáveis em reconstruções paleoambientais

Nowadays, there is a search for knowledgment that could be applied in the solution of the problems caused by petrolific activities involving the environment, like the biodiversity preservation and the ecosystems monitoring and management. Foraminifera (Protista) are used as an important tool to the environment characterizarion, because they answer quickly to the fisic-quimic variations and indicate local alterations. The goal of this job is to create models of foraminiferal communities composition through the screening of subsuperficial samples obtained from a core collect from Bertioga Channel, Baixada Santista (SP), trying to understand the influence of the environmental variations along the time upon the indicator species presence, as well as making paleoenvironmentals reconstructions of the area. A 80 cm-core was removed in the outer edge of marsh adjacent to Bertioga Channel, not far from the confluence with the Itapanhaú River. There are presented in abundance, equitability, diversity and species richness obtained in nine samples along the sediment. The lower part of the core is compound by calcareous species (rotalideos and miliolideos) with domain Ammonia (Biofacies 1) and the intermediate and upper parts contain mainly agglutinated species (Biofacies 2 and 3, which is dominated by species of Ammotium). The qualitative and quantitative study of the microfauna of foraminifera present in the core reveals that in recent decades the sampling area passed from a condition of infra-marginal strip under significant coastal marine influence for the condition of inter-coastal swamp covered with mangrove vegetation. This change indicates that the site has undergone a process of sediment progradation, a phenomenon that may have been timely, localized, or a reflection of a relative fall in sea level at the regional level

Estratégias de sustentabilidade na prática odontológica

Dentists have widely discussed environmental issues with a view to the implementation of sustainability strategies in dental practice. It is unacceptable the practice of dentistry today as merely the solution of dental problems. The Dentist has a social responsibility to incorporate into your daily work concrete actions to reduce the impact of its production process. The purpose of this study is to characterize the development and application of performanceoriented model of social responsibility in dental practice, built to preserve the environmental cause in dentistry in order to trace change scenario that allows the environmental management without compromising the quality of services offered.

Emprego de ma teriais rest auradores adesivos direto no ângulo incisal de incisivos centrais fra turados

A case report of a patient who presents as chief complaint presence of stained restorations in the anterior teeth. After analysis and discussion of the clinical therapeutic approaches to be adopted, it was observed the presence of type class IV restorations on teeth 11 and 21, due to an oblique coronal fracture in the past. But the patient was not satisfied with the aesthetic result, then where was planned the realization of the removal of the restorations, for subsequently be used direct restorative materials for the correction of form, function and esthetics. The final result showed that the restorations were able to return the form, function and aesthetic dental, thereby evidencing the proven development of restorative dentistry in the solution of aesthetic problems.

Funções penalidade para o tratamento das variáveis discretas do problema de fluxo de potência ótimo reativo

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Captar lo sensible estéticamente : solución bonaventuriana al reto aristotélico

La llegada del Corpus aristotelicum al mundo occidental suscitó numerosas reacciones, tantas como eran las sensibilidades receptoras. San Buenaventura no es ajeno al pensamiento del Estagirita, y junto a las fuentes patrísticas y bíblicas, los argumentos filosóficos formarán parte en la solución de los problemas. Y si todo el edificio filosófico se vio tocado por la filosofía griega de Aristóteles, y en todo se necesitaba una respuesta, más aún aconteció con el mundo de lo sensible, sobre todo, en los pensadores de la llamada Escuela franciscana, que de una u otra manera manejaron este tema con delicada pericia, toda vez, que el espíritu franciscano reverenciaba la «Hermana naturaleza» y lo sensible como manifestación del Amor de Dios. En especial, nos fijamos en san Buenaventura, y en su esfuerzo por realizar una respuesta original desde las fuentes escolásticas al pensamiento nuevo de la filosofía de la naturaleza aristotélica en el espíritu de Asís. Creemos que es posible realizar una lectura de la epistemología y antropología de la captación de lo sensible en san Buenaventura desde una metafísica-estética de la naturaleza, como alternativa a la filosofía de la naturaleza de corte aristotélico.

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?

Tratamiento N-categorial de la lógica de la programación

En el contexto de las técnicas de validación de programas, de las estructuras de axiomatización de la programación planteadas por Hoare y del desarrollo de la Lógica de la Programación que Dijkstra realiza con el operador wp, hemos dotado a los elementos esenciales que intervienen en dicho desarrollo de una estructura que permite su estudio en el ámbito de las categorias. En este trabajo se demuestra que el conjunto de precondiciones de un fragmento de programa anotado tiene estructura de N-categoría y que sucede lo mismo con el conjunto de postcondiciones. Más aún, se ha puesto de manifiesto (y probado) que el operador wp actúa como un funtor entre estos pares de N-categorías. Además, los conjuntos de guardas surgen de un modo natural en la lógica de la programación, han sido tratados desde el punto de vista de la semántica denotacional (Wlrth para el PASCAL y Scott y otros, después, en un enfoque más general) y presentados por Manes y Arbib en su semántica parcialmente aditiva. Pues bien, en este trabajo se demuestra que los conjuntos de guardas tienen también estructura de N-categoría y gue cualguier N-categoría dotada de una suma definida adecuadamente tiene estructura de conjunto de guardas, de tal modo, además, gue el preorden inducido por la suma en el conjunto de guardas coincide con la flecha de la N-categoría. Esta suma es, en concreto, la disyunción exclusiva, lo que adicionalmente supone una sorprendentemente sencilla definición alternativa a la suma de las categorías parcialmente aditivas definida por Manes y Arbib. Con todo esto, se aportan herramientas conceptuales para entender mejor y resolver más eficientemente los problemas que tiene planteados la lógica de la programación, pues se dispone de un punto de vista distinto y nuevo y de toda una familia de instrumentos adicionales.---ABSTRACT---In the context of program validation techniques, Hoare's systems for programming and Dijkstra's development of the logic of programming, based on the operator wp, we have endowed the essential features of this development with a structure that permits to study them in the frame of category theory. In this thesis we show that the set of preconditions of an annotated program segment is an N-category, and the same happens for the set of postconditions. Even more, it is shown that the operator wp acts as a functor between those pairs of Ncategories. Furthermore, guard sets come out in a natural way in the logic of programming, they have been considered from a denotational semantics point of view (Wirth for Pascal and afterwards Scott and al. in a more general setting) and they have been embodied by Manes and Arbib in their partially additive semantics. Then, it is shown in this thesis that the above mentioned guard sets also have the structure of an N-category and that any N-category with an appropiately defined sum has the structure of a guard set in such a way that, besides, the preorder defined in the guard set by the sum operation coincides with the arrows of the N-category. This sum is just the exclusive or of Boolean Logic and this fact adds a surprisingly simple alternative definition for the sum operation in Manes and Arbib partially additive categories. The present work, in summary, makes a contribution of conceptual tools for a better understanding and a more efficient solution of the problems posed to the logic of programming and it does so by providing a new different point of view and a whole family of additional techniques.