Investigação de técnicas de visualização para representação de autômatos finitos com saída

Atualmente, a World Wide Web (WWW) já se estabeleceu como um dos meios de divulgação mais difundidos. Sendo um meio de publicação de custo relativamente baixo, muitas iniciativas foram desenvolvidas no sentido de estendê-la e transformá-la também numa ferramenta de apoio. Assim, uma série de pesquisas foi realizada no sentido de promover e facilitar o gerenciamento das informações da WWW, que são estruturadas, em sua maioria, como conjuntos de documentos inter-relacionados. Grafos são estruturas utilizadas para a representação de objetos e seus múltiplos relacionamentos. Nesse sentido, pode-se afirmar que hiperdocumentos podem ser modelados através de grafos, onde uma página representa um nodo e um link para outra página é representado por uma aresta. Considerando estas características, e dada a crescente complexidade dos materiais publicados na WWW, desenvolveu-se, ao longo da última década, o uso de técnicas e recursos de Visualização de Grafos com larga aplicação na visualização da estrutura e da navegação na WWW. Técnicas de visualização de grafos são aplicáveis especificamente para representar visualmente estruturas que possam ser modeladas por meio de objetos relacionados, sendo investigadas técnicas para a abstração de modo a facilitar tanto o processo de compreensão do contexto da informação, quanto a apreensão dos dados relacionados. Este trabalho tem como objetivo a investigação de técnicas de Visualização de Grafos aplicadas a autômatos finitos com saída. Este direcionamento se deve ao fato de alguns autores utilizar a abordagem de autômatos finitos com saída para as estruturas de hiperdocumentos. Se for considerado que um documento da WWW (ou o estado de um autômato) é composto por fragmentos de informação (ou saídas) tais como trechos de texto, imagens, animações, etc e que este documento é relacionado a outros por meio de links (ou transições), tem-se a verificação de sua representatividade por meio destas estruturas. Em trabalho anterior, no âmbito do PPGC da UFRGS, a ferramenta Hyper-Automaton foi desenvolvida com o objetivo de estender o uso da Internet no sentido de prover uma ferramenta de apoio à publicação de materiais instrucionais. Por adotar a notação de autômatos finitos com saída, possibilita, além da criação e gerenciamento de hiperdocumentos, a reutilização de fragmentos de informação sem que haja qualquer interferência de um autômato que utilize este fragmento sobre outro. O Hyper-Automaton foi selecionado como caso de estudo motivador deste trabalho. As técnicas aqui desenvolvidas têm como intuito diminuir a complexidade visual da informação, assim como permitir a navegação através dos autômatos finitos com saída de forma que seja possível visualizar detalhes como as saídas e informações relacionadas a cada uma delas, mantendo a visualização do contexto da informação. Foram analisadas técnicas de agrupamento como forma de redução da complexidade visual, e técnicas do tipo foco+contexto, como alternativa para prover a visualização simultânea do contexto e dos detalhes da informação.

Desenvolvimento de procedimento analítico para determinação de fármacos e pesticidas em amostra aquosas ambientais

