Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Ecogenômica de archaea e monitoramento de comunidades de procariotos redutores de sulfato: aplicações na indústria de petróleo e gás

The human activities responsible for the ambient degradation in the modern world are diverse. The industrial activities are preponderant in the question of the impact consequences for brazilian ecosystems. Amongst the human activities, the petroliferous industry in operation in Potiguar Petroliferous Basin (PPB) displays the constant risk of ambient impacts in the integrant cities, not only for the human populations and the environment, but also it reaches the native microorganisms of Caatinga ground and in the mangrove sediment. Not hindering, the elaboration of strategies of bioremediation for impacted areas pass through the knowledge of microbiota and its relations with the environment. Moreover, in the microorganism groups associated to oil, are emphasized the sulfate-reducing prokaryotes (SRP) that, in its anaerobic metabolism, these organisms participate of the sulfate reduction, discharging H2S, causing ambient risks and causing the corrosion of surfaces, as pipelines and tanks, resulting in damages for the industry. Some ancestries of PRS integrate the Archaea domain, group of microorganisms whose sequenced genomes present predominance of extremophilic adaptations, including surrounding with oil presence. This work has two correlated objectives: i) the detection and monitoring of the gene dsrB, gift in sulfate-reducing prokaryotes, through DGGE analysis in samples of mDNA of a mangrove sediment and semiarid soil, both in the BPP; ii) to relate genomic characteristics to the ecological aspects of Archaea through in silico studies, standing out the importance to the oil and gas industry. The results of the first work suggest that the petrodegraders communities of SRP persist after the contamination with oil in mangrove sediment and in semiarid soil. Comparing the populations of both sites, it reveals that there are variations in the size and composition during one year of experiments. In the second work, functional and structural factors are the probable cause to the pressure in maintenance of the conservation of the sequences in the multiple copies of the 16S rDNA gene. Is verified also the discrepancy established between total content GC and content GC of the same gene. Such results relating ribosomal genes and the ambient factors are important for metagenomic evaluations using PCR-DGGE. The knowledge of microbiota associated to the oil can contribute for a better destination of resources by the petroliferous industry and the development of bioremediation strategies. Likewise, search to lead to the best agreement of the performance of native microbiota in biogeochemical cycles in Potiguar Petroliferous Basin ecosystem

Paisagens sonoras, tempos e autoformação

Les sociétés actuelles vivent des temps de vitesse, de l'individualisme, de l'absence d'enracinement historique: en harmonie avec le processus de formation de la civilisation du monde occidental contemporain profondément marqué par le paradigme de la globalisation. La pollution visuelle et sonore des grandes villes est, en même temps, l'expression de la pollution des sens et des affections humaines. En reflétant sur ce processus, la thèse discuter em faveur d'une formation réglée dans la logique du sensible qu'il a dans l'écouter près de la nature (Lévi-Strauss) un de leurs piliers épistémologiques ondamentales. Cette forme de penser et vivre reconnaît dans l'autoformation (Edgar Morin), et dans l'exercice de construction, par le sujet, de leurs propres paysages sonores (Murray Schafer), deux opérateurs cognitifs capables de nourrir les principes de la diversité, complexité, interdépendance et respect à la nature (Fritjof Capra). Dans le parcours argumentatif de la thèse gagnent emphase les savoirs de la tradition, les pratiques et les connaissances produites par les sociétés le plus proche de la nature qui, par des stratégies cognitives ouvertes et des polyphoniques, donnent importance aux facultés sensibles et à la complémentarité des deux itinéraires de la pensée: symbolique/mythologique/magique et empirique/technique/rationnel (Edgar Morin). Proche d'une perspective autobiographique, la thèse se présente dans la forme narrative d'un registre avec des évocations poétiques, philosophiques et musicales germées de l'écouter d'un paysage particulier, la Lagon du Piató, localisé dans la région de l'Assu (Rio Grande do Norte) et, en particulier, des récits et des évocations de mémoire d'un de leurs habitants auxlesquels nous pourrions appeler d'un philosophe de la nature , Francisco Lucas da Silva (Chico Lucas). Ensuite, ils sont décrits non-place (Marc-Augé) des scénarios métropolitains, en discutant ainsi les excès de pollution sonore, visuelle et de l'afection. En ayant comme estimé une éducation complexe ancrée dans non séparation il entre réforme de l'éducation et reforme de la pensée, de la formation et autoformation (Edgar Morin), à la fin, la thèse propose des ateliers d'expérimentation de l'écouter sensible entre des jeunes et des enfants sur le contexte scolaire, en pariant dans les futures générations (Ilya Prigogine) pour la reconstruction d'un monde plus juste et solidaire

A Inclusão da pessoa com deficiência visual na UFRN: a percepção dos acadêmicos

A partir des deux dernières décénnies, des changements importants ont touché l éducation des personnes aux besoins éducatifs spéciaux. On est dans une quête permanente de leur inclusion dans les différents niveaux de l enseignement régulier. De ce fait, les institutions éducationnelles se confrontent avec le défi du changement, devant s adapter de plus en plus aux besoins de ces élèves et devenir plus récptives à l égard de tous. Malgré la lenteur de ce changement, cela favorise beaucoup l accès des élèves à des niveaux d enseignement que jamais on aurait supposés, tels que l enseignement supérieur. C est bien dans ce contexte qu au cours de l année 2002 des étudiants handicapés visuels ont accédé aux formations de Philosophie, Economie et Sciences Sociales de l Université Fédérale do Rio Grande do Norte. Cela nous a motivé à conduire une analyse, au cours de 2003, pour connaître de plus près ce processus d inclusion universitaires de trois étudiants handicapés visuels. Comme méthode nous avons utilisé l étude de cas, et l entretien comme instrument de collecte des données. Après l analyse, les résultats montrent bien que l inclusion a permis à ces étudiants de surmonter un tas de barrières, telles que l examen d accès à l Université (Vestibular), outre la chance de se socialiser et d être bénéficiaires d expériences qui, suscités dans un milieu universitaire, vont au-delà de l univers académique. Les collègues de ces étudiants, auprès desquels ils convivent, eux-aussi ont été les bénéficiaires, du fait qu ils ont eu l opportunité d apprendre ensemble les uns avec les autres, tout en respectant leur limitations et potentialités, mais en les appuyant et en les stimulant de mieux en mieux. Il faut reconnaître que plusieurs actions au sein de l Université envisageant l accès et la permanence de ces étudiants ont été couronnées de succès, mais force est de dire qu il y a aussi beaucoup de choses à faire en ce qui concerne : la préparation du corps enseignant et des fonctionnaires ; l orientation de la communauté plus élargie ; la chute des barrières pédagogiques et attitudinales, et surtout l appui humain et matériel indispensables au plein développement de ces étudiants

Aplicação do algoritmo de otimização por colônia de formigas sobre o problema do passeio do robô seletivo

This work seeks to propose and evaluate a change to the Ant Colony Optimization based on the results of experiments performed on the problem of Selective Ride Robot (PRS, a new problem, also proposed in this paper. Four metaheuristics are implemented, GRASP, VNS and two versions of Ant Colony Optimization, and their results are analyzed by running the algorithms over 32 instances created during this work. The metaheuristics also have their results compared to an exact approach. The results show that the algorithm implemented using the GRASP metaheuristic show good results. The version of the multicolony ant colony algorithm, proposed and evaluated in this work, shows the best results