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.

Business intelligence and management control

The purpose of this study is to explore the possibilities of utilizing business intelligence (BI)systems in management control (MC). The topic of this study is explored trough four researchquestions. Firstly, what kind of management control systems (MCS) use or could use the data and information enabled by the BI system? Secondly, how the BI system is or could be utilized? Thirdly, has BI system enabled new forms of control or changed old ones? The fourth and final research question is whether the BI system supports some forms of control that the literature has not thought of, or is the BI system not used for some forms of control the literature suggests it should be used? The study is conducted as an extensive case study. Three different organizations were interviewed for the study. For the theoretical basis of the study, central theories in the field of management control are introduced. The term business intelligence is discussed in detail and the mechanisms for governance of business intelligence are presented. A literature analysis of the uses of BI for management control is introduced. The theoretical part of the study ends in the construction of a framework for business intelligence in management control. In the empirical part of the study the case organizations, their BI systems, and the ways they utilize these systems for management control are presented. The main findings of the study are that BI systems can be utilized in the fields suggested in the literature, namely in planning, cybernetic, reward, boundary, and interactive control. The systems are used both as the data or information feeders and directly as the tools. Using BI systems has also enabled entirely new forms of control in the studied organizations, most significantly in the area of interactive control. They have also changed the old control systems by making the information more readily available to the whole organization. No evidence of the BI systems being used for forms of control that the literature had not suggested was found. The systems were mostly used for cybernetic control and interactive control, whereas the support for other types of control was not as prevalent. The main contribution of the study to the existing literature is the insight provided into how BI systems, both theoretically and empirically, are used for management control. The framework for business intelligence in management control presented in the study can also be utilized in further studies about the subject.

Chemical control of different Digitaria insularis populations and management of a glyphosate-resistant population

This study aimed to control different populations of Digitaria insularisby glyphosate herbicide, isolated and mixed, besides the combination of methods (chemical and mechanical) to manage resistant adult plants. Three experiments were conducted, one in pots which were maintained under non-controlled conditions and two under field conditions. In the experiment in pots, twelve populations of D. insularis were sprayed with isolated glyphosate (1.44 and 2.16 kg a.e. ha-1) and mixed (1.44 and 2.16 kg a.e. ha-1) with quizalofop-p tefuryl (0.12 kg i.a. ha-1). The treatment of 1.44 kg a.e. ha-1 of glyphosate plus 0.12 kg a.i. ha-1 of quizalofop was sufficient for adequate control (>95%) of all populations. Population 11 (area of grain production in Itumbiara, GO) was considered sensitive to glyphosate. Others populations were moderately sensitive or tolerant to the herbicide. In the field, the plants of D. insularis of one of the experiments were mowed and, in the other, there were not. Eight treatments with herbicides [isolated glyphosate (1.44 and 2.16 kg a.e. ha-1) and mixed (1.44 and 2.16 kg a.e. ha-1) with quizalofop-p-tefuryl at 0.12 kg a.i. ha-1), clethodim at 0.108 kg a.i. ha-1) or nicosulfuron at 0.06 kg a.i. ha-1)] were assessed, in combination with or without sequential application of the standard treatment, sprayed 15 days after the first application. The combination of the mechanic control with the application of glyphosate (2.16 and 1.44 kg a.e. ha-1) plus quizalofop-p-tefuryl (0.12 kg a.i. ha-1) or clethodim (0.108 kg a.i. ha-1), associated to the sequential application, was the most effective strategy for the management of adult plants of resistant D. insularis.

What is behind the OpenDOAR? New Development and Community Benefits

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

Practical Data Curation and Management for Institutional Repositories

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

Development and some histochemical aspects of foliar glandular trichomes of Stevia rebaudiana (Bert.) Bert. - Asteraceae

The ten-celled biseriate glandular trichome of Stevia rebaudiana (Bert.) Bert.-Asteraceae, found on both leaf surfaces, originates from a single protruding, protodermal cell undergoing an anticlinal division. A subsequent series of periclinal divisions, occurring in acropetal sequence, leads to the formation of the trichome, composed of five pairs of cells, one pair of basal cells, another of stalk cells and three pairs of secretory head cells. Developing, still two-celled glandular trichomes already occur on leaf primordia of the second pair (these primordia measuring, in some cases, ca. 0.30 mm in length), and most of the glandular trichomes are at the mature phase on very young, expanding leaves, for example on those of the sixth pair. The secretory material released by the head cells is stored in the trichome cavity (subcuticular space). Basic histochemical tests reveal that such material is lipophilic (mainly) and hydrophilic in nature.

The role of cathepsin K in lung development and newborn chronic lung injury.

