Reasoning about Requirements Evolution Using Clustered Belief Revision

During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. These inconsistencies cannot always be resolved immediately. As a result, we argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process. Clustered belief revision allows for the grouping of requirements with similar functionality into clusters and the assignment of priorities between them. By analysing the result of a cluster, an engineer can either choose to rectify problems in the specification or to postpone the changes until more information becomes available.

Abundance and distribution of juvenile pink shrimps Farfantepenaeus spp. in a mangrove estuary and adjacent bay on the northern shore of São Paulo State, southeastern Brazil

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

CRANIOMETRIC VARIATION AND SUBSPECIFIC DIFFERENTIATION IN THRICHOMYS APEREOIDES IN NORTHEASTERN BRAZIL (RODENTIA, ECHIMYIDAE)

Thrichomys apereoides is an echimyid rodent which ranges in distribution from northeastern and central Brazil into Paraguay. Five subspecies are recognized, although each form is not well characterized and diagnosis is based primarily in pelage color variation. In this study we employed procedures from multivariate statistics to assess the systematic status of subspecies described from northeastern Brazil. The results of the craniometric analysis cannot be reconciled with the subspecies currently recognized for northeastern Brazil. Populations assigned to T. a. laurentius and T. a. inermis form a continuum of variation in cranial size, although they differ in cranial shape from a population from the locality of Bodoco in the state of Pernambuco. The implications of these findings for the systematics of T. apereoides are discussed.

Genetic variation and phylogenetic relationships based on RAPD analysis in section Caulorrhizae, genus Arachis (Leguminosae)

Wild Arachis germplasm includes potential forage species, such as the rhizomatous Arachis glabrata and the stoloniferous A. pinto and A. repens. Commercial cultivars of A. pintoi have already been released in Australia and in several Latin American countries, and most of these cultivars were derived from a single accession of A. pintoi (GK 12787). Arachis repens is less productive as a forage plant than is A. pintoi. However, it can be crossed with A. pintoi, and thus has good potential as germplasm for the improvement of A. pintoi. Arachis repens is also used as an ornamental plant and ground cover. Many new accessions of these two stoloniferous species are now available, and they harbor significant genetic variability beyond that available in the few older accessions, previously available. Therefore, these new accessions need to be conserved, documented and considered in terms of their potential for crop improvement and direct commercial use. Sixty-four accessions of this new germplasm were analyzed using RAPD analysis. Most of the accessions of A. repens grouped together into a clearly distinct group. In general, the accessions from the distinct valleys of the Jequitinhonha, Sao Francisco and Parana rivers did not group together, suggesting there is not a tight relation between dispersion by rivers and the geographic distribution of genetic variation in these species.

Systematics and distribution of Thorea (Thoreaceae, Rhodophyta) from central Mexico and south-eastern Brazil

Thirteen populations of Thorea were analyzed from central Mexico and south-eastern Brazil. All populations were considered as belonging to a single species [Thorea hispida (Thore) Desvaux], with wide variation of morphological features. Secondary branches varying in frequency were observed in several populations with an overlapping in the range of branch density for Thorea violacea Bory and T. hispida (0-9 and 11-41 per 30 mm, respectively). As this is the most distinguishing character and on the basis of the overlapping (within a same population or even a single plant), we regarded T. violacea as a synonym of T. hispida. 'Chantransia' stage in culture, as well as gametophyte and carposporophyte were described in detail. We confirmed the coexistence of asexual monosporangia with sexual reproductive structures (carpogonia and spermatangia) and carposporangia. Size, content, arrangement and chromosome number were the most distinctive characteristics among spermatangia, carposporangia and monosporangia. Monosporangia can be promptly differentiated from spermatangia by their granulated content and larger size but they are similar to carposporangia in shape and size; however, monosporangia are not arranged in fascicles. Structures resembling bisporangia were observed in female plants of some populations. Chromosome numbers were n = 4 for spermatangia and fascicle cells, and 2n ca8 for gonimoblast filaments, carpospores and the 'Chantransia' stage cells. The populations of Thorea from central Mexico and south-eastern Brazil corroborated the known world distribution for T. hispida, consisting dominantly of tropical to subtropical rainforests, sometimes extending into warm temperate areas. Thorea hispida occurred in warm (temperature 17.6-28.0°C), neutral to alkaline (pH 7.0-8.0), high ion content (specific conductance 59-2140 μS cm-1), moderate flowing (current velocity 17-43 cm/s) and shallow waters (depth <50 cm); these data are essentially similar to previous reports.

Diurnal evolution of solar radiation at the surface in the city of São Paulo: Seasonal variation and modeling

