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.

Syvää vai pelkästään tiheää : neuvostoliittolaisen ja venäläisen sotataidollisen ajattelun lähtökohdat, kehittyminen, soveltaminen käytäntöön ja nykytilanne. Näkökulmana 1920- ja 1930-luvun syvän taistelun ja operaation opit

Sosialistisen vallankumouksen jälkeen Neuvosto-Venäjän oli monien muiden kysymysten ohella ratkaistava sosialismin saavutusten puolustaminen. Aluksi ratkaisuksi suunniteltiin vapaaehtoisuuteen perustuvaa punakaartia, mutta riittävän miesvahvuuden turvaamiseksi päädyttiin yleiseen asevelvollisuuteen. Pian Venäjän sisällissodan jälkeen sotataidon suunta painottui enemmän vanhan armeijan asiantuntijoiden näkemysten kuin vallankumoussankarien kokemusten mukaiseksi, vaikka Frunzen puna-armeijalle kirjoittama doktriini perustui luokkataisteluun ja korosti sisällissodassa hyväksi koettua operatiivista liikkuvuutta. Neuvostoliiton ja Venäjän sotataidon perustana on Pietari I:n aloittama länsimainen suuntaus, jota kuitenkin täydentävät vahvat kansalliset piirteet. Venäläisen sotataidon henkisenä isänä voidaan hyvällä syyllä pitää Aleksandr Suvorovia, jonka opetukset näkyvät tekstilainausten lisäksi myös periaatteissa ja sotilaskasvatuksessa. Napoleonin sotien jälkeen perustettu Keisarillinen yleisesikunta-akatemia loi Venäjälle sotatieteellisen tutkimuksen ja opetuksen. Sotatieteen mahdollisuuksia ei 1800-luvun Venäjällä osattu täysin hyödyntää. Aseistuksen kasvavan tehon merkitystä vähättelevä asenne johti sotataidon taantumisen ja katastrofiin Venäjän–Japanin sodassa. Sen kokemuksia analysoidessaan Aleksandr Neznamov kehitti edelleen saksalaista operaation käsitettä ja loi perustan Neuvostoliitossa 1920-luvulla kehitetylle operaatiotaidolle. Neuvostoliittolaisen sotataidon päämääränä oli kehittää taktinen ja operatiivinen ratkaisu aseistuksen tehon kasvun aikaansaamaan puolustuksen ylivoimaisuuteen. Ratkaisussa hyödynnettiin brittien kokemuksia ja tutkimusta. Neuvostoliittolainen taktiikka ja operaatiotaito eivät kuitenkaan olleet brittiläisen mekanisoidun sodankäynnin tai saksalaisen salamasodan itäinen kopioita vaan itsenäisiin ratkaisuihin pohjautuvia. Syvän taistelun ja operaation teoriaa kokeiltiin harjoituksissa, ja sitä kehitettiin Stalinin vuoden 1937 puhdistuksiin saakka. Toisen maailmansodan taisteluissa puna-armeija sovelsi alkuvaiheen katastrofin jälkeen syvän taistelun ja syvän operaation oppeja. Komentajien ja joukkojen taito ei riittänyt teorian vaatimusten mukaiseen toimintaan, siksi syväksi aiotusta taistelusta tuli ajoittain ainoastaan tiheää. Suuren isänmaallisen sodan kokemusten perusteella neuvostoliittolainen sotatiede kehitti yleisjoukkojen taistelun periaatteet, jotka ovat säilyneet muuttumattomina nykypäivään saakka. Kylmän sodan aikakaudella ydin- ja tavanomaisen aseistuksen merkitys sodan ja taistelun kuvassa vaihteli. Lännen sotataidon ja aseteknologian kehitys pakotti Neuvostoliiton siirtymään 1980-luvulla sotilaallisessa ajattelussaan hyökkäyksestä puolustukseen. Neuvostoliiton hajoamisen jälkeen Venäjän sotilaallisen turvallisuuden takaajana on ydinaseistus. Yhdysvaltain tavanomainen ilma-avaruushyökkäyskyky vaatii Venäjää kehittämään torjuntajärjestelmiä. Tavanomaisten joukkojen rakentamisessa Venäjä seuraa tarkasti läntisen sotataidon kehittymistä, mutta pitäytyy omaperäisiin ratkaisuihin, joiden kehittämisessä sen vahvalla sotatieteellisellä järjestelmällä ja dialektisen materialismin metodilla on edelleen olennaisen tärkeä merkitys.

