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

Influência do método de síntese na obtenção de pós de Na2TiSiO5

Este trabalho apresenta um estudo sistemático sobre a síntese e caracterização de pós de Na2TiSiO5. Foram estudadas as propriedades estruturais e morfológicas dos pós por intermédio de difração de raios X, espectroscopia Raman e microscopia eletrônica de varredura. As amostras foram produzidas por meio de duas rotas sintéticas distintas baseadas em métodos tipo Pechini e submetidas a diferentes tratamentos térmicos. Medidas de espectroscopia Raman nas resinas poliméricas foram feitas visando verificar a influência das diferentes rotas utilizadas na síntese dos pós. Com os dados de difração de raios X foi feito um estudo da evolução das fases cristalográficas. A estrutura cristalina das amostras foi analisada por meio de refinamento Rietveld. Por fim, a morfologia dos compostos de Na2TiSiO5 foi examinada por microscopia eletrônica de varredura. Os resultados obtidos mostraram que é possível melhorar a qualidade das amostras de Na2TiSiO5 alterando-se a rota sintética utlizada.

Preparação e caracterização de filmes finos do tipo 'Pb IND. 1-x-yCa IND. xSr IND.yTiO IND. 3'

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

Avaliação da técnica de evaporação resistiva para a deposição de filmes finos de GaAs e compostos de GaAs com óxidos e cloretos de Er ou Yb

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Efeitos da castração e androgenização neonatal sobre o dimorfismo sexual esquelético e secreção de leptina e corticosterona em ratos

Pós-graduação em Ciências Fisiológicas - FOA

Caracterização estrutural de géis de sílica de diferentes porosidades preparados a partir da sono-hidrólise do tetraetilortosilicato

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

Estudo de N-metilformamida em meio não aquoso. O caso NMF-acetona

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

Preparação e caracterização de resina epóxi transparente dopada com nanoestruturas semicondutoras de CdS

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

Caracterização de filmes finos de ZnO dopados com Al e Mn depositados em substrato vítreo pelo método de Spray Pirólise

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

Estudo da cinética de cristalização de vidros teluretos 20Li2O-80TeO2

Pós-graduação em Ciência dos Materiais - FEIS

Síntese e caracterização estrutural de filmes finos Bi4Ti3O12

Pós-graduação em Ciência dos Materiais - FEIS

Síntese de perovskitas nanométricas com estrutura 'PB IND.1-x''M IND.X''TI''O IND.3'(M='BA', 'CA' e 'SR')

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

Preparação e teste de nanocatalisadores 'PTFENI'/'C' e 'PTFECO'/'C' para redução de oxigênio

Pós-graduação em Química - IQ

Síntese, caracterização e aplicação de filmes a base de óxido de zinco

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

Preparação e caracterização de filmes finos Sr1-xMexTiO3(Me=Fe, Ni)

Pós-graduação em Ciência e Tecnologia de Materiais - FC