Methods of Design and Testing of Real Time Systems

Teollusuussovelluksissa vaaditaan nykyisin yhä useammin reaaliaikaista tiedon käsittelyä. Luotettavuus on yksi tärkeimmistä reaaliaikaiseen tiedonkäsittelyyn kykenevän järjestelmän ominaisuuksista. Sen saavuttamiseksi on sekä laitteisto, että ohjelmisto testattava. Tämän työn päätavoitteena on laitteiston testaaminen ja laitteiston testattavuus, koska luotettava laitteistoalusta on perusta tulevaisuuden reaaliaikajärjestelmille. Diplomityössä esitetään digitaaliseen signaalinkäsittelyyn soveltuvan prosessorikortin suunnittelu. Prosessorikortti on tarkoitettu sähkökoneiden ennakoivaa kunnonvalvontaa varten. Uusimmat DFT (Desing for Testability) menetelmät esitellään ja niitä sovelletaan prosessorikortin sunnittelussa yhdessä vanhempien menetelmien kanssa. Kokemukset ja huomiot menetelmien soveltuvuudesta raportoidaan työn lopussa. Työn tavoitteena on kehittää osakomponentti web -pohjaiseen valvontajärjestelmään, jota on kehitetty Sähkötekniikan osastolla Lappeenrannan teknillisellä korkeakoululla.

Centralized Identity Management for Web Applications

Internet-palvelujen määrä kasvaa jatkuvasti. Henkilöllä on yleensä yksi sähköinen identiteetti jokaisessa käyttämässään palvelussa. Autentikointitunnusten turvallinen säilytys käy yhä vaikeammaksi, kun niitä kertyy yhdet jokaisesta uudesta palvelurekisteröitymisestä. Tämä diplomityö tarkastelee ongelmaa ja ratkaisuja sekä palvelulähtöisestä että teknisestä näkökulmasta. Palvelulähtöisen identiteetinhallinnan liiketoimintakonsepti ja toteutustekniikat – kuten single sign-on (SSO) ja Security Assertion Markup Language (SAML) – käydään läpi karkeiden esimerkkien avulla sekä tutustuen Nokia Account -hankkeessa tuotetun ratkaisun konseptiin ja teknisiin yksityiskohtiin. Nokia Account -palvelun ensimmäisen version toteutusta analysoidaan lopuksi identiteetinhallintapalveluiden suunnitteluperiaatteita ja vaatimuksia vasten.

Dokumentinhallinta verkottuneessa teollisuusympäristössä

Dokumentinhallintajärjestelmien kehittyessä vuosi vuodelta voi yritykselle tulla aiheelli-seksi vaihtaa jo käytössä oleva dokumentinhallinjärjestelmä uuteen. Tällaisessa tilanteessa katsotaan uuden järjestelmän hyödyn olevan suurempi kuin dokumentinhallinjärjestelmän vaihdosta koituvat kustannukset. Myös yhtiön sisäisen rakenteen tai toimintamallien muu-tos voi aiheellistaa dokumentinhallintajärjestelmän vaihtoon. Suurimpia haasteita dokumentinhallijärjestelmästä toiseen siirtymisessä oli dokumentin mukana tulevien ominaisuuksien (attributes) muuntamisessa uuden dokumentinhallijärjes-telmän mukaisiksi. Ominaisuuksien muuttamisella optimoidaan hyötyä, jota dokumentin-hallintajärjestelmän vaihdosta saadaan. Tämä kuitenkin pidentää dokumentinhallijärjestel-mien siirtoaikaa. Jotta siirtoaikaa voitaisiin lyhentää, oli luotava muunnostaulukoita joiden mukaan teknisten dokumenttien ominaisuuksia muutetaan uuteen muotoon. Näitä muunnostaulukoita tulkit-sevat pääasiassa muunnokseen kehitetyt ohjelmat, mutta vaikeissa tapauksissa muunnok-sen joutuu hoitamaan ihminen. Siirron yhteydessä päätavoitteena on kuitenkin informaati-on säilyminen tai jopa sen kasvattaminen, vaikka se työtä hidastaisikin. Kasvavassa teollisuusyrityksessä teknisten dokumenttien versiointivauhti on kova ja koska dokumentteja versioi yleensä myös jokin ulkopuolinen taho, on dokumenttien liikenne suurta myös yrityksen dokumentinhallintajärjestelmän ulkopuolella. Dokumentit voivat liikkua joko kahden eri verkossa olevan dokumentinjärjestelmän välillä tai dokumenteilla voi olla jokin ulkoinen sijoituspaikka versioinnin aikana. Täten on yrityksen otettava huo-mioon myös dokumentinhallijärjestelmän ulkopuolinen dokumentinhallinta.

