JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

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

Novo sistema hidropónico aplicado à produção do tomate cereja (Lycopersicum esculentum Mill. var Moscatel RZ)

A hidroponia é uma técnica poderosa na utilização eficiente dos recursos agrícolas, pois permite um ganho quer na produtividade, quer na qualidade do fruto. Atualmente os sistemas hidropónicos utilizados em plantas de médio porte não são os mais adequados, sendo esta uma área a explorar. Neste trabalho criou-se um novo sistema hidropónico (Deep Large Flow Technique- DLFT) para aplicação a plantas de médio porte e avaliou-se o seu impacto no crescimento, produtividade, biomassa e qualidade do tomate cereja (Solanum lycopersicum var. Moscatel RZ). O sistema de cultivo tradicional (solo) e semi-hidropónico (suporte com fibra de coco) serviram como base de comparação. Observou-se que após 31 dias as plantas cultivadas no novo sistema hidropónico obtiveram um crescimento acentuado, apresentando 3x mais frutos. Em termos de produtividade, os sistemas hidropónicos foram iguais, sendo o sistema tradicional 4x inferior. O total de biomassa foi significativamente maior no novo sistema hidropónico, com mais 20% e 88% que o sistema semi-hidropónico e tradicional, respetivamente. As plantas produzidas no sistema DLFT apresentaram frutos com qualidade superior, com um rácio de monossacarídeos/acidez de 6,6 mg/g. O conteúdo total de ácidos gordos nos frutos cultivados com este sistema foi 39% e 44% superior aos do semihidropónico e do tradicional. Contrariamente, o conteúdo de flavonóides foi inferior nos frutos cultivados com o novo sistema hidropónico, tendo os frutos do sistema tradicional e do sistema semi-hidropónico 40% e 10% maior teor desta família de compostos. Os resultados obtidos neste estudo demonstram que a utilização do novo sistema hidropónico na produção de plantas de médio porte, aumenta o crescimento, a acumulação de biomassa e a qualidade do fruto. Assim, permite ao produtor reduzir os custos, rentabilizar a produção (menor tempo de produção), valorizar a biomassa da planta e aumentar a qualidade do produto. Também, através dos teores de carotenóides, ácidos gordos e polifenóis poderá inferir-se que ocorreu um menor impato dos stressses abióticos subjacentes aos sistemas nas plantas produzidas pelo sistema DLFT.

Teoria básica das estruturas conceptuais

As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.

Linguagem intermédia tipificada para concorrência em memória partilhada

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Compostagem de resíduos da indústria de desfibrilação de algodão

O processo de compostagem foi avaliado por meio do monitoramento diário da temperatura em leiras confeccionadas com o resíduo da indústria de desfibrilação de algodão e tipos de inóculo. Foram avaliadas seis leiras, divididas em dois sistemas: com aeração e sem aeração, sendo estudados, em cada sistema, três tipos de inóculo: esterco bovino diluído em água; esterco bovino, e conteúdo ruminal. Avaliou-se, também, a porcentagem de redução de volume nas leiras quando se intensificaram os revolvimentos, visando a obter informações para fins de dimensionamento do pátio de compostagem. Os compostos produzidos foram transferidos para minhocário e amostras do produto após a compostagem e após a vermicompostagem foram analisadas quimicamente com o objetivo de avaliar os teores de nutrientes. Os resultados obtidos demonstraram que o conteúdo ruminal utilizado como inóculo tende a apresentar valores mais altos de temperatura na fase inicial (fase ativa) e menores na fase final (maturação), embora, independentemente do tipo de inóculo utilizado, a estabilização praticamente tenha ocorrido no mesmo período; o sistema com aeração possibilitou, em todos os tratamentos, estabilização mais rápida do material, quando comparado ao sistema sem aeração; a intensificação dos revolvimentos possibilitou diminuição do tempo de retenção com redução de 46% no volume final, e a composição química dos vermicompostos apresentou-se enriquecida quando comparada aos compostos produzidos.

Uma Avaliação de abordagens alternativas para armazenar RDF em banco de dados relacional