Light and storage on the germination of spores of Dicksonia sellowiana (Presl.) Hook., Dicksoniaceae

Spores of Dicksonia sellowiana are positively photoblastic and reach the maximum percentage of germination at 23 ± 2°C in white light after seven days of imbibition. The pre-induction phase for spores induced by white or red light for 24 hours was 72 hours. Gametophytes grown in white light were plane and bidimensional, while those grown under red light were filamentous. The higher the number of hours of light applied per day during 10 days, the higher the percentage of germination. Germination was higher for long white light treatments applied on a daily basis. The effect of different light intensities on germination was also investigated here. The lower percentages of germination were observed for spores kept under 43% and 2% of full sunlight, while those kept under 26, 19 and 4% presented higher percentages. Spores presented circa 82% of germination after 731 days of storage under refrigeration at aproximately 10°C.

Robust current control of a phase shifted full-bridge buck converter

In this thesis, the main point of interest is the robust control of a DC/DC converter. The use of reactive components in the power conversion gives rise to dynamical effects in DC/DC converters and the dynamical effects of the converter mandates the use of active control. Active control uses measurements from the converter to correct errors present in the converter’s output. The controller needs to be able to perform in the presence of varying component values and different kinds of disturbances in loading and noises in measurements. Such a feature in control design is referred as robustness. This thesis also contains survey of general properties of DC/DC converters and their effects on control design. In this thesis, a linear robust control design method is studied. A robust controller is then designed and applied to the current control of a phase shifted full bridge converter. The experimental results are shown to match simulations.

Anaesthesia and Pain Management for Use in Orthopaedic Day Surgery

Day surgery has gained a large popularity during the last decades. In Finland, 57% of the elective procedures, and 50% at Turku University Hospital, were already conducted on day basis during 2012. The steady growth of day surgery is mostly due to an increased safety in perioperative care and cost-effectiveness. The development of surgical techniques and anaesthetic methods has advanced the modern day surgery and extended the repertory of the procedures for use in day surgery operations. Day surgery also offers certain benefits like reduced risk for hospital-related infections, stress and confusion. Patient satisfaction, regarding several issues, is high. Most concerns and complaints are related to postoperative pain, nausea and vomiting pain and nausea. Pain can hamper recovery and pain management is a crucial factor for hospital discharge. Appropriate pain treatment is effective, safe, easy and economical. A procedure-specific approach and an individually planned, multimodal analgesia should be the basis of modern pain management. The main aim of this thesis was to evaluate the effectiveness and safety of anaesthetic technique and methods in pain treatment of orthopaedic day case surgery, and following conclusions were made. Unilateral spinal block was achieved using hyperbaric bupivacaine with a small dose of clonidine but clonidine prolonged the block. Continuous subacromial bupivacaine was found to be safe but conferring only moderate efficacy in pain care after shoulder arthroscopy. Transdermal fentanyl, 12 g/h, as part of multimodal analgesia, offered a safe and easy option to pain management in this patient group. However, after forefoot surgery, it did not reduce pain any further. In general, pain scores in all patient groups were low and the need for rescue opioid moderate.

Genetic control of characters associated with bean golden mosaic geminivirus resistance in Phaseolus vulgaris L.

Bean golden mosaic is the most important viral disease of the bean crop (Phaseolus vulgaris L.) in Latin America. The genetics of resistance to a Brazilian strain of bean golden mosaic virus (BGMV), was studied in a 4 x 4 diallel cross without reciprocals, among the parental genotypes DOR 303, EMGOPA 201 Ouro, Carnaval, and Redlands Greenleaf C. Seedlings of the four parents, six F1 hybrids, 12 backcrosses, and F2 generations for each combination were inoculated on the eighth day after sowing by exposure to a viruliferous whitefly (Bemisia tabaci Genn.) population for 24 h, in a glasshouse, prior to transplantation to field conditions. The full set of two parents, F1, F2 and respective backcrosses for each combination was considered to be a family. Data were recorded and analyzed for foliar yellowing, plant dwarfing, and pod malformation, using a randomized block design, with two replications. Weighted generation mean analysis was performed for each of the six families. An additive gene action model was significant for the three characteristics evaluated. On the other hand, non-additive gene action had greater absolute value in most cases. Resistance to foliar yellowing conferred by genes from DRO 303 was highly heritable and was expressed equally well in the different genetic backgrounds evaluated. Such resistance may be oligogenic. Broad- and narrow-sense heritabilities were relatively high for all response traits. The three traits studied were all positively correlated, indicating that they can be simultaneously selected for enhancement. The highest correlation coefficient was obtained for dwarfing x pod malformation.