O presente trabalho conjuga estudo de fármacos e pesticidas em nível de traços como poluentes no meio aquoso, envolvendo o uso de cromatografia líquida com detector espectrofotométrico na região do ultravioleta (HPLC-UV) para fármacos e cromatografia líquida com detector espectrométrico de massas (LC-ESI-MS-MS) para pesticidas. Quatro fármacos (antibióticos), a saber: ampicilina, amoxilina, tetraciclina e cefalexina, foram avaliados em presença de diversas fases móveis, que foram selecionadas de acordo com a melhor performance cromatográfica, sendo que ampicilina e amoxilina apresentaram melhor performance cromatográfica na mesma fase móvel. Para extração em fase sólida dos fármacos amoxilina e ampicilina foram avaliados três fases comerciais: LC- 18 (SUPELCLEAN), Supelclean TM ENVI TM-Chrom P, Abselut NEXUS. Para os fármacos cefalexina e tetraciclina, além das fases comercias foram avaliadas três novas fases a base de sílicas funcionalizadas com zirconocenos: (MeCp)2ZrCl2, (nBuCp)2ZrCl2 e (iBuCp)2ZrCl2. Amoxilina e ampicilina não apresentaram boas recuperações nas fases e eluentes estudados. Para tetraciclina e cefalexina, a fase comercial Chrom P apresentou boas recuperações quando utilizados os solventes metanol e a mistura 1% de solução aquosa de ácido acético e metanol (60:40), respectivamente. Com relação aos pesticidas, diversas classes (triazinas, feniluréias, organofosforados, anilina, ácidos, molinato e propanil) foram estudadas, somando um total de 20 pesticidas. Três colunas foram avaliadas em diferentes gradientes. Foi selecionada a coluna Purospher START RP e o gradiente acetonitrila-água. Triazinas, feniluréias, organosfosforados, anilinas e o pesticida propanil foram determinadas em modo de ionização spray eletrônico positivo, os pesticidas ácidos e propanil foram determinados em modo de ionização spray eletrônico negativo. Para cada pesticida foi encontrada duas transições (íon produtor-íon produzido) e confirmadas por MRM (Multiple Reaction Monitoring). O método apresentou linearidade com coeficientes de correlação maiores que 0,99. Uma metodologia para extração em fase sólida on line foi também desenvolvida. Essa metodologia apresentou-se altamente sensível (limites de detecção entre 0,040 e 2,794 ng L-1), simples rápida (45 minutos por análise) e precisa (desvio padrão relativo entre 1,99 e 12,15 %).

Personalidades vocacionais e desenvolvimento na vida adulta : generatividade e carreira profissional

Esta pesquisa investigou relações entre interesses vocacionais e o desenvolvimento psicossocial e de carreira na vida adulta. A tipologia de interesses vocacionais de J. Holland, hegemônica no campo da psicologia vocacional, considera a escolha da carreira como expressão direta da personalidade. O modelo propõe seis tipos de interesse ou fatores de personalidade vocacional: realista, investigativo, artístico, social, empreendedor e convencional. Holland sugeriu que as preferências vocacionais estão relacionadas à diferenças em capacidades e disposição para fazer transições de carreira. O mercado de trabalho atual requer profissionais adaptáveis e capazes de gerenciar as suas carreiras. Estes comportamentos podem ser descritos através dos conceitos de comprometimento e entrincheiramento de carreira. O comprometimento inclui a identificação com o trabalho e o planejamento da carreira. O entrincheiramento refere-se à imobilização do sujeito numa ocupação devido a falta de alternativas de carreira e ao medo da mudança. Adultos na meia-idade são propensos ao entrincheiramento devido a restrição de suas oportunidades de crescimento profissional neste período. É também nesta época que surgem as preocupações generativas. A generatividade significa o envolvimento do indivíduo com o bem-estar das próximas gerações e o seu desejo de ser lembrado na posteridade. Diferenças de personalidade têm sido associadas à adaptabilidade de carreira e à generatividade. Esta pesquisa investigou relações entre personalidades vocacionais, comportamentos de carreira e generatividade na vida adulta. Participaram do estudo 733 profissionais (415 homens e 318 mulheres) com idades entre 25 e 65 anos e com, no mínimo, 5 anos de carreira profissional. Os sujeitos responderam a medidas de interesses vocacionais, generatividade, comprometimento com a carreira e entrincheiramento na carreira. A generatividade correlacionou positivamente com o comprometimento e negativamente com o entrincheiramento. Tipos convencionais revelaram menor generatividade em comparação com artísticos, sociais e empreendedores. Na adultez média, tipos investigativos mostraram maior entrincheiramento do que empreendedores e realistas. Tipos empreendedores mostraram maior planejamento de carreira do que realistas e sociais. Os resultados indicaram que a adaptabilidade de carreira e a generatividade estão relacionadas a tipos de interesse vocacional, corroborando a importância de fatores de personalidade para o entendimento do desenvolvimento adulto. As implicações teóricas e práticas são discutidas. Palavras-chave: interesses vocacionais, generatividade, carreira.