O Resource Description Framework (RDF) é uma infra-estrutura, que possibilita a codificação, troca e reuso de metadata estruturado. Metadata é dados sobre dados. O termo refere a qualquer dado usado para ajudar a identificação, descrição e localização de recursos eletrônicos na rede. O RDF permite adicionar declarações, sinônimos e palavras que não estão presentes nos recursos, mas que são pertinentes a eles. Uma declaração RDF pode ser desenhada usando diagramas de arcos e nodos, onde os nodos representam os recursos e os arcos representam as propriedades nomeadas. O modelo básico consiste em recursos, propriedades e objetos. Todas as coisas sendo descritas pelas declarações RDF são chamadas de recursos. Um recurso pode ser uma página da Web inteira ou um elemento específico HTML ou XML dentro de um documento fonte. Uma propriedade é um aspecto específico, característica, atributo, ou relação usada para descrever um recurso. O objeto pode ser um outro recurso ou um literal. Estas três partes, juntas, formam uma declaração RDF. O resultado do parser para recursos com metadata RDF, é um conjunto de declarações referentes aquele recurso. A declaração destas propriedades e a semântica correspondente delas estão definidas no contexto do RDF como um RDF schema. Um esquema não só define as propriedades do recurso (por exemplo, título, autor, assunto, tamanho, cor, etc.), mas também pode definir os tipos de recursos sendo descritos (livros, páginas Web, pessoas, companhias, etc.). O RDF schema, provê um sistema básico de tipos necessários para descrever tais elementos e definir as classes de recursos. Assim, os recursos constituindo este sistema de tipos se tornam parte do modelo RDF de qualquer descrição que os usa. A geração de modelos RDF pode ser conseguida através de algoritmos implementados com linguagens de programação tradicionais e podem ser embutidos em páginas HTML, documentos XML e até mesmo em imagens. Com relação a modelos em imagens, servidores Web específicos são usados para simular dois recursos sobre o mesmo URI, servindo ora a imagem ora a descrição RDF. Uma alternativa para armazenar e manipular grande quantidade de declarações RDF é usar a tecnologia de banco de dados relacional. Abordagens para armazenar declarações RDF em banco de dados relacional foram propostas, mas todas elas mantêm modelos diversos de diferentes fontes. Critérios de avaliação como tempo de carga, proliferação de tabelas, espaço, dados mantidos e custo de instruções SQL foram definidos. Duas abordagens apresentaram resultados satisfatórios. Com uma nova abordagem proposta por este trabalho se obteve melhores resultados principalmente no aspecto de consultas. A nova proposta provê mecanismos para que o usuário faça seu próprio modelo relacional e crie suas consultas. O conhecimento necessário pelo usuário se limita em parte aos modelos mantidos e ao esquema RDF.

Compostagem de resíduos da indústria de desfibrilação de algodão

O processo de compostagem foi avaliado por meio do monitoramento diário da temperatura em leiras confeccionadas com o resíduo da indústria de desfibrilação de algodão e tipos de inóculo. Foram avaliadas seis leiras, divididas em dois sistemas: com aeração e sem aeração, sendo estudados, em cada sistema, três tipos de inóculo: esterco bovino diluído em água; esterco bovino, e conteúdo ruminal. Avaliou-se, também, a porcentagem de redução de volume nas leiras quando se intensificaram os revolvimentos, visando a obter informações para fins de dimensionamento do pátio de compostagem. Os compostos produzidos foram transferidos para minhocário e amostras do produto após a compostagem e após a vermicompostagem foram analisadas quimicamente com o objetivo de avaliar os teores de nutrientes. Os resultados obtidos demonstraram que o conteúdo ruminal utilizado como inóculo tende a apresentar valores mais altos de temperatura na fase inicial (fase ativa) e menores na fase final (maturação), embora, independentemente do tipo de inóculo utilizado, a estabilização praticamente tenha ocorrido no mesmo período; o sistema com aeração possibilitou, em todos os tratamentos, estabilização mais rápida do material, quando comparado ao sistema sem aeração; a intensificação dos revolvimentos possibilitou diminuição do tempo de retenção com redução de 46% no volume final, e a composição química dos vermicompostos apresentou-se enriquecida quando comparada aos compostos produzidos.

Simulación en tiempo real de vehículos industriales con modelos multicuerpo de gran complejidad

