Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Evaluation of ten tropical grasses in the northwest region of the state of Sao-Paulo Brazil

The experiment was carried out in the northwest region of the State of São Paulo-Brazil to evaluate ten grasses recently introduced in the region. The grasses studied were: Cynodon nlemfuensis cv. Tifton 68, C dacrylon cv. Tifton 78, Cynodon spp. cv. Tifton 85, C. dactylon cv. Florakirk, C. nlemfuensis cv. Florico, C nlemfuensis cv. Florona, C dactylon cv. Coastcross, Paspalum notation cv. Tifton and NDF (717 to 749 g.kg(-1)) were observed in the Cynodon cultivars while lower values of CP (102 and 107 g.kg(-1)) and NDF (697 and 705 g.kg(-1)) were registered in the cvs. Marandu and Tanzania 1. The contents of ADF were higher in the the cvs. Tanzania 1 and Tifton 9. The average values of IVDMD differed (Ppound0.05) among grasses and were all above 564 g.kg(-1), except for cv. Tifton-9 (499 g.kg(-1)). The results obtained in this work allowed to conclude that the cvs. Tifton 78, Tifton 85, Coastcross, Florona, and Tanzania 1 are interesting options for pastures establishment in the northwest region of the State of São Paulo-Brazil.

Targeted Nucleotide Exchange in Bovine Myostatin Gene

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

Myostatin (GDF8) single nucleotide polymorphisms in Nellore cattle

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

Varenius e o conhecimento matemático do século XVII

Neste artigo, discutimos o contexto do desenvolvimento da Geografia que, no século XVII, liberou-se do seu papel nas diferentes fés cristãs, bem como a importância da cisão dos Protestantes, em Luteranos e Calvinistas, para o processo de secularização, e o conseguinte estabelecimento da Geografia como ciência moderna. Analisamos a contribuição fundamental do luterano Bernhard Varen, cuja obra Geografia Geral apresenta o paradigma dessa nova ciência. Naquela época, a Geografia era considerada um ramo da matemática, e esta obra nos dá indícios sobre notações e conceitos matemáticos utilizados naquele século. Analisamos, particularmente, o uso da notação decimal de números não inteiros e algumas aplicações de conceitos trigonométricos, comparando a edição original com as principais reedições desta obra.

Efeito da suplementação no desempenho de bovinos de corte em pastagem de Brachiaria brizantha cv. Marandu

Conduziu-se este trabalho, com o objetivo de avaliar o efeito da suplementação protéico-energética, durante o período das águas sobre o ganho de peso de bovinos mestiços (½ Nelore + ½ Blonde D'Aquitaine) mantidos em pastagem Brachiaria brizantha (A. Rich.) Stapf cv. Marandu. Avaliou-se a produção e a composição química da forragem. Foram utilizados 18 novilhos com peso médio de 181 kg, distribuídos em um delineamento em blocos ao acaso, em parcela subdividida, alocando o tratamento na parcela e o período na subparcela, com dois tratamentos e nove repetições; os tratamentos foram: sem suplementação (SS) e suplementados com concentrado em 0,6% do peso (SA). Foi verificado, durante o período das águas, aumento (P < 0,05) no ganho de peso dos novilhos (1,06 kg/dia) comparado aos novilhos que não receberam suplementação (0,77 kg/dia).

NORDSIECK FORMS OF STIFFLY-STABLE ADAMS-TYPE CYCLIC METHODS THAT ARE INSENSITIVE TO STEP-SIZE CHANGES

In this paper we determine a matrix S and a vector l for stiffly-stable Adams-type cyclic methods that are insensitive to step size changes by using the definition of equivalent methods, (see, e.g. [l]), in the Nordsieck notation. The elements S and l, written in a parametric form, permit us to represent in Nordsieck form the methods that were constructed in [7] and the new methods that satisfy the above properties.

Representation and analysis of soccer players' actions using principal components

This paper proposes the use of the Principal Components Analysis (PCA) method to represent and to analyse soccer players' actions distribution in the pitch. The seven games of the Brazilian National Team during the 2002 World Cup were analysed. The player's position actions were measured from videotapes in a computer interface. The results were: a) the graphical representation, given by two orthogonal segments in the two directions of maximal variability and centred at the mean of each player's actions position; b) the eccentricity measurement, given by the variability ratio and c) the actions zone area, given by variability product. The results showed that the individual characteristics of acting were well represented by the PCA, allowing comparisons among games and providing insights related to the tactical organisation of the team.

A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES

Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An algorithm to create a reachability tree for statecharts is presented. Also shown is how to use this tree to analyse dynamic properties of statecharts; reachability from any state configuration, usage of transitions, reinitiability, deadlocks, and valid sequence of events. Owing to its powerful notation, building a reachability tree for statecharts presents some difficulties, and we show how these problems were solved in the tree we propose.

VSSI (X)over-bar charts with sampling at fixed times

A standard (X) over bar chart for controlling the process mean takes samples of size no at specified, equally-spaced, fixed-time points. This article proposes a modification of the standard (X) over bar chart that allows one to take additional samples, bigger than no, between these fixed times. The additional samples are taken from the process when there is evidence that the process mean moved from target. Following the notation proposed by Reynolds (1996a) and Costs (1997) we shortly call the proposed (X) over bar chart as VSSIFT (X) over bar chart: where VSSIFT means variable sample size and sampling intervals with fixed times. The (X) over bar chart with the VSSIFT feature is easier to be administered than a standard VSSI (X) over bar chart that is not constrained to sample at the specified fixed times. The performances of the charts in detecting process mean shifts are comparable.

O uso idiomático dos instrumentos de percussão brasileiros: principais sistemas notacionais para o pandeiro brasileiro

This article adresses the idiomatic use of Brazilian percussion instruments and their notation on compositions. It uses the Brazilian "pandeiro", which is the principal instrument of this category, to make a technical and comparative analysis of the two main notational systems for this instrument, which are the models developed by Luiz D'Anunciacao and the other by Carlos Stasi. It also includes suggestions to help the development of this notation. It gives a list and description of several method books that could help percussionists, composers and arrangers to deepen their knowledge of Brazilian percussion.

VSSI X̄ charts with sampling at fixed times

A standard X̄ chart for controlling the process mean takes samples of size n0 at specified, equally-spaced, fixed-time points. This article proposes a modification of the standard X chart that allows one to take additional samples, bigger than n0, between these fixed times. The additional samples are taken from the process when there is evidence that the process mean moved from target. Following the notation proposed by Reynolds (1996a) and Costa (1997) we shortly call the proposed X chart as VSSIFT X chart where VSSIFT means variable sample size and sampling intervals with fixed times. The X chart with the VSSIFT feature is easier to be administered than a standard VSSI X chart that is not constrained to sample at the specified fixed times. The performances of the charts in detecting process mean shifts are comparable. Copyright © 1998 by Marcel Dekker, Inc.

Peso de abate de machos não-castrados para produção do bovino jovem. 1. Desempenho em confinamento e custos de produção

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

Peso de abate de machos não-castrados para produção do bovino jovem. 2. Peso, Idade e caracteristicas da carcaça

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