Modelo para estimativa da infiltração de água e perfil de umidade do solo

A adequada modelagem da infiltração de água no solo é fundamental para estimação do movimento de água, erosão hídrica, recarga e contaminação de aquíferos. Este trabalho apresenta um modelo para estimativa da infiltração de água no solo (GAML-c), com base no modelo de Green-Ampt-Mein-Larson, que provê descrição da geometria e do deslocamento da frente de umedecimento no solo. Testes experimentais foram conduzidos em Latossolo Vermelho-Amarelo para avaliar o GAML-c, usando-se quatro diferentes cenários: considerando a condutividade hidráulica do solo igual à taxa de infiltração estável (Tie) e a umidade máxima do solo igual ao teor de água na zona de transmissão (θw) (TW); condutividade hidráulica do solo igual à do solo saturado (K0) e a umidade máxima do solo igual θw (KW); condutividade hidráulica do solo igual à Tie e a umidade máxima do solo igual ao teor de água na saturação (θs) (TS); e condutividade hidráulica do solo igual a K0 e a umidade máxima do solo igual θs (KS). Verificou-se que o GAML-c no cenário TW foi o melhor estimador do perfil de umidade do solo, resultando em aceitáveis estimativas da infiltração de água.

On a class of exact solutions to the Fokker-Planck equations

In this paper we study under which circumstances there exists a general change of gross variables that transforms any FokkerPlanck equation into another of the OrnsteinUhlenbeck class that, therefore, has an exact solution. We find that any FokkerPlanck equation will be exactly solvable by means of a change of gross variables if and only if the curvature tensor and the torsion tensor associated with the diffusion is zero and the transformed drift is linear. We apply our criteria to the Kubo and Gompertz models.

The problem of physical coordinates in predictive Hamiltonian systems

In the Hamiltonian formulation of predictive relativistic systems, the canonical coordinates cannot be the physical positions. The relation between them is given by the individuality differential equations. However, due to the arbitrariness in the choice of Cauchy data, there is a wide family of solutions for these equations. In general, those solutions do not satisfy the condition of constancy of velocities moduli, and therefore we have to reparametrize the world lines into the proper time. We derive here a condition on the Cauchy data for the individuality equations which ensures the constancy of the velocities moduli and makes the reparametrization unnecessary.

Tuning synchronization of integrate-and-fire oscillators through mobility

We analyze the emergence of synchronization in a population of moving integrate-and-fire oscillators. Oscillators, while moving on a plane, interact with their nearest neighbor upon firing time. We discover a nonmonotonic dependence of the synchronization time on the velocity of the agents. Moreover, we find that mechanisms that drive synchronization are different for different dynamical regimes. We report the extreme situation where an interplay between the time scales involved in the dynamical processes completely inhibits the achievement of a coherent state. We also provide estimators for the transitions between the different regimes.

O Impa e a comunidade de matemáticos no Brasil

Apresenta-se o papel desempenhado pelo Instituto de Matemática Pura e Aplicada, criado em 1952 pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico, na formação de pesquisadores matemáticos no país. Mostra-se como este instituto, bem como a matemática ali produzida, serviram para a formação do campo científico de matemáticos no Brasil. Os principais resultados apontam para: a consolidação de linhas de pesquisa em Sistemas Dinâmicos, Álgebra, Análise Matemática, Geometria Diferencial e Estatística Matemática; a preocupação de formar pesquisadores para atender as demandas de quadros docentes das universidades brasileiras, produzir matemática e recrutar alunos "talentosos" visando garantir a formação de pesquisadores e a produção de matemática de qualidade. A rede de influências estabelecida pelos pesquisadores do instituto extrapolou seus limites, uma vez que os líderes ocupavam posições importantes nos órgãos de fomento e em outras instituições e sociedades intelectuais. O discurso dos pesquisadores revela a hierarquia acadêmica e o corporativismo reinante na instituição assim como seu prestígio na comunidade científica.