El objetivo de esta Tesis ha sido la consecución de simulaciones en tiempo real de vehículos industriales modelizados como sistemas multicuerpo complejos formados por sólidos rígidos. Para el desarrollo de un programa de simulación deben considerarse cuatro aspectos fundamentales: la modelización del sistema multicuerpo (tipos de coordenadas, pares ideales o impuestos mediante fuerzas), la formulación a utilizar para plantear las ecuaciones diferenciales del movimiento (coordenadas dependientes o independientes, métodos globales o topológicos, forma de imponer las ecuaciones de restricción), el método de integración numérica para resolver estas ecuaciones en el tiempo (integradores explícitos o implícitos) y finalmente los detalles de la implementación realizada (lenguaje de programación, librerías matemáticas, técnicas de paralelización). Estas cuatro etapas están interrelacionadas entre sí y todas han formado parte de este trabajo. Desde la generación de modelos de una furgoneta y de camión con semirremolque, el uso de tres formulaciones dinámicas diferentes, la integración de las ecuaciones diferenciales del movimiento mediante métodos explícitos e implícitos, hasta el uso de funciones BLAS, de técnicas de matrices sparse y la introducción de paralelización para utilizar los distintos núcleos del procesador. El trabajo presentado en esta Tesis ha sido organizado en 8 capítulos, dedicándose el primero de ellos a la Introducción. En el Capítulo 2 se presentan dos formulaciones semirrecursivas diferentes, de las cuales la primera está basada en una doble transformación de velocidades, obteniéndose las ecuaciones diferenciales del movimiento en función de las aceleraciones relativas independientes. La integración numérica de estas ecuaciones se ha realizado con el método de Runge-Kutta explícito de cuarto orden. La segunda formulación está basada en coordenadas relativas dependientes, imponiendo las restricciones por medio de penalizadores en posición y corrigiendo las velocidades y aceleraciones mediante métodos de proyección. En este segundo caso la integración de las ecuaciones del movimiento se ha llevado a cabo mediante el integrador implícito HHT (Hilber, Hughes and Taylor), perteneciente a la familia de integradores estructurales de Newmark. En el Capítulo 3 se introduce la tercera formulación utilizada en esta Tesis. En este caso las uniones entre los sólidos del sistema se ha realizado mediante uniones flexibles, lo que obliga a imponer los pares por medio de fuerzas. Este tipo de uniones impide trabajar con coordenadas relativas, por lo que la posición del sistema y el planteamiento de las ecuaciones del movimiento se ha realizado utilizando coordenadas Cartesianas y parámetros de Euler. En esta formulación global se introducen las restricciones mediante fuerzas (con un planteamiento similar al de los penalizadores) y la estabilización del proceso de integración numérica se realiza también mediante proyecciones de velocidades y aceleraciones. En el Capítulo 4 se presenta una revisión de las principales herramientas y estrategias utilizadas para aumentar la eficiencia de las implementaciones de los distintos algoritmos. En primer lugar se incluye una serie de consideraciones básicas para aumentar la eficiencia numérica de las implementaciones. A continuación se mencionan las principales características de los analizadores de códigos utilizados y también las librerías matemáticas utilizadas para resolver los problemas de álgebra lineal tanto con matrices densas como sparse. Por último se desarrolla con un cierto detalle el tema de la paralelización en los actuales procesadores de varios núcleos, describiendo para ello el patrón empleado y las características más importantes de las dos herramientas propuestas, OpenMP y las TBB de Intel. Hay que señalar que las características de los sistemas multicuerpo problemas de pequeño tamaño, frecuente uso de la recursividad, y repetición intensiva en el tiempo de los cálculos con fuerte dependencia de los resultados anteriores dificultan extraordinariamente el uso de técnicas de paralelización frente a otras áreas de la mecánica computacional, tales como por ejemplo el cálculo por elementos finitos. Basándose en los conceptos mencionados en el Capítulo 4, el Capítulo 5 está dividido en tres secciones, una para cada formulación propuesta en esta Tesis. En cada una de estas secciones se describen los detalles de cómo se han realizado las distintas implementaciones propuestas para cada algoritmo y qué herramientas se han utilizado para ello. En la primera sección se muestra el uso de librerías numéricas para matrices densas y sparse en la formulación topológica semirrecursiva basada en la doble transformación de velocidades. En la segunda se describe la utilización de paralelización mediante OpenMP y TBB en la formulación semirrecursiva con penalizadores y proyecciones. Por último, se describe el uso de técnicas de matrices sparse y paralelización en la formulación global con uniones flexibles y parámetros de Euler. El Capítulo 6 describe los resultados alcanzados mediante las formulaciones e implementaciones descritas previamente. Este capítulo comienza con una descripción de la modelización y topología de los dos vehículos estudiados. El primer modelo es un vehículo de dos ejes del tipo chasis-cabina o furgoneta, perteneciente a la gama de vehículos de carga medianos. El segundo es un vehículo de cinco ejes que responde al modelo de un camión o cabina con semirremolque, perteneciente a la categoría de vehículos industriales pesados. En este capítulo además se realiza un estudio comparativo entre las simulaciones de estos vehículos con cada una de las formulaciones utilizadas y se presentan de modo cuantitativo los efectos de las mejoras alcanzadas con las distintas estrategias propuestas en esta Tesis. Con objeto de extraer conclusiones más fácilmente y para evaluar de un modo más objetivo las mejoras introducidas en la Tesis, todos los resultados de este capítulo se han obtenido con el mismo computador, que era el top de la gama Intel Xeon en 2007, pero que hoy día está ya algo obsoleto. Por último los Capítulos 7 y 8 están dedicados a las conclusiones finales y las futuras líneas de investigación que pueden derivar del trabajo realizado en esta Tesis. Los objetivos de realizar simulaciones en tiempo real de vehículos industriales de gran complejidad han sido alcanzados con varias de las formulaciones e implementaciones desarrolladas. ABSTRACT The objective of this Dissertation has been the achievement of real time simulations of industrial vehicles modeled as complex multibody systems made up by rigid bodies. For the development of a simulation program, four main aspects must be considered: the modeling of the multibody system (types of coordinates, ideal joints or imposed by means of forces), the formulation to be used to set the differential equations of motion (dependent or independent coordinates, global or topological methods, ways to impose constraints equations), the method of numerical integration to solve these equations in time (explicit or implicit integrators) and the details of the implementation carried out (programming language, mathematical libraries, parallelization techniques). These four stages are interrelated and all of them are part of this work. They involve the generation of models for a van and a semitrailer truck, the use of three different dynamic formulations, the integration of differential equations of motion through explicit and implicit methods, the use of BLAS functions and sparse matrix techniques, and the introduction of parallelization to use the different processor cores. The work presented in this Dissertation has been structured in eight chapters, the first of them being the Introduction. In Chapter 2, two different semi-recursive formulations are shown, of which the first one is based on a double velocity transformation, thus getting the differential equations of motion as a function of the independent relative accelerations. The numerical integration of these equations has been made with the Runge-Kutta explicit method of fourth order. The second formulation is based on dependent relative coordinates, imposing the constraints by means of position penalty coefficients and correcting the velocities and accelerations by projection methods. In this second case, the integration of the motion equations has been carried out by means of the HHT implicit integrator (Hilber, Hughes and Taylor), which belongs to the Newmark structural integrators family. In Chapter 3, the third formulation used in this Dissertation is presented. In this case, the joints between the bodies of the system have been considered as flexible joints, with forces used to impose the joint conditions. This kind of union hinders to work with relative coordinates, so the position of the system bodies and the setting of the equations of motion have been carried out using Cartesian coordinates and Euler parameters. In this global formulation, constraints are introduced through forces (with a similar approach to the penalty coefficients) are presented. The stabilization of the numerical integration is carried out also by velocity and accelerations projections. In Chapter 4, a revision of the main computer tools and strategies used to increase the efficiency of the implementations of the algorithms is presented. First of all, some basic considerations to increase the numerical efficiency of the implementations are included. Then the main characteristics of the code’ analyzers used and also the mathematical libraries used to solve linear algebra problems (both with dense and sparse matrices) are mentioned. Finally, the topic of parallelization in current multicore processors is developed thoroughly. For that, the pattern used and the most important characteristics of the tools proposed, OpenMP and Intel TBB, are described. It needs to be highlighted that the characteristics of multibody systems small size problems, frequent recursion use and intensive repetition along the time of the calculation with high dependencies of the previous results complicate extraordinarily the use of parallelization techniques against other computational mechanics areas, as the finite elements computation. Based on the concepts mentioned in Chapter 4, Chapter 5 is divided into three sections, one for each formulation proposed in this Dissertation. In each one of these sections, the details of how these different proposed implementations have been made for each algorithm and which tools have been used are described. In the first section, it is shown the use of numerical libraries for dense and sparse matrices in the semirecursive topological formulation based in the double velocity transformation. In the second one, the use of parallelization by means OpenMP and TBB is depicted in the semi-recursive formulation with penalization and projections. Lastly, the use of sparse matrices and parallelization techniques is described in the global formulation with flexible joints and Euler parameters. Chapter 6 depicts the achieved results through the formulations and implementations previously described. This chapter starts with a description of the modeling and topology of the two vehicles studied. The first model is a two-axle chassis-cabin or van like vehicle, which belongs to the range of medium charge vehicles. The second one is a five-axle vehicle belonging to the truck or cabin semi-trailer model, belonging to the heavy industrial vehicles category. In this chapter, a comparative study is done between the simulations of these vehicles with each one of the formulations used and the improvements achieved are presented in a quantitative way with the different strategies proposed in this Dissertation. With the aim of deducing the conclusions more easily and to evaluate in a more objective way the improvements introduced in the Dissertation, all the results of this chapter have been obtained with the same computer, which was the top one among the Intel Xeon range in 2007, but which is rather obsolete today. Finally, Chapters 7 and 8 are dedicated to the final conclusions and the future research projects that can be derived from the work presented in this Dissertation. The objectives of doing real time simulations in high complex industrial vehicles have been achieved with the formulations and implementations developed.

