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

Estrutura de propriedade e teoria da agência: um estudo de empresas brasileiras e seus diferentes tipos de controladores

A estrutura de propriedade anglo-saxônica, e o seu clássico problema de agência, com conflitos entre gestores e acionistas, caracterizados por propriedades pulverizadas, apesar de ser predominante na literatura, não constituí a regra, mas sim a exceção. O Brasil, diferentemente dos Estados Unidos e da Inglaterra, possuí uma estrutura de propriedade concentrada, onde é forte a presença de acionistas majoritários. Nesse caso, o conflito verificado não é entre gestores e acionistas (conflito agente X principal), mas sim entre acionistas majoritários e acionistas minoritários (conflito principal X principal). No mercado de capitais brasileiro, há duas classes de ações, as ordinárias (com direito a voto), e as preferências (sem direito a voto), o que viola a regra existente em muitos países, como nos Estados Unidos, de uma ação, um voto. Sendo assim, em muitos casos, ocorre uma combinação de muito poder com pouca alocação de recursos próprios na empresa. Diante disso, o presente estudo teve como objetivo estimar a magnitude dos direitos de votos, de fluxo de caixa, e do excesso de votos dos acionistas majoritários (das ações ordinárias) das empresas listadas no índice Bovespa – Ibovespa para os anos de 2009 e 2010 (carteira teórica do terceiro quadrimestre dos respectivos anos), separando-as por setor de atuação e por tipo de acionista majoritário. Para este estudo foi analisada uma amostra de 121 empresas, utilizando a metodologia quanto aos fins (descritiva e explicativa), e quanto aos meios (bibliográfica e documental). A coleta de dados foi feita no sistema Economática e nos IAN’s da CVM. Como resultados a pesquisa corroborou as hipóteses da literatura existente de que a estrutura de capital das empresas brasileiras de capital aberto é concentrada, principalmente no capital acionário (média de 51,95% e mediana de 51,20% em 2009, e 47,16% e 51,70% em 2010), e ocorrendo em vários casos uma distância considerável entre o poder de voto e o poder do fluxo de caixa dos acionistas majoritários (média de 1,10 em 2009 e mediana de 1,24, e 1,07 e 0,98 em 2010). Com isso, também se verifica que o conflito principal X principal é o predominante no Brasil.

Os tipos de personalidade de Holland e sua relação com os fatores de personalidade de Cattell

A psicologia das ocupações contribui para o desenvolvimento científico da sociedade através de seis conceitos sobre o homem corno um ser integral. Esta investigação tenta verificar a relação entre a teoria de Holland e os elementos da personalidade apontados por Cattell. Holland sugere seus tipos de personalidade: o realista, o intelectual, o social, o empregador, o convencional e o artístico e a interrelação desses tipos de personalidade com o ambiente. Consequentemente, encontramos resultados significantes entre os tipos de personalidade descritos por Holland e os traços e fatores de Cattell.

O que norteia a escolha de professores de língua estrangeira por diferentes tipos de feedback corretivo

O presente estudo foi desenvolvido com o objetivo de investigar, através de uma perspectiva sociocultural, o que norteia a escolha de diferentes tipos de feedback corretivo por professores de língua estrangeira (LE) ao corrigir a fala de seus alunos. A pesquisa foi realizada em um curso particular de idiomas no sul do Brasil que segue os princípios da abordagem comunicativa, tendo cinco professores como participantes. Este trabalho foi realizado através da observação do comportamento corretivo dos professores atuando com seus próprios alunos durante atividades com foco na forma. Tais atividades foram gravadas em vídeo e, logo após a gravação, foram comentadas pelos professores durante entrevistas com a pesquisadora, as quais também foram gravadas em vídeo. Houve uma terceira gravação que consistiu em uma entrevista entre a pesquisadora e cada professor participante para conversarem sobre as percepções dos professores a respeito de tratamento corretivo e diferentes tipos de feedback. A análise das transcrições das gravações resultou em um levantamento e uma descrição das escolhas corretivas de cada professor individualmente e uma descrição do padrão de comportamento quanto à opção por feedback reformulador e/ou feedback elicitativo. Verifiquei que os cinco professores estudados - mesmo tendo experiências, tempo de prática e formação diferentes - consideram principalmente os seguintes fatores quando decidem optar por tipos de feedback: como julgam que o aluno está se sentindo no momento, como vêem a personalidade do aluno e como julgam ser a capacidade lingüística e a capacidade emocional do aluno.