Worker honeybee hemolymph lipid composition and synodic lunar cycle periodicities

The aim of the present investigation was to extend a previous study, showing a correlation of the variations of hemolymph carbohydrates with synodic lunar-like cycle and its circaseptan harmonics to worker honeybee hemolymph lipids. Hemolymph lipid concentrations of emerging worker imagos were analyzed in terms of one ideal synodic lunar cycle and processed by the cosinor method testing the null hypothesis versus the presence of 29.5-, 14.8- or 7.4-day periods in the data. A rhythmicity statistically compatible with a 29.5-day rhythm was observed for triacylglycerols and steroids as well as for body weight. A circadiseptan rhythm was determined for 1,3 diacylglycerols, while fatty acids and phospholipids exhibited a circaseptan rhythm. An agreement of peaks for triacylglycerols, steroids and body weight at the new moon, but not at the full moon, was noted with respect to trehalose and glucose circadiseptan rhythms. The latter moon-phase timing of peaks and nadirs, compared with that previously determined for trehalose and glucose, appeared to be identical to the circadiseptan rhythm and reciprocal for the circaseptan rhythms of 1,3 diacylglycerols. Reciprocal tendencies in circaseptans of trehalose and glucose on the one hand, and fatty acids and phospholipids on the other are indicated. The underlying causal nexus of these relationships is unknown

Construction of occluded recombinant baculoviruses containing the full-length cry1Ab and cry1Ac genes from Bacillus thuringiensis

The administration of baculoviruses to insects for bioassay purposes is carried out, in most cases, by contamination of food surfaces with a known amount of occlusion bodies (OBs). Since per os infection is the natural route of infection, occluded recombinant viruses containing crystal protein genes (cry1Ab and cry1Ac) from Bacillus thuringiensis were constructed for comparison with the baculovirus prototype Autographa californica nucleopolyhedrovirus (AcNPV). The transfer vector pAcUW2B was used for construction of occluded recombinant viruses. The transfer vector containing the crystal protein genes was cotransfected with linearized DNA from a non-occluded recombinant virus. The isolation of recombinant viruses was greatly facilitated by the reduction of background "wild type" virus and the increased proportion of recombinant viruses. Since the recombinant viruses containing full-length and truncated forms of the crystal protein genes did not seem to improve the pathogenicity of the recombinant viruses when compared with the wild type AcNPV, and in order to compare expression levels of the full-length crystal proteins produced by non-occluded and occluded recombinant viruses the full-length cry1Ab and cry1Ac genes were chosen for construction of occluded recombinant viruses. The recombinant viruses containing full-length and truncated forms of the crystal protein genes did not seem to improve its pathogenicity but the size of the larvae infected with the recombinant viruses was significantly smaller than that of larvae infected with the wild type virus.

Decreased spermatogenic and androgenic testicular functions in adult rats submitted to immobilization-induced stress from prepuberty

We investigated whether chronic stress applied from prepuberty to full sexual maturity interferes with spermatogenic and androgenic testicular functions. Male Wistar rats (40 days old) were immobilized 6 h a day for 60 days. Following immobilization, plasma concentrations of corticosterone and prolactin increased 135% and 48%, respectively, while plasma luteinizing hormone and testosterone presented a significant decrease of 29% and 37%, respectively. Plasma concentration of follicle-stimulating hormone was not altered in stressed rats. Chronic stress reduced the amount of mature spermatids in the testis by 16% and the spermatozoon concentration in the cauda epididymidis by 32%. A 17% reduction in weight and a 42% decrease in DNA content were observed in the seminal vesicle of immobilized rats but not in its fructose content. The growth and secretory activity of the ventral prostate were not altered by chronic stress.

The availability of full match sibling donors and feasibility of allogeneic bone marrow transplantation in Brazil