Efeitos de anos agrícolas em diferentes variedades de amoreira, em três tipos de espaçamentos e três épocas de poda, cultivadas no sistema de cepo: parte I - estudo na região de Mocóca

São apresentados neste trabalho os resultados da produção de folhas em Kg/ha de três variedades de amoreiras comuns ou nacionais: Calabresa, Fernão Dias e Lopes Lins que se multiplicam facilmente pela estaquia natural. Foram conduzidas no sistema de "cepo" (touceira), plantadas nos espaçamentos de 1,50x1,00 m., 1,50x1,50 m., 1,50x2,00 m. e podadas em três diferentes épocas: 1.ª quinzena de junho, 2.ª quinzena de junho e 1.ª quinzena de julho dos três anos agrícolas (1963/64, 1964/65 e 1965/66). A análise estatística da produção média de folhas dos três anos agrícolas, mostrou que a variedade mais produtiva foi a Calabresa, plantada no espaçamento de 1,50x1,00 m. e podada mais tardia -, 1.ª quinzena de julho.

Efeitos de anos de produção de folhas em diferentes variedades de amoreira em três tipos de espaçamentos e três épocas de poda, cultivadas no sistema de cepo: parte II - estudo na região de Pindorama

São apresentados os resultados da produção de folhas em kg/ha, de três variedades de amoreiras comuns, como a calabresa, a fernão dias e a lopes lins, cultivadas no sistema de "cepo", e que, como a formosa, a ungaresa, a miura etc, caracterisam-se por se multiplicar facilmente pela estaquia natural, isto é, prescindem do emprego de substâncias químicas, como os hormônios vegetais sintéticos para enraizar. Em conseqüência, o cultivo das variedades comuns é predominante nas regiões sericícolas do Estado, principalmente a calabresa, por ser muito precoce na brotação, muito rústica, apresentar boa produção de folhas e suportar até quatro colheitas de ramos enfolhados num ciclo anual incluída a poda de produção ou de inverno. As três primeiras variedades em estudo neste experimento foram plantadas de haste única, raízes nuas, nos espaçamentos de 1,50x 1,00 m, 1,50x1,50 m e 1,50 x 2,00 m e podadas em três diferentes épocas - 1.ª quinzena de junho, 2.ª quinzena de junho e 1.ª quinzena de julho dos anos agrícolas 1963/64, 1964/65 e 1965/66. Neste experimento, que constou de um fatorial 3 x 3 x 3, as colheitas parciais de ramos enfolhados foram três para cada ano agrícola, realizadas no intervalo de quatro meses uma da outra. Depois de as mudas plantadas apresentarem-se bastante desenvolvidas, foram, nas respectivas épocas de poda, cortadas ao rés do solo com golpes firmes de enxadão bem afiado. Nas duas outras colheitas parciais realizadas em pleno período vegetativo, o corte dos ramos enfolhados foi feito a alguns centímetros acima da(1) Dois outros ensaios idênticos ao presente, foram instalados nas regiões agrícolas de Limeira e Mococa. superfície do solo. A formação da amoreira nesse sistema é conhecida pela denominação de cultivo em "cepa", porque após cada colheita ficam tocos sobre o solo. Decorridos alguns anos de colheitas de ramos nesse sistema, uma única muda de haste única por contínua perfilhação, transforma-se em espessa touceira, desde que se efetuem as necessárias adubações acompanhadas da correção do pH do solo. A análise estatística conjunta das produções médias de folhas dos três anos agrícolas, mostrou que a variedade calabresa foi a mais produtiva, quando adotado o espaçamento de 1,50 x 1,00 m e podada na terceira época: l.ª quinzena de julho. Em segundo e terceiro lugar na ordem decrescente da produção de folhas em kg/ha, seguiram-se as variedades fernão dias e lopes lins, também no espaçamento 1,50x1,00 m e podadas na mesma época que a calabresa: 1.ª quinzena de julho.