Segmentação de mercados pelo estágio no ciclo de vida familiar: o modelo brasileiro

Apesar de toda discussão sobre a crise na instituição família em função das amplas mudanças ocorridas na sociedade contemporânea, tais como o aumento dos domicílios unipessoais, das famílias chefiadas por mulheres, da média de idade ao se casar, de casais que convivem no mesmo domicílio sem necessariamente estarem casados, da participação da mulher no mercado de trabalho e do crescente poder de compra dos domicílios, o conceito “família” vem se flexibilizando para refletir as transições da rígida estrutura familiar nuclear para novos modelos familiares e os estilos de vida associados a eles. O desafio passa a ser um olhar minucioso para as necessidades específicas desta diversidade de arranjos familiares para uma melhor compreensão dos seus desejos e motivações, bem como as mudanças no decorrer dos vários estágios do ciclo de vida. O presente estudo apresenta o construto ciclo de vida familiar como uma importante ferramenta de segmentação, a partir da definição de padrões de consumo de acordo com os principais eventos da vida do individuo e da família. Este trabalho traz uma revisão dos principais modelos de ciclo de vida para posteriormente apresentar e validar um modelo específico para o ambiente brasileiro a partir dos microdados de uma pesquisa feita pelo Instituto Brasileiro de Geografia e Estatística em 2002 e 2003. Umas das grandes contribuições deste trabalho é o esforço em desenvolver uma teoria de Marketing, em especial na área de segmentação de mercados, adaptada à realidade brasileira, ao invés de simplesmente copiar modelos desenvolvidos em outros países

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Em busca de um modelo brasileiro de ciclo de vida familiar para segmentação de mercado

Este trabalho apresenta uma revisão dos principais modelos de ciclo de vida para posteriormente discutir a necessidade de um modelo específico para o ambiente brasileiro. Apesar de toda discussão sobre a crise na instituição família em função das amplas mudanças ocorridas na sociedade contemporânea, tais como o aumento dos domicílios unipessoais, das famílias chefiadas por mulheres, da média de idade ao se casar, de casais que convivem no mesmo domicílio sem necessariamente estarem casados, da participação da mulher no mercado de trabalho e do crescente poder de compra dos domicílios, o conceito "família" vem se flexibilizando para refletir as transições da rígida estrutura familiar nuclear para novos modelos familiares e os estilos de vida associados a eles. O desafio passa a ser um olhar minucioso para as necessidades específicas desta diversidade de arranjos familiares para uma melhor compreensão dos seus desejos e motivações, bem como as mudanças no decorrer dos vários estágios do ciclo de vida. O presente estudo procurou explorar o construto ciclo de vida familiar como uma importante ferramenta de segmentação, a partir da definição de padrões de consumo de acordo com os principais eventos da vida do individuo e da família. Para verificar a utilidade do modelo desenvolvido, será apresentado um teste feito a partir dos micro dados de uma pesquisa feita pelo Instituto Brasileiro de Geografia e Estatística em 2002 e 2003. Uma das grandes contribuições deste trabalho é o esforço em desenvolver uma teoria de Marketing, na área de segmentação de mercados, ancorada na realidade brasileira, ao invés de simplesmente copiar modelos desenvolvidos em outros países.

Efeitos da aplicação de altas pressões sobre compostos com estrutura de escuterudita