Chronic lung diseases, specifically bronchopulmonary dysplasia (BPD), are still causing mortality and morbidity amongst newborn infants. High protease activity has been suggested to have a deleterious role in oxygen-induced lung injuries. Cathepsin K (CatK) is a potent protease found in fetal lungs, degrading collagen and elastin. We hypothesized that CatK may be an important modulator of chronic lung injury in newborn infants and neonatal mice. First we measured CatK protein levels in repeated tracheal aspirate fluid samples from 13 intubated preterm infants during the first two weeks of life. The amount of CatK at 9-13 days was low in infants developing chronic lung disease. Consequently, we studied CatK mRNA expression in oxygen-exposed wild-type (WT) rats at postnatal day (PN) 14 and found decreased pulmonary mRNA expression of CatK in whole lung samples. Thereafter we demonstrated that CatK deficiency modifies lung development by accelerating the thinning of alveolar walls in newborn mice. In hyperoxia-exposed newborn mice CatK deficiency resulted in increased number of pulmonary foam cells, macrophages and amount of reduced glutathione in lung homogenates indicating intensified pulmonary oxidative stress and worse pulmonary outcome due to CatK deficiency. Conversely, transgenic overexpression of CatK caused slight enlargement of distal airspaces with increased alveolar chord length in room air in neonatal mice. While hyperoxic exposure inhibited alveolarization and resulted in enlarged airspaces in wild-type mice, these changes were significantly milder in CatK overexpressing mice at PN7. Finally, we showed that the expression of macrophage scavenger receptor 2 (MSR2) mRNA was down-regulated in oxygen-exposed CatK-deficient mice analyzed by microarray analysis. Our results demonstrate that CatK seems to participate in normal lung development and its expression is altered during pulmonary injury. In the presence of pulmonary risk factors, like high oxygen exposure, low amount of CatK may contribute to aggravated lung injury while sustained or slightly elevated amount of CatK may even protect the newborn lungs from excessive injury. Besides collagen degrading and antifibrotic function of CatK in the lungs, it is obvious that CatK may affect macrophage activity and modify oxidative stress response. In conclusion, pulmonary proteases, specifically CatK, have distinct roles in lung homeostasis and injury development, and although suggested, broad range inhibition of proteases may not be beneficial in newborn lung injury.

The interplay of JNK and SCG10 during cortical development and in excitotoxic responses in brain

Initially identified as stress activated protein kinases (SAPKs), the c-Jun Nterminal kinases (JNKs) are currently accepted as potent regulators of various physiologically important cellular events. Named after their competence to phosphorylate transcription factor c-Jun in response to UVtreatment, JNKs play a key role in cell proliferation, cell death or cell migration. Interestingly, these functions are crucial for proper brain formation. The family consists of three JNK isoforms, JNK1, JNK2 and JNK3. Unlike brain specific JNK3 isoform, JNK1 and JNK2 are ubiquitously expressed. It is estimated that ten splice variants exist. However, the detailed cellular functions of these remain undetermined. In addition, physiological conditions keep the activities of JNK2 and JNK3 low in comparison with JNK1, whereas cellular stress raises the activity of these isoforms dramatically. Importantly, JNK1 activity is constitutively high in neurons, yet it does not stimulate cell death. This suggests a valuable role for JNK1 in brain development, but also as an important mediator of cell wellbeing. The aim of this thesis was to characterize the functional relationship between JNK1 and SCG10. We found that SCG10 is a bona fide target for JNK. By employing differential centrifugation we showed that SCG10 co-localized with active JNK, MKK7 and JIP1 in a fraction containing endosomes and Golgi vesicles. Investigation of JNK knockout tissues using phosphospecific antibodies recognizing JNK-specific phosphorylation sites on SCG10 (Ser 62/Ser 73) showed that phosphorylation of endogenous SCG10 was dramatically decreased in Jnk1-/- brains. Moreover, we found that JNK and SCG10 co-express during early embryonic days in brain regions that undergo extensive neuronal migration. Our study revealed that selective inhibition of JNK in the cytoplasm significantly increased both the frequency of exit from the multipolar stage and radial migration rate. However, as a consequence, it led to ill-defined cellular organization. Furthermore, we found that multipolar exit and radial migration in Jnk1 deficient mice can be connected to changes in phosphorylation state of SCG10. Also, the expression of a pseudo-phosphorylated mutant form of SCG10, mimicking the JNK1- phopshorylated form, brings migration rate back to normal in Jnk1 knockout mouse embryos. Furthermore, we investigated the role of SCG10 and JNK in regulation of Golgi apparatus (GA) biogenesis and whether pathological JNK action could be discernible by its deregulation. We found that SCG10 maintains GA integrity as with the absence of SCG10 neurons present more compact fragmented GA structure, as shown by the knockdown approach. Interestingly, neurons isolated from Jnk1-/- mice show similar characteristics. Block of ER to GA is believed to be involved in development of Parkinson's disease. Hence, by using a pharmacological approach (Brefeldin A treatment), we showed that GA recovery is delayed upon removal of the drug in Jnk1-/- neurons to an extent similar to the shRNA SCG10-treated cells. Finally, we investigated the role of the JNK1-SCG10 duo in the maintenance of GA biogenesis following excitotoxic insult. Although the GA underwent fragmentation in response to NMDA treatment, we observed a substantial delay in GA disintegration in neurons lacking either JNK1 or SCG10.

