Re-usable ASIC integrationverification software architecture

Mikropiirien valmistus- ja suunnittelutekniikoiden kehittyminen mahdollistaa yhä monimutkaisempien mikropiirien valmistamisen. Piirien verifioinnista onkin tullut prosessin aikaa vievin osa,sillä kompleksisuuden kasvaessa kasvaa verifioinnin tarve eksponentiaalisesti. Vaikka erinäisiä strategioita piirien integroinnin verifiointiin on esitetty, mm. verifioinnin jakaminen koko suunnitteluprosessin ajalle, jopa yli puolet koko piirin suunnitteluun ja valmistukseen käytetystä työmäärästä kuluu verifiointiin. Uudelleenkäytettävät komponentit ovat pääosassa piirin suunnittelussa, mutta verifioinnissa uudelleenkäytettävyyttä ei ole otettu kunnolla käyttöön ainakaan verifiointiohjelmistojen osalta. Tämä diplomityö esittelee uudelleenkäytettävän mikropiirien verifiointiohjelmistoarkkitehtuurin, jolla saadaan verifiointitaakkaa vähennettyä poistamalla verifioinnissa käytettävien ohjelmistojen uudelleensuunnittelun ja toteuttamisen tarvetta.

DEWI - Wirelessly into the Future

Euromicro Conference on Digital System Design (DSD2015), EPDSD - 3rd European Projects in Digital System Design, Funchal, Portugal.

Verkko-oppimateriaalien uudelleenkäytettävyys ja siirrettävyys oppimisalustalta toiselle

Työssä tarkastellaan oppimisalustoilla käytettäviä testikysymyksiä ja oppisisältöjä uudelleen-käytettävyyden ja siirrettävyyden näkökulmasta. Tavoitteena on selvittää, minkälaisia välineitä määrämuotoisten sisältöjen tuottamista varten on olemassa, ja miten niillä luodut materiaalit ovat siirrettävissä työvälineestä toiseen ja oppimisalustoille. Tutkittavana ovat sisällön paketointiin tarkoitetutSCORM- ja IMS Content Packaging -spesifikaatiot sekä kysymysten esittämiseen tarkoitettu IMS Question and Test Interoperability -spesifikaatio. Pääpaino työssäon selvittää, miten oppisisällöt ovat siirrettävissä WebCT- ja Moodle-alustojenvälillä. Tähän liittyen on luotu ohjeistus, miten yksittäiset tiedostot, kysymykset ja Sisältökokonaisuus-työkalulla koostetut sisällöt siirretään WebCT:ltä Moodleen.

Digitaalisten oppimateriaalien tuottaminen ja uudelleenkäytettävyys

Työssä tarkastellaan digitaalisten oppimateriaalien tuottamiseen ja käyttöön liittyviä ongelmia sekä oppimateriaalien digitaalisuuden mukanaan tuomia etuja ja haittoja. Työssä perehdytään digitaalisten oppimateriaalien tuotannon tekniikoihin ja määrittelyihin. Painopisteenä on erityisesti oppisisältöjen metatiedon muodostamiseen tarkoitetut määrittelyt, sekä digitaalisten oppimateriaalien koostamiseen tarkoitettu SCORM-määrittely. Työnpyrkimyksenä on antaa lukijalle laaja kuva siitä, mitkä ovat ne keinot, joiden avulla nykyisillä tekniikoilla voidaan tuottaa uudelleenkäytettävää, laadukasta digitaalista oppimateriaalia.

Distributed ControlArchitecture of Power Electronics Building-Block-Based Frequency Converters

The increasing power demand and emerging applications drive the design of electrical power converters into modularization. Despite the wide use of modularized power stage structures, the control schemes that are used are often traditional, in other words, centralized. The flexibility and re-usability of these controllers are typically poor. With a dedicated distributed control scheme, the flexibility and re-usability of the system parts, building blocks, can be increased. Only a few distributed control schemes have been introduced for this purpose, but their breakthrough has not yet taken place. A demand for the further development offlexible control schemes for building-block-based applications clearly exists. The control topology, communication, synchronization, and functionality allocationaspects of building-block-based converters are studied in this doctoral thesis. A distributed control scheme that can be easily adapted to building-block-based power converter designs is developed. The example applications are a parallel and series connection of building blocks. The building block that is used in the implementations of both the applications is a commercial off-the-shelf two-level three-phase frequency converter with a custom-designed controller card. The major challenge with the parallel connection of power stages is the synchronization of the building blocks. The effect of synchronization accuracy on the system performance is studied. The functionality allocation and control scheme design are challenging in the seriesconnected multilevel converters, mainly because of the large number of modules. Various multilevel modulation schemes are analyzed with respect to the implementation, and this information is used to develop a flexible control scheme for modular multilevel inverters.

