A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Extending the Hydra Head to Create a Pluggable, Extensible Architecture: Diving into the Technology of Hydramata

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Clonal growth and dispersal potential of Leiothrix flagellaris Ruhland (Eriocaulaceae) in the rocky grasslands of Southeastern Brazil

Leiothrix flagellaris is a small clonal plant that grows in sandy/rocky, nutrient poor soils in the rocky grasslands ("campos rupestres") of southeastern Brazil. In the rainy season most of their flower heads differentiate into small rosettes, produced by pseudovivipary, and connected to the mother-plant by flexible, elongated stalks that can reach up to 90cm. Most of these rosettes remain suspended over rocks or over the sparse herbaceous surrounding vegetation, while a few arch low enough to come into contact with the surrounding soil and take root. These suspended rosettes can reach diameters comparable to currently rooted and reproductively active rosettes produced during previous reproductive periods. As the rooted rosettes grow up, their potential to generate and disperse new pseudoviviparous rosettes increase rapidly. This unusual guerrilla strategy of L. flagellaris seems to congregate a suit of traits that promote a fast increase in photosynthetic area and improve recruitment, thereby helping to circumvent dispersal and establishment failures in its severe environment.

Relationships between crown architecture and available irradiance in two cerrado species with different leaf phenologies

Structural differences between cerrado species with different leaf phenologies are linked to crown architecture, leaf production, and biomass allocation to shoots and leaves. The present study characterized crown structures and the patterns of biomass allocation to leaves and shoots in two woody cerrado species with contrasting leaf phenologies and quantified the irradiance reaching their leaves to determine the best period during the day for photosynthetic activity. The shoots and leaves of five individuals of both Annona coriacea (deciduous) and Hymenaea stigonocarpa (evergreen) were collected along a 50 m transect in a cerrado fragment within the urban perimeter of Catalão - GO, to determine their patterns of biomass allocation in their crowns. The evergreen H. stigonocarpa had significantly higher mean values of shoot inclination (SI), petiole length (PL), leaf area (LA), leaf display index (LDI), and individual leaf area per shoot (ILA), while the deciduous species A. coriacea had significantly higher leaf numbers (LN). The more complex crown of H. stigonocarpa had shoots in more erect positions (orthotropic), with intense self-shading within shoots; A. coriacea, on the other hand, had slanting (plagiotropic) shoots in the crown, allowing similar irradiance levels to all leaf surfaces. The production of plagiotropic shoots by the deciduous species (A. coriacea) is a strategy that enables its use of incident sunlight early in the morning and preventing excessive water loss or excessive irradiance. Hymenaea stigonocarpa (an evergreen), by contrast, had orthotropic shoots and uses intense self-shading as a strategy to avoid excessive irradiance, especially at midday. Differences in crown architectures between evergreen and deciduous species of cerrado sensu stricto can therefore be viewed as adaptations to the environmental light regime.

Potential of twenty exotic germplasms to improve Brazilian maize architecture

Temperate and temperate x tropical germplasms were introduced into the maize breeding of the Department of Genetics (ESALQ-USP). Twenty populations designated as P-1 to P-20 and a check population were evaluated in a randomized complete block design with two replications at Piracicaba, SP, Brazil. Plots were 2.0 m long, spaced 1.0 m apart, with 10 plants per plot after thinning. The following traits were evaluated: PH, plant height; EH, ear height; TB, tassel branch number; KW, 100 kernels weight; EL, ear length; ED, ear diameter; KR, kernels per row, and RN, number of rows of kernels. The means of the exotic populations showed a variation in performance for all traits. The population means were greater than check means for KW, EL, and KR. Populations P-9, P-10, P-12, and P-13 showed low relative ear placement values (EH/PH index), indicating that these materials could contribute to lower ear placement in local populations. P-1 and P-9 showed a high potential to reduce TB. The phenotypic correlation coefficients among populations were positive for most combinations, except for RN with PH, EH, TB, and KW. Predictions of 19 composite means were obtained for all traits.

JNK regulates dendrite and spine architecture in the central nervous system influencing spatial learning and motor tasks

