Influence of organic-mineral fertilization of an oxisol on soil chemical properties and Bracharia brizantha production

A utilização de fertilizante organomineral da indústria produtora dos aminoácidos lisina e treonina pode melhorar a fertilidade de solos tropicais. O presente trabalho teve como objetivo avaliar a influência de diferentes dosagens do fertilizante organomineral denominado Ajifer L-14 nos atributos químicos e no aumento de produção de forragem de um Latossolo Vermelho do noroeste paulista. O delineamento utilizado foi em blocos casualizados, com sete tratamentos e quatro repetições. Os tratamentos foram: T1- testemunha (sem aplicação de Ajifer L-14); T2- testemunha com vegetação natural; T3- adubação mineral de acordo com a necessidade da cultura e a análise do solo (usando 1,35 kg de ureia, 2,20 kg de superfosfato simples e 0,51 kg de KCl por parcela, o que corresponde a 60 kg de N, 40 kg de P2O5 e 30 kg ha-1 de K2O, respectivamente); T4- adubação com Ajifer L-14 de acordo com a recomendação da análise química do solo (40 L parcela-1, o que corresponde a 60 kg ha-1 N); T5- adubação com Ajifer L-14 em dosagem 50 % acima da recomendação (60 L parcela-1, o que corresponde a 90 kg ha-1 N; T6- adubação com Ajifer L-14 em dosagem 50 % abaixo da recomendação (20 L parcela-1, o que corresponde a 30 kg ha-1 N); T7- adubação com Ajifer L-14 em dosagem 25 % acima da recomendação (50 L parcela-1, o que corresponde a 75 kg ha-1 N); e T8- adubação com Ajifer L-14 em dosagem 25 % abaixo da recomendação (30 L parcela-1, o que corresponde a 45 kg ha-1 N). Nas profundidades de 0,0-0,1 e 0,1-0,2 m, avaliaram-se os seguintes atributos químicos do solo:, teor de matéria orgânica (MO), pH, K+, Ca2+, Mg2+, capacidade de troca catiônica (CTC), acidez potencial e saturação por bases. A aplicação do fertilizante organomineral não influenciou os atributos químicos do solo. Na análise de regressão, houve relação polinomial entre as doses de aplicação do fertilizante organomineral e a produção de massa seca e proteína bruta de Bracharia brizantha.

Reguladores de crescimento e seus efeitos sobre a qualidade fisiológica de sementes e crescimento de plântulas de crotalária

Information regarding the use of growth regulators in sunn hemp is still scarce, especially on the physiologic quality of seeds and growth seedlings. In this aspect, product knowledge and application rate stands out as relevant factors in production of quality seeds. This work aimed to evaluated the effect of the foliar application of growth regulators (mepiquat chloride, etil-trinexapac and paclobutrazol) in different rates (0; 75; 150; 225 and 300 g ha(-1)), on the physiological quality of seeds and growth seedlings of Crotalaria juncea cultivated in no-tillage system. The treatments were disposed in randomized complete block design in factorial scheme 3 x 5 (regulators x rates of application), with four replications. The results were submitted to the variance analysis, with the growth regulators compared by Tukey test and the rates for polynomial regression. Not if recommended the application of mepiquat chloride in sunn hemp culture by reducing the potential of seeds germination and dry biomass of seedlings. The etil-trinexapac must be applied in rate of 300 g ha(-1), based on the reduction of moisture content and the electrical conductivity of seeds, the greater total length of seedlings and dry biomass of seedlings. The paclobutrazol must be applied in rate of 75 g ha(-1), considering the potential and speed of seeds germination.

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Identificação e comparação entre controle preditivo com modelo não linear e PI sintonizados com PSO em sistema de separação gravitacional de águia-óleo

The separation methods are reduced applications as a result of the operational costs, the low output and the long time to separate the uids. But, these treatment methods are important because of the need for extraction of unwanted contaminants in the oil production. The water and the concentration of oil in water should be minimal (around 40 to 20 ppm) in order to take it to the sea. Because of the need of primary treatment, the objective of this project is to study and implement algorithms for identification of polynomial NARX (Nonlinear Auto-Regressive with Exogenous Input) models in closed loop, implement a structural identification, and compare strategies using PI control and updated on-line NARX predictive models on a combination of three-phase separator in series with three hydro cyclones batteries. The main goal of this project is to: obtain an optimized process of phase separation that will regulate the system, even in the presence of oil gushes; Show that it is possible to get optimized tunings for controllers analyzing the mesh as a whole, and evaluate and compare the strategies of PI and predictive control applied to the process. To accomplish these goals a simulator was used to represent the three phase separator and hydro cyclones. Algorithms were developed for system identification (NARX) using RLS(Recursive Least Square), along with methods for structure models detection. Predictive Control Algorithms were also implemented with NARX model updated on-line, and optimization algorithms using PSO (Particle Swarm Optimization). This project ends with a comparison of results obtained from the use of PI and predictive controllers (both with optimal state through the algorithm of cloud particles) in the simulated system. Thus, concluding that the performed optimizations make the system less sensitive to external perturbations and when optimized, the two controllers show similar results with the assessment of predictive control somewhat less sensitive to disturbances

Uma justificava da validade do teorema fundamental da álgebra para o ensino médio

Among several theorems which are taught in basic education some of them can be proved in the classroom and others do not, because the degree of difficulty of its formal proof. A classic example is the Fundamental Theorem of Algebra which is not proved, it is necessary higher-level knowledge in mathematics. In this paper, we justify the validity of this theorem intuitively using the software Geogebra. And, based on [2] we will present a clear formal proof of this theorem that is addressed to school teachers and undergraduate students in mathematics

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos

Estudo integrado de análogo a reservatórios petrolíferos fluviais: caracterização, parametrização e modelagem tridimensional de depósitos recentes do Rio Assu (Rio Grande do Norte/Brasil)

This work shows a integrated study of modern analog to fluvial reservoirs of Açu Formation (Unit 3). The modern analog studied has been Assu River located in the same named city, Rio Grande do Norte State, Northeast of Brazil. It has been developed a new methodology to parameterizating the fluvial geological bodies by GPR profile (by central frequency antennas of 50, 100 and 200 MHz). The main parameters obtained were width and thickness. Still in the parameterization, orthophotomaps have been used to calculate the canal sinuosity and braided parameters of Assu River. These information are integrated in a database to supply input data in 3D geological models of fluvial reservoirs. It was made an architectural characterization of the deposit by trench description, GPR profile interpretation and natural expositions study to recognize and describe the facies and its associations, external and internal geometries, boundary surfaces and archtetural elements. Finally, a three-dimensional modeling has been built using all the acquired data already in association with real well data of a reservoir which Rio Assu is considered as analogous. Facies simulations have been used simple kriging (deterministic algorithm), SIS and Boolean (object-based, both stochastics). And, for modeling porosities have used the stochastic algorithm SGS

Ritmo Circadiano de Triiodotironina (T3) e Tiroxina (T4) Plasmática em Ovelhas Ideal durante o Anestro Estacional

The objective was to determine the plasma levels of the triiodothyronine (T-3) and thyroxine (T-4), in six Ideal ewe sheeps during seasonal anoestrus, by radioimmunoassay. The blood samples were collected from the jugular vein catheter over a period of 24 hours, at 2-h intervals (12, 14, 16, IX, 20, 22, 24, OZ, 04, 06, OX, and 10 hours). II was used analysis of variance for data adjustments, and the decomposition of the collected periods in non-orthogonal polynomial. It was observed a crescent linear effect of the T-4 plasma levels, presenting lower level of 49.60+/-11.41 and higher level of 76.99+/-10.0 ng/ml, at fourth and last blood samples collection, respectively. T-3 plasma levels showed a significant cubic response during 24 hours, with the highest value of 0.94+/-0.20 ng/ml at the end of the the study. In conclusion, thyroidal hormones levels were lower in the first blood samples collection, increasing progressively during the night, reaching the highest levels at the morning period.

Caracterização fenotípica e genética da produção de leite e do intervalo entre partos em bubalinos da raça Murrah

O objetivo deste trabalho foi estimar as correlações, herdabilidades, repetibilidades, tendências genéticas e fenotípicas, e avaliar as distribuições univariada e bivariada da produção de leite e do intervalo entre partos, em fêmeas bubalinas da raça Murrah, paridas no período de 1982 a 2003. As tendências genéticas e fenotípicas foram estimadas pelas regressões das variáveis dependentes sobre o ano de parto, pelos métodos: regressão linear e regressão não paramétrica, utilizando-se a função de alisamento Spline. As herdabilidades estimadas foram 0,21 e 0,02, e as repetibilidades, 0,32 e 0,06, para a produção de leite e intervalo entre partos, respectivamente. As correlações genética, fenotípica e ambiental foram -0,22, 0,01 e 0,03, respectivamente. As tendências genéticas (regressão linear) foram significativas e iguais a 1,57 kg por ano e 0,085 dia por ano, e as tendências fenotípicas foram 27,74 kg por ano e 0,647 dia por ano, para a produção de leite e intervalo entre partos, respectivamente, tendo sido significativa apenas para a produção de leite. A correlação negativa sugere a existência de antagonismo favorável entre produção de leite e intervalo entre partos; assim é possível selecionar animais com altos valores genéticos para a produção de leite e com menores valores para o intervalo entre partos.

Emergência e desenvolvimento de plântulas de maracujazeiro azedo oriundas de sementes tratadas com bioestimulante

O objetivo do trabalho foi estudar os efeitos de bioestimulante na emergência e no desenvolvimento de plântulas de Passiflora edulis Sims.f. flavicarpa Deg. O experimento foi conduzido sob cultivo protegido, com temperatura controlada (25ºC), no Departamento de Botânica, Instituto de Biociências, UNESP, Câmpus de Botucatu-SP. As sementes receberam os tratamentos com as concentrações 0 (testemunha); 4; 8; 12; 16 e 20 ml de bioestimulante/kg de semente e foram semeadas em bandejas de isopor contendo substrato comercial. O bioestimulante empregado é constituído por 0,005% de ácido índolbutírico (auxina), 0,009% de cinetina (citocinina) e 0,005% de ácido giberélico (giberelina). O delineamento experimental foi inteiramente casualizado, com seis tratamentos e cinco repetições de 24 sementes. As avaliações de porcentagem de emergência de plântulas foram realizadas semanalmente, bem como o comprimento de caule e raiz, diâmetro do caule, número de folhas, área foliar e massa seca de raiz, caule e folha, aos 35 dias após a semeadura. Os dados foram submetidos à análise de variância e regressão polinomial, ao nível de 5% de probabilidade. As concentrações de 12 e 16 ml de bioestimulante/kg de semente aplicado às sementes promoveram as maiores porcentagens de emergência e desenvolvimento de plântulas.

The Use of Response Surface Methodology in Optimization of Lactic Acid Production: Focus on Medium Supplementation, Temperature and pH Control

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

d(-)-Lactic Acid Production by Leuconostoc mesenteroides B512 Using Different Carbon and Nitrogen Sources

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Comparação entre a utilização de saliva e sangue para determinação do lactato mínimo em cicloergômetro e ergômetro de braço em mesa-tenistas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Uso do procedimento de bissecção temporal na avaliação de idosos com doença de Alzheimer: uma revisão sistemática

OBJETIVO: Realizar revisão sistemática de artigos que utilizaram o método de bissecção, para avaliar a percepção de tempo em idosos com doença de Alzheimer e analisar seus parâmetros. MÉTODO: As buscas dos artigos foram conduzidas no período de março a maio de 2011, nas seguintes bases de dados: Web of Science, Science Direct on Line, Biological Abstracts, PsychoInfo e Medline. As palavras-chave e operadores booleanos foram: interval timing ou perception of time ou time discrimination ou reproduction of time e Alzheimer's disease. Também foram realizadas buscas manuais nas referências dos artigos selecionados. RESULTADOS: Quatro artigos contemplavam todos os critérios de inclusão, nos quais foram encontradas grandes variações nos parâmetros utilizados no método. CONCLUSÃO: Pacientes com doença de Alzheimer apresentam prejuízos nas tarefas de bissecção de tempo, que podem ser explicados pelo declínio gradual nas habilidades que são utilizadas no teste de percepção de tempo. Há grandes variações nos intervalos de tempo utilizados. Neste contexto, há necessidade de mais estudos, controlados e randomizados, para investigar potenciais efeitos das variações nos intervalos de tempo do método de bissecção. Os resultados de tais estudos poderão contribuir para o estabelecimento de parâmetros mais adequados e fidedignos.