The feasibility of allogeneic bone marrow transplantation (alloBMT) in a developing country has not yet been demonstrated. Many adverse factors including social and economic limitations may reduce the overall results of this complex and expensive procedure. Our objective was to characterize the most important clinical, social and economic features of candidates for transplantation and their potential donors as well as the influence of these factors on overall survival in a retrospective and exploratory analysis at a university hospital. From July 1993 to July 2001, candidates for BMT were referred to the Bone Marrow Transplantation Unit by Hematology and Oncology Centers from several regions of Brazil. A total of 1138 patients were referred to us as candidates for alloBMT. Median age was 25 years (range: 2 months-60 years), 684 (60.1%) were males and 454 (39.9%) were females. The clinical indications were severe aplastic anemia and hematological malignancies. From the total of 1138 patients, 923 had HLA-typing; 497/923 (53.8%) candidates had full match donors; 352/1138 (30.8%) were eligible for alloBMT. Only 235 of 352 (66.7%) were transplanted. Schooling was 1st to 8th grade for 123/235 (52.3%); monthly family income ranged from US$60 (7%) to more than US$400 (36%). Overall survival for patients with chronic myeloid leukemia, severe aplastic anemia and acute myeloid leukemia was 58, 60 and 30%, respectively. Thus, overall survival rates for the most frequent hematological diseases were similar to those reported in the International Registry, except for acute myeloid leukemia. This descriptive and exploratory analysis suggests the feasibility of alloBMT in a developing country like Brazil.

Tacrolimus (FK506) reduces ischemia-induced hippocampal damage in rats: a 7- and 30-day study

The neuroprotective effect of the immunosuppressant agent FK506 was evaluated in rats after brain ischemia induced for 15 min in the 4-vessel occlusion model. In the first experimental series, single doses of 1.0, 3.0 or 6.0 mg FK506/kg were given intravenously (iv) immediately after ischemia. In the second series, FK506 (1.0 mg/kg) was given iv at the beginning of reperfusion, followed by doses applied intraperitoneally (ip) 6, 24, 48, and 72 h post-ischemia. The same protocol was used in the third series except that all 5 doses were given iv. Damage to the hippocampal field CA1 was assessed 7 or 30 days post-ischemia on three different stereotaxic planes along the septotemporal axis of the hippocampus. Ischemia caused marked neurodegeneration on all planes (P<0.001). FK506 failed to provide neuroprotection to CA1 both when applied iv as a single dose of 1.0, 3.0 or 6.0 mg/kg (experiment 1), and after five iv injections of 1.0 mg/kg (experiment 3). In contrast, the repeated administration of FK506 combining iv plus ip administration reduced CA1 cell death on all stereotaxic planes both 7 and 30 days post-ischemia (experiment 2; P<=0.01). Compared to vehicle alone, FK506 reduced rectal temperature in a dose-dependent manner (P<=0.05); however, this effect did not alter normothermia (37ºC). FK506 reduced ischemic brain damage, an effect sustained over time and apparently dependent on repeated doses and on delivery route. The present data extend previous findings on the rat 4-vessel occlusion model, further supporting the possible use of FK506 in the treatment of ischemic brain damage.

Noroviruses associated with acute gastroenteritis in a children's day care facility in Rio de Janeiro, Brazil

Noroviruses (Norwalk-like viruses) are an important cause of gastroenteritis worldwide. They are the most common cause of outbreaks of gastroenteritis in the adult population and occur in nursing homes for the elderly, geriatric wards, medical wards, and in hotel and restaurant settings. Food-borne outbreaks have also occurred following consumption of contaminated oysters. This study describes the application of a reverse transcription-polymerase chain reaction (RT-PCR) assay using random primers (PdN6) and specific Ni and E3 primers, directed at a small region of the RNA-dependent RNA polymerase-coding region of the norovirus genome, and DNA sequencing for the detection and preliminary characterisation of noroviruses in outbreaks of gastroenteritis in children in Brazil. The outbreak samples were collected from children <5 years of age at the Bertha Lutz children's day care facility at Oswaldo Cruz Foundation (Fiocruz), Rio de Janeiro, that occurred between 1996 and 1998, where no pathogen had been identified. At the Bertha Lutz day care center facility, only Fiocruz's employee children are provided for, and they come from different social, economic and cultural backgrounds. Three distinct genogroup II strains were detected in three outbreaks in 1997/98 and were most closely related to genotypes GII-3 (Mexico virus) and GII-4 (Grimsby virus), both of which have been detected in paediatric and adult outbreaks of gastroenteritis worldwide.

Different stress modalities result in distinct steroid hormone responses by male rats