Tipos de arquivo

Esta apresentação traz os principais tipos de arquivos utilizados hoje em ambientes virtuais de aprendizagem: arquivos de texto, planilhas eletrônicas, apresentações de slides e pdf’s. O intuito do texto está em oferecer ao estudante da educação a distância uma visão mais alargada sobre estes recursos.

Estabelecimento do perfil metabolómico volátil da urina e saliva, como estratégia não-invasiva, para a deteção de potenciais biomarcadores de diferentes tipos de cancro

Com este trabalho pretendeu-se estabelecer o perfil metabolómico volátil de amostras de fluidos biológicos, nomeadamente saliva e urina, de pacientes com cancro da mama e do pulmão e de indivíduos saudáveis (grupo controlo), utilizando a Microextração em Fase Sólida em modo headspace (HS-SPME) seguida de Cromatografia Gasosa acoplada à Espectrometria de Massa (GC-MS). Efetuou-se a comparação entre os perfis voláteis dos grupos estudados com o objetivo de identificar metabolitos que possam ser considerados como potenciais biomarcadores dos tipos de cancro em estudo. De modo a otimizar a metodologia extrativa, HS-SPME, foram avaliados os diferentes parâmetros experimentais com influência no processo extrativo. Os melhores resultados foram obtidos com a fibra CAR/PDMS, usando um volume de 2 mL de saliva acidificada, 10% NaCl (m/v) e 45 minutos de extração a uma temperatura de 37±1°C. Para a urina foi utilizada a mesma fibra, 4 mL de urina acidificada, 20% NaCl (m/v) e 60 minutos de extração a 50±1°C. Nas amostras de saliva e urina, foram identificados 243 e 500 metabolitos voláteis respetivamente, sendo estes pertencentes a diferentes famílias químicas. Posteriormente, utilizou-se a análise discriminante por mínimos quadrados parciais (PLS-DA) que permitiu observar uma boa separação entre os grupos controlo e oncológicos. Nas amostras salivares o grupo de pacientes com cancro da mama foi maioritariamente caracterizado pelo metabolito ácido benzeno carboxílico e o grupo de pacientes com cancro do pulmão pelo ácido hexanóico. Na urina o grupo de pacientes com cancro da mama foi maioritariamente caracterizado pelo metabolito 1-[2-(Isobutiriloxi)-1-metiletil]-2,2-dimetilpropil 2-metilpropanoato e o grupo de pacientes com cancro do pulmão pelo o-cimeno. Além da metodologia PLS-DA foi realizada a validação cruzada de monte carlo (MCCV) tendo-se obtido uma elevada taxa de classificação, sensibilidade e especificidade o que demonstra a robustez dos dados obtidos.

Estudo comparativo de dois tipos de cultivo: monocultivo (camarões) versus cultivo integrado (algas/camarões)