Relações entre os tipos e indicadores de acidez do solo em lavouras no sistema plantio direto na região do Planalto do Rio Grande do Sul

A recente mudança no sistema de cultivo do solo ocorrida no Brasil, passando do preparo convencional (PC) para o sistema plantio direto (SPD), altera o funcionamento do solo. No solo cultivado no SPD, as relações se estabelecem no tempo e são preservadas aumentando a complexidade do funcionamento do sistema, enquanto no PC estas relações são freqüentemente destruídas. Assim, devido à formação de gradientes de acidez, de matéria orgânica e de nutrientes a partir da superfície do solo é possível que se altere a magnitude das relações entre os tipos e os indicadores de acidez e que a camada de 0-20 cm de profundidade não seja a mais adequada para representar o estado de fertilidade de solo no SPD. Por essa razão, este trabalho foi conduzido com o objetivo de estudar as relações entre os tipos de acidez e os seus principais indicadores em duas camadas de solo em lavouras no SPD consolidado na região do Planalto Riograndense. Foram selecionadas seis lavouras, coletando-se, em cada uma, amostras de solo em 20 locais, nas camadas de 0-10 e 0-20 cm de profundidade, para a determinação dos tipos e dos indicadores de acidez. As relações entre os tipos e os indicadores de acidez do solo não se diferenciaram nas camadas avaliadas. Assim, para a região estudada e para o sistema de cultivo utilizado, qualquer das camadas (0-10 ou 0-20 cm) pode ser utilizada para fins de recomendação de calagem.

Demanda de potência de uma semeadora com dois tipos de sulcadores em áreas compactadas pelo pisoteio de animais no sistema integração lavoura-pecuária

O objetivo deste trabalho foi avaliar a potência requerida na barra de tração do trator por uma semeadora com dois tipos de elementos sulcadores, na semeadura da soja, em áreas compactadas pelo pisoteio de animais em sistema de integração lavoura-pecuária. Foi utilizado o delineamento em parcela subdividida inteiramente casualizado, sendo os tratamentos principais compostos de solo úmido com pastejo, solo seco com pastejo e solo sem pastejo, e nos secundários foram utilizados sulcadores de haste ou discos duplos. Foram avaliadas a densidade e a resistência do solo à penetração, a força de tração exercida pela semeadora, a velocidade e a potência requerida na barra de tração do trator. As alterações no solo causadas pelo pisoteio do gado não foram suficientes para interferir na demanda de potência. Entre os elementos, as semeadoras com sulcadores de disco exerceram menor força de tração, e a velocidade de deslocamento do conjunto foi maior.