Since both paradoxical sleep deprivation (PSD) and stress alter male reproductive function, the purpose of the present study was to examine the influence of PSD and other stressors (restraint, electrical footshock, cold and forced swimming, N = 10 per group) on steroid hormones in adult Wistar male rats. Rats were submitted to chronic stress for four days. The stressors (footshock, cold and forced swimming) were applied twice a day, for periods of 1 h at 9:00 and 16:00 h. Restrained animals were maintained in plastic cylinders for 22 h/day whereas PSD was continuous. Hormone determination was measured by chemiluminescent enzyme immunoassay (testosterone), competitive immunoassay (progesterone) and by radioimmunoassay (corticosterone, estradiol, estrone). The findings indicate that PSD (13.7 ng/dl), footshock (31.7 ng/dl) and cold (35.2 ng/dl) led to lower testosterone levels compared to the swimming (370.4 ng/dl) and control (371.4 ng/dl) groups. However, progesterone levels were elevated in the footshock (4.5 ng/ml) and PSD (5.4 ng/ml) groups compared to control (1.6 ng/ml), swimming (1.1 ng/ml), cold (2.3 ng/ml), and restrained (1.2 ng/ml) animals. Estrone and estradiol levels were reduced in the PSD, footshock and restraint groups compared to the control, swimming and cold groups. A significant increase in corticosterone levels was found only in the PSD (299.8 ng/ml) and footshock (169.6 ng/ml) groups. These changes may be thought to be the full steroidal response to stress of significant intensity. Thus, the data suggest that different stress modalities result in distinct steroid hormone responses, with PSD and footshock being the most similar.

Preservation of graft function in low-risk living kidney transplant recipients treated with a combination of sirolimus and cyclosporine

The use of sirolimus (SRL) in combination with full doses of cyclosporin A (CsA) results in reduced one-year kidney allograft function, which is associated with shorter long-term allograft survival. We determined the effect of reduced CsA exposure on graft function in patients receiving SRL and prednisone. Ninety recipients of living kidney transplants receiving SRL (2 mg/day, po) were compared to 35 recipients receiving azathioprine (AZA, 2 mg kg-1 day-1, po). All patients also received CsA (8-10 mg kg-1 day-1, po) and prednisone (0.5 mg kg-1 day-1). Efficacy end-point was a composite of biopsy-confirmed acute rejection, graft loss, or death at one year. Graft function was measured by creatinine, creatinine clearance, and graft function deterioration between 3 and 12 months (delta1/Cr). CsA concentrations in patients receiving SRL were 26% lower. No differences in one-year composite efficacy end-point were observed comparing SRL and AZA groups (18 vs 20%) or in the incidence of biopsy-proven acute rejection (14.4 and 14.3%). There were no differences in mean ± SD creatinine (1.65 ± 0.46 vs 1.60 ± 0.43 mg/dl, P = 0.48) or calculated creatinine clearances (61 ± 15 vs 62 ± 13 ml/min, P = 0.58) at one year. Mean ± SD delta1/Cr (-11 ± 17 vs -14 ± 15%, P = 0.7) or the percentage of patients with >20% (26 vs 31%, P = 0.6) or >30% delta1/Cr (19 vs 17%, P = 1) did not differ between the two groups. The use of 2-mg fixed oral doses of SRL and reduced CsA exposure was effective in preventing acute rejection and preserving allograft function.

Bioelectrical impedance spectroscopy for the assessment of body fluid volumes of term neonates

The assessment of fluid volume in neonates by a noninvasive, inexpensive, and fast method can contribute significantly to increase the quality of neonatal care. The objective of the present study was to calibrate an acquisition system and software to estimate the bioelectrical impedance parameters obtained by a method of bioelectrical impedance spectroscopy based on step response and to develop specific equations for the neonatal population to determine body fluid compartments. Bioelectric impedance measurements were performed by a laboratory homemade instrument. The volumes were estimated in a clinical study on 30 full-term neonates at four different times during the first month of life. During the first 24 hours of life the total body water, extracellular water and intracellular water were 2.09 ± 0.25, 1.20 ± 0.19, and 0.90 ± 0.25 liters, respectively. By the 48th hour they were 1.87 ± 0.27, 1.08 ± 0.17, and 0.79 ± 0.21 liters, respectively. On the 10th day they were 2.02 ± 0.25, 1.29 ± 0.21, and 0.72 ± 0.14 liters, respectively, and after 1 month they were 2.34 ± 0.27, 1.62 ± 0.20, and 0.72 ± 0.13 liters, respectively. The behavior of the estimated volume was correlated with neonatal body weight changes, leading to a better interpretation of such changes. In conclusion, this study indicates the feasibility of bioelectrical impedance spectroscopy as a method to help fluid administration in intensive care neonatal units, and also contribute to the development of new equations to estimate neonatal body fluid contents.