Caracterización geológica de la región de enlace entre la Cuenca de Bransfield y la Dorsal Sur de Scotia (Antártida)

La Dorsal Sur de Scotia (DSS) constituye une frontera de placas transformante con sentido senestral, que limita las placas de Scotia, al norte, y Antártica, al sur. Durante la campaña de geología y geofísica marinas 'Scotia 92', realizada en Febrero de 1992 a bordo del BIO Hespérides, se ha estudiado su extremo occidental y sectores próximos a la Cuenca de Bransfield, entre el margen nor-occidental de la Península Antártica y las islas Shetland del Sur, Elefante y Orcadas del Sur. Al norte y sur de la DSS se desarrollan las cuencas de Scotia y de Powell, respectivamente. Los datos de sísmica de multicanal, magnetismo y gravimetna obtenidos muestran caracteristicas diferenciales entre ambas cuencas. La morfoestructura de la DSS, formada por dos crestas paralelas separadas por una profunda depresión axial, ha sido recubierta mediante perfilaje de multihaz con el sistema SIMRAD EM-12 en una área de 50 x 100 km. La batimetría resultante ha permitido reconocer en detalle las caracteristicas de una depresión de más de 5.300 m de profundidad y de 10 a 30 km de anchura, bautizada como Fosa Hespérides. En ella se aprecia la existencia de dos famílias de lineaciones, la primera de dirección E-W y paralela al límite de placas, y la segunda de dirección NW-SE. La primera acomodaría el movimiento cizallante regional mientras que la segunda estaría asociada con una componente extensional probablemente relacionada con la dirección de la Cuenca de Bransfield. La forma romboédrica de la fosa está determinada por la interacción de ambas famílias de lineaciones. Teniendo en cuenta que el límite de placas transcurre entre las dos crestas, interpretamos la Fosa Hespérides como una cuenca de pull-apart desarrollada como consecuencia del movimiento de cizalla a lo largo de la DSS.

Aportaciones de la prospección geofísica al estudio del subsuelo del Berguedà y Solsonés, (pre-pirineo Catalán, N.E. de la Península Ibérica)

En este trabajo se presenta la interpretaciónpor métodos geofísicos combinados de un sector del contacto entre el Pre-Pirineo y la La zona objeto del presente estudio se halla a Depresión Central Catalana...

Toiminnan laadun parantaminen organisaation itsearvioinnilla – tutkimus Suomen puolustusvoimien tulosyksiköissä