JNK1 is a MAP-kinase that has proven a significant player in the central nervous system. It regulates brain development and the maintenance of dendrites and axons. Several novel phosphorylation targets of JNK1 were identified in a screen performed in the Coffey lab. These proteins were mainly involved in the regulation of neuronal cytoskeleton, influencing the dynamics and stability of microtubules and actin. These structural proteins form the dynamic backbone for the elaborate architecture of the dendritic tree of a neuron. The initiation and branching of the dendrites requires a dynamic interplay between the cytoskeletal building blocks. Both microtubules and actin are decorated by associated proteins which regulate their dynamics. The dendrite-specific, high molecular weight microtubule associated protein 2 (MAP2) is an abundant protein in the brain, the binding of which stabilizes microtubules and influences their bundling. Its expression in non-neuronal cells induces the formation of neurite-like processes from the cell body, and its function is highly regulated by phosphorylation. JNK1 was shown to phosphorylate the proline-rich domain of MAP2 in vivo in a previous study performed in the group. Here we verify three threonine residues (T1619, T1622 and T1625) as JNK1 targets, the phosphorylation of which increases the binding of MAP2 to microtubules. This binding stabilizes the microtubules and increases process formation in non-neuronal cells. Phosphorylation-site mutants were engineered in the lab. The non-phosphorylatable mutant of MAP2 (MAP2- T1619A, T1622A, T1625A) in these residues fails to bind microtubules, while the pseudo-phosphorylated form, MAP2- T1619D, T1622D, Thr1625D, efficiently binds and induces process formation even without the presence of active JNK1. Ectopic expression of the MAP2- T1619D, T1622D, Thr1625D in vivo in mouse brain led to a striking increase in the branching of cortical layer 2/3 (L2/3) pyramidal neurons, compared to MAP2-WT. The dendritic complexity defines the receptive field of a neuron and dictates the output to the postsynaptic cells. Previous studies in the group indicated altered dendrite architecture of the pyramidal neurons in the Jnk1-/- mouse motor cortex. Here, we used Lucifer Yellow loading and Sholl analysis of neurons in order to study the dendritic branching in more detail. We report a striking, opposing effect in the absence of Jnk1 in the cortical layers 2/3 and 5 of the primary motor cortex. The basal dendrites of pyramidal neurons close to the pial surface at L2/3 show a reduced complexity. In contrast, the L5 neurons, which receive massive input from the L2/3 neurons, show greatly increased branching. Another novel substrate identified for JNK1 was MARCKSL1, a protein that regulates actin dynamics. It is highly expressed in neurons, but also in various cancer tissues. Three phosphorylation target residues for JNK1 were identified, and it was demonstrated that their phosphorylation reduces actin turnover and retards migration of these cells. Actin is the main cytoskeletal component in dendritic spines, the site of most excitatory synapses in pyramidal neurons. The density and gross morphology of the Lucifer Yellow filled dendrites were characterized and we show reduced density and altered morphology of spines in the motor cortex and in the hippocampal area CA3. The dynamic dendritic spines are widely considered to function as the cellular correlate during learning. We used a Morris water maze to test spatial memory. Here, the wild-type mice outperformed the knock-out mice during the acquisition phase of the experiment indicating impaired special memory. The L5 pyramidal neurons of the motor cortex project to the spinal cord and regulate the movement of distinct muscle groups. Thus the altered dendrite morphology in the motor cortex was expected to have an effect on the input-output balance in the signaling from the cortex to the lower motor circuits. A battery of behavioral tests were conducted for the wild-type and Jnk1-/- mice, and the knock-outs performed poorly compared to wild-type mice in tests assessing balance and fine motor movements. This study expands our knowledge of JNK1 as an important regulator of the dendritic fields of neurons and their manifestations in behavior.

Clonal dissemination of VanA-type glycopeptide-resistant Enterococcus faecalis between hospitals of two cities located 100 km apart

Nosocomial dissemination of glycopeptide-resistant enterococci represents a major problem in hospitals worldwide. In Brazil, the dissemination among hospitals in the city of São Paulo of polyclonal DNA profiles was previously described for vancomycin-resistant Enterococcus faecium. We describe here the dissemination of VanA phenotype E. faecalis between two hospitals located in different cities in the State of São Paulo. The index outbreak occurred in a tertiary care university hospital (HCUSP) in the city of São Paulo and three years later a cluster caused by the same strain was recognized in two patients hospitalized in a private tertiary care hospital (CMC) located 100 km away in the interior of the state. From May to July 1999, 10 strains of vancomycin-resistant E. faecalis were isolated from 10 patients hospitalized in the HCUSP. The DNA genotyping using pulsed-field gel electrophoresis (PFGE) showed that all isolates were originated from the same clone, suggesting nosocomial dissemination. From May to July 2002, three strains of vancomycin-resistant E. faecalis were isolated from two patients hospitalized in CMC and both patients were colonized by the vancomycin-resistant Enterococcus in skin lesions. All isolates from CMC and HCUSP were highly resistant to vancomycin and teicoplanin. The three strains from CMC had minimum inhibitory concentration >256 µg/ml for vancomycin, and 64 (CMC 1 and CMC 2) and 96 µg/ml (CMC 3) for teicoplanin, characterizing a profile of VanA resistance to glycopeptides. All strains had the presence of the transposon Tn1546 detected by PCR and were closely related when typed by PFGE. The dissemination of the E. faecalis VanA phenotype among hospitals located in different cities is of great concern because E. faecalis commonly colonizes the gastrointestinal tract of patients and healthy persons for periods varying from weeks to years, which, together with the persistence of vancomycin-resistant Enterococcus in hospital rooms after standard cleaning procedures, increases the risk of the dissemination and reservoir of the bacteria.

