Coffee leaf and stem anatomy under boron deficiency

A deficiência de B é muito comum nos cafezais brasileiros, mas as respostas do cafeeiro ao B têm sido erráticas, dependendo do ano, do modo e época de aplicação e, ainda, da fonte de B empregada. Um melhor entendimento dos efeitos do B na fisiologia e anatomia do cafeeiro é importante para o desenvolvimento de um programa racional de adubação boratada, uma vez que a anatomia da planta pode influenciar a translocação do nutriente. Neste experimento, plantas de dois cultivares foram cultivadas em soluções nutritivas com 0,0 (deficiente), 5,0 (adequado) e 25,0 µM (alto) de B. Quando os primeiros sintomas de deficiência apareceram, as folhas foram cortadas e tiveram suas paredes celulares isoladas e analisadas quanto aos teores de B e Ca. Cortes foram feitos em folhas novas e no ápice de ponteiros e fotografados em microscópio eletrônico de varredura. A resposta dos dois cultivares ao B foi semelhante, não tendo sido observados sintomas de toxidez. O teor de B nas paredes celulares foi aumentado com o incremento da concentração desse elemento na solução, enquanto o teor de Ca não foi afetado. A relação Ca/B decresceu com o aumento da concentração de B na solução. Com deficiência de B, os tecidos vasculares foram desorganizados e as paredes do xilema ficaram mais finas. Folhas de café com deficiência deste nutriente apresentaram menos estômatos, os quais se encontravam.

Além das xícaras: a construção do Café São Luiz como lugar de memória em Natal (1950-1980)

This research stands in discussions involving the relationship between memory, history and space. We will work with the Café São Luiz in the neighborhood of Cidade Alta in Natal, an place which remains open and founded in 1953. The place was opened in the district of greater movement of the 1950s, a zone of concentration of commerce and leisure. In consequence an impulse of memory, the Café São Luiz was represented by different statements, which they built a space that serves to support memory and identity of a group. The speeches elaborate the Café São Luiz as a monument, a place of memory according to Pierre Nora. Among these discourses of construction of the Café São Luiz stands out the 1982 book titled Na Calçada do Café São Luiz by José Luiz Silva. This research aims to discuss the construction of the Café São Luiz as a place of memory, questioning their representations, traversing the authorship of speeches over the place

Simulation Tools for Power Electronics Courses Based on Java Technologies

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

Java applets para um software educacional distribuído em eletrônica de potência

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

Ensino e orientação para projeto de conversores CC-CC através de aplicativos em java

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

Caracterização física e sensorial do café produzido nas condições topoclimáticas de Jesuitas, Paraná

Climatic variations influence formation and maturation of coffee grains by altering their intrinsic characteristics, which call allow for several types of coffee qualities, including the potential for production of special coffee. This study was carried out to verify the effect of environmental conditions and crop cultivation on chemical composition and their consequences in cup quality of coffees from region of Jesuitas, Parana State. During the same crop season this study was accomplished (2002-2003), cup quality was evaluated among the producers in several coffee-growing municipalities in Parana State. It was observed that 86% of samples were classified simply as "soft" (smooth flavor) or "hard" (bolder flavor), and 14% were classified as rioysh/rio (strong unpleasant taste). The results concluded that the practices adopted by producers, who have collaborated with the study, reflected positively oil the final cup quality, when compared to the overall quality results in the State. The climatic conditions and practices of crop management and harvest ill the Jesuitas region made for bolder coffee with low acidity, comparable to high quality coffees produced in Brazil and abroad.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

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

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Seasonality of pathogenic fungi in mites of rubber tree plantations adjacent to fragments of Cerrado

Fungos são os patógenos mais freqüentemente observados em populações de ácaros, auxiliando o controle destes em diferentes culturas. Vinte e cinco amostras de folhas foram coletadas de cultivos de seringueiras vizinhas a dois fragmentos de vegetação de Cerrado. em cada seringal, 25 plantas foram selecionadas para coletas e sete folhas ao redor da copa foram coletadas até a altura de sete a oito metros do solo. Aproximadamente 250 indivíduos de Calacarus heveae Feres, Phyllocoptruta seringueirae Feres e Tenuipalpus heveae Baker, coletados aleatoriamente, foram montados. Hirsutella thompsonii Fisher foi observado nas três espécies de ácaros e T. heveae foi a espécie mais infectada. Os maiores níveis de infecção ocorreram de novembro a fevereiro (estação chuvosa). Na estação seca, os níveis de infecção ficaram abaixo dos 5%. H. thompsonii tem potencial para ser usado como micoacaricida na estação chuvosa.

Jaguarundi (Puma yagouaroundi) (Geoffroy, 1803) (Carnivora, Felidae) food habits in a mosaic of Atlantic Rainforest and eucalypt plantations of southeastern Brazil

A dieta de uma população de jaguarundi (Puma yagouaroundi) (Geoffroy, 1803) (Carnivora, Felidae) foi estudada entre novembro de 2000 e novembro de 2001, em 24,9 km² de mosaico de Mata Atlântica secundária e reflorestamento de eucalipto na Serra de Paranapiacaba, São Paulo, Brasil. A análise das 26 amostras fecais e regurgitadas, obtidas em 570.1 km de percurso, indicou o consumo de 19 itens alimentares em um total de 74 ocorrências de presas. Pequenos mamíferos foram os itens mais frequentemente encontrados na dieta (42,5%), seguidos por aves (21%), répteis (14%) e mamíferos de tamanho médio (3%). A porcentagem de ocorrência (PO) sugere que a dieta concentra-se, principalmente, em pequenos roedores (30%) e aves (21%). Foi também registrada a predação sobre serpentes da família Viperidae. A amplitude de nicho alimentar padronizada (Bsta = 0,76) mostra uma dieta generalista, entretanto, os dados sugerem que o jaguarundi consome principalmente pequenos vertebrados (mamíferos, aves ou répteis), sobretudo, espécies terrestres.

Desenvolvimento de materiais adsorventes de óleos a partir de resíduos do beneficiamento do café e sua aplicação na ração para aves

O objetivo deste trabalho foi modificar quimicamente resíduos do beneficiamento do café (pergaminho), visando a obtenção de um produto mais hidrofóbico, testá-lo quanto ao seu poder adsorvente de óleo e utilizá-lo em formulações de rações para aves. Os resíduos foram analisados quanto a sua composição química-bromatológica e, posteriormente, acetilados com anidrido acético usando diferentes concentrações de N-bromossuccinimida, a temperatura de 120°C por 4 horas. A análise dos resíduos indicou altos teores de fibras. A acetilação possibilitou ganho de massa em todas as amostras estudadas. Nos testes de adsorção de óleo verificou-se aumento significativo na retenção de óleo dos materiais modificados, comprovando a hidrofobização. O material acetilado e com certa quantidade de óleo adsorvida foi chamado de OSoL (óleo sólido) sendo avaliado o seu valor nutricional em rações para aves, substituindo o óleo de soja. Nos ensaios metabólicos adotou-se o método de alimentação forcada, sendo determinados os valores de energia metabolizável verdadeira, energia metabolizável verdadeira corrigida para nitrogênio, coeficiente de digestibilidade da matéria seca, coeficiente de digestibilidade da proteína bruta e coeficiente de metabolizibilidade da energia metabolizável. Os tratamentos mostraram-se semelhantes estatisticamente, sendo, portanto, viável a inclusão do OSoL nas rações animais.