The ‘Visible Hand’ of the ECB’s Quantitative Easing. CEPS Working Document No. 407/May 2015

Quantitative easing à la ECB has produced so far an impact on long-term nominal rates through ex ante channels: signalling channels, term duration channels, and risk premia channels. The term duration channel will also lead to a lengthening of the average maturity of government debts, with possible implications for fiscal policy. The ECB’s determination to buy government bonds in a fragmented market with a low net supply may also produce an ex post impact, during the actual asset purchases, but less on nominal rates and more on financial plumbing, as recent volatility suggests. As the effects of scarce supply in collateral markets are felt, repo rates remain well below zero. Lower supply and limited re-usability of high quality collateral, capped by regulatory requirements, is a constraint on market liquidity and compresses dealers’ balance sheets. By keeping a depressed yield curve and asset prices high, QE may also accelerate the consolidation of both traditional and capital-market based (dealer) bank business models. What is less clear is how these changing business models will interact with the sharp rise of the asset management industry in the aftermath of the crisis, which raises questions about the implications for global collateral flows and deposit-like funding channels.

Creating Structured PDF Files Using XML Templates

This paper describes a tool for recombining the logical structure from an XML document with the typeset appearance of the corresponding PDF document. The tool uses the XML representation as a template for the insertion of the logical structure into the existing PDF document, thereby creating a Structured/Tagged PDF. The addition of logical structure adds value to the PDF in three ways: the accessibility is improved (PDF screen readers for visually impaired users perform better), media options are enhanced (the ability to reflow PDF documents, using structure as a guide, makes PDF viable for use on hand-held devices) and the re-usability of the PDF documents benefits greatly from the presence of an XML-like structure tree to guide the process of text retrieval in reading order (e.g. when interfacing to XML applications and databases).

Évaluation des jeux Kinect à l’aide du suivi physiologique, du suivi oculaire et des réactions faciales du joueur.

Les données sont analysées par le logiciel conçu par François Courtemanche et Féthi Guerdelli. L'expérimentation des jeux a eu lieu au Laboratoire de recherche en communication multimédia de l'Université de Montréal.

Accessibility-by-design: a framework for delivery-context-aware personalised media content re-purposing

This paper describes a framework architecture for the automated re-purposing and efficient delivery of multimedia content stored in CMSs. It deploys specifically designed templates as well as adaptation rules based on a hierarchy of profiles to accommodate user, device and network requirements invoked as constraints in the adaptation process. The user profile provides information in accordance with the opt-in principle, while the device and network profiles provide the operational constraints such as for example resolution and bandwidth limitations. The profiles hierarchy ensures that the adaptation privileges the users' preferences. As part of the adaptation, we took into account the support for users' special needs, and therefore adopted a template-based approach that could simplify the adaptation process integrating accessibility-by-design in the template.

Usability and Security in Medication Administration Applications