Neste trabalho foi estudado o comportamento em altas pressões e temperatura ambiente de dois compostos com estrutura de escuterudita, CoSb3 e LaFe3CoSb12. A determinação dos parâmetros das equações de estado isotérmicas, bem como a verificação das diferenças relativas nas curvas de compressibilidade desses compostos, foram os objetivos principais deste trabalho. Ambos compostos foram sintetizados conforme rota proposta na literatura. O sucesso da síntese foi verificado por meio de difração de raios X, não sendo observada a presença de fases contaminantes. Como meio gerador de altas pressões foi utilizada uma câmara de bigornas de diamante (DAC). A evolução das estruturas destes compostos com a pressão foi acompanhada por meio de difração de raios X por dispersão em energia. Até o limite de pressão estática de cerca de 14 GPa (definido pelas condições experimentais previamente existentes no laboratório), não foram observadas anomalias nas curvas de volume versus pressão desses compostos ou mesmo evidências de transições de fase. Com o objetivo de estender este limite de pressão, foram feitas melhorias na célula de alta pressão existente no laboratório, possibilitando assim a geração de pressões de até 40 GPa. Três equações de estado isotérmicas foram ajustadas aos dados experimentais, utilizando como parâmetros no ajuste o módulo volumétrico isotrópico e sua derivada primeira com relação à pressão. Como resultado deste procedimento, verificou-se que a escuterudita com lantânio apresenta um módulo volumétrico ligeiramente menor que o CoSb3, sendo, portanto, mais compressível, apesar da presença do íon lantânio preenchendo as cavidades deste composto. Foi observada também uma mudança na compressibilidade da escuterudita CoSb3 acima de 20 GPa, devido, talvez, ao congelamento do meio transmissor de pressão ou ao pinçamento do rubi (calibrante de pressão) entre as bigornas da DAC. O CoSb3 foi comprimido até a pressão de 40 GPa, apresentando indícios de um estranho comportamento na seqüência decrescente de pressão. Após a descompressão, o parâmetro de rede desse composto, a pressão ambiente, mostrou-se maior que o da fase original. Este aumento do parâmetro de rede não foi acompanhado de alterações significativas do espectro de difração de raios X. Este efeito anômalo dever ser sujeito a verificação por meio de novos experimentos.

Padrões de espécies e tipos funcionais de plantas lenhosas em bordas de floresta e campo sob influência do fogo