Seasonal variations in the diurnal evolution of the global, diffuse and direct solar radiation at the surface, the clearness index, diffuse fraction and direct fraction are described in detail for the City of Sao Paulo, Brazil. The description is based on measurements of global and diffuse solar radiation carried out over 5.25 years. The diffuse component was measured with a shadow-band device. The annual evolution of the amplitude of the diurnal cycle of all radiometric parameters indicates a seasonal pattern with two distinct periods: autumn-winter and spring-summer. About 10% of the observed period was characterized by clear sky days. This seasonal variation is determined by a larger incidence of clear sky days in the autumn-winter period. Reductions of up to 10% in hourly and daily values of global radiation were observed in conjunction with an increase in particulate matter concentration on clear sky days. The pollution effect may be responsible for the discrepancy, of 16%, found between local and more regional estimates of global solar radiation in Sao Paulo. The diurnal evolution of hourly values of monthly-averaged global and diffuse solar radiation were successfully estimated by the empirical expressions derived here. Daily values of monthly-averaged global solar radiation were satisfactorily estimated using the Angstrom expression.

What can we say about trade and growth when trade becomes a complex system?

Includes bibliography

Intraspecific variation and emendation of Hannaella kunmingensis

In order to investigate the intraspecific variability in Hannaella kunmingensis, 11 isolates, including the type strain, were analyzed for their morphological and biochemical traits. The combined internal transcribed spacer region (ITS), D1/D2 domains of the large subunit rDNA (LSU), and cytochrome b gene were examined using phylogenetic and parsimony network analyses. Our investigations revealed differences in colony morphology as well as differences in 31 out of 64 phenotypic characteristics examined, including growth in lactose, vitamin free medium, xylitol, L-arabinitol, and nitrite. Growth in the presence of 0. 1 % cycloheximide was also highlighted in H. kunmingensis. All the 11 strains were conspecific in the LSU; however, variations of about 2. 5 % were found in the ITS while isolate CBS 8356 exhibited a 27. 3 % divergence from the other strains in the cytochrome b gene. Parsimony network analysis revealed the existence of three haplotypes among the H. kunmingensis strains studied but excluded CBS 8356 from the network connecting these haplotypes. This study contributes to the knowledge of the intraspecific diversity of H. kunmingensis. To accommodate such intraspecific variations, an emendation of the species diagnosis is proposed. © 2012 German Mycological Society and Springer.

Origin and distribution of AT-rich repetitive DNA families in Triatoma infestans (Heteroptera)

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

Estimation of Submerged Aquatic Vegetation Height and Distribution in Nova Avanhandava Reservoir (São Paulo State, Brazil) Using Bio-Optical Modeling

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

Chromosomal characteristics and distribution of constitutive heterochromatin in the Matogrossensis and Rubrovaria subcomplexes

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

On the Ecology and Distribution of Echinococcus spp. (Cestoda: Taeniidae), and Characteristics of Their Development in the Intermediate Host. II. Comparative Studies on the Development of Larval E. multilocularis Leuckart, 1863, in the Intermediate Host

This paper reports the results of a comparative study of the development of the larval Echinococcus multilocularis Leuckart, 1863), and associated tissue reaction in naturally and experimentally infected mammals representing 31 species. The histogenesis of the larval cestode was traced in detail in arvicoline rodents of several species, and interspecific differences were defined. In arvicoline rodents, the developing larva exhibited host-specific characteristics within about a month after infection was established. The tissue reaction in Microtus oeconomus was characterized by the production of a large quantity of detritus around the larva, and by the formation of a thick epithelioid zone. In one subspecies, M. oeconomus innuitus, development of the larva was retarded, and the detrital mass was often calcified; in another, M. oeconomus operarius, the detritus rarely became calcified and the larva proliferated more rapidly. In M. pennsylvanicus, the tissue reaction was minimal, and little detritus was present. The characteristics of the tissue reaction in M. montebelli placed it in an intermediate position between the aforementioned species. In Clethrionomys rutilus, a thin epithelioid zone and an outer zone of loose collagenous fibers composed the adventitial layer; exogenous budding was retarded in this vole. A minimal tissue reaction occurred in Lagurus curtatus. In Lemmus spp., larger cysts were characteristic, but areas of small-cystic proliferation were always present. Similar differences in species or subspecies of Citellus and Dicrostonyx were described. Lesions of alveolar bydatid disease in man also were studied. The invasive growth of the larval cestode in the human liver involves a process comparable to small-cystic proliferation in the natural intermediate hosts. Although the later stages of development of the larval cestode are inhibited in man, exogenous proliferation of vesicles continues for the life of the host. The lesion in man was compared with a morphologically similar formation produced by anomalous development of the larval E. granulosus in the bovine liver. The latter is distinguished by the absence of areas of small-cystic proliferation. Non-echinococcal lesions found in the tissues studied, some of which resembled foci caused by the larval E. multilocularis, were briefly discussed.