The traditional process of filling the medicine trays and dispensing the medicines to the patients in the hospitals is manually done by reading the printed paper medicine chart. This process can be very strenuous and error-prone, given the number of sub-tasks involved in the entire workflow and the dynamic nature of the work environment. Therefore, efforts are being made to digitalise the medication dispensation process by introducing a mobile application called Smart Dosing application. The introduction of the Smart Dosing application into hospital workflow raises security concerns and calls for security requirement analysis. This thesis is written as a part of the smart medication management project at Embedded Systems Laboratory, A° bo Akademi University. The project aims at digitising the medicine dispensation process by integrating information from various health systems, and making them available through the Smart Dosing application. This application is intended to be used on a tablet computer which will be incorporated on the medicine tray. The smart medication management system include the medicine tray, the tablet device, and the medicine cups with the cup holders. Introducing the Smart Dosing application should not interfere with the existing process carried out by the nurses, and it should result in minimum modifications to the tray design and the workflow. The re-designing of the tray would include integrating the device running the application into the tray in a manner that the users find it convenient and make less errors while using it. The main objective of this thesis is to enhance the security of the hospital medicine dispensation process by ensuring the security of the Smart Dosing application at various levels. The methods used for writing this thesis was to analyse how the tray design, and the application user interface design can help prevent errors and what secure technology choices have to be made before starting the development of the next prototype of the Smart Dosing application. The thesis first understands the context of the use of the application, the end-users and their needs, and the errors made in everyday medication dispensation workflow by continuous discussions with the nursing researchers. The thesis then gains insight to the vulnerabilities, threats and risks of using mobile application in hospital medication dispensation process. The resulting list of security requirements was made by analysing the previously built prototype of the Smart Dosing application, continuous interactive discussions with the nursing researchers, and an exhaustive stateof- the-art study on security risks of using mobile applications in hospital context. The thesis also uses Octave Allegro method to make the readers understand the likelihood and impact of threats, and what steps should be taken to prevent or fix them. The security requirements obtained, as a result, are a starting point for the developers of the next iteration of the prototype for the Smart Dosing application.

Usability and Security in Medication. Administration Applications

The traditional process of filling the medicine trays and dispensing the medicines to the patients in the hospitals is manually done by reading the printed paper medicinechart. This process can be very strenuous and error-prone, given the number of sub-tasksinvolved in the entire workflow and the dynamic nature of the work environment.Therefore, efforts are being made to digitalise the medication dispensation process byintroducing a mobile application called Smart Dosing application. The introduction ofthe Smart Dosing application into hospital workflow raises security concerns and callsfor security requirement analysis. This thesis is written as a part of the smart medication management project at EmbeddedSystems Laboratory, A˚bo Akademi University. The project aims at digitising the medicine dispensation process by integrating information from various health systems, and making them available through the Smart Dosing application. This application is intended to be used on a tablet computer which will be incorporated on the medicine tray. The smart medication management system include the medicine tray, the tablet device, and the medicine cups with the cup holders. Introducing the Smart Dosing application should not interfere with the existing process carried out by the nurses, and it should result in minimum modifications to the tray design and the workflow. The re-designing of the tray would include integrating the device running the application into the tray in a manner that the users find it convenient and make less errors while using it. The main objective of this thesis is to enhance the security of the hospital medicine dispensation process by ensuring the security of the Smart Dosing application at various levels. The methods used for writing this thesis was to analyse how the tray design, and the application user interface design can help prevent errors and what secure technology choices have to be made before starting the development of the next prototype of the Smart Dosing application. The thesis first understands the context of the use of the application, the end-users and their needs, and the errors made in everyday medication dispensation workflow by continuous discussions with the nursing researchers. The thesis then gains insight to the vulnerabilities, threats and risks of using mobile application in hospital medication dispensation process. The resulting list of security requirements was made by analysing the previously built prototype of the Smart Dosing application, continuous interactive discussions with the nursing researchers, and an exhaustive state-of-the-art study on security risks of using mobile applications in hospital context. The thesis also uses Octave Allegro method to make the readers understand the likelihood and impact of threats, and what steps should be taken to prevent or fix them. The security requirements obtained, as a result, are a starting point for the developers of the next iteration of the prototype for the Smart Dosing application.

Corporeidade e cultura amazonica : re-flexões a partir do passaro junino do Para

Universidade Estadual de Campinas . Faculdade de Educação Física

Política de saúde e gestão no processo de (re)construção do SUS em município de grande porte: um estudo de caso de São Paulo, Brasil

O processo de (re)construção do SUS no Município de São Paulo, Brasil, foi analisado, no período de 2001- 2008, por meio de estudo de caso, utilizando-se distintas fontes: documentos; entrevistas com informantes-chave e observação participante. Os conceitos de política de saúde e de gestão em saúde foram utilizados na qualidade de categorias analíticas. Foram selecionadas e analisadas apenas políticas priorizadas pela gestão iniciada em 2001 e que tiveram sustentação até 2008. Discutem-se desafios para a (re)construção do SUS no município relacionados com o contexto político-institucional e com mudanças de estrutura implementadas. As reorganizações da Secretaria Municipal de Saúde de São Paulo propiciaram a constituição e manutenção de dois subsistemas municipais, um hospitalar e outro ambulatorial. Negociações entre os governos municipal, estadual e federal não avançaram para que o município assumisse a gestão de fato de todo sistema de saúde, constatando-se a coexistência de três subsistemas públicos de saúde paralelos: dois municipais e um estadual. A sustentação política do Programa Saúde da Família foi associada ao fato de que esse programa não se constituiu como marca da primeira gestão municipal e, ainda, de ser política prioritária e estimulada pelo governo federal.

