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

Um problema de programação da produção numa fundição automatizada

Este trabalho apresenta a modelagem de um problema particular de Programação da Produção numa Fundição Automatizada e sua resolução por um algoritmo de busca heurística, que explora a estrutura do problema.

Efeito cicloplégico na refração automatizada

Purpose: To show the importance of the cicloplegic method in the refraction evaluation comparing the automated refraction (subjective and objective) and the subjective static refraction. Method: One-hundred patients (200 eyes) between 5 and 40 years were prospectivelly evaluated according the static and dynamic automated refraction and the subjective static refraction, using an automated refractor Nidek ARK - 900. The data were submitted to statical evaluation. Results: The concordance indices were better after cycloplegia mainly in relation of the spheric degree and cílindric axes. Conclusion: Cycloplegia is very important to have accurace in the automated refraction in patients before 40 year-old.

Da crítica diplomática à análise tipológica: abordagens e técnicas de análise documental

This study, of an instrumental nature, discusses the theoretical differences which underpin the documentary analysis models used in traditional Diplomatics and Contemporary Diplomatics. Undoubtedly, both models of analysis contribute to the understanding of the sources -a vital point of the process of analyzing the document to be used in any area. Thus, the choice of either technique must take into account the goals proposed for the research, according to the object that is taken as the reference point: the archival series or the individual document. That way, issues such as the evidential value and diplomatic authenticity are important within the Archival Science, which seeks through auxiliary disciplines to verify the historical trail of the document, from the moment of its production, usage and archiving, as well as the various custodians, contributing in a large measure to the understanding of its information -what is registered as well as the context- in its broadest sense.

Perfusão cerebral e análise individual automatizada utilizando SPECT em uma população com transtorno obsessivo-compulsivo

Objective: To make individual assessments using automated quantification methodology in order to screen for perfusion abnormalities in cerebral SPECT examinations among a sample of subjects with OCD. Methods: Statistical parametric mapping (SPM) was used to compare 26 brain SPECT images from patients with OCD individually with an image bank of 32 normal subjects, using the statistical threshold of p < 0.05 (corrected for multiple comparisons at the level of individual voxels or clusters). The maps were analyzed, and regions presenting voxels that remained above this threshold were sought. results: Six patients from a sample of 26 OCD images showed abnormalities at cluster or voxel level, considering the criteria described above, which represented 23.07%. However, seven images from the normal group of 32 were also indicated as cases of perfusional abnormality, representing 21.8% of the sample. Conclusion: The automated quantification method was not considered to be a useful tool for clinical practice, for analyses complementary to visual inspection.

Artes marciais, formação profissional e escolas de ofício: Análise documental do judô Brasileiro

The aim of this research was to describe the process of professional education of judo coaches in Brazil. In order to do this, documental sources were used as means of data collection. Results showed that highly regarded institutions such as Confederação Brasileira de Judô, Federação Paulista de Judô, and Liga Paulista de Judô all support educational structures that resembles the apprenticeship system, that is, education which provide mostly employment-preparation skills for trained labour, in detriment of education on the application of scientific principles aiming at improving sporting performance. In conclusion, Brazilian judo seems to be kept away from the academic formation model and linked to the know how to do traditions. © FTCD/CIDESD.

Relações teóricas da organização do conhecimento com as abordagens de catalogação de assunto, indexação e análise documental: Uma análise de domínio da revista Scire (1995-2010)

Considering knowledge organization and representation as a theoretical line used by Information Science to face the subject approach to information, in a dialogical relation with subject cataloguing, indexing and analyse documentaire, this article carries out a domain-analysis of Scire journal (1995-2010) in order to identify the scientific production in the mentionned theoretical lines as well as their relationships. Scire constitutes an environment where members of the different paradigms have found an space to relate each other.

Modelos de socialización en América Latina y el Caribe: investigación documental

Incluye Bibliografía

Sistema referencial sobre actividades en el campo de la información documental en América Latina y el Caribe: informe de la Consulta Regional

Incluye Bibliografía

A Companhia de Jesus e a formação da cultura sexual brasileira: um estudo histórico e documental a partir dos escritos do padre Manuel da Nóbrega

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

O ensino do cálculo diferencial e integral na Escola Politécnica de São Paulo, no ano de 1904: uma análise documental

Pós-graduação em Educação Matemática - IGCE

Análise documental de textos literários infanto-juvenis: perspectivas metodológicas com vistas à identificação do tema

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

Gênese documental de álbuns fotográficos: um estudo de caso aplicado a uma indústria de grande porte

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

O percurso gerativo de sentido aplicado à análise documental de textos narrativos de ficção: perspectivas de utilização em bibliotecas universitárias

Pós-graduação em Ciência da Informação - FFC