Recovery of soil physical properties by green manure, liming, gypsum and pasture and spontaneous native species

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

Fitomassa de plantas de cobertura em diferentes sucessões de culturas e sistemas de cultivo

Este trabalho foi realizado em Latossolo Vermelho Distrófico típico argiloso, na região de Selvíria (MS), com o objetivo de investigar a produção de massa verde e seca de plantas de cobertura sob três sucessões de culturas e dois preparos de solo. O delineamento experimental utilizado foi o de blocos ao acaso, com quatro repetições no esquema em faixas com parcelas subsubdivididas. As faixas foram constituídas por cinco coberturas: mucuna-preta, milheto, crotalária, guandu e vegetação espontânea (pousio) e subdivididas em dois sistemas de semeadura (direta e convencional), sendo essas últimas subsubdivididas com as culturas de milho, soja e algodão. As avaliações foram realizadas no ano agrícola de 2000/2001, e a área em estudo estava sob o efeito dos respectivos manejos desde o ano agrícola de 1997/1998. Verificou-se que entre as plantas de cobertura, as produções de massa verde e seca foram menores para o guandu e maiores para o milheto e a crotalária; a produção de fitomassa de plantas de cobertura é diferente entre os sistemas convencional e direto; as plantas de cobertura na área com algodão no primeiro e segundo ano agrícola produziram mais massa seca; as plantas de cobertura produziram menor quantidade de massa verde e seca sob a sucessão com a cultura da soja em semeadura direta.

Matéria e nutrientes da parte aérea de adubos verdes em cultivos exclusivo e consorciado

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

Produtividade do milho em sucessão a adubos verdes no sistema de plantio direto e convencional

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

Adubação verde e sistemas de manejo do solo na produtividade do algodoeiro

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

Efeito do ácido indolbutírico e épocas de estaqueamento sobre o enraizamento de estacas herbáceas de figueira (Ficus carica L.)

Este trabalho teve como objetivo verificar o efeito de seis concentrações de ácido indolbutírico (IBA) no enraizamento de estacas herbáceas de figueira (Ficus carica L.) sob nebulização intermitente, em três épocas diferentes. Os ensaios foram instalados em maio/2004, setembro/2004 e janeiro/2005, e, em cada época, o delineamento experimental utilizado foi o inteiramente casualizado, com seis concentrações de IBA (0, 500, 1.000, 1.500, 2.000, 2.500 e 3.000 mg L-1). As estacas foram coletadas na Fazenda de Ensino, Pesquisa e Extensão da Unesp, localizada no município de Selvíria, Estado de Mato Grosso do Sul, sendo padronizadas com 10 cm de comprimento e duas folhas. Após o preparo das estacas, estas foram tratadas com solução de Metiltiofan, posteriormente imersas nas soluções de IBA por 10 min. em seguida, realizou-se o plantio em jardineiras plásticas de cor preta, contendo vermiculita, que foram transportadas para telado, com 50% de redução de luz, com sistema de irrigação do tipo nebulização intermitente. As variáveis analisadas foram: porcentagem de estacas sobreviventes e enraizadas, número de raízes, comprimento máximo do sistema radicular e massa da matéria seca da raiz. Nas condições em que o trabalho foi conduzido, permite-se concluir que: é viável a propagação herbácea de figueira; houve efeito do IBA apenas em maio, em que a melhor dose foi de 1.000 mg L-1; as melhores épocas para estaquia de estacas herbáceas de figueira são em setembro e janeiro, sem utilização de IBA, nas quais foram obtidos melhores resultados quanto à porcentagem de estacas enraizadas.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Turismo, capital social e produção do espaço: uma leitura a partir do município de Natal/RN no período de 1980 a 2012