Laajoilla kyselylomaketutkimuksilla on tutkittu organisaation itsearvioinnin käyttöönoton motiiveja, käyttöä ja käytön hyötyjä 1990-luvulla ja 2000-luvun alussa. Organisaation itsearviointia on myös tutkittu laatupalkintomallien soveltamisen yhteydessä. Kolmas tutkimussuuntaus, johon myös tämä tutkimus sisältyy, on organisaation itsearvioinnin tutkiminen erilaisissa asiayhteyksissä. Tämän tutkimuksen tarkoituksena on lisätä tietoa ja ymmärrystä organisaation itsearvioinnista ja sen vaikuttavuudesta tutkimalla, miten organisaatiota itsearvioidaan maavoimien valmiusyhtymissä ja Maasotakoulussa. Näissä neljässä paikallistutkimuksessa käytin tutkimusotteena tapaustutkimuksen mukaista tutkimusstrategiaa. Aiempien tutkimuksien tulosten perusteella tärkein yhdistävä tekijä toiminnan parantamisessa on pyrkimys kokonaisvaltaisuuteen toiminnan laadun parantamisessa ja erinomaisuuden tavoittelussa. Osin kokonaisvaltaisuuteen sisältyviä ja sitä tukevia tekijöitä ovat jatkuvan parantamisen periaatteen käyttäminen ja oppivan organisaation edellyttämien toimintaedellytyksien luominen ja niiden huomioon ottaminen toiminnassa. Edelleen yhteisenä tekijänä ovat johdon sitoutumisen ja osallistumisen vaikutukset työntekijöiden osallistumiseen ja sitoutumiseen. Teorian perusteella olen arvioinut muodostuvan kolme organisaation itsearvioinnin strategisen tason johtamiskäytäntöä, jotka ovat ”Laatupalkinnon hakeminen”, ”Toiminnan ja tulosten arviointi” sekä ”Toiminnan kypsyyden arviointi”. Tutkimuksen tulosten perusteella organisaation itsearvioinnin vaikuttavuuden merkityskokonaisuus on selitettävissä viiden teeman avulla. Koko tutkimusaineiston yhdistäväksi vaikuttavuuden teemaksi, josta myös organisaation itsearvioinnin vaiheistus saa tukea, muodostuu teema ”organisaation itsearviointi ja tulosjohtaminen”. Tämän teeman perusteella organisaation itsearvioinnin vaikuttavuus perustuu itsearvioinnin käyttämiseen sekä tulosyksikön sisäisenä että johdon strategisen tason itsearviointina osana tulosjohtamista. Samoin teema ”ollaanko samaa perhettä” löytyy jokaisesta tutkimuskohteena olleesta tulosyksiköstä. Teeman perusteella vaikuttavuus perustuu siihen, että organisaation itsearvioinnin tilaisuus koetaan sosiaalisena tapahtumana ja organisaation itsearviointi vahvistaa työntekijöiden osallistumista ja sitoutumista toiminnan laadun parantamiseen. Vaikuttavuuden teemoissa ”poistetaan kivi kengästä, ja hiertäminen loppuu siihen”, ”strateginen valinta” ja ”henkilöstön työhyvinvoinnin edistäminen” organisaation itsearvioinnin vaikuttavuus on tulosyksikkökohtainen. Organisaation itsearvioinnista haetaan vaikuttavuutta organisaation itsearvioinnista saatavien tulosten nopealla toimeenpanolla. Vaikuttavuuteen pyritään systemaattisella eri organisaation tasoilla tehtävillä toiminnan kuvauksilla, mihin liittyy laatupalkinnon hakeminen. Vaikuttavuuteen voidaan myös päästä työpistelähtöisesti henkilöstön johtamisen ja hallinnon kautta. Vaiheistettua organisaation itsearviointia voidaan käyttää osana tulosjohtamista. Muita keskeisiä tutkimustuloksia ovat organisaation itsearvioinnin välittömät ja välilliset vaikutukset. Tutkimuksen tulosten perusteella teen suositukset organisaation itsearvioinnin johtamiskäytännöistä ja organisaation itsearvioinnin vaiheistuksesta osana tulosyksikön tulosjohtamista. Kolmas suositus käsittää organisaation itsearvioinnin käytön palautejärjestelmänä.

Prospección sísmica en el Glaciar Johnsons, Isla Livingston (Antártida). (campañas antárticas 1996-1997 y 1997-1998)

