Biology and thermal requirements of Telenomus remus reared on fall armyworm Spodoptera frugiperda eggs

Este trabalho teve como objetivo estudar a biologia de Telenomus remus Nixon criado em ovos de Spodoptera frugiperda (J.E. Smith) em diferentes temperaturas. Com base no desenvolvimento do ciclo (ovo-adulto), foram determinados as exigências térmicas e o número de gerações dos parasitóides em temperaturas constantes. Inicialmente, ovos de S. frugiperda, com 24 horas de idade, foram submetidos ao parasitismo por T. remus, durante cinco horas, sendo então transferidos para câmaras climatizadas reguladas para as temperaturas de 15, 20, 25, 28, 31 e 35°C. A duração do ciclo (ovo-adulto) foi influenciada pela temperatura variando de 8,3±0,01 a 47,2±0,01 dias para fêmeas e 8,1±0,01 a 46,8±0,01 dias para machos de T. remus nas temperaturas de 31 e 15°C, respectivamente. A porcentagem de emergência (viabilidade) de T. remus em ovos de S. frugiperda também foi influenciada pela variação da temperatura, apresentando redução significativa apenas nas temperaturas extremas. Foi observada redução na viabilidade a 15°C e não houve desenvolvimento biológico do parasitóide a 35°C. A razão sexual de T. remus não sofreu influência da temperatura. em relação às exigências térmicas, a constante térmica (K) e temperatura base (Tb) foram maiores para as fêmeas de T. remus (158,88 graus dias e 12,52°C) quando comparadas aos machos (154,12 graus dias e 12,59°C). A estimativa do número de gerações anuais para T. remus para machos e fêmeas em condições de laboratório foi respectivamente 5,6 e 5,6; 16,9 e 17,3; 28,3 e 29,0; 35,1 e 36,0; 39,6 e 40,7 nas temperaturas de 15, 20, 25, 28 e 31°C.

Digestible methionine plus cystine requirements of ISA Label broilers reared in free-range system

Three assays were carried out to determine the digestible methionine+cystine (Met+Cys) requirement for ISA Label broilers from both sexes. The birds were reared in free range system on starting phase (1 to 28 days), growing phase (28 to 56 days) and finishing phase (56 to 84 days). Four hundred and eighty birds were distributed into 24 pens, each one composed of shelter (3.13 m(2)) and pasture (72.87 m(2)). The experimental design was completely randomized with eight treatments as factorial arrangement (four Met+Cys levels and two sexes) with three replicates of 20 birds. The digestible Met+Cys levels were 0.532; 0.652; 0.772; 0.892% for starting phase; 0.515; 0.635; 0.755; 0.875% for growing phase and 0.469; 0.589; 0.709; 0.829% for finishing phase. The analyzed parameters were performance, carcass yield, body protein and fat deposition, weight and protein concentration in feathers. In the starting phase, the digestible Met+Cys level estimated for males was 0.765 and 0.803% for females, corresponding to 0.252 and 0.268% of Met+Cys/Mcal of ME, respectively. For the growing phase, the digestible Met+Cys level estimated was 0.716% for both sexes, corresponding to 0.235% of Met+Cys/Mcal of ME. For the finishing phase, the Met+Cys levels were 0.756 and 0.597% for males and females, corresponding to 0.244 and 0.193% of Met+Cys/Mcal of ME respectively.

Macromineral requirements for the maintenance and growth of Boer crossbred kids

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

Macromineral requirements for growing Saanen goat kids

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

Uma arquitetura baseada em SCTP e SIP para suporte a aplicações VoIP móveis e a especificação formal do seu módulo de controle

New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requirements. User localization procedures are specified in the application layer as well, using SIP, as an alternative mean to the mechanisms used by traditional protocols, that support mobility in the network layer. The SDL formal specification language is used to specify the operation of a control module, which coordinates the operation of the system component protocols. This formal specification is intended to prevent ambiguities and inconsistencies in the definition of this module, assisting in the correct implementation of the elements of this architecture

Superando os riscos da segurança baseada em perímetro - Uma abordagem com identificação federada através de certificados digitais A3/ICP-Brasil e SAML

The traditional perimeter-based approach for computer network security (the castle and the moat model) hinders the progress of enterprise systems and promotes, both in administrators and users, the delusion that systems are protected. To deal with the new range of threats, a new data-safety oriented paradigm, called de-perimeterisation , began to be studied in the last decade. One of the requirements for the implementation of the de-perimeterised model of security is the definition of a safe and effective mechanism for federated identity. This work seeks to fill this gap by presenting the specification, modelling and implementation of a mechanism for federated identity, based on the combination of SAML and X.509 digital certificates stored in smart-cards, following the A3 standard of ICP-Brasil (Brazilian official certificate authority and PKI)

The nitrogen sufficiency index underlying estimates of nitrogen fertilization requirements of common bean

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

Application of intelligent systems for specification of automotive equipments using LEDs

The advantages offered by the electronic component light emitting diode ( LED) have caused a quick and wide application of this device in replacement of incandescent lights. However, in its combined application, the relationship between the design variables and the desired effect or result is very complex and it becomes difficult to model by conventional techniques. This work consists of the development of a technique, through artificial neural networks, to make possible to obtain the luminous intensity values of brake lights using LEDs from design data. (C) 2005 Elsevier B.V. All rights reserved.

Avaliação da fissuração por fadiga em tubos durante transporte marítimo

Tubos de aço são transportados diariamente em todo o mundo, por caminhão, trem ou navio. Conseqüentemente, danos de transporte, podem ocorrer com freqüência e regularidade. O tipo de dano particular selecionado para este estudo foi o de trinca por fadiga, o qual é considerado como um dos mais críticos. Neste trabalho foram estudados tubos de aço fabricados de acordo com os requisitos da norma API 5L [1]. Foram efetuadas caracterizações químicas, mecânicas e metalográficas de um tubo com diâmetro 609,6 mm e espessura 15,87 mm grau X-65. A simulação do transporte por navio de tubos de aço foi feita submetendo-se seções de tubo com comprimento igual a 0,1 metro, a ciclos de fadiga por meio de máquina servo-hidráulica. Foi possível concluir que em tubos soldados, a região adjacente ao cordão de solda é a mais crítica, e que quando o posicionamento do tubo na carga é efetuado de maneira que a solda fique apoiada sobre alguma superfície rígida, a ocorrência de trinca por fadiga torna-se possível principalmente se os procedimentos de manuseio, carregamento e transporte não forem executados da maneira como recomendada pelos fabricantes de tubos e pela norma API [2].

Strategy of specification of management areas: rice grain yield as related to soil fertility

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

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

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Um framework baseado em modelos para desenvolvimento de sistemas multimídia distribuídos autoadaptativos

Distributed multimedia systems have highly variable characteristics, resulting in new requirements while new technologies become available or in the need for adequacy in accordance with the amount of available resources. So, these systems should provide support for dynamic adaptations in order to adjust their structures and behaviors at runtime. This paper presents an approach to adaptation model-based and proposes a reflective and component-based framework for construction and support of self-adaptive distributed multimedia systems, providing many facilities for the development and evolution of such systems, such as dynamic adaptation. The propose is to keep one or more models to represent the system at runtime, so some external entity can perform an analysis of these models by identifying problems and trying to solve them. These models integrate the reflective meta-level, acting as a system self-representation. The framework defines a meta-model for description of self-adaptive distributed multimedia applications, which can represent components and their relationships, policies for QoS specification and adaptation actions. Additionally, this paper proposes an ADL and architecture for model-based adaptation. As a case study, this paper presents some scenarios to demonstrate the application of the framework in practice, with and without the use of ADL, as well as check some characteristics related to dynamic adaptation

GingaForAll: linha de Produtos do Middleware Ginga

Many challenges have been imposed on the middleware to support applications for digital TV because of the heterogeneity and resource constraints of execution platforms. In this scenario, the middleware must be highly configurable so that it can be customized to meet the requirements of applications and underlying platforms. This work aims to present the GingaForAll, a software product line developed for the Ginga - the middleware of the Brazilian Digital TV (SBTVD). GingaForAll adds the concepts of software product line, aspect orientation and model-driven development to allow: (i) the specification of the common characteristics and variables of the middleware, (ii) the modularization of crosscutting concerns - both mandatory and concepts variables - through aspects, (iii) the expression of concepts as a set of models that increase the level of abstraction and enables management of various software artifacts in terms of configurable models. This work presents the architecture of the software product line that implements such a tool and architecture that supports automatic customization of middleware. The work also presents a tool that implements the process of generating products GingaForAll

Especificação do micronúcleo FreeRTOS utilizando o método B

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.