Nowadays, there is a tourism phase in the city of Natal/RN called internationalization of tourism , which shows a tourism model with a planning and an administration, based on the needs of the visitors. Such process shows that the production as well as the reproduction of the city spaces with the goal of favor tourism excludes of its composition the effective participation of local subjects. Thus, the research is a result of the perception of tourism as an activity with a meaningful power of transformation of the social and natural space taking into account the low participation of the residents in the decisions of the tourism activities in the city of Natal/RN. Despite that reality, it is possible to note Natal that civil society, starts to mobilize its citizens trying to develop collective actions to low the negative impacts caused by the bad planning as wells not efficient tourism administration, trying to put in action the right of the local population to take part in the decisions of the city activities. Having this panorama as background, this paper aims at investigating in which way the mobilizing action of the social capital in Natal has contributed to change the spatial production which is part of the process of expansion of tourism in Natal/RN? The research presents a temporal picture which starts in the year of 1980, when occurs the first effective state intervention aiming to develop tourism in the capital, taking into account an analysis of 2012. Concerning the spatial picture, the research investigates the beaches of Natal which concentrates criteria and actions such as: visitation, tourism appeal and focus of investments, highlighting the following beaches: Ponta Negra, Areia Preta, Praia dos Artistas, Praia do Meio, Praia do Forte and Redinha. This study is of a descriptive and exploratory nature concerning its goals. With respect to the treatment of its object it is a qualitative research. The data was collected through structural interviews, with open questions. Regarding the methodological choices, it was used the content analysis proposed as well as the collective discursive subject methodology. The results show that there´s not yet in Natal a meaningful social capital related to tourism, capable to change the spatial production related to the activity. It should be stressed that Natal social capital presents difficulties concerning the incentive to trust, spontaneous cooperation and the civic participation, which are the foundation for the development of an effective social capital, which makes it harder for a more expressive articulation in the reality in Natal/RN. It should be stressed, as an answer to the research questions, that tourism in Natal/RN is represented by social and spatial segregation. In other words it emphasizes mainly the action of hegemonic agents (State and market), leaving little room for the participation of society. It can be noticed that the actions related to tourism in Natal keeps the popular participation out of the way. Thus, it can be said that the social capital in Natal/RN does not yet contribute to a more fair spatial production related to the expansion of the tourism as well as the well being of the population of Natal/RN. In conclusion, it should be taken into account that this participation do exists but not in a meaningful way. In other words, it´s not enough yet to cause meaningful changes in the actions which tourism needs nowadays in Natal/RN

Efeitos da laserterapia na atividade biológica de células de carcinoma epidermóide de língua humano

The low level laser therapy (LLLT) has shown to be effective in promoting the proliferation of different cells in vitro, including keratinocytes, osteoblasts, endothelial cells and stem cells. It has been speculated that the biostimulatory effect of LLLT could cause undesirable enhancement of tumor growth in neoplastic diseases, since the malignant cells are more susceptible to proliferative stimuli. Within this context, this study evaluated the effect of LLLT on epidermoid carcinoma of the tongue cell line (SCC25) proliferation and invasion. Cultured cells were irradiated with an InGaAIP diode laser, 660nm, 30mW using two energy densities (0.5J/cm2 and 1.0J/cm2). Proliferative activity was assessed through trypan blue staining method and through cell cycle analysis using flow cytometry. The invasive potential was measured through cell invasion assay using matrigel. Cyclin D1, E-cadherin, -catenin and MMP-9 expressions were analyzed by immunofluorescence and flow cytometry and related to the investigated biological activities. Proliferation curve demonstrated that SCC25 irradiated with 1.0J/cm2 had the highest proliferative rate when compared to the control group and the group irradiated with 0.5J/cm2 (p<0.05). LLLT affected cell cycle distribution and energy density of 1.0 J/cm2 promoted a higher percentage of cells in S/G2/M phases, with statistically significant differences at 24h interval (p<0.05). LLLT, mainly with 1.0J/cm2, revealed significantly higher potential for invasion and influenced the expression of cyclin D1, E-cadherin, -catenin and MMP-9, promoting the malignant phenotype. In conclusion, our results indicate that LLLT has an important stimulatory effect on proliferation and invasion of SCC25 cells, likely due to altered expression of proteins associated with these processes

S-100 dendritic cells in normal and Dermatobia hominis infested cattle skin

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

Caracterização morfológica de frutos, sementes e plântulas de Pseudima frutescens (Aubl.) Radlk. (Sapindaceae)

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

Diversity of functional traits of fleshy fruits in a species-rich Atlantic rain forest

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

Interação entre fatores visuais e olfativo em localização de recursos pela mosca-varejeira, Chrysomya megacephala (Fabricius) (Diptera: Calliphoridae), em condições naturais

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

Espectroscopia de impedância no laboratório de ensino

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