Framework for analysis and representation of external systems for online reactive-optimisation studies

The paper proposes a framework for the analysis and representation of external systems for online optimisation studies. The basis for this framework is the equivalent OPF (EOPF), an optimisation model obtained by partitioning of the OPF model. The EOPF is mathematically redefined in the paper to accommodate the concept of a buffer zone. The resulting model is more useful for online optimisation, since external information obtained through intercontrol-centre exchange contracts can be used to improve internal control calculation. Numerical results obtained with original studies involving the boundary-matching procedure have provided a conceptual basis for the definition of a buffer zone for optimisation studies with the EOPF. In the proposed framework, the accuracy of the external representation in optimisation studies is evaluated by comparing the controls obtained by an EOPF procedure with those obtained by the reference-optimisation procedure defined in this paper. The framework is then used to evaluate the accuracy of equivalent optimisation studies involving the IEEE 118-bus test system and the Brazilian South Southeast 810-bus system. The results show that the incorporation of a buffer zone improves the external system representation for all optimisation studies performed.

Divergence Between Sympatric Rice- and Maize-Infecting Populations of Rhizoctonia solani AG-1 IA from Latin America

The basidiomycetous fungus, Rhizoctonia solani anastomosis group (AG)-1 IA is a major pathogen in Latin America causing sheath blight (SB) of rice Particularly in Venezuela. the fungus also Causes banded leaf and sheath blight (BLSB) oil maize, which is considered all emerging disease problem where maize replaced traditional rice-cropping areas or is now planted in adjacent. fields Our goals in this study Were 10 elucidate (i) the effects of host specialization on gene flow between sympatric and allopatric rice and maize-infecting fungal populations and (ii) the reproductive mode of the fungus, looking for evidence of recombination in total, 375 isolates of R. solani AG1 IA sampled from three sympatric rice and maize fields in Venezuela (Porutuguesa State) and two allopatric rice fields from Colombia (Meta State) and Panama (Chiriqui State) were genotyped Using, 10 microsatellite loci Allopatric populations from Venezuela. Colombia. and Panama were significantly differentiated (Phi(ST), of 0 16 to 0 34). Partitioning of the genetic diversity indicated differentiation between sympatric populations from different host species, with 17% of the total genetic variation distributed between hosts while only 3 to 6% wits distributed geographically among the sympatric Venezuelan Fields We detected symmetrical historical migration between the rice- and the maize-infecting populations from Venezuela Rice- and maize-derived isolates were able to infect built rice and maize but were more aggressive Oil their original hosts, consistent with host specialization. Because the maize- and rice-infecting populations are still cross-pathogenic, we postulate that the genetic differentiation was relatively recent and mediated via a host shift. An isolation with nu.-ration analysis indicated that the maize-infecting population diverged from the rice-infecting population between 40 and 240 years ago Our findings also suggest that maize-infecting Populations have a mainly recombining reproductive system whereas the rice-infecting Populations have a Mixed reproductive system in Latin America

Divergence Between Sympatric Rice- and Soybean-Infecting Populations of Rhizoctonia solani Anastomosis Group-1 IA

Rhizoctonia solani anastomosis group (AG)-1 IA causes soybean foliar blighting (aerial blight) and rice sheath blight diseases. Although taxonomically related within the AG-1 complex, sister populations of R. solani AG-1 IA infecting Poaceae (rice) and Fabaceae (soybean) are genetically distinct based on internal transcribed spacer rDNA. However, there is Currently no information available regarding the extent of genetic differentiation and host specialization between rice- and soybean-infecting populations of R. solani AG-1 IA. We used 10 microsatellite loci to compare sympatric R. solani AG-1 IA populations infecting rice and soybeans in Louisiana and one allopatric rice-infecting population from Texas. None of the 154 multilocus genotypes found among the 223 isolates were shared among the three populations. Partitioning of genetic diversity showed significant differentiation among sympatric populations from different host Species (Phi(ST) = 0.39 to 0.41). Historical migration patterns between sympatric rice- and soybean-infecting populations from Louisiana were asymmetrical. Rice- and soybean-derived isolates of R. solani AG-1 IA were able to infect both rice and soybean, but were significantly more aggressive on their host of on-in, consistent with host specialization. The soybean-infecting Population from Louisiana was more clonal than the sympatric rice-infecting population. Most of the loci in the soybean-infecting populations were Out of Hardy-Weinberg equilibrium (HWE.), but the sympatric rice-infecting population from Louisiana was mainly in HWE. All populations presented evidence for a mixed reproductive system.

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Comitês de grupamento aplicados a dados de expressão gênica

The main goal of this work is to investigate the suitability of applying cluster ensemble techniques (ensembles or committees) to gene expression data. More specifically, we will develop experiments with three diferent cluster ensembles methods, which have been used in many works in literature: coassociation matrix, relabeling and voting, and ensembles based on graph partitioning. The inputs for these methods will be the partitions generated by three clustering algorithms, representing diferent paradigms: kmeans, ExpectationMaximization (EM), and hierarchical method with average linkage. These algorithms have been widely applied to gene expression data. In general, the results obtained with our experiments indicate that the cluster ensemble methods present a better performance when compared to the individual techniques. This happens mainly for the heterogeneous ensembles, that is, ensembles built with base partitions generated with diferent clustering algorithms

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Compartimentação política do território: uma análise do processo no Curimataú oriental Paraibano

During the 1980‟s, the Brazilian State has undergone a process of redemocratization, causing a profund change in the political and institutional organization of the country. That reorientation of the Brazilian federative structure had as normative framework the enactment of the federal Constitution of 1988, occuring after its enactment a considerable political opening under the cloak of new democratic arrangements of tax and fiscal decentralization, which generated a new federative order, especially with regard to municipalities. Such institutions contributed to the creation of several new municipalities, involving, directly, changes in the structure of national territory, driven by the political context. This case was notoriouns in the 1990s, increased in the country's municipal mesh and spread all over the states of the federation. The Paraíba State was integrated in this context, creating in this period, 52 new municipalities. In the perspective, it will seek to understand the purpose that sustained this process of fragmentation of Paraíba state territory. For this purpose was made use of several bibliographies, secondary data, documentary sources and research in locus of the municipalities of Casserengue and Riachão, located in the Paraíba‟s Curimataú Oriental microregion, which were selected as a focus for specific analysis of the event. It is understood, however, that the production of municipalities, includes several intentions through political appropriation of the territory, although, being permeated by the Institutional

Competition and phylogeny determine community structure in Mullerian co-mimics

Until recently, the study of negative and antagonistic interactions (for example, competition and predation) has dominated our understanding of community structure, maintenance and assembly(1). Nevertheless, a recent theoretical model suggests that positive interactions (for example, mutualisms) may counterbalance competition, facilitating long-term coexistence even among ecologically undifferentiated species(2). Mullerian mimics are mutualists that share the costs of predator education(3) and are therefore ideally suited for the investigation of positive and negative interactions in community dynamics. The sole empirical test of this model in a Mullerian mimetic community supports the prediction that positive interactions outweigh the negative effects of spatial overlap(4) (without quantifying resource acquisition). Understanding the role of trophic niche partitioning in facilitating the evolution and stability of Mullerian mimetic communities is now of critical importance, but has yet to be formally investigated. Here we show that resource partitioning and phylogeny determine community structure and outweigh the positive effects of Mullerian mimicry in a species-rich group of neotropical catfishes. From multiple, independent reproductively isolated allopatric communities displaying convergently evolved colour patterns, 92% consist of species that do not compete for resources. Significant differences in phylogenetically conserved traits (snout morphology and body size) were consistently linked to trait-specific resource acquisition. Thus, we report the first evidence, to our knowledge, that competition for trophic resources and phylogeny are pivotal factors in the stable evolution of Mullerian mimicry rings. More generally, our work demonstrates that competition for resources is likely to have a dominant role in the structuring of communities that are simultaneously subject to the effects of both positive and negative interactions.

Aquatic insects as the main food resource of fish the community in a Neotropical reservoir

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

Preliminary data on the feeding habits of the freshwater stingrays Potamotrygon falkneri and Potamotrygon motoro (Potamotrygonidae) from the Upper Paraná River basin, Brazil

As raias da família Potamotrygonidae representam um grupo singular da ictiofauna Neotropical. Apesar de serem antigos os relatos sobre o grupo, ainda são muitas as questões que permanecem sem resposta, sobretudo no que diz respeito à biologia das espécies que ocorrem na Bacia do Paraná-Paraguai. No presente trabalho foi analisada a dieta de Potamotrygon falkneri e Potamotrygon motoro, capturadas no Alto Rio Paraná, a jusante da Usina Hidrelétrica Engenheiro Souza Dias (UHE Jupiá). As duas espécies de raias apresentaram dieta diversificada, ingerindo 14 itens, entre moluscos, crustáceos, insetos e peixes, porém com predominância de insetos aquáticos em diversidade e abundância. Somente um indivíduo de cada espécie ingeriu peixe. Potamotrygon motoro consumiu principalmente Ephemeroptera, enquanto P. falkneri, principalmente Mollusca, Hemiptera e Trichoptera. Os dados aparentemente indicam uma dieta mais especializada de P. motoro, com maior consumo de Ephemeroptera (Baetidae), e uma dieta mais generalizada de P. falkneri. A análise dos indivíduos capturados em três micro-hábitats, que diferem quanto ao tipo de substrato e presença de vegetação marginal, sugere diferenças nos tipos de alimentos consumidos.

Feeding selectivity of ichthyofauna in a tropical stream: space-time variations in trophic plasticity

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

Soil profile, relief features and their relation to structure and distribution of Brazilian Atlantic rain forest trees

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

Exploring community assembly through an individual-based model for trophic interactions

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

Breeding activity patterns, reproductive modes, and habitat use by anurans (Amphibia) in a seasonal environment in the Pantanal, Brazil

Annual patterns of breeding activity, reproductive modes, and habitat use are described for a frog community in a seasonal environment, in the southern Pantanal, Mato Grosso do Sul, Brazil. Data were collected monthly between January 1995 and December 1998. A total of 24 species from four families; Bufonidae (3 species), Hylidae (10 species), Leptodactylidae (9 species), and Microhylidae (2 species) were registered. Three reproductive activity patterns are recognized among these species: continuous, explosive, and prolonged; 50% of the species were explosive breeders. Seasonal pattern of reproduction was verified for three analyzed years (1995-1997) most species reproduced during the rainy season (Nov-Jan). The reproduction was aseasonal in 1998; unexpected rains in the dry season lead to an unusual breeding activity. Five reproductive modes were noted - 62.5% of the species have the generalized aquatic mode, and 33.3% deposit eggs embedded in foam nests. Many species used the same sites for reproduction, although temporal partitioning and calling site segregation was observed. The occurrence of many species that exhibit explosive breeding early in the rainy season is common in seasonal and open environments with variable and unpredictable rainfall, as is the case in the Pantanal.

Spatial and temporal distribution of tadpole assemblages (Amphibia, Anura) in a seasonal dry tropical forest of southeastern Brazil

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