Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Linguagem orientada e estrutura de dados para projeto automatico de edificios

Uma linguagem orientada ao problema de projeto estrutural de edifícios e a correspondente estrutura de armazenamento de dados são apresentados, como núcleo principal do sistema PROADE. Objetiva-se assim permitir ao engenheiro estrutural descrever o problema em termos correntes de Engenharia, organizandose os dados recebidos para posterior análise e dimensionamento da estrutura. São discutidos o problema PROADE e os dados correspondentes, seguidos pela descrição das estruturas de armazenamento de dados do sistema. A seguir, define-se a linguagem PROADE e finalmente apresenta-se a organização do sistema PROADE.

Solubilizacao e interacao de pigmentos com solventes organicos e agentes tenso-ativos

A Mg e Mn-Ftalocianina (Mg e Mn-Pc) foram solubilizados à 25°C em dimetilsulfóxido (DMSO); N, N-dimetilacetamida (DMA); N,N-dimetilformamida (DMF); N-metil-formamida, formamida, piridina, o-diclorobenzeno, monoclorobenzeno, tolueno, metanol, etanol, propanol-1, propanol-2, butanol-1 e octanol-1. Alguns valores representativos obtidos para o logarítimo da absortividade molar (E) da Mn-Pc, são os seguintes: o-diclorobenzeno (E = 4,94); DMSO (E = 4,39); octanol-1 (E = 3,90). Valores correspondentes para Mg-Pc são: o-diclarobenzeno (E = 4,93); DMSO (E = 5,22) e Octanol-1 ( E = 5,06). Em função de interação com solventes, pode-se classificar a Mg-Pc como um indicador básico e a Mn-Pc como indicador ácido. Os pigmentos Mg e Mn-Pc foram também solubillzados em soluções aquosas contendo vários surfatantes à 25°C. A Mg-Pc apresentou solubilidade significativa em água contendo brometo de cetiltrimetilamônio (CTAB), Brij-35, cloreto de cetilpiridinio (CPC1), brometo de cetilpiridínio (CPBr,) Triton X-100, cloreto de metildodecilbenziltrimetilamônio, brometo de cetildimetiletilamõnio e brometo de laurilisoquinolínio. A Mn-Pc foi solúvel em soluções aquosas de Brij-35 e Triton X-100. Em função de sua interação com surfatantes a Mg-Pc é classificada como corante catiônico e a Mn-Pc como corante aniônico. O corante comercial quinóide Oil Blue A [1,4-di(isopropilarnina)-antraquinona - 9,10 foi solubilizado à 25°C em DMF, DMSO, DMA, monoclorobenzeno, benzeno, tolueno, piridina, metanol, etanol, propanol-1, propanol-2, butanol-1 e octanol-1. Foi também solubilizado em soluções aquosas de surfatantes, tais como sódio lauril-sulfato (NaLS), cloreto de cetiltrimetilamônio (CTAB), brometo de cetildimetiletilamônio, Triton X-100, cloreto de cetilpiridínio (CPCl), Brij-35, cloreto de rnetildodecilbenziltrimetilamônio e brometo de laurilisoquinolínio. Em função de suas interações com os solventes o corante é um indicador ácido-básico pouco sensível e em função de sua interação com surfatantes é um corante catiônico. 0s resultados experimentais apresentam importância teórica e prática considerando sistemas que envolvem armazenamento e transferência de energia, compostos porfirínicos, fotossíntese, fotocondutores, coletores solares, semi-condutores e processos de embelezamento e proteção de superficies de vários materiais.

A gênese e a estrutura do serviço social brasileiro no período doutrinário católico

Esta tese examina os textos sobre a história do Serviço Social Latino-Americano e Brasileiro questionando as generalizações formuladas. Mostra-se que não está de todo clara a caracterização e a explicação da gênese e do processo de estruturação do Serviço Social Brasileiro. Com base na metodologia de Lucien Goldmann foram estudados os textos produzidos pelos primeiros assistentes sociais brasileiros até dezembro de 1947, ano de realização do I Congresso Brasileiro de Serviço Social. Identificou-se sete autores significativos, isto é, que expressavam a maior coerência em relação à visão social de mundo contida na totalidade do material produzido. A partir dos autores significativos e, com base na Doutrina Social da Igreja católica, identificou-se a estrutura de visão social de mundo assumida pelos mesmos. Foram analizados os aspectos do homem, da família, da educação, da sociedade, do estado, do governo e do direito e justiça social. Todos se estruturam dentro da perspectiva denominada Democracia Cristã. Da mesma forma foram examinados os conceitos, finalidades, a ação e a formação profissional do assistente social no período. Especial atenção foi dada à discussão: Serviço Social - profissão ou apostolado. Identificou-se alguns pontos divergentes entre os autores, o que prova que a homogeneidade atríbuida aos mesmos não corresponde à realidade constatada.

Copolimeros de propileno-etileno com baixos teores de etileno : estrutura, morfologia e propriedades

A estrutura básica predomínante encontrada em todos os copolímeros foi a de longos blocos de polipropileno cristalizáveis, separados por unidades isoladas de etileno, que atuaram como defeitos cristalínos, reduzindo o grau de cristalínidade, além da perfeição e da espessura dos cristais. O gradual aumento do teor de etileno nas amostras origínais, até aproximadamente5 moI % provocou redução progressiva no comprimento dos blocos de propileno em ambas as frações cristalizável e elastomérica. Acima daquela concentração, o etileno mostrou por principal efeito a elevação do teor de borracha de etileno-propileno(EPR), refletíndo-seem pronunciado aumento da resistência ao impacto dos copolímeros, com pouca alteração do comprimento das seqüências propiJênicas nas frações cristaJizáveJe elastomérica. A estrutura e a morfologia da borracha EPR gerada foram analisadas, observando-se sua excepcional dispersão na fase contínua cristalína. Análise das curvas de fusão por DSC, utilizando-se conceitos cínéticos, demonstrou a existência de uma energia de ativação aparente de fusão, associada à introdução de unidades etilênicas nas cadeias, e relacionada ao processo de fusão dos cristais poliméricos. A redução de cristalínidade das amostras e o aumento de mobilidade de cadeia da fase amorfa para teores crescentes de etileno resultaram em redução da rigidez dos copolímeros. Propriedades ópticas, como "haze" e brilho mostraram-se dependentesdo balanço entre o teor de cristais e o teor de borracha. Um balanço global das propriedades analisadas sugere uma composição ótima para aplicações típicas de copolímeros de propileno-etileno aquela com teores de etileno entre 4 e 6 moI % (aproximadamente 3 -4 % em massa).