Estrutura do dossel e acúmulo de forragem dos capins piatã e marandu sob pastejo com ovinos

The objective of this scientific work was to evaluate the tillering and mass production of Brachiaria brizantha Piatã and Marandu grasses with two statures of post-grazing. The experimental lineation was in factorial arrangement (2 pastures x 2 residue stature) with subplots (grazing cycle). The experimental period was from March to October of 2012. The target stature on pre-grazing was 50 cm and on post-grazing 15 and 25 for each cultivar. The following variables were analyzed: tiller population density, forage mass, morphological components, accumulation and accumulation rate. Three grazing cycles were obtained. Marandu grass presented larger forage mass on pre-grazing and lower stem production than piatã grass. No difference was observed between the two cultivars regarding the leaf blade production. There was no difference on forage mass, leaf blade, stem, and dead material production between the two statures of post-grazing. The pastures managed at 25 cm presented accumulation rate compared to those with 15 cm. Concerning the accumulation rate on the two cultivars, piatã and marandu grasses, Marandu grass presented higher amount than the piatã grass, and also presented higher values on the rate of basal tiller appearing on 15 cm stature post-pasture feature. Piatã grass managed at 25 cm developed smaller tiller amount on the second generation and greater tiller amount on the third generation than marandu grass. The greater tiller population density was observed on 25cm post-grazing pastures. There was no statistical difference of density between the two cultivars and between the cycles. Accordingly, it is concluded that piatã and marandu cultivars can be managed with 15cm and 25 cm post-grazing statures

Modified LPE system used to diffuse Cd to obtain InSb infrared detectors

We are presenting here p/n junctions obtained with a modified opened liquid-phase epitaxy (LPE) system, used to diffuse indium antimonide (InSb) doped with Cd over InSb doped with Te wafers, in order to make InSb infrared (IR) sensors. This technique has several advantages: the diffusion can be performed in bigger substrate areas improving the device production; this method decreases the device manipulation, decreasing human mistakes and increasing the process reproducibility. The opened LPE in this work produced sensors in the first case with vapor of the diffusion material, coming from a microholed carbon boat full of the diffusion material, over which is positioned the substrate at atmospheric pressure. In the second, the diffusion material is on the bottom of a quartz recipient, and the InSb/Te wafer works as its cover, and vacuum was used. The IR sensors produced with the first method measured 8.9 x 10(7) cm Hz(1/2)/W as detectivity value and higher IR spectral response at 4.6 mu m, and those produced with the second 2.8 x 10(9) cm Hz(1/2)/W, at 4.4 mu m. Besides the electrical-optical properties, the structural properties of diffused layers were investigated by X-ray diffraction (XRD), scanning electron and atomic force microscopy (SEM, AFM), energy-dispersive and secondary ion mass spectroscopy (EDS, SIMS). (C) 2007 Elsevier B.V. All rights reserved.

Less Conservative Control Design for Linear Systems with Polytopic Uncertainties via State-Derivative Feedback

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

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

OSLERUS OSLERI (COBBOLD, 1876) INFECTION IN MANED WOLF (CHRYSOCYON BRACHYURUS, ILLIGER, 1815)

Oslerus osleri is a small nematode that infects the respiratory tract of domestic and wild canids and is responsible for causing chronic nodular tracheobronchitis. This paper aims to report a case of parasitism by O. osleri in a free-living maned wolf (Chrysocyon brachyurus) that was struck by a motor vehicle. Fecal samples were collected, and the presence of spiral larvae, with S-shaped tails, was observed on flotation. This characteristic was compatible with the Filaroididae Family larvae of O. osleri. Although the animal did not show clinical signs of respiratory system impairment, a tracheobronchoscopy was performed. Semitransparent nodules, 5 mm in diameter, containing adult parasites were observed in the third distal portion of the trachea, cranial to the carina. Larval morphological characteristics and the nodular locations were compatible with an O. osleri respiratory tract infection.

Percepção e ações educativas em ambientes escolares: enfoques aos documentos legais determinantes em área de proteção ambiental

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Hypertrophy and neuron loss: structural changes in sheep SCG induced by unilateral sympathectomy

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

Toxic acute hepatitis associated to the administration of prostaglandin in a dog

A prostaglandina F2a pode ser usada em caes para aumentar o volume do ejaculado em casos de inseminação artificial, criopreservação seminal ou biotecnologias de reprodução. Os efeitos colaterais após a administração da PGF2a, como taquicardia, salivação, emese, diarréia e convulsões geralmente são relacionadas com a dose utilizada. Esse trabalho objetiva relatar a ocorrência de hepatite tóxica aguda após a administração de PGF2a em um cão, e discutir a importância de se utilizar essa droga com cautela nessa espécie.

The growing importance of materials that prevent microbial adhesion: antimicrobial effect of medical devices containing silver

Research has clarified the properties required for polymers that resist bacterial colonisation for use in medical devices. The increase in antibiotic-resistant microorganisms has prompted interest in the use of silver as an antimicrobial agent. Silver-based polymers can protect the inner and outer surfaces of devices against the attachment of microorganisms. Thus, this review focuses on the mechanisms of various silver forms as antimicrobial agents against different microorganisms and biofilms as well as the dissociation of silver ions and the resulting reduction in antimicrobial efficacy for medical devices. This work suggests that the characteristics of released silver ions depend on the nature of the silver antimicrobial used and the polymer matrix. In addition, the elementary silver, silver zeolite and silver nanoparticles, used in polymers or as coatings could be used as antimicrobial biomaterials for a variety of promising applications. (C) 2009 Elsevier B. V. and the International Society of Chemotherapy. All rights reserved.

Silver Distribution and Release from an Antimicrobial Denture Base Resin Containing Silver Colloidal Nanoparticles

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

Root Canal Area Increase Promoted by the EndoSequence and ProTaper Systems: Comparison by Computed Tomography

Introduction: The aim of this study was to compare the increase of the root canal area after instrumentation with EndoSequence or ProTaper rotary systems. Methods: Twenty-two mesial root canals from mandibular molars were instrumented. Teeth were mounted on a base, numbered, and divided into 2 groups; teeth from 1-11 (PT group) were instrumented by using the ProTaper system, and teeth from 12-22 (ES group) were instrumented by using the EndoSequence system. Cone beam computed tomography was performed on all teeth before and after instrumentation. Measurements at 3,5, and 7 mm as well as differences in instrument performance were statistically compared by the Student t test at 5% significance level. Results: Both systems increased significantly the root canal area (P < .05) at all levels. Comparison between the rotary systems showed significantly greater increase (P < .05) for EndoSequence at 3 mm, with no statistically significant difference (P < .05) at the other levels. Conclusions: Both rotary systems increased significantly the root canal area. (J Endod 2010;36:1179-1182)

Topography-specific spindle frequency changes in Obstructive Sleep Apnea

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

Viral etiology among the elderly presenting acute respiratory infection during the influenza season

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