A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Apoio à gerência de requisitos de software utilizando Design Rationale

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

Previsão do comportamento de estruturas de contenção atirantadas utilizando o software FTOOL

Population growth, together with the gradual social ascent in Brazil, reflects at the growing need for better use of urban spaces. In this context, the amount of new buildings to meet the demand in property market, the needs for creating new roads and highways, among others, make the use of geotechnical works and, more specifically, retaining walls, more and more common. One of the simplest solutions for underground works is the use of retaining structures using tie back walls for soil support, therefore, the present work deals with this kind of structures. This paper proposes the use of FTOOL software testing in predicting deformations in tie back walls, by comparing simulations of the presented model to a real and measured deformation case in Guabirotuba Formation (PR). The results showed the importance of defining the parameters such as stiffness and curtain geometry, as well as the definition of representative loads acting on it. Also, it was pointed out that the passive response of the steel rods depends on the horizontal displacement of the wall. The study concluded that the program generates very representative results when compared to field data and seems to be a promising tool for tie back structures displacement predictions

Portable Hardness tester for timber classification

Hardness is a property largely used in material specifications, mechanical and metallurgical research and quality control of several materials. Specifically for timber, Janka hardness is a simple, quick and easy test, with good correlations with the compression parallel to grain strength, a strong reference in structural classification for this material. More recently, international studies have reported the use of Brinell hardness for timber assessment which resumes the advantages previously mentioned for Janka hardness and make it easier to be performed in the field, especially because of the lower magnitude of the involved loads. A first generation of an equipment for field evaluation of hardness in wood - Portable Hardness tester for wood - based on Brinell hardness has already been developed by the Research Group on Forest Products from FCA/UNESP, Brazil, with very good correlations between the evaluated hardness and several other mechanical properties of the material when performing tests with different species of native and reforested wood (traditionally used as ties - sleepers - in railways). This paper presents results obtained in the experimental program with the first generation of this equipment and preliminary tests with its second generation, which uses accelerometers to substitute the indentation measurements in wood. For the first generation of the equipment functional and calibration tests were carried out using 16 native and reforestation timber lots, among there E. citriodora, E. tereticornis, E. saligna, E. urophylla, E. grandis, Goupia glabra and Bagassa guianenses, with different origins and ages. The results obtained confirm its potential in the classification of specimens, with inclusion errors varying from 4.5% to 16.6%.

The resistivity piezocone for high resolution geo-environmental site investigation: A Brazilian example

A suit able decision-making on managing a contaminated site characterization program is strongly dependent of the diagnosis process. A detailed diagnosis can be done based on a Conceptual Site Model (CSM) elaboration using high resolution site characterization tools. The piezocone (CPTu) test is a high resolution tool which allows attaching several specific sensors, like the resistivity probe. This hybrid device is called the resistivity piezocone (RCPTu). A simulated geo-environmental site characterization program was performed on an erosion site using different tools (direct push tools soil samplers, hollow stem auger (HSA) drilling and RCPTu tests) to develop the CSM for a site similar to the Brazilian conditions. It was observed a good agreement between the site profiles interpreted by the different methods. The resistivity sensor attached to the piezocone improved the interpretation and the decision-making process on site was significantly better for the CSM elaboration. The RCPTu test data also allowed identifying the hydrogeological heterogeneities. The present study shows that the RCPTu test is also a useful and powerful tool to development an accurate CSM in a Brazilian condition, especially in an approach that prioritizes high resolution geo-environmental investigation. © 2013 Taylor & Francis Group.

Boas práticas de manejo de bezerras leiteiras na fase de cria e potenciais efeitos na recria

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

Federalismo e relações intergovernamentais no Brasil: a reforma de programas sociais

The article analyses the process of reform in four areas of social policies that affect directly the interests of sub-national governments: basic education, social housing programs, basic sanitation and health. As the study reveals, despite the varying degree of success achieved in the various policy initiatives and contrary to the expectations of the prevailing interpretations of the nature of Brazilian federalism, the federal government faced no insurmountable hurdles in implementing their reform agenda. The study aims at demonstrating that (i) in the absence of any constitutional mandatory requirement, the political autonomy of local governments - typical of federative States - actually enhances the veto power of local governments over policy initiatives proposed by the federal Executive branch. However, (ii) power resources available to the federal Executive branch - such as agenda definition and vetoing powers - in addition to control over resources that are essential to the political survival of the representatives increase the chances of success-of the federal government. Furthermore, (1999), (iii) the constitutional authority of Brazilian states is far more limited than that of the North-American states; (iv) the category federalism, however, is not sufficient to define the potential stability of specific policies, which depends upon how inter-governmental relations are structured in each particular policy. Specifically, (v) constitutional rules, legacies from previous policies and the political cycle frame the decision arenas in various ways, thus conditioning both the strategies and chances of success of the federative players.

Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

HW/SW for an intelligent transducer network based on IEEE 1451 standard

This work describes a hardware/software co-design system development, named IEEE 1451 platform, to be used in process automation. This platform intends to make easier the implementation of IEEE standards 1451.0, 1451.1, 1451.2 and 1451.5. The hardware was built using NIOS II processor resources on Alteras Cyclone II FPGA. The software was done using Java technology and C/C++ for the processors programming. This HW/SW system implements the IEEE 1451 based on a control module and supervisory software for industrial automation. © 2011 Elsevier B.V.

Reconhecimento de padrões lexicais por meio de redes neurais

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

Projeto Rived: um estudo de caso de uma equipe de matemática

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

Doses de nitrogênio na cultura do milho e do sorgo em consórcio com forrageiras

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

Comparison of resazurin microtiter assay performance and BACTEC MGIT 960 in the susceptibility testing of Brazilian clinical isolates of Mycobacterium tuberculosis to four first-line drugs

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

Foraging behavior of tyrant flycatchers (Aves, Tyrannidae) in Brazil

Este trabalho apresenta dados acerca do comportamento de forrageamento e substratos usados para a captura de presas por 28 espécies de tiranídeos (Tyrannidae) no Brasil. Para seis espécies: Arundinicola leucocephala Linnaeus, 1764, Fluvicola nengeta Linnaeus, 1766, Machetornis rixosa Vieillot, 1819, Myiozetetes similis Spix, 1825, Pitangus sulphuratus Linnaeus, 1766 e Tyrannus melancholicus Vieillot, 1819 -, também são apresentados dados sobre a altura do poleiro usado para caça, tempo de procura por presas, distância e ângulo de ataque. Com raras exceções, manobras do tipo sally strike foram as mais freqüentes, enquanto folhas vivas e o ar foram os substratos mais comumente usados para capturar presas. Para as seis espécies acima citadas três grupos de altura de forrageamento puderam ser discernidos: F. nengeta e M. rixosa forrageiam no chão, A. leucocephala e P. sulphuratus ocupam um estrato médio e T. melancholicus e M. similis formam um terceiro grupo e geralmente atacam suas presas a partir de poleiros situados a 3 m ou mais do chão. Com exceção de P. sulphuratus, que apresentou o tempo de procura mais longo, as outras cinco espécies não diferiram nesse aspecto. Três grupos foram também discernidos em relação à distância de ataque: F. nengeta e M. rixosa atacam presas próximas (< 2 m) a eles, A. leucocephala, P. sulphuratus e M. similis formam um grupo de média distância (3-4 m) e T. melancholicus apresentou as mais longas distâncias de ataque (até 12 m). As aves diferiram em alguns aspectos do ângulo de ataque que, juntamente com diferenças sutis em outros aspectos do comportamento de forrageamento podem levar a diferenças importantes na seleção de presas.

Plasmodium vivax infection among Duffy antigen-negative individuals from the Brazilian Amazon region: an exception?

We present evidence for Plasmodium vivax infection among Duffy blood group-negative inhabitants of Brazil. The P. vivax identification was determined by both genotypic and non-genotypic screening tests. The Duffy blood group was genotyped by PCR/RFLP and phenotyped using a microtyping kit. We detected two homozygous FY*B-33 carriers infected by P vivax, whose circumsporozoite protein genotypes were VK210 and/or P. vivax-like. Additional efforts are necessary in order to clarify the evidence that P. vivax is being transmitted among Duffy blood group-negative patients from the Brazilian Amazon region. (C) 2007 Published by Elsevier Ltd on behalf of Royal Society of Tropical Medicine and Hygiene.