Efficacy of several Salmonella vaccination programs against experimental challenge with Salmonella gallinarum in commercial brown layer and broiler breeder hens

The protective effect of various Salmonella vaccines regimens against an experimental Salmonella Gallinarum challenge (SGNalr strain at 12 wk of age) was evaluated in two experiments. In Experiment 1 commercial brown layers were vaccinated according to one of the following programs: (i) two doses of a SE bacterin (Layermune SE; group 1); (ii) a first dose of a live SG9R vaccine (Cevac SG9R) followed by a SE bacterin (Layermune SE; group 2); (iii) one dose of each of two different multivalent inactivated vaccines containing SE cells (Corymune 4 & Corymune 7; group 3) or (iv) not vaccinated (group 4). In Experiment 2, broiler breeders were given the same vaccination treatments except for the group vaccinated with the multivalent vaccines. Overall, in both experiments, all vaccination schemes were effective in reducing mortality after challenge with a SG field strain. Primary vaccination with an initial dose of a live SG9R vaccine followed some weeks later by a dose of an inactivated SE bacterin was the most effective (p<0.05) vaccination program against mortality induced by field SG experimental challenge in both experiments. In conclusion, Salmonella vaccination programs containing SE bacterins alone or in combination with a live SG9R vaccine are effective in preventing mortality induced by infection of field SG. Nevertheless, it is important to emphasize that any vaccination program against any Salmonella serotype will only be effective if it is part of a sound and comprehensive biosecurity program designed for Salmonella control in poultry farms.

Detection of bovine herpesvirus 5 (BoHV-5) in formalin-fixed, paraffin-embedded bovine brain by nested PCR in Colombian cattle

Fifteen cases of viral meningoencephalitis in Colombian cattle were tested by nested PCR analysis for the detection of bovine herpesvirus 5 (BoHV-5). All fatal cases had shown severe neurological signs and had occurred following natural outbreaks of the disease. The neurological infection was histologically characterized by mild to moderate inflammatory changes in the brain and cerebellum, including meningitis, mononuclear perivascular cuffing, gliosis, haemorrhage, and the presence of Gitter cells (macrophages) accompanying large areas of malacia. No intranuclear inclusion bodies were seen in any of the cases. Results from BoHV-5 molecular extraction analyses showed there were five positive cases thus confirming the presence of the virus in Colombia.

Humoral and cellular immune response generated by different vaccine programs before and after Salmonella Enteritidis challenge in chickens

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

e-Pontos: Uma solução embarcada de automação comercial aplicada a clubes de fidelidade baseado em tecnologia RFID e esmart card

In practically all vertical markets and in every region of the planet, loyalty marketers have adopted the tactic of recognition and reward to identify, maintain and increase the yield of their customers. Several strategies have been adopted by companies, and the most popular among them is the loyalty program, which displays a loyalty club to manage these rewards. But the problem with loyalty programs is that customer identification and transfer of loyalty points are made in a semiautomatic. Aiming at this, this paper presents a master's embedded business automation solution called e-Points. The goal of e-Points is munir clubs allegiances with fully automated tooling technology to identify customers directly at the point of sales, ensuring greater control over the loyalty of associate members. For this, we developed a hardware platform with embedded system and RFID technology to be used in PCs tenant, a smart card to accumulate points with every purchase and a web server, which will provide services of interest to retailers and customers membership to the club

Avaliação do desenvolvimento sustentável na bacia hidrográfica do Rio Seridó em face das políticas públicas e da gestão dos recursos hídricos