Mosaicos naturais de floresta e campo são freqüentes no sul do Brasil, apesar das condições climáticas em geral serem favoráveis às formações florestais. Os campos portanto têm sido considerados um tipo de vegetação relictual de um clima mais frio e seco. Dados paleopalinológicos têm confirmado a hipótese de expansão florestal proposta por Lindman e Rambo com base em evidências fitogeográficas. Porém, fogo e pastejo têm sido utilizados no manejo dos campos, limitando o estabelecimento de árvores em áreas de campo, e parecem ser essenciais para a existência dos campos num clima úmido. Mudanças na intensidade ou freqüência do fogo ou do pastejo podem permitir o adensamento de espécies lenhosas em comunidades campestres. Todavia, os processos envolvidos são influenciados pelas condições locais e tipo de espécies pioneiras. Esta tese aborda padrões espaciais de transição da floresta ao campo, na ausência de pastejo, porém sob diferentes condições locais relacionadas à exposição do relevo (norte, sul, sudoeste) e ao fogo. Os dados abrangem arbustos e árvores pela composição de espécies e tipos funcionais de plantas (plant functional types, PFTs), e variáveis do solo em bordas de floresta-campo, sob diferentes períodos de tempo transcorrido desde a última queimada nas áreas de campo. Dados sobre composição, diversidade, categoria de plantas (que rebrotam e não rebrotam) e PFTs foram analisados de acordo com o período de tempo sem fogo em dois levantamentos realizados em anos consecutivos. O objetivo desta última análise foi descrever como reagem as plantas lenhosas em áreas de campo freqüentemente queimadas, num contexto de ecótonos de floresta-campo O estudo foi conduzido no Morro Santana (30°03’ S, 51°07’ W, altitude máxima: 311m), Porto Alegre, RS, Brasil. A vegetação da área apresenta mosaicos de floresta-campo. Os dados foram coletados em seis pares de transecção (4,5 x 58,5 m cada) perpendiculares à borda florestacampo. Cada transecção era composta por seis quadros grandes (LP= 20,25 m²) consecutivos na floresta e sete no campo. Em cada um dos LP, foram instalados três quadros pequenos (SPs) consecutivos, a fim de medir todos os indivíduos iguais ou maiores que 10 cm de altura. Nos LPs, o critério de inclusão foi a altura mínima de 80 cm. Uma queimada experimental foi realizada nos quadros de campo, considerando sempre uma transecção de cada pa r, antes da coleta dos dados. Ao todo foram amostradas 124 espécies lenhosas de 42 famílias. Destas, 90 espécies foram amostradas nos quadros da floresta e 76 nos quadros do campo, das quais 44 foram comuns a ambas as formações (espécies típicas de borda ou pioneiras). No interior da floresta, plântulas e indivíduos jovens de árvores foram significativamente mais abundantes nos quadros próximos da borda, onde os índices de diversidade, eqüidade e riqueza também foram maiores. Os gradientes da floresta ao campo foram analisados como trajetórias de composição em um espaço de ordenação multidimensional. Diferenças nos padrões espaciais reveladas entre locais com exposição distinta foram evidenciadas. Bordas abruptas ocorreram principalmente nas transecções de exposição sul e sudoeste, enquanto transições mais graduais foram observadas no norte As condições do solo também diferiram em relação às exposições predominantes, porém os principais parâmetros variaram conforme a distância espacial do limite da floresta. Assim, apesar dos padrões de vegetação diferirem conforme a exposição predominante, o fator mais importante na explicação dos padrões foi a distância do limite florestal, não somente per se, mas por todos parâmetros correlacionados que variam no gradiente. Em relação aos dois levantamentos realizados em áreas de campo, 31 espécies arbustivas de campo e 45 florestais foram analisadas, das quais 65,8% tinham capacidade de rebrotar. A composição de espécies diferiu com o tempo após o fogo. Densidade, riqueza e diversidade foram menores nos quadros recentemente queimados, principalmente nos sítios com exposição sul. Considerando arbustos de campo, a riqueza e a densidade foram maiores nos quadros não queimados há um e dois anos do que naqueles há mais de três anos. Comparando arbustos com e sem capacidade de rebrotar, os que rebrotam tiveram sempre maior densidade Árvores com capacidade de rebrote predominaram nas áreas com exposição norte, apresentando densidades similares, independente do tempo após o fogo. Porém, árvores sem capacidade de rebrote apresentaram maior densidade nos quadros não queimados. Diferenças na dinâmica de recrutamento de arbustos ou árvores uni- ou multi-caulinares também foram detectadas. Nas análises com base em PFTs, foram identific ados nove PFTs florestais com máxima associação com a variável distância da borda. A habilidade de rebrote foi o principal atributo de plantas florestais que colonizam áreas de campo. A diversidade de PFTs foi maior nos quadros próximos da borda que no interior da floresta. Quatro PFTs foram identificados, entre espécies lenhosas florestais e campestres, com máxima associação com o tempo decorrido após o fogo nas áreas de campo. Alguns dos principais aspectos descritos no parágrafo anterior foram corroborados. Arbustos altos com base uni-caulinar predominaram nas áreas não queimadas (3-4 anos), enquanto arbustos baixos com base multi-caulinar predominaram nas áreas recentemente queimadas (3 meses a 1 ano). PFTs florestais ocorreram nos quadros da borda ou como adultos estabelecidos no campo, não sendo afetados pelo fogo. Com base nos principais resultados, as seguintes conclusões são possíveis: A alta proporção de espécies com capacidade de rebrote nas áreas de campo e a alta taxa de recrutamento das demais espécies caracterizam comunidades com distúrbios freqüentes e espécies bem adaptadas. O regime de fogo com intervalos de dois a três anos não impede o adensamento de arbustos do campo, porém retarda o avanço de espécies arbóreas florestais, exceto em sítios bastante próximos a borda ou em “ilhas” protegidas do fogo intenso PFTs lenhosos de áreas de campo, associados com os intervalos de fogo, sugerem que atributos facilmente mensurados são suficientes para avaliar a dinâmica pós-fogo em comunidades de espécies lenhosas. PFTs florestais nas áreas de campo se restringem àqueles com capacidade de rebrote, para sobreviver às queimadas recorrentes. Com base nas estratégias das plantas, nos PFTs e no padrão espacial das espécies nas bordas de floresta-campo sob influência freqüente do fogo, nós reforçamos a presença de dois mecanismos principais como formas de expansão florestal. Um deles refere-se ao adensamento gradual de espécies arbóreas junto à borda, em áreas cujo intervalo de tempo sem fogo é maior. Outro está relacionado ao recrutamento de árvores pioneiras isoladas no campo, freqüentemente próximo de matacões, onde menor biomassa de gramíneas conduz a menor intensidade do fogo. O fogo é portanto um fator de prevenção da expansão florestal sobre as áreas adjacentes de campo nas condições atuais de clima úmido. O presente regime de distúrbio permite a manutenção de uma elevada biodiversidade na paisagem dos morros de Porto Alegre pela co-ocorrência de ecossistemas ricos em espécies distintas (campos e florestas); a supressão de queimadas pode alterar o mosaico de tipos de hábitat, aumentando a proporção de áreas florestais.

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-π.