Trypanosoma cruzi mitochondrial maxicircles display species- and strain-specific variation and a conserved element in the non-coding region

Abstract Background The mitochondrial DNA of kinetoplastid flagellates is distinctive in the eukaryotic world due to its massive size, complex form and large sequence content. Comprised of catenated maxicircles that contain rRNA and protein-coding genes and thousands of heterogeneous minicircles encoding small guide RNAs, the kinetoplast network has evolved along with an extreme form of mRNA processing in the form of uridine insertion and deletion RNA editing. Many maxicircle-encoded mRNAs cannot be translated without this post-transcriptional sequence modification. Results We present the complete sequence and annotation of the Trypanosoma cruzi maxicircles for the CL Brener and Esmeraldo strains. Gene order is syntenic with Trypanosoma brucei and Leishmania tarentolae maxicircles. The non-coding components have strain-specific repetitive regions and a variable region that is unique for each strain with the exception of a conserved sequence element that may serve as an origin of replication, but shows no sequence identity with L. tarentolae or T. brucei. Alternative assemblies of the variable region demonstrate intra-strain heterogeneity of the maxicircle population. The extent of mRNA editing required for particular genes approximates that seen in T. brucei. Extensively edited genes were more divergent among the genera than non-edited and rRNA genes. Esmeraldo contains a unique 236-bp deletion that removes the 5'-ends of ND4 and CR4 and the intergenic region. Esmeraldo shows additional insertions and deletions outside of areas edited in other species in ND5, MURF1, and MURF2, while CL Brener has a distinct insertion in MURF2. Conclusion The CL Brener and Esmeraldo maxicircles represent two of three previously defined maxicircle clades and promise utility as taxonomic markers. Restoration of the disrupted reading frames might be accomplished by strain-specific RNA editing. Elements in the non-coding region may be important for replication, transcription, and anchoring of the maxicircle within the kinetoplast network.

Reasoning about shadows in a mobile robot environment

This paper describes a logic-based formalism for qualitative spatial reasoning with cast shadows (Perceptual Qualitative Relations on Shadows, or PQRS) and presents results of a mobile robot qualitative self-localisation experiment using this formalism. Shadow detection was accomplished by mapping the images from the robot’s monocular colour camera into a HSV colour space and then thresholding on the V dimension. We present results of selflocalisation using two methods for obtaining the threshold automatically: in one method the images are segmented according to their grey-scale histograms, in the other, the threshold is set according to a prediction about the robot’s location, based upon a qualitative spatial reasoning theory about shadows. This theory-driven threshold search and the qualitative self-localisation procedure are the main contributions of the present research. To the best of our knowledge this is the first work that uses qualitative spatial representations both to perform robot self-localisation and to calibrate a robot’s interpretation of its perceptual input.

MYC, FBXW7 and TP53 copy number variation and expression in Gastric Cancer

Abstract Background MYC deregulation is a common event in gastric carcinogenesis, usually as a consequence of gene amplification, chromosomal translocations, or posttranslational mechanisms. FBXW7 is a p53-controlled tumor-suppressor that plays a role in the regulation of cell cycle exit and reentry via MYC degradation. Methods We evaluated MYC, FBXW7, and TP53 copy number, mRNA levels, and protein expression in gastric cancer and paired non-neoplastic specimens from 33 patients and also in gastric adenocarcinoma cell lines. We also determined the invasion potential of the gastric cancer cell lines. Results MYC amplification was observed in 51.5% of gastric tumor samples. Deletion of one copy of FBXW7 and TP53 was observed in 45.5% and 21.2% of gastric tumors, respectively. MYC mRNA expression was significantly higher in tumors than in non-neoplastic samples. FBXW7 and TP53 mRNA expression was markedly lower in tumors than in paired non-neoplastic specimens. Moreover, deregulated MYC and FBXW7 mRNA expression was associated with the presence of lymph node metastasis and tumor stage III-IV. Additionally, MYC immunostaining was more frequently observed in intestinal-type than diffuse-type gastric cancers and was associated with MYC mRNA expression. In vitro studies showed that increased MYC and reduced FBXW7 expression is associated with a more invasive phenotype in gastric cancer cell lines. This result encouraged us to investigate the activity of the gelatinases MMP-2 and MMP-9 in both cell lines. Both gelatinases are synthesized predominantly by stromal cells rather than cancer cells, and it has been proposed that both contribute to cancer progression. We observed a significant increase in MMP-9 activity in ACP02 compared with ACP03 cells. These results confirmed that ACP02 cells have greater invasion capability than ACP03 cells. Conclusion In conclusion, FBXW7 and MYC mRNA may play a role in aggressive biologic behavior of gastric cancer cells and may be a useful indicator of poor prognosis. Furthermore, MYC is a candidate target for new therapies against gastric cancer.