The reality of water resources management in semiarid regions, such as the Seridó region, has been shaped by a complex chain involving social-cultural, political, economic and environmental aspects, covering different spheres of activity - from local to federal. Because water is a scarce element, the most rational way pointed out by our recent history has been to move towards an increasing emphasis on the need for a truly rational, integrated, sustainable and participatory water resources management, supported by legislation and by a network of institutions that could materialize it. In this sense, despite all the advances in the formulation of public policies in water resources, which ones have indeed lead to significant changes that have occurred or are underway in semiarid regions such as Seridó? What factors may be preventing the realization of the desires rationality embedded in the framers of water policies intents? How to properly manage water resources if the current actors who promote their management and the political, human, cultural and institutional processes that intervene in this management, show strong traces of unsustainability? The research methodology adopted in this paper led to a breakdown of the traditional approach to water resource management, to integrate it into other areas of knowledge, especially to political science and public administration, catalyzed by the concept of "sustainable development". From a broad, interdisciplinary literature review, an exhaustive characterization of the river basin Seridó, a set of interviews with key people in the public administration acting in the region, a series of diagnoses and a set of propositions were made in order to correct the direction of current public policies for the region. From the point of view of public policies, it is in the deployment phase, not in its formulation, which lies a major problem of the lack of significant progress in water management. The lack of coordination between government programs are well characterized, as well as the lack of efficiency and effectiveness of their actions. The causes of this secular model are also discussed, including political factors and social relations of production, which led to a stalemate difficult, but of possible solution. It can be perceived there is a scenario of progressive deterioration of natural resources of the fragile ecosystem and a network of environmental and social consequences difficult to reverse, the result of a persistent and inertial sociopolitical culture, whose main factors reinforce itself. The work leads towards a characterization of the water resources management also from the perspective of environmental, institutional, political and human sustainability , the latter being identified, particularly as investment in the development of people as autonomous beings - not based in ideological directives of any kind - in the emancipation of the traditional figure of the poor man of the hinterland" to the "catalyst for change" responsible for their own decisions or omissions, based upon an education for free-thinking that brings each one as co-responsible epicenter of (self-) sustainable changes in their midst

Diagnosis of Public Programs focused on Herbal Medicines in Brazil

The present study is aimed to diagnose the current public programs focused on herbal medicine in Brazil where the following results can be observed. The main purpose of implementation of these programs was the demand of the users of medicinal plants and herbal medicines. The initiative of the implementation of these programs was related to the managers (58%). The difficulties in this implementation were due to lack of funding (90%) of the programs. In 80% of the programs, the physicians did not adhere to herbal medicine services due to lack of knowledge in the subject. Training courses were proposed (70%) to increase the adhesion of prescribers to the system. Some municipalities use information obtained from patients to assess the therapeutic efficiency of medicinal plants and herbal medicines. of the programs underway, cultivation of medicinal plants was observed in 50%, and 67% of the programs adopted quality control. In most programs, this control is not performed in accordance with the legal requirements.

A mixture theory based method for three-dimensional modeling of reinforce concrete members with embedded crack finite elements

The paper presents a methodology to model three-dimensional reinforced concrete members by means of embedded discontinuity elements based on the Continuum Strong Discontinuous Approach (CSDA). Mixture theory concepts are used to model reinforced concrete as a 31) composite material constituted of concrete with long fibers (rebars) bundles oriented in different directions embedded in it. The effects of the rebars are modeled by phenomenological constitutive models devised to reproduce the axial non-linear behavior, as well as the bond-slip and dowel action. The paper presents the constitutive models assumed for the components and the compatibility conditions chosen to constitute the composite. Numerical analyses of existing experimental reinforced concrete members are presented, illustrating the applicability of the proposed methodology.

2D evaluation of crack openings using smeared and embedded crack models

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

Spinless bosons embedded in a vector Duffin-Kemmer-Petiau oscillator

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

Observing the performance of distribution systems with embedded generators

In this paper, a multi-objective approach for observing the performance of distribution systems with embedded generators in the steady state, based on heuristic and power system analysis, is proposed. The proposed hybrid performance index describes the quality of the operating state in each considered distribution network configuration. In order to represent the system state, the loss allocation in the distribution systems, based on the Z-bus loss allocation method and compensation-based power flow algorithm, is determined. Also, an investigation of the impact of the integration of embedded generators on the overall performance of the distribution systems in the steady state, is performed. Results obtained from several case studies are presented and discussed. Copyright (C) 2004 John Wiley Sons, Ltd.

Energetic efficiency programs and power quality

This paper presents the results of the investigations that were done to identify and to quantify the power quality problems resultant from the actions done to improve the efficiency on electric energy consumption. The efficiencies of several electric devices were evaluated, among them: fluorescent bulb, electronic ballast, soft-starter, temperature controller for showers, dimmer and others. This evaluation allowed to establish a cause/effect analysis of the power quality.

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

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

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

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification