Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

The more stirring the better: cichlid fishes associate with foraging potamotrygonid rays

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

Stirring, charging, and picking: hunting tactics of potamotrygonid rays in the upper Paraná River

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

Pedagogia do esporte: livro didático aplicado aos jogos esportivos coletivos

The study deals with the pedagogical possibilities of text books as a resource for Physical Education (PE) classes based on sports, specifically team sports. It started from a bibliographical review on the cited terms and after that we advanced our studies in order to propose a didactic text book on Team Sports for PE classes considering two benchmarks: one technical-tactic and the other social-educational. In order to do so, we used methods from linguistics, and the development of a Didactic Sequence allowed the selection and distribution of the contents to be presented in the book in an orderly and judicious way. The focus in Team Sports is justified by its social-cultural insertion and by the need to transform recent studies into new pedagogical procedures for practicing them. The didactic text book, as well as the adequate preparation of the professionals who will use it, is pointed out as facilitator in the process of teaching, experiencing and learning team sports.

Biology of a catfish, Trichomycterus sp (Pisces, Siluriformes), in a pristine stream in the Morro do Diabo State Park, southeastern Brazil

The distribution, activity, diet, and reproduction of an undescribed catfish species of the genus Trichomycterus (Trichomycteridae) were studied in the Morro do Diabo State Park, an important conservation area in the Rio Paranapanema basin, State of São Paulo, southeastern Brazil. Trichomycterus sp. is a rheophilic species occurring solely in the riffle areas of the streams and hunts mostly immature aquatic insects during the day by picking them from the substrate. The population has a balanced sex ratio, but females were uncommon in the smallest and largest size classes suggesting that females demonstrate a more accelerated growth pattern. Presence of mature individuals throughout the year represents an opportunistic reproductive tactic for fishes living in fast flowing waters, where the clutches could be shifted by the current, but the high incidence of mature individuals in the wet season may be related to optimal environmental conditions for juveniles during that period. Because of the restriction of Trichomycterus sp. to riffle environments, the conservation of this species depends on the maintenance of the original characteristics of these headwaters. That demands protecting the riparian vegetation and consequently the stream from excessive siltation resulting from runoff and erosion.

Feeding association between benthic and nektonic Neotropical stream fishes

A interação nuclear-seguidor tem sido raramente registrada entre peixes de riachos Neotropicais. Este tipo de associação foi observada em um riacho de cabeceira, no sistema do Alto rio Paraná envolvendo o cascudinho, Aspidoras fuscoguttatus, como espécie nuclear, e Knodus moenkhausii, Poecilia reticulata e Astyanax altiparanae como seus seguidores. Indivíduos de Aspidoras fuscoguttatus revolveram o substrato durante alimentação, promovendo a suspensão de sedimento. Os seguidores, por sua vez, movimentaram-se pela nuvem de partículas em suspensão, capturando itens alimentares. As particulas alimentares em suspensão parecem não ser utilizadas pelo cascudinho, mas tornam-se disponíveis para K. moenkhausii, P. reticulata e A. altiparanae. O comportamento de seguidor representa uma tática alimentar alternativa para estas espécies, reforçando a idéia geral de plasticidade comportamental entre as espécies seguidoras.

Predation risk and jumping behavior in Pseudopaludicola aff. falcipes tadpoles

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

Greater Anis (Crotophaga major) Commensal Foraging with Freshwater Fish in the Pantanal Floodplain, Brazil

Foraging associations between birds and other groups of animals have been widely reported in the literature. I report the first observation of a foraging tactic involving a flock of Greater Ani (Crotophaga major), which deliberately followed fish along an artificial ditch in the Pantanal wetlands, feeding on animals flushed by the movement of the vegetation on the ditch banks. Further observations of the feeding behavior and foraging tactics of Greater Anis are necessary to ascertain if this type of behavior is a frequent event or merely sporadic. Received 22 June 2010. Accepted 11 October 2010.

Aspectos técnicos e econômicos da poda e do controle químico de Brevipalpus phoenicis no manejo da leprose dos citros

The objective of this study was to evaluate different citrus leprosis management tactics during seven seasons, based in pruning and acaricide applications, considering technical and economic aspects of each tactic. The trial was conducted from October 2003 to August 2010 in an orange plantation of Pera cv. located in the municipality of Reginópolis-SP, Brazil. The plants of citrus used were12 years old and grafted onto Cleopatra tangerine. The experimental design used was randomized blocks, in a factorial scheme, made up of factors type of pruning (A), with six levels: (1) drastic pruning, (2) intermediate pruning without leprosis lesions, (3) intermediate pruning with leprosis lesions (4) light pruning, (5) without pruning and (6) replant; acaricide applications factor (B), with three levels: (1) without acaricides applications, (2) with lime sulfur applications and (3) spirodiclofen or cyhexatin applied in rotation; pruning factor to remove leprosis symptomatic branches (C), with two levels: (1) with pruning for removal, (2) without removal pruning. The combination of factors, with respective levels (6 x 3 x 2), resulted in 36 treatments that were repeated four times, with each parcel being made up of three plants in a row. After seven years, it was observed that the types of the pruning and remove of leprosis symptomatic branches used as single management tactic, is not sufficient to leprosis control. Therefore, the results demonstrated that for leprosis management, it is essential the association between tactics, especially the control mite vector. For ensuring the citrus production economically, the use of acaricides highly efficient is essential in B. phoenicis control. The recommendation of the type of pruning should be in function of the leprosis incidence and severity in the orchard. In orchards with low leprosis incidence and severity the light pruning is more appropriate, because it is efficient and ensures greater financial balance. However, in orchards with high leprosis incidence and severity it is indicated the severe pruning for reducing or eliminating inoculum source. Between the severe prunings, the intermediate pruning with leprosis lesions is the most relevant, because the financial return will be faster. Replant is indicated only for young orchards, because does not imply in changes onto cultural practices.

Infestação e danos de Dichelops melacanthus (Dallas, 1851) (Heteroptera: Pentatomidae) em híbridos transgênicos e convencionais de milho, submetidos ao controle químico

Pós-graduação em Agronomia (Entomologia Agrícola) - FCAV

Mapeamento da sensibilidade ambiental do litoral de Ubatuba-SP a vazamentos de petróleo

Pós-graduação em Geociências e Meio Ambiente - IGCE

Otimização da produção massal e formulação de Bipolaris euphorbiae visando à obtenção de um bioherbicida

Pós-graduação em Microbiologia Agropecuária - FCAV

Functional trophic composition of the ichthyofauna of forest streams in eastern Brazilian Amazon

Este estudo teve como objetivo descrever a organização funcional da fauna de peixes de riachos do nordeste do estado do Pará, Brasil, com base em observações comportamentais das táticas alimentares das espécies. Sete igarapés foram amostrados entre junho e novembro de 2010 por técnicas de observações diretas durante sessões de mergulho livre, totalizando 91h 51min de observação, nos períodos diurno, crepuscular vespertino e noturno. Foram observadas 73 espécies distribuídas em seis ordens, 26 famílias e 63 gêneros, com predomínio de Characiformes, seguidos por Siluriformes. A partir de informações coligidas por observações ad libitum, as espécies foram organizadas em 18 grupos tróficos funcionais (GTFs), de acordo com duas características principais: (1) a tática alimentar observada com maior frequência; e (2) sua distribuição espacial no riacho, considerando suas dimensões lateral (margens e canal central) e vertical (coluna d'água). Os GTFs mais frequentes foram Catadores noturnos de invertebrados (9 espécies), Coletores diurnos de canal (8 spp.), Catadores diurnos de superfície (7 spp.), e Predadores de tocaia e emboscada (6 spp.). Os GTFs aqui definidos possibilitam uma análise comparativa da estrutura e composição da ictiofauna, que representa uma abordagem alternativa ao uso da estrutura taxonômica em estudos ecológicos. A classificação da ictiofauna baseada em GTFs proposta neste trabalho é comparada com outras três classificações, propostas por Sazima (1986), Sabino & Zuanon (1998) e Casatti et al. (2001).

Riso e estratégias de poder: alianças atuais no governo das condutas

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

Percepção de identidades no trabalho voluntário: estratégias de sobrevivência

Pós-graduação em Serviço Social - FCHS