The integrated culture of seaweed and aquatic animals is an ancient practice in Asian countries. The expansion of this practice to western countries is consequence of the recognition of this system as a sustainable alternative that allows economical diversification and mitigation of environmental impacts generated by effluents of aquaculture. This study evaluated the growth of the seaweed Gracilaria caudata and of the shrimp Litopenaeus vannamei in monoculture (shrimps) and integrated culture (shrimps and algae) systems, and accessed the effect of the seaweed in the water quality. There were two treatments in the experiment: monoculture (shrimps) and integrated culture (shrimps/ algae). The organisms were cultured in 6 aquaria (10L) filled with seawater (35.0±0.0 PSU and 28.1±0.4°C) for 28 days. The nutrients of water (PO43-, NH4+, NO2-, NO3- and DIN), the biomass and the relative growth rate (RGR, % day-1) of seaweed and shrimps were measured weekly. The parameters pH, temperature, salinity and dissolved oxygen were measured daily. The concentration of NH4+ in integrated culture (62.8±25.2µM) was lower (Mann-Whitney p<0.001) than in monoculture (85.6±24.3µM). The mean of PO4- in monoculture (10.4±4.6µM) was markedly higher (Mann-Whitney; p=0.024) than that in integrated culture (8.7±4.1µM). The level of dissolved oxygen in integrated culture (6.0±0.6mg/L) was higher (t-Student; P=0.014) than that in shrimp monoculture (5.8±0.6mg/L). The mean values of the parameters pH, NO2-, NO3- and DIN were 7.5±0.2, 10.1±12.2µM, 24.5±3.2µM and 120.17±30.76µM in monoculture, and 7.5±0.2, 10.5±13.2µM, 27.4±3.5µM and 100.76±49.59µM in integrated culture. There were not differences in these parameters between treatments. The biomass and RGR of seaweed reached 15.0±1.9g and 7.4±2.8% day-1 at the end of the experiment. The performance of shrimp was favorable in monoculture (1.5±0.8g; 5.7±1.6% dia-1) and in integrated culture (1.5±0.7g; 5.2±1.2% dia-1), and the rate of survival was 100% in both treatments. The tolerance and favorable performance of Gracilaria caudata suggest that this seaweed might be integrated into shrimp (Litopenaeus vannamei) culture systems

Estudos comparativos do ciclo de regeneração de diferentes tipos de silicoaluminofosfatos

Different types of heterogeneous catalysts of the silicoaluminophosphate type, (SAPO-5, SAPO-11, SAPO-31, SAPO-34 and SAPO-41), molecular sieves with a: AFI, AEL, ATO, CHA and AFO structure, respectively, were synthesized through the hydrothermal method. Using sources such as hydrated alumina (pseudobohemita), phosphoric acid, silica gel, water, as well as, different types of organic structural templates, such as: cetyltrimethylammonium bromide (CTMABr), di-isopropylamine (DIPA), di-n- propylamine (DNPA) and tetraethylammonium hydroxide (TEOS), for the respective samples. During the preparation of the silicoaluminophosphates, the crystallization process of the samples occurred at a temperature of approximately 200 ° C, ranging through periods of 18-72 h, when it was possible to obtain pure phases for the SAPOs. The materials were furthermore washed with deionized water, dried and calcined to remove the molecules of the templates. Subsequently the samples were characterized by X-ray diffraction (XRD), scanning electron microscopy (SEM), absorption spectroscopy in the infrared region (FT-IR), specific surface area and thermal analysis via TG/DTG. The acidic properties were determined using adsorption of n-butylamine followed by programmed termodessorption. These methods revealed that the SAPO samples showed a typically weak to moderate acidity. However, a small amount of strong acid sites was also detected. The deactivation of the catalysts was conducted by artificially coking the samples, followed by n-hexane cracking reactions in a fixed bed with a continuous flow micro-reactor coupled on line to a gas chromatograph. The main products obtained were: ethane, propane, isobutene, n-butane, n-pentane and isopentane. The Vyazovkin (model-free) kinetics method was used to determine the catalysts regeneration and removal of the coke

Atributos de qualidade de solos sob dois diferentes tipos de manejo no município de Ibiúna/SP, Brazil