Durante las campañas antárticas de 1996-97 y 1997-98, se realizaron en el glaciar Johnsons (Isla Livingston, A n t á rtida) cinco perfiles sísmicos de refracción (con un total de 2.685 m longitud) y dos perfiles de reflexión (2.980 m longitud) con el objetivo de obtener i n f o rmación sobre el grosor del hielo y la topografía del basamento. En cuanto a la sísmica de refracción, se presenta como un método e ficaz para la obtención del espesor y de la velocidad del hielo, mientras que se propone la sísmica de reflexión como la técnica más adecuada para obtener información sobre la morfología de la cubeta glacial y el contacto hielo-roca. Los resultados aportados por los anteriores métodos se han completado con un análisis minucioso de los datos de campo (estudio del frente de ondas) obteniéndose la localización de sectores con fracturas (grietas) y pudiéndose distinguir áreas de distintas características glaciológicas (zonas de acumulación y ablación). Este conocimiento de la estructura interna del glaciar mediante prospección sísmica junto con otros datos glaciológicos permitirá modelizar la dinámica del flujo del glaciar Johnsons.

Addenda a la biografia i l'obra del pintor Joan Arnau Moret (1603-1693)

The present article treats of the painter Joan Arnau Moret, catalan painter of the 17th century. Aspects treat each other as the order of the great picture preserved in the cathedral of Barcelona with the iconography The de live ry o f the ke ys of the city of Barcelona to the Immaculate, the biographical news it extracted of the process of canonization of santa Maria of Cervelló or the professional relation that Joan Arnau joined with the prince Joan Josep d’Àustria newly finished the Segadors war (The Reapers’ War). Of them the study also announces a work – the Saint Cathe rine o f Ale xandria of the chapel of Saint Catherine of the cathedral of Girona – proposes to attribute four paintings more – the paintings of the altarpiece of The Saints fo ur Martyrs of the cathedral of Girona – and thinks about the controversial paintings of the altarpiece of the Castle of Vilassar and of the monastery of Sant Joan of the Abadesses. Finally, by means of the stylistic reading of the new works, which the author considers of the best of his catalogue, one tries to demonstrate that thesources of your figurative culture and stylistic are in the painting of Madrid of the first decades of the 17th century

Optimizing Mobile Java Location-Based Services in Symbian OS

This thesis evaluates methods for obtaining high performance in applications running on the mobile Java platform. Based on the evaluated methods, an optimization was done to a Java extension API running on top the Symbian operating system. The API provides location-based services for mobile Java applications. As a part of this thesis, the JNI implementation in Symbian OS was also benchmarked. A benchmarking tool was implemented in the analysis phase in order to implement extensive performance test set. Based on the benchmark results, it was noted that the landmarks implementation of the API was performing very slowly with large amounts of data. The existing implementation proved to be very inconvenient for optimization because the early implementers did not take performance and design issues into consideration. A completely new architecture was implemented for the API in order to provide scalable landmark initialization and data extraction by using lazy initialization methods. Additionally, runtime memory consumption was also an important part of the optimization. The improvement proved to be very efficient based on the measurements after the optimization. Most of the common API use cases performed extremely well compared to the old implementation. Performance optimization is an important quality attribute of any piece of software especially in embedded mobile devices. Typically, projects get into trouble with performance because there are no clear performance targets and knowledge how to achieve them. Well-known guidelines and performance models help to achieve good overall performance in Java applications and programming interfaces.

An active zone characterized by slow normal faults, the northwestern margin of the València trough (NE Iberia): a review

The northwestern margin of the Valencia trough is an area of low strain characterized by slow normal faults and low to moderate seismicity. Since the mid 1990s this area has been the subject of a number of studies on active tectonic which have proposed different approaches to the location of active faults and to the calculation of the parameters that describe their seismic cycle. Fifty-six active faults have been found and a classification has been made in accordance with their characteristics: a) faults with clear evidence of large paleo-, historic or instrumental earthquakes (2/56); b) faults with evidence of accumulated activity during the Plio-Quaternary and with associated instrumental seismicity (7/56); c) faults with evidence of accumulated activity during the Plio-Quaternary and without associated instrumental seismicity (17/56); d) faults with associated instrumental seismicity and without evidence of accumulated activity during the Plio-Quaternary (30/56), and e) faults without evidence of activity or inactive faults. The parameters that describe the seismic cycle of these faults have been evaluated by different methods that use the geological data obtained for each fault except when paleoseismological studies were available. This classification can be applied to other areas with low slip faults because of the simplicity of the approaches adopted. This study reviews the different approaches proposed and describes the active faults located, highlighting the need a) to better understand active faults in slow strain zones through paleoseismological studies, and b) to include them in seismic hazard studies.