"Liber embadorum a. Savasorda in ebraico compositus et a Platone Titurtino in latinum sermonem translatus.

Acquis le 17 août 1833 de M. Derville avec le latin 11388 pour le prix global de 18 francs; cf. B.n.F., département des Manuscrits, registre des acquisitions 1833-1848, n° 106ter.

On the relationship between connections and the asymptotic properties of predictive distributions

In a recent paper, Komaki studied the second-order asymptotic properties of predictive distributions, using the Kullback-Leibler divergence as a loss function. He showed that estimative distributions with asymptotically efficient estimators can be improved by predictive distributions that do not belong to the model. The model is assumed to be a multidimensional curved exponential family. In this paper we generalize the result assuming as a loss function any f divergence. A relationship arises between alpha connections and optimal predictive distributions. In particular, using an alpha divergence to measure the goodness of a predictive distribution, the optimal shift of the estimate distribution is related to alpha-covariant derivatives. The expression that we obtain for the asymptotic risk is also useful to study the higher-order asymptotic properties of an estimator, in the mentioned class of loss functions.

Modelo de distribuição de água e de potencial matricial no solo sob gotejamento com extração de água por raízes

A maior dificuldade em descrever e estimar a distribuição de água no bulbo molhado sob gotejamento reside na extração de água pelo sistema radicular, que é mais complexa devido à geometria de fluxo tridimensional. Os modelos existentes são, na maioria, unidimensionais ou multidimensionais de acessibilidade limitada. Este trabalho propõe um modelo semi-analítico para distribuição bidimensional de umidade ou de potencial no bulbo molhado, através da superposição da solução analítica de Warrick, para ponto-fonte em condições de regime não-permanente, com um modelo paramétrico de extração de água pelas raízes, considerando o balanço de água num volume unitário do solo. O modelo foi ajustado com sucesso a dados experimentais para a cultura do milho num solo franco-siltoso. Simulações de distribuição de água no bulbo molhado mostraram que o modelo permite estimar ou descrever a dinâmica de água do solo no bulbo molhado em qualquer tempo ao longo do ciclo de irrigação, o que pode contribuir significativamente na avaliação do manejo da irrigação, no estudo de posicionamento de sensores de umidade ou de potencial matricial, e em estudos relacionados à atividade das raízes no bulbo molhado.

Intervalo de confiança "bootstrap" como ferramenta para classificar raças do nematóide de cisto da soja

Estimativas "bootstrap" da média aritmética dos genótipos de soja 'Pickett', 'Peking', PI88788 e PI90763 e os intervalos de confiança obtidos pela teoria normal e através da distribuição "bootstrap" deste estimador, como o percentil "bootstrap" e o BCa, correção para o viés e aceleração, do parâmetro de diferenciação da cultivar padrão de suscetibilidade Lee são utilizados para classificar raças do nematóide de cisto da soja. Os intervalos de confiança obtidos a partir da distribuição "bootstrap" apresentaram menor amplitude e foram muito similares, dessa forma, o limite inferior do intervalo de confiança percentil "bootstrap" foi tomado como nível de referência nas distribuições "bootstrap" do estimador da média aritmética dos genótipos diferenciadores, permitindo estimar a probabilidade empírica de uma reação positiva ou negativa, e, conseqüentemente, identificar a raça mais provável sob determinado teste.

Biaix d'items i habilitat en fraccions

En este artículo se contemplan algunos conceptos clave en la Teoría de respuestas de Items (TRI): curvas características, significado de habilidad y discriminación en dicha Teoría. Se aplica el estudio de niveles de habilidad cognitiva en el aprendizaje de las fracciones en la Educación Básica en 5º y 8ºde EGB en España siguiendo el planteamiento de Onslow y Kieren. Los diseños gráficos muestran claramente las diferencias entre edades y cursos.

Caracterização isoenzimática de genótipos de arroz