Random amplification of polymorphic DNA reveals clonal relationships among enteropathogenic Escherichia coli isolated from non-human primates and humans

Enteropathogenic Escherichia coli (EPEC) strains are important agents of infantile diarrhea all over the world, gaining even greater importance in developing countries. EPEC have also been isolated from various animal species, but most isolates belong to serotypes that differ from those recovered from humans. However, it has been demonstrated that several isolates from non-human primates belong to the serogroups and/or serotypes related to those implicated in human disease. The objective of this study was to evaluate the genetic differences between thirteen strains isolated from non-human primates and the same number of strains isolated from human infections. Human isolates belonged to the same serogroup/serotype as the monkey strains and the evaluation was done by analysis of random amplified polymorphic DNA. Dendrogram analysis showed that there was no clustering between human and monkey strains. Human and non-human isolates of the EPEC serotypes O127:H40 and O128:H2 shared 90 and 87% of their bands, respectively, indicating strong genomic similarity between the strains, leading to the speculation that they may have arisen from the same pathogenic clone. To our knowledge, this study is the first one comparing genomic similarity between human and non-human primate strains and the results provide further evidence that monkey EPEC strains correlate with human EPEC, as suggested in a previous investigation.

Gastroesophageal reflux episodes in asthmatic patients and their temporal relation with sleep architecture

Gastroesophageal reflux (GER) is common in asthma patients and can contribute to sleep disruption. The aim of the present study was to determine the time-related distribution of GER events together with their impact on sleep in asthmatic subjects with GER disease symptoms. The inclusion criteria were: 18-65 years, controlled moderate to severe asthma and GER-compatible clinical evidence. The exclusion criteria were: chronic obstructive lung disease, smoking, infections of the upper airways, use of oral corticosteroids, other co-morbidities, pregnancy, sleep-related disorders, night-time shift work, and the use of substances with impact on sleep. Asthmatic patients with nocturnal symptoms were excluded. All-night polysomnography and esophageal pH monitoring were recorded simultaneously. Of the 147 subjects selected, 31 patients and 31 controls were included. Seventeen patients were classified as DeMeester positive and 14 as DeMeester negative. Both groups displayed similar outcomes when general variables were considered. Sleep stage modification one minute prior to GER was observed in the DeMeester-positive group. Awakening was the most frequent occurrence at GER onset and during the 1-min period preceding 38% of the nocturnal GER. Sleep stage 2 was also prevalent and preceded 36% of GER events. In the DeMeester-negative group, awakening was the most frequent response before and during GER. Modifications in sleep stages, arousals or awakenings were associated with 75% of the total GER events analyzed during the period of one minute before and after the fall of esophageal pH below 4 in the DeMeester-positive group. These data provide evidence that sleep modifications precede the GER events in asthmatic patients.

Potential pathogenic role of aggregative- adhering Corynebacterium diphtheriae of different clonal groups in endocarditis

Invasive diseases caused by Corynebacterium diphtheriae have been described increasingly. Several reports indicate the destructive feature of endocarditis attributable to nontoxigenic strains. However, few reports have dealt with the pathogenicity of invasive strains. The present investigation demonstrates a phenotypic trait that may be used to identify potentially invasive strains. The study also draws attention to clinical and microbiological aspects observed in 5 cases of endocarditis due to C. diphtheriae that occurred outside Europe. Four cases occurred in female school-age children (7-14 years) treated at different hospitals in Rio de Janeiro, Brazil. All patients developed other complications including septicemia, renal failure and/or arthritis. Surgical treatment was performed on 2 patients for valve replacement. Lethality was observed in 40% of the cases. Microorganisms isolated from 5 blood samples and identified as C. diphtheriae subsp mitis (N = 4) and C. diphtheriae subsp gravis (N = 1) displayed an aggregative adherence pattern to HEp-2 cells and identical one-dimensional SDS-PAGE protein profiles. Aggregative-adhering invasive strains of C. diphtheriae showed 5 distinct RAPD profiles. Despite the clonal diversity, all 5 C. diphtheriae invasive isolates seemed to display special bacterial adhesive properties that may favor blood-barrier disruption and systemic dissemination of bacteria. In conclusion, blood isolates from patients with endocarditis exhibited a unique adhering pattern, suggesting a pathogenic role of aggregative-adhering C. diphtheriae of different clones in endocarditis. Accordingly, the aggregative-adherence pattern may be used as an indication of some invasive potential of C. diphtheriae strains.