Grafos internos e multirrelações como "spans" : propriedades e composicionalidade

Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, embora sejam uma estrutura bastante simples numa categoria e tenham uma definição também bastante simples, são versáteis, pois, com especializações sutis apresentadas aqui, são capazes de representar outras estruturas, tais como as tratadas nesses trabalho: relações binárias, multirrelações binárias, grafos e, em conjunto com um morfismo adicional, sistemas de transições etiquetadas (LTS). Permitem ainda, como proposto nesse trabalho, definir de forma também simples, redes de Petri como sendo um endospan em uma categoria. Mostra-se que a composição de spans aplicada a essas estruturas é capaz de expresar a composição de multirrelações — mas não de relações —, uma composição de grafos cujo grafo resultante indica caminhos em que cada parte é uma aresta de um dos grafos operados, uma composição de LTS cujo LTS resultante apresenta transações que podem ser compostas por transições de diferentes LTS e uma composição de redes de Petri cujo resultado também apresenta transações compostas por transições que podem ser realizadas em redes de Petri distintas. Mostra-se algumas propriedades dessas composições, bem como suas provas. Como verificar propriedades de relações e de grafos através de spans também é proposto.

Essays on monetary and banking theory

Esta tese de Doutorado é dedicada ao estudo de instabilidade financeira e dinâmica em Teoria Monet ária. E demonstrado que corridas banc árias são eliminadas sem custos no modelo padrão de teoria banc ária quando a popula ção não é pequena. É proposta uma extensão em que incerteza agregada é mais severa e o custo da estabilidade financeira é relevante. Finalmente, estabelece-se otimalidade de transições na distribui ção de moeda em economias em que oportunidades de trocas são escassas e heterogêneas. Em particular, otimalidade da inflação depende dos incentivos dinâmicos proporcionados por tais transi ções. O capí tulo 1 estabelece o resultado de estabilidade sem custos para economias grandes ao estudar os efeitos do tamanho populacional na an álise de corridas banc árias de Peck & Shell. No capí tulo 2, otimalidade de dinâmica é estudada no modelo de monet ário de Kiyotaki & Wright quando a sociedade é capaz de implementar uma polí tica inflacion ária. Apesar de adotar a abordagem de desenho de mecanismos, este capí tulo faz um paralelo com a an álise de Sargent & Wallace (1981) ao destacar efeitos de incentivos dinâmicos sobre a interação entre as polí ticas monet ária e fiscal. O cap ítulo 3 retoma o tema de estabilidade fi nanceira ao quanti car os custos envolvidos no desenho ótimo de um setor bancário à prova de corridas e ao propor uma estrutura informacional alternativa que possibilita bancos insolventes. A primeira an álise mostra que o esquema de estabilidade ótima exibe altas taxas de juros de longo prazo e a segunda que monitoramento imperfeito pode levar a corridas bancárias com insolvência.