Effects of protein deprivation and re-feeding on P2X(2) receptors in enteric neurons

AIM: To investigate the effects of malnutrition and refeeding on the P2X(2) receptor, nitric oxide synthase (NOS), calretinin, calbindin and choline acetyltransferase (ChAT) in neurons of the rat ileum. METHODS: We analyzed the co-localization, numbers and sizes of P2X(2)-expressing neurons in relation to NOS-IR (immunoreactive), calbindin-IR, ChAT-IR, and calretinin-IR neurons of the myenteric and submucosal plexus. The experimental groups consisted of: (1) rats maintained on normal feed throughout pregnancy until 42 d post-parturition (N); (2) rats deprived of protein throughout pregnancy and 42 d post-parturition (D); and (3) rats undernourished for 21 d post-parturition and then given a protein diet from days 22 to 42 (DR). The myenteric and submucosal plexuses were evaluated by double labeling by immunohistochemical methods for P2X(2) receptor, NOS, ChAT, calbindin and calretinin. RESULTS: We found similar P2X(2) receptor immunoreactivity in the cytoplasm and surface membranes of myenteric and submucosal neurons from the N, D and DR groups. Double labeling of the myenteric plexus demonstrated that approximately 100% of NOS-IR, calbindin-IR, calretinin-IR and ChAT-IR neurons in all groups also expressed the P2X(2) receptor. In the submucosal plexus, the calretinin-IR, ChAT-IR and calbindinIR neurons were nearly all immunoreactive for the P2X(2) receptor. In the myenteric plexus, there was a 19% increase in numbers per cm(2) for P2X(2) receptor-IR neurons, 64% for NOS-IR, 84% for calretinin-IR and 26% for ChAT-IR neurons in the D group. The spatial density of calbindin-IR neurons, however, did not differ among the three groups. The submucosal neuronal density increased for calbindin-IR, calretinin-IR and ChAT-IR neurons. The average size of neurons in the myenteric plexus neurons in the D group was less than that in the controls and, in the re-fed rats; there was a 34% reduction in size only for the calretinin-IR neurons. CONCLUSION: This work demonstrates that expression of the P2X(2) receptor is present in inhibitory, intrinsic primary afferent, cholinergic secretomotor and vasomotor neurons. Undernutrition affected P2X(2) receptor expression in the submucosal plexus, and neuronal and size. These changes were rescued in the re-fed rats. (C) 2010 Baishideng. All rights reserved.

Spontaneous infiltrations of compound systems of Y(2)O(3), Sm(2)O(3), RE(2)O(3), Al(2)O(3) and AIN in SiC ceramics

Silicon carbide ceramics (SiC) are used in different applications in the engineering area due to the excellent properties, mainly in high temperatures. They are usually obtained by liquid-phase sintering enabling to form volatile products and, consequently, defects. The present work aims at studying the obtention of SiC ceramics by spontaneous infiltration using a eutectic composition of the Al(2)O(3)/Y(2)O(3), AIN/Y(2)O(3), Al(2)O(3)/Sm(2)O(3), AlN/Sm(2)O(3), Al(2)O(3)/RE(2)O(3) and AlN/RE(2)O(3) Systems. RE(2)O(3) is the concentrate of the rare-earth oxide obtained from Xenotime ore. Infiltration tests were carried out in argon atmosphere, graphite crucibles, in several temperatures near the melting point of each system, varying from 2.5 to 60 min. It was observed that Al(2)O(3)/Y(2)O(3), Al(2)O(3)/SM(2)O(3), AlN/SM(2)O(3) and Al(2)O(3)/RE(2)O(3) systems do not infiltrate appropriately and the AlN/Y(2)O(3) and AlN/RE(2)O(3) systems infiltrated spontaneously more than 20 mm; however, the first one presented a higher degree of infiltration, approximately 97%. (C) 2009 Elsevier Ltd and Techna Group S.r.l. All rights reserved.