Evaluation of a snow avalanche possibly triggered by a local earthquake at Vallée de la Sionne, Switzerland

Snow avalanches are moving sources of infrasonic and seismic energy. They can be triggered by many different mechanisms that include the shaking produced by earthquakes. The forces induced by an earthquake can cause an increase in the load down the slope and can also decrease the shear strength and both effects can cause the release of an avalanche. This phenomenon represents an important hazard associated with earthquakes in snow-covered mountain areas with high seismicity.

Aetiologies of pulseless electrical activity in out-of-hospital cardiac arrests:A retrospective study and analysis of specific causes

Background: Pulseless electrical activity (PEA) cardiac arrest is defined as a cardiac arrest (CA) presenting with a residual organized electrical activity on the electrocardiogram. In the last decades, the incidence of PEA has regularly increased, compared to other types of CA like ventricular fibrillation or pulseless ventricular tachycardia. PEA is frequently induced by reversible conditions. The "4 (or 5) H" & "4 (or 5) T" are proposed as a mnemonic to asses for Hypoxia, Hypovolemia, Hypo- /Hyperkalaemia, Hypothermia, Thrombosis (cardiac or pulmonary), cardiac Tamponade, Toxins, and Tension pneumothorax. Other pathologies (intracranial haemorrhage, severe sepsis, myocardial contraction dysfunction) have been identified as potential causes for PEA, but their respective probability and frequencies are unclear and they are not yet included into the resuscitation guidelines. The aim of this study was to analyse the aetiologies of PEA out-of-hospital CA, in order to evaluate the relative frequencies of each cause and therefore to improve the management of patients suffering a PEA cardiac arrest. Method: This retrospective study was based on data routinely and prospectively collected for each PEMS intervention. All adult patients treated from January 1st 2002 to December 2012 31st by the PEMS for out-of-hospital cardiac arrest, with PEA as the first recorded rhythm, and admitted to the emergency department (ED) of the Lausanne University Hospital were included. The aetiologies of PEA cardiac arrest were classified into subgroups, based on the classical H&T's classification, supplemented by four other subgroups analysis: trauma, intra-cranial haemorrhage (ICH), non-ischemic cardiomyopathy (NIC) and undetermined cause. Results: 1866 OHCA were treated by the PEMS. PEA was the first recorded rhythm in 240 adult patients (13.8 %). After exclusion of 96 patients, 144 patients with a PEA cardiac arrest admitted to the ED were included in the analysis. The mean age was 63.8 ± 20.0 years, 58.3% were men and the survival rate at 48 hours was 29%. 32 different causes of OHCA PEA were established for 119 patients. For 25 patients (17.4 %), we were unable to attribute a specific cause for the PEA cardiac arrest. Hypoxia (23.6 %), acute coronary syndrome (12.5%) and trauma (12.5 %) were the three most frequent causes. Pulmonary embolism, Hypovolemia, Intoxication and Hyperkaliemia occurs in less than 10% of the cases (7.6 %, 5.6 %, 3.5%, respectively 2.1 %). Non ischemic cardiomyopathy and intra-cranial haemorrhage occur in 8.3 % and 6.9 %, respectively. Conclusions: According to our results, intra-cranial haemorrhage and non-ischemic cardiomyopathy represent noticeable causes of PEA in OHCA, with a prevalence equalling or exceeding the frequency of classical 4 H's and 4 T's aetiologies. These two pathologies are potentially accessible to simple diagnostic procedures (native CT-scan or echocardiography) and should be included into the 4 H's and 4 T's mnemonic.

Walter Charleton (1620 - 1707) e sua Teoria Atômica