Uma análise dos fatores associados à frequência ao ensino médio na educação de jovens e adultos (EJA) no Brasil

Um dos grandes desafios atuais da política educacional brasileira é compreender as razões da chamada crise de audiência do ensino médio. Como alternativa à modalidade regular, jovens a partir dos 17 anos podem optar pela educação de jovens e adultos. Neste artigo, descrevemos os fatores associados às transições de entrada e saída do ensino regular e EJA, bem como de transferência dos estudantes entre as modalidades. Além disso, fornecemos evidências de que a EJA rivaliza com o ensino médio regular, incentivando alunos em idade correta para cursar o ensino médio a migrar para a educação de jovens e adultos.

Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

Três ensaios sobre o mercado de trabalho no Brasil

Esta tese é composta por três artigos e uma nota, sendo um em cada capítulo. Todos os capítulos enquadram-se na área de Microeconomia Aplicada e Economia do Trabalho. O primeiro artigo estende o modelo tradicional de decomposição das flutuações na taxa de desemprego de Shimer (2012), separando o emprego formal do informal. Com essa modificação, os principais resultados da metodologia se alteram e conclui-se que os principais fatores para a queda do desemprego na última década foram (i) a queda na taxa de participação, principalmente pela menor entrada na força de trabalho; (ii) o aumento da formalização, atingido tanto pelo aumento da probabilidade de encontrar um trabalho formal quanto pela probabilidade de deixar a condição de empregado formal. O segundo capítulo apresenta estimativas para o retorno à educação no Brasil, utilizando uma nova metodologia que não necessita de variáveis de exclusão. A vantagem do método em relação a abordagens que utilizam variáveis instrumentais é a de permitir avaliar o retorno médio para todos os trabalhadores (e não somente os afetados pelos instrumentos) e em qualquer instante do tempo. Face aos resultados, concluímos as estimativas via MQO subestimam o retorno médio. Discute-se possíveis explicações para esse fenômeno. O terceiro artigo trata da terceirização da mão de obra no Brasil. Mais especificamente, mede-se o diferencial de salários entre os trabalhadores terceirizados e os contratados diretamente. Os resultados de uma comparação não condicional indicam que os terceirizados têm salário médio 17% menor no período 2007 a 2012. Porém, com estimativas que levam em conta o efeito fixo de cada trabalhador, esse diferencial cai para 3,0%. Além disso, o diferencial é bastante heterogêneo entre os tipos de serviços: aqueles que utilizam trabalhadores de baixa qualificação apresentam salário menores, enquanto nas ocupações de maior qualificação os terceirizados têm salários iguais ou maiores do que os diretamente contratados. Mais ainda, as evidencias apontam para a diminuição do diferencial ao longo do tempo no período analisado. Finalmente, a nota que encerra a tese documenta dois aspectos relevantes e pouco conhecidos da Pesquisa Mensal de Emprego do IBGE que podem levar a resultados imprecisos nas pesquisas que utilizam esse painel se não forem tratados adequadamente.

Processos e Threads - Slides

O material apresenta o conceito de processo, os estados de processo e transições, blocos de controle de processos (PCBs) e seus descritores, o chaveamento de processos/troca de contexto, a definição de interrupções em relação com hardware/software, a comunicação interprocessos (IPC) e os processos no UNIX. Além desses tópicos, o material também descreve threads, suas semelhanças e diferenças com processos, seu ciclo de vida, e noções básicas sobre threads POSIX, Linux, Windows XP e Java.