Agricultural activity has direct consequences on the soil and water quality. Thus, assessing environmental impacts of this vital economic activity, through soil attribute analysis, is essential to the proposal of alternatives. The aim of this study was to analyze soil quality under different land management practices, conventional and organic. The study was carried out in a watershed of the Ibiuna municipality, SP, Brazil, an important supplier of agricultural products for the São Paulo metropolitan area. A hundred samples were collected, 20 in each type of land use: reforested areas, native vegetation, pasture, conventional cultivation and organic cultivation. The soil resistance to penetration, its pH (in water and KO), electrical conductivity, bulk density, particle density, porosity, soil color, soil texture and the percentages of carbon and nitrogen were analyzed. The data were statistically analyzed, searching for significant differences. The results of soil analysis showed great similarity between the organic and conventional culture, with no statistical differences. However, organic cultivation showed greater similarity to the soil of native vegetation in the percentage of carbon and nitrogen in soils compared to conventional culture. Thus, the discussion begins on a topic very little explored so far, and the results obtained should be further studied.

Sensibilidade de Metarhizium anisopliae à temperatura e umidade em três tipos de solos

Este trabalho teve como objetivo investigar o efeito da temperatura e do teor de umidade do solo na sobrevivência de Metarhizium anisopliae (Metsch.) Sorok. em três tipos de solos. Foram utilizados o Latossolo Vermelho textura argilosa, Latossolo Vermelho textura média e Argissolo Vermelho Amarelo textura arenosa média. As temperaturas empregadas foram 21,5; 26,8 e 31,5°C, e os teores de umidade foram 35, 65 e 100% de saturação. A sobrevivência do fungo foi avaliada após zero, 20, 40, 60, 80, 100 e 120 dias de incubação em cada temperatura estudada. Na análise do efeito do teor de umidade, a sobrevivência foi avaliada após zero, 14, 28, 42, 56, 70, 84, 98 e 112 dias de incubação à temperatura de 27,0±1,0°C. em ambos os ensaios, foi determinado o número de unidades formadores de colônias (UFC) em placa de Petri. Houve influência significativa da temperatura e do teor de umidade na sobrevivência do fungo. O maior crescimento e a maior sobrevivência ocorreram nas temperaturas de 21,5 e 26,8°C, enquanto que, no solo incubado a 31,5°C, o fungo cresceu pouco, e a população declinou rapidamente. No teor de 65% de umidade, houve rápido crescimento do fungo, mas no 112° dia foi observado um declínio da população nos três tipos de solos. Nos teores de 35 e 100% de umidade, o crescimento foi menor, mas obteve-se maior sobrevivência do fungo no solo.

Efeito de quatro tipos de mel na longevidade e reprodução de Catolaccus grandis (Hymenoptera:pteromalidae)

O trabalho teve como objetivo conhecer o melhor tipo de mel em relação à longevidade e fertilidade do parasitóide do bicudo-do-algodoeiro Catolaccus grandis. Adultos recém-emergidos foram transferidos para recipientes plásticos de 500mL, adaptados com tubo para fornecer água e umidade para os insetos. Um casal do parasitóide foi mantido em cada recipiente em câmara climatizada a 25±1&deg;C, UR = 70±10% e fotoperíodo de 14h. O trabalho constou de 4 tratamentos: mel de flor de laranjeira; mel de flores de plantas silvestres; mel de cana-de-açúcar (todos produzidos por Apis mellifera) e mel de flores silvestres produzido por abelha Jataí (Tetragonistica angustula), com 15 repetições cada. Adultos recém-emergidos do parasitóide receberam cinco larvas de Euscepes postfasciatus encapsuladas em parafilm. Três gotículas de mel foram colocadas sobre o parafilm. Calculou-se a longevidade de machos e fêmeas, número de ovos dia-1 fêmea-1 e número total de ovos fêmea-1 e construíram-se as tabelas de fertilidade. As melhores dietas para alimentar adultos de C. grandis foram o mel silvestre e o de laranjeira. A melhor fecundidade foi observada na dieta de mel de laranjeira (101,60 ovos fêmea-1) e os melhores resultados para aumento reprodutivo e populacional deste parasitóide foram obtidos com mel de laranja e com mel silvestre.

Determinação dos tipos de resistência em genótipos de feijoeiro ao ataque de Zabrotes subfasciatus (Coleoptera: Bruchidae)

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