Emergence of clonal complex 5 (CC5) methicillin-resistant Staphylococcus aureus (MRSA) isolates susceptible to trimethoprim-sulfamethoxazole in a Brazilian hospital

In this study, genotyping techniques including staphylococcal chromosomal cassette mec (SCCmec) typing, pulsed-field gel electrophoresis (PFGE), multilocus sequence typing (MLST) and restriction-modification tests were used to compare the molecular characteristics of methicillin-resistant Staphylococcus aureus (MRSA) isolates recovered at two times within a 10-year interval (1998 and 2008) from a tertiary Brazilian hospital. In addition, the antimicrobial susceptibility profiles were analyzed. All 48 MRSA isolates from 1998 and 85.7% from 2008 (48/56 isolates) displayed multidrug-resistance phenotypes and SCCmec III. All but one of the 13 representative SCCmec III isolates belonged to CC8 and had PFGE patterns similar to that of the BMB9393 strain (Brazilian epidemic clone of MRSA; BEC). In 2008, we found an increased susceptibility to rifampicin and chloramphenicol among the SCCmec III isolates. In addition, we detected the entrance of diverse international MRSA lineages susceptible to trimethoprim-sulfamethoxazole (SXT), almost all belonging to CC5. These non-SCCmec III isolates were related to the USA 300 (ST8-SCCmec IV; PFGE-type B), USA 800 (ST5-SCCmec IV; subtype D1), USA 100 (ST5-SCCmec II; subtype D2), and EMRSA-3/Cordobes (ST5-SCCmec I, type C) clones. To the best of our knowledge, this is the first report of the emergence of isolates genetically related to the EMRSA-3/Cordobes clone in southeast Brazil. In this regard, these isolates were the most common non-SCCmec III MRSA in our institution, accounting for 8.9% of all isolates recovered in 2008. Thus, despite the supremacy of BEC isolates in our country, significant changes may occur in local MRSA epidemiology, with possible consequences for the rationality of MRSA empiric therapy.

Changes in canola plant architecture and seed physiological quality in response to different sowing densities

The aim of this study was to evaluate changes in canola yield components and seed physiological quality in response to different sowing densities. The study was made in a greenhouse at the REIPESOL Company Technological Center, Madrid - Spain, with the commercial "Toccata" hybrid variety. The initial sowing density was 360,000 plants/ha and the plant population was later thinned down to include treatments of 250 and 180 thousand plants/ha. Harvested seeds were sent to the Seed Technology Center Laboratory (CATES) at the Madrid Polytechnic University (UPM) to evaluate changes in plant architecture and yield components, as well as the seed physiological quality of different plant parts. Results demonstrated that canola plants showed changes in morphology and yield components in response to different sowing densities. The population of 250,000 plants/ha showed the best seed yield demonstrating that maximum yield is directly related to a correct sowing density. The number of pods/plant was the most important component for increased seed yield/plant and seed yield/area. The spatial distribution of canola seeds in the plant and canola sowing density did not affect seed physiological quality.

Emerging markets and the international financial architecture: a blueprint for reform

If emerging markets are to achieve their objective of joining the ranks of industrialized, developed countries, they must use their economic and political influence to support radical change in the international financial system. This working paper recommends John Maynard Keynes's "clearing union" as a blueprint for reform of the international financial architecture that could address emerging market grievances more effectively than current approaches. Keynes's proposal for the postwar international system sought to remedy some of the same problems currently facing emerging market economies. It was based on the idea that financial stability was predicated on a balance between imports and exports over time, with any divergence from balance providing automatic financing of the debit countries by the creditor countries via a global clearinghouse or settlement system for trade and payments on current account. This eliminated national currency payments for imports and exports; countries received credits or debits in a notional unit of account fixed to national currency. Since the unit of account could not be traded, bought, or sold, it would not be an international reserve currency. The credits with the clearinghouse could only be used to offset debits by buying imports, and if not used for this purpose they would eventually be extinguished; hence the burden of adjustment would be shared equally - credit generated by surpluses would have to be used to buy imports from the countries with debit balances. Emerging market economies could improve upon current schemes for regionally governed financial institutions by using this proposal as a template for the creation of regional clearing unions using a notional unit of account.

Building IT architecture for developing nations using TOGAF

Developing nations vary in data usage techniques with respect to developed nations because of lack of standard information technology architecture. With the concept of globalization in the modern times, there is a necessity of information sharing between different developing nations for better advancements in socio-economic and science and technology fields. A robust IT architecture is needed and has to be built between different developing nations which eases information sharing and other data usage methods. A framework like TOGAF may work in this case as a normal IT framework may not fit to meet the requirements of an enterprise architecture. The intention of the thesis is to build an enterprise architecture between different developing nations using a framework TOGAF