Positive solutions of the prescribed mean curvature equation with exponential critical growth

In this paper, we are concerned with the problem − div ⎛⎝⎜∇u1+|∇u|2−−−−−−−−√⎞⎠⎟=f(u) in Ω, u=0 on ∂Ω, where Ω⊂R2 is a bounded smooth domain and f:R→R is a superlinear continuous function with critical exponential growth. We first make a truncation on the prescribed mean curvature operator and obtain an auxiliary problem. Next, we show the existence of positive solutions of this auxiliary problem by using the Nehari manifold method. Finally, we conclude that the solution of the auxiliary problem is a solution of the original problem by using the Moser iteration method and Stampacchia’s estimates

On Measuring Non-Recursive Trade-Offs

We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of language families on the one hand, and differences in the decidability status of basic decision problems on the other. We develop a qualitative classification of non-recursive trade-offs in order to obtain a better understanding of this very fundamental behaviour of descriptional systems

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.Comment: 15 pages (+ 13 pages of appendices), 5 figures; To appear in the proceedings of AUTOMATA 2018

MODELAGEM NUMÉRICA DE UM DISPOSITIVO DE SEGURANÇA UTILIZADO EM SISTEMAS OFFSHORE

  Abstract. As válvulas Blowout Preventer (BOP) são projetadas para serem acionadas em casos de emergência impondo uma força de compressão no tubo, que irá causar deformações plásticas, até provocar a ruptura do tubo. Segundo o relatório apresentado pela Det Norske Veritas em 2011, os registros fotográficos da tubulação mostram que a BOP funcionou, porém não atuou de forma adequada, ao invés de selar o tubo, apenas realizou um esmagamento do material. Desta forma, há indícios de falha de funcionamento do dispositivo de segurança, este fato pode ter direta relação com a forma que são projetados esses dispositivos, iniciando pelo critérios de falha considerando os modelos matemáticos utilizados. Com base nas informações anteriores se faz necessário realizar investigações para propor critérios de projeto que atendam às exigências desse tipo de dispositivos, levando em consideração que as tubulações aonde as válvulas atuam apresentam propriedades elasto-plásticas. Este trabalho tem por objetivo realizar a modelagem computacional deste dispositivo considerando um estágio de funcionamento, simulando o acionamento e, assim, analisar os resultados numéricos. Serão incluídos no modelo a geometria do ríser e dois aríetes que constituem o mecanismo da válvula, com suas propriedades correspondentes. Inicialmente, foi implementado o modelo elastoplástico considerando endurecimento isotrópico. A partir dos resultados preliminares será possível avaliar o modelo utilizado e, posteriormente, realizar as modificações necessárias para aprimorar o estudo.Palavras Chaves: Modelagem, BOP, Critérios de Falha, Elasto-plástic

Viabilidade de sementes de biribá (Rollinia mucosa (Jack) Baill) em diferentes ambientes.

O Biribazeiro (Rollinia mucosa) pertence à família das Annonaceae e seus frutos possuem sementes que são classificadas como ortodoxas, podem ter o teor de água reduzido e armazenadas a baixas temperaturas. O trabalho tem como objetivo avaliar a conservação das sementes de R. mucosa armazenadas durante 3, 6 e 9 meses em diferentes ambientes. Foram utilizadas sementes provenientes de frutos colhidos de plantas matrizes estabelecidas no campo experimental da Embrapa Amazônia Oriental. Após o beneficiamento as sementes foram armazenadas em diferentes ambientes: a) sala com temperatura ambiente (26±2ºC), b) geladeira (8±2°C), c) germinador tipo BOD (10±1ºC), d) BOD (15±1°C) e, e) freezer (-10ºC). A cada sessenta dias foram retiradas amostras para as avaliações do teor de água, da germinação e do vigor das sementes. A avaliação do vigor foi realizada por meio de contagem diária das sementes germinadas por até 60 dias após a semeadura. A análise de variância foi realizada em cada período de avaliação, as médias foram comparadas pelo teste de Tukey 5% de probabilidade. Com os resultados obtidos verificou-se que, as sementes armazenadas em ambiente (8±2°C), (10±1ºC) e (15±1°C) apresentaram as melhores médias para germinação não diferindo significativamente entre si. Dessa forma conclui-se que as sementes de R. mucosa podem ser conservadas por até nove meses sem que haja comprometimento da viabilidade

Germinação de sementes de bacurizinho rugoso (Garcinia acuminata Planch. & Triana).