Perinatal development and adult blood pressure

A growing body of evidence supports the concept of fetal programming in cardiovascular disease in man, which asserts that an insult experienced in utero exerts a long-term influence on cardiovascular function, leading to disease in adulthood. However, this hypothesis is not universally accepted, hence animal models may be of value in determining potential physiological mechanisms which could explain how fetal undernutrition results in cardiovascular disease in later life. This review describes two major animal models of cardiovascular programming, the in utero protein-restricted rat and the cross-fostered spontaneously hypertensive rat. In the former model, moderate maternal protein restriction during pregnancy induces an increase in offspring blood pressure of 20-30 mmHg. This hypertensive effect is mediated, in part, by fetal exposure to excess maternal glucocorticoids as a result of a deficiency in placental 11-ß hydroxysteroid dehydrogenase type 2. Furthermore, nephrogenesis is impaired in this model which, coupled with increased activity of the renin-angiotensin system, could also contribute to the greater blood pressure displayed by these animals. The second model discussed is the cross-fostered spontaneously hypertensive rat. Spontaneously hypertensive rats develop severe hypertension without external intervention; however, their adult blood pressure may be lowered by 20-30 mmHg by cross-fostering pups to a normotensive dam within the first two weeks of lactation. The mechanisms responsible for this antihypertensive effect are less clear, but may also involve altered renal function and down-regulation of the renin-angiotensin system. These two models clearly show that adult blood pressure is influenced by exposure to one of a number of stimuli during critical stages of perinatal development.

The role of reelin in the development and evolution of the cerebral cortex

Reelin is an extracellular matrix protein that is defective in reeler mutant mice and plays a key role in the organization of architectonic patterns, particularly in the cerebral cortex. In mammals, a "reelin signal" is activated when reelin, secreted by Cajal-Retzius neurons, binds to receptors of the lipoprotein receptor family on the surface of cortical plate cells, and triggers Dab1 phosphorylation. As reelin is a key component of cortical development in mammals, comparative embryological studies of reelin expression were carried out during cortical development in non-mammalian amniotes (turtles, squamates, birds and crocodiles) in order to assess the putative role of reelin during cortical evolution. The data show that reelin is present in the cortical marginal zone in all amniotes, and suggest that reelin has been implicated in the evolution of the radial organization of the cortical plate in the synapsid lineage leading from stem amniotes to mammals, as well as in the lineage leading to squamates, thus providing an example of homoplastic evolution (evolutionary convergence). The mechanisms by which reelin instructs radial cortical organization in these two lineages seem different: in the synapsid lineage, a drastic amplification of reelin production occurred in Cajal-Retzius cells, whereas in squamates, in addition to reelin-secreting cells in the marginal zone, a second layer of reelin-producing cells developed in the subcortex. Altogether, our results suggest that the reelin-signaling pathway has played a significant role in shaping the evolution of cortical development.

Visual maps in the adult primate cerebral cortex: some implications for brain development and evolution

In this paper, the topology of cortical visuotopic maps in adult primates is reviewed, with emphasis on recent studies. The observed visuotopic organisation can be summarised with reference to two basic rules. First, adjacent radial columns in the cortex represent partially overlapping regions of the visual field, irrespective of whether these columns are part of the same or different cortical areas. This primary rule is seldom, if ever, violated. Second, adjacent regions of the visual field tend to be represented in adjacent radial columns of a same area. This rule is not as rigid as the first, as many cortical areas form discontinuous, second-order representations of the visual field. A developmental model based on these physiological observations, and on comparative studies of cortical organisation, is then proposed, in order to explain how a combination of molecular specification steps and activity-driven processes can generate the variety of visuotopic organisations observed in adult cortex.

Financial controlling and management in recovered paper joint ventures

The objective of this Master’s thesis is to examine financial functions, controlling and management in joint ventures of Manufacturing Corporation Oyj Recovered Paper business area. This case study investigated the current situation of financial functions and find out causes that have led the situation. Current situation of financial functions in joint ventures is variable. The most of the companies is outsourced at least some tasks. However, narrow reporting and problems in reliability are the biggest lack of financial controlling and management. The result of study consists of two parts: short-term and long-term improvement. Short-term improvement includes selected solution to outsource all routine financial tasks to new outsourcing partner and improve financial functions. Long-term improvements aim to create better controlling and management system to joint ventures. It is formed corporate governance and performance measurement. In this study it developed new Balanced Scorecard (BSC) for recovered paper joint ventures. Dimensions of BSC are quality, delivery (time), price and financial controlling and management. Earlier researched are showed problems in success of joint venture relationships. Similar results are obtained in this study. In future research, suitable of developed Balanced Scorecard for other industries could be studied