Several authors in the 17th century used the atomic hypothesis to explain observable phenomena. This paper analyzes some ideas about chemical transformation proposed by the English physician Walter Charleton. In Physiologia Epicuro-Gassendo-Charltoniana (London, 1654), Charleton examined philosophical aspects of the atomic theory, and suggested that the best explanation for all natural phenomena would be only in terms of atoms and their motions. Sometimes, however, he had to attribute to the atoms some kind of "internal virtue", to explain more complex properties of the matter. His idea of "element", and the little use of experimentation and quantification, also limited the range of Charleton's theory.

Deep incision in an Aptian carbonate succession indicates major sea-level fall in the Cretaceous

Long-term relative sea-level cycles (0 5 to 6 Myr) have yet to be fully understood for the Cretaceous. During the Aptian, in the northern Maestrat Basin (Eastern Iberian Peninsula), fault-controlled subsidence created depositional space, but eustasy governed changes in depositional trends. Relative sea-level history was reconstructed by sequence stratigraphic analysis. Two forced regressive stages of relative sea-level were recognized within three depositional sequences. The first stage is late Early Aptian age (intra Dufrenoyia furcata Zone) and is characterized by foreshore to upper shoreface sedimentary wedges, which occur detached from a highstand carbonate platform, and were deposited above basin marls. The amplitude of relative sea-level drop was in the order of tens of metres, with a duration of <1 Myr. The second stage of relative sea-level fall occurred within the Late Aptian and is recorded by an incised valley that, when restored to its pre-contractional attitude, was >2 km wide and cut 115 m down into the underlying Aptian succession. With the subsequent transgression, the incision was back-filled with peritidal to shallow subtidal deposits. The changes in depositional trends, lithofacies evolution and geometric relation of the stratigraphic units characterized are similar to those observed in coeval rocks within the Maestrat Basin, as well as in other correlative basins elsewhere. The pace and magnitude of the two relative sea-level drops identified fall within the glacio-eustatic domain. In the Maestrat Basin, terrestrial palynological studies provide evidence that the late Early and Late Aptian climate was cooler than the earliest part of the Early Aptian and the Albian Stage, which were characterized by warmer environmental conditions. The outcrops documented here are significant because they preserve the results of Aptian long-term sea-level trends that are often only recognizable on larger scales (i.e. seismic) such as for the Arabian Plate.

Deep incision in an Aptian carbonate succession indicates major sea-level fall in the Cretaceous

Long-term relative sea-level cycles (0 5 to 6 Myr) have yet to be fully understood for the Cretaceous. During the Aptian, in the northern Maestrat Basin (Eastern Iberian Peninsula), fault-controlled subsidence created depositional space, but eustasy governed changes in depositional trends. Relative sea-level history was reconstructed by sequence stratigraphic analysis. Two forced regressive stages of relative sea-level were recognized within three depositional sequences. The first stage is late Early Aptian age (intra Dufrenoyia furcata Zone) and is characterized by foreshore to upper shoreface sedimentary wedges, which occur detached from a highstand carbonate platform, and were deposited above basin marls. The amplitude of relative sea-level drop was in the order of tens of metres, with a duration of <1 Myr. The second stage of relative sea-level fall occurred within the Late Aptian and is recorded by an incised valley that, when restored to its pre-contractional attitude, was >2 km wide and cut 115 m down into the underlying Aptian succession. With the subsequent transgression, the incision was back-filled with peritidal to shallow subtidal deposits. The changes in depositional trends, lithofacies evolution and geometric relation of the stratigraphic units characterized are similar to those observed in coeval rocks within the Maestrat Basin, as well as in other correlative basins elsewhere. The pace and magnitude of the two relative sea-level drops identified fall within the glacio-eustatic domain. In the Maestrat Basin, terrestrial palynological studies provide evidence that the late Early and Late Aptian climate was cooler than the earliest part of the Early Aptian and the Albian Stage, which were characterized by warmer environmental conditions. The outcrops documented here are significant because they preserve the results of Aptian long-term sea-level trends that are often only recognizable on larger scales (i.e. seismic) such as for the Arabian Plate.