Garcinia acuminata pertence à família Clusiaceae, é frutífera de porte pequeno, nativa da Amazônia. O trabalho foi desenvolvido com objetivo de verificar a influência do tipo de substrato e uso de sementes com e sem tegumento. oi retirado amostra para determinação do teor de água. Que foi avaliado pelo método da estufa a 105±3ºC, utilizando-se quatro amostras de dez sementes cada. O teste de germinação foi realizado em ambiente sem o controle da temperatura e umidade relativa do ar. Em bandejas plásticas utilizando os seguintes substratos: 1) areia, 2) areia + serragem (1:1), 3) sementes de açaí trituradas e 4) vermiculita. Além de do uso de sementes com tegumento e sem tegumento. Concomitante ao teste de germinação foi feita avaliação diária do número de plântulas emersas até 120 dias após a semeadura, para o cálculo do tempo médio de germinação. Foi adotado o delineamento inteiramente casualizado em esquema fatorial de dois fatores (4x2), com quatro repetições de 50 sementes cada. Os substratos areia e sementes de açaí trituradas foram os que apresentaram as melhores porcentagens de germinação, sendo superiores a 80% no tratamento que usou sementes sem tegumento. Os substratos, areia e sementes de açaí trituradas quando associados ao uso de sementes sem o tegumento aumentam a porcentagem e reduzem o tempo médio de germinação em sementes de Garcinia acuminata

Diferentes doses de cama de aviário para formação de mudas de açaí-do-amazonas (Euterpe Precatória Mart.).

O açaizeiro-do-amazonas pertence à família Arecaceae e ao gênero Euterpe. Nesta família identificam-se três espécies de grande importância econômica e presença na região Norte do Brasil: Euterpe precatória, Euterpe oleracea e Euterpe edulis. O trabalho teve como objetivo avaliar diferentes doses de cama de aviário na formação de mudas de açaí-do-amazonas, visando adquirir e fornecer informações sobre a espécie para produtores e interessados no cultivo da mesma. Para a instalação do experimento foram utilizadas plântulas com altura média de 13 cm e diâmetro médio de 2 mm, propagadas via sementes no Laboratório de propagação de Plantas da Embrapa Amazônia Oriental em Belém - PA. Como fonte de matéria orgânica, foi adicionado ao solo cama de aviário (CA). Os tratamentos constaram das seguintes misturas: 1) solo, 2) solo + 10% de cama de aviário, 3) solo + 20% de cama de aviário, 4) solo + 30% de cama de aviário, 5) solo + 40% de cama de aviário. Em função dos resultados obtidos no trabalho, verificou-se crescimento rápido nas mudas quando houve mistura de cama de aviário ao solo, fato esse que foi determinante para que as mudas no final da avaliação apresentassem médias superiores a 90 cm de altura e 12 mm de diâmetro. Desta forma, a adição de cama de aviário na dose superior a 10% é efetiva no crescimento de muda de E. precatória Mart

Propagação do camucamuzeiro (Myrciaria dubia (Kunth) McVaugh) por meio de estacas de ramos tratadas com ácido indol butírico.

O camucamuzeiro pode ser propagado tanto por via sexuada quanto pela forma assexuada. A propagação assexuada é recomendada para a redução do período de juvenilidade ou quando se pretende propagar plantas que apresentem características agronômicas desejáveis. O objetivo do trabalho foi verificar a viabilidade da propagação vegetativa de camucamuzeiro por meio de estacas de ramos com uso de diferentes concentrações ácido indol butírico. Foram retiradas estacas com 20 cm de comprimento e diâmetro superior a 1,5 cm. Em seguida, imersas em solução com cinco diferentes concentrações de AIB: 0, 250, 500, 750 e 1000 ppm, durante 24 horas. As estacas foram postas em tubetes contendo como substrato a mistura de areia e serragem curtida na proporção volumétrica de 1:1. Após o plantio, as estacas permaneceram em viveiro com sombrite 50% de interceptação luminosa e com sistema de nebulização intermitente durante 150 dias. A cada 30 e até 150 dias, foi verificada a porcentagem de estacas com brotações e a porcentagem de estacas com folhas. No final do período experimental avaliou-se a porcentagem de estacas com raízes. Os seguintes resultados foram obtidos, porcentagem de enraizamento, os valores em ordem decrescente foram 23,3% (0 ppm), 18,3% (250 e 750 ppm) e 6,7% (500 e 1000 ppm), não havendo diferença significativa entre tratamentos. Os resultados obtidos ainda não permitem a indicação da propagação vegetativa por meio de estaquia de ramos em larga escala. Portanto, conclui-se que as concentrações do ácido indol butírico utilizadas no experimento, não influenciam a porcentagem de enraizamento em estacas de camucamuzeiro