Objetivou-se, neste trabalho, caracterizar isoenzimaticamente genótipos de arroz (Oryza sativa L.). A produtividade do arroz irrigado no Rio Grande do Sul é elevada, em virtude da alta tecnologia e sistema de irrigação usados, associados ao potencial alcançado pelas cultivares desenvolvidas através de melhoramento genético. Apenas seis ancestrais contribuem com 86% dos genes das cultivares mais plantadas. Como conseqüência desta estreita base genética, as cultivares apresentam um alto grau de parentesco e de similaridade de suas características morfológicas e agronômicas, o que dificulta a identificação varietal. A concorrência com genótipos, como arroz-vermelho e arroz-preto, de difícil controle por serem da mesma espécie que os cultivados, é considerada como um dos maiores problemas da cultura. Análises de isoenzimas podem ser usadas para o estudo da variabilidade e para estimar as relações genéticas existentes entre estes genótipos. Eletroforese em gel de poliacrilamida foi empregada, portanto, para caracterizar, através de isoenzimas de esterase, 6fosfogluconato desidrogenase, fosfoglucoisomerase e isocitrato desidrogenase em sementes e folhas de plântulas, e de fosfatase ácida e aspartato transaminase em folhas de plântulas, as cultivares BR-IRGA 409, BR-IRGA 410, BRS 6 ('Chuí'), BRS 7 ('Taim'), BRS Agrisul, INIA Taquari, El Paso L 144 e IRGA 417, e ecótipos de arroz-vermelho e arroz-preto. A análise de agrupamento, efetuada por meio do coeficiente de Jaccard e pelo método da média aritmética não ponderada (UPGMA), possibilitou a diferenciação de todos os genótipos, à exceção de BRS 6 ('Chuí') e BRS 7 ('Taim'). Três grupos foram identificados, incluindo-se, em um deles, os ecótipos de arroz-vermelho e arroz-preto, que apresentaram 95% de similaridade.

Caracterização de cultivares de pessegueiro e de nectarineira por marcadores moleculares

Em espécies de estreita base genética, como o pessegueiro e a nectarineira (Prunus persica (L.) Batsch), a utilização de marcadores moleculares para a caracterização de cultivares é de grande importância, além do potencial de uso para fins de proteção. As técnicas de eletroforese em gel e RAPD foram empregadas com o objetivo de caracterizar as cultivares de pessegueiro Granada, Esmeralda, Jade, Eldorado, Riograndense, Capdeboscq, Aldrighi, Precocinho, Diamante, Turmalina, Maciel, BR-1, Pepita, Coral, Chinoca, Marfim, Chiripá, Della Nona e Planalto, e as de nectarineira Dulce e Anita. Foram analisadas isoenzimas de 6-fosfogluconato desidrogenase e fosfatase ácida em pólen, peroxidase, fosfoglucoisomerase, aspartato transaminase e isocitrato desidrogenase em folhas, e malato desidrogenase, leucina aminopeptidase e fosfoglucomutase em pólen e folhas. Dos 50 primers testados, 11 foram escolhidos para análise de RAPD em folhas. As análises de similaridade e de agrupamento entre os genótipos foram feitas empregando-se o coeficiente de Jaccard e o método da média aritmética não ponderada. Apesar das diferenças detectadas nas isoenzimas de malato desidrogenase em pólen e folhas de pessegueiro e nectarineira, o baixo polimorfismo apresentado pelos demais sistemas não permitiu a caracterização de todas as cultivares por essa técnica. Os marcadores RAPD, associados ou não à eletroforese de isoenzimas, foram eficientes para caracterizar as cultivares de pessegueiro e nectarineira.

Sistemes lineals: una aproximació a algun dels seus conceptes i problemes rellevants

L'objectiu que m'he proposat al preparar aquesta exposicióha estat el de mostrar. per una banda, com alguns delsproblemes bàsics de la teoria de Sistemes Dinàmics Linealstenen una resposta senzilla en termes de l' Álgebra lineal i,d'altra, com alguns problemes importants d'aquesta teorias'entronquen amb conceptes i tècniques bàsiques de la geometriai la topologia

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.