Analysing Switch-Case Code with Abstract Execution

Constructing the control-flow graph (CFG) of machine code is made difficult by dynamic transfers of control (DTC), where the address of the next instruction is computed at run-time. Switchcase statements make compilers generate a large variety of machine-code forms with DTC. Two analysis approaches are commonly used: pattern-matching methods identify predefined instruction patterns to extract the target addresses, while analytical methods try to compute the set of target addresses using a general value-analysis. We tested the abstract execution method of the SWEET tool as a value analysis for switch-case code. SWEET is here used as a plugin to the Bound-T tool: thus our work can also be seen as an experiment in modular tool design, where a general value-analysis tool is used to aid the CFG construction in a WCET analysis tool. We find that the abstract-execution analysis works at least as well as the switch-case analyses in Bound-T itself, which are mostly based on pattern-matching. However, there are still some weaknesses: the abstract domains available in SWEET are not well suited to representing sets of DTC target addresses, which are small but sparse and irregular. Also, in some cases the abstract-execution analysis fails because the used domain is not relational, that is, does not model arithmetic relationships between the values of different variables. Future work will be directed towards the design of abstract domains eliminating these weaknesses

Public Opinion and Soviet Foreign Policy: Competing Belief Systems in the Policy-Making Process

Swings of American public opinion with respect to the Soviet Union and its actions are often attributed to the individual interested American\u27s lack of enduring convictions

Idiopaattisen epilepsian lääkehoito koiralla

Lisensiaatin tutkielmani keskeisin tarkoitus on kerrata epilepsian ensisijainen lääkehoito ja yleisiä hoitokäytäntöön liittyviä asioita sekä jakaa tietoa praktiikkaa tekeville eläinlääkäreille uusista lääkevaihtoehdoista vaikeahoitoisissa epilepsia tapauksissa. Koiran idiopaattisen epilepsian ensisijaisen lääkevaihtoehdon rinnalle on tullut uusia lääkevaihtoehtoja ihmisten epilepsialääkkeistä. Kuitenkaan kaikki ihmisten epilepsialääkkeet eivät sovellu koirille käytettäväksi esimerkiksi sopimattoman farmakokinetiikan tai sivuvaikutusten takia. Lääkehoito on idiopaattisen epilepsian tärkein hoitomuoto. Suosituksena on lääkehoidon aloittaminen, mikäli kouristuskohtauksia on enemmän kuin yksi kohtaus kahden kuukauden aikana tai jos koiralla on niin sanottu pitkittynyt kohtaus (yli 5min), jolloin kyseessä voi olla status epileptikus. Ennen lääkinnän aloittamista tulisi koiralta määrittää perusverenkuva sekä elinarvot ja tutkia virtsanäyte. Tämä on erityisen tärkeää, siksi että saamme koiran yksilölliset laboratorioarvot ennen lääkityksen aloittamista. Näihin tietoihin verrataan hoidon aikana saatavia tutkimustuloksia. Lisäksi alkutiedon perusteella voidaan arvioida, mikä olisi sopivin lääkevaihtoehto ja lääkeannos kyseiselle koiralle. Koirille epilepsian hoitoon Suomessa on rekisteröity Barbivet, jonka vaikuttava-aine on fenobarbitaali. Fenobarbitaalilääkitys on suhteellisen turvallinen ja sillä saavutetaan hyvä hoitovaste 70 – 80 %:lla epileptikkokoirista. Täydellinen kohtauksettomuus saavutetaan noin 40 %:lla koirista. Koiralla, joilla kohtauksia ei saada kontrolloitua pelkällä fenobarbitaalilla tai fenobarbitaali aiheuttaa koiralle merkittäviä haittavaikutuksia, voidaan siirtyä fenobarbitaalin ja kaliumbromidi yhdistelmähoitoon. Tämä yhdistelmähoito on erittäin tehokas. Yhdistelmähoito vähentää merkittävästi elintoksisuusriskiä, sillä lääkeaineilla on eri metaboliareitit. Mikäli kohtauksia esiintyy edelleen enemmän kuin kerran 6 – 8 viikossa, suositellaan tarkempia jatkotutkimuksia. Koiralle voidaan tarvittaessa kokeilla ihmisten epilepsialääkkeitä. Eniten käytetään topiramaattia ja levetirasetaamia. Topiramaatin käyttöä koiralla ei vielä ole juurikaan kliinisesti tutkittu, mutta kliinisessä käytössä siitä on havaittu olevan hyötyä. Levetirasetaamin teho on osoitettu koirilla tehdyissä kliinisissä tutkimuksissa. Mikäli kouristuskohtaus kestää yli 5 min tai kohtauksia tulee useampi kuin yksi kohtaus vuorokaudessa, koira tulisi viedä eläinlääkäriin. Pitkittynyt kohtaus vaatii välittömästi hoitoa, sillä se voi olla hengenvaarallinen. Aktiivinen kohtaus pyritään pysäyttämään ensisijaisesti diatsepaamilla i.v.. Hoitoon kannattaa lisätä myös fenobarbitaalia i.v., sillä sen vaikutus kestää pidempään. Mikäli kohtaus edelleen jatkuu, voidaan potilaalle antaa hitaasti propofolia i.v.

"Tahtoohan tämä nykyinen elämä ja maailma viedä mielen matalaksi kun piti rauhan tuleman niin alkoikin sota": Lapin sotaan suhtautuminen ja sodan kokemus kirjeissä vuosina 1944-1945

Tutkielmassa tarkastellaan Lapin sodan aikaisten kirjeiden kautta Lapin sotaan suhtautumista ja sodan käsittelyä. Lapin sota ja erityisesti sen kokemushistoriallinen tarkastelu on ollut aikaisemmassa tutkimuksessa vähäistä. Lähdeaineistona tutkielmassa on käytetty Tampereen yliopiston Kansanperinteen arkiston sota-ajan kirjekokoelman kirjeitä vuosilta 1944-1945. Tarkasteltavat kirjeet ovat Lapin sodassa taistelleiden sotilaiden, jatkosodasta kotiuttamista odottaneiden sotilaiden ja kotirintaman kirjoittamia. Tutkielmassa tarkastellaan kirjeiden kirjoittajien suhtautumista Lapin sotaan Moskovan välirauhansopimuksen, saksalaisjoukkojen ja sota-alueen kuvausten kautta. Tutkielmassa tuodaan esille myös mahdollisia sodan käsittelyyn vaikuttaneita tekijöitä, kuten kirje- ja itsesensuurin sekä lehdistön esittämien viholliskuvien vaikutus. Lähdeaineiston perusteella kirjeiden kirjoittajien mielipiteet ovat Lapin sotaan liittyen vaihtelevia, mutta enemmistö kirjeistä on sodan käsittelyssä negatiiviseen suuntaan painottuneita. Lapin sodan syttyminen koettiin ikävänä ja rauhaan paluuta viivästyttävänä tekijänä. Lapin sodan syttymisestä syytettiin kirjeissä myös saksalaisia sotilaita, joiden toivottiin poistuvan Suomesta nopeasti. Saksalaisten Lapissa tekemiä tuhoja käsitellään useissa aineiston kirjeissä, tuhot aiheuttivat selvästi kirjeiden kirjoittajissa vahvoja kielteisiä kokemuksia

Together

Aim: Previous research has shown that the students' involvement in mathematics education is steadily decreasing during the compulsory school years. It has also been shown that the teaching of mathematics is very textbook centered and that teaching emphasizes a procedural fluency over conceptual understanding. There are also indications that a certain level of struggle is necessary for learning and that cognitively challenging tasks create a greater level of engagement. In this thesis, an intervention material with cognitively challenging collaborative mathematical tasks is presented and examined. The purpose of this research is to investigate which mathematical competences the students find themselves practicing in their work on collaborative tasks and to investigate what the pupils find to best support them in their efforts with cognitively challenging mathematical tasks placed in an investigative landscape. The students' perceived knowledge development during the intervention is also addressed. Methods: This is a quantitative study that took place in a primary school. The students in the research are students in grade 4 and grade 6 (N = 32). For this study, a survey was constructed that the students completed after each lesson. The focus of this thesis lies on the students' own experience. A total of 8 lessons were conducted per year. Results and conclusions: The results from his study show that pupils in grades 4-6 experience the group as their greatest support in the work on cognitively challenging mathematical tasks placed in an investigative landscape. There was a difference between the classes. The older students felt that they had practiced more on conceptual abilities, and they could also slightly better utilize the collaborative resources. The younger pupils relied somewhat more on the teacher and experienced the group's support as their greatest asset in their work with more procedural skills. Neither the elderly nor the younger students were able to really utilize the collaborative resources when the cognitive level of demand increased or the tasks took place in less concrete environments. The results suggest that there is reason to speculate further on how best to support students' collaborative mathematical development.Tiivistelmä - Referat – Abstract Mål: Tidigare forskning har visat att elevernas engagemang för matematikundervisningen sjunker stadigt under grundskoleåren. Det har dessutom påvisats att matematikundervisningen är mycket lärobokscentrerad och att undervisningen poängterar en procedural smidighet framom en begreppslig förståelse. Det finns även indikationer på att en viss nivå av ansträngning är nödvändig för inlärningen samt att kognitivt utmanande uppgifter skapar ett större engagemang hos eleverna. I denna avhandling presenteras och undersöks ett interventions material med kognitivt utmanande kollaborativa matematikuppgifter. Syftet med denna forskningen är att undersöka vilka matematiska kompetenser eleverna upplever sig öva på i arbetet med kollaborativa uppgifter samt undersöka vad eleverna upplever att bäst stöder dem i deras ansträngningar med kognitivt utmanande matematikuppgifter placerade i ett undersökande landskap. Även elevernas upplevda kunskapsutveckling under interventionen behandlas. Metoder: Detta är en kvantitativ studie som tog plats i en lågstadieskola. Eleverna i forskningen är elever i årskurs 4 och årskurs 6 (N=32). För denna studie konstruerades en enkät som eleverna fyllde i efter varje genomförd lektion. Fokus i denna avhandling ligger på elevernas egen uppfattning. Totalt genomfördes 8 lektioner per årskurs. Resultat och slutsatser: Resultaten från dennas studie visar att elever i årskurserna 4–6 upplever gruppen som sitt största stöd i arbetet med kognitivt utmanande matematikuppgifter placerade i ett undersökande landskap. Det förelåg en skillnad mellan årskurserna så att de äldre eleverna upplevde sig ha övat mera på begreppsliga förmågor och de kunde även aningen bättre kunde utnyttja de kollaborativa resurserna medan de yngre eleverna aningen mera förlitade sig på läraren och upplevde gruppens stöd som störst i arbetet med mera procedurala färdigheter. Varken de äldre eller de yngre eleverna förmådde att verkligen utnyttja de kollaborativa resurserna då antingen den kognitiva kravnivån ökade eller uppgifterna tog plats i mindre konkreta miljöer. Resultaten antyder att det finns skäl att spekulera vidare i hur man bäst kan stöda eleverna kollaborativa matematikutveckling

Teaching WCET Analysis in Academia and Industry: A Panel Discussion

The last item on the programme of the WCET\u2709 workshop was a panel discussion on "Teaching WCET analysis in academia and industry". The panelists presented three position statements to initiate a general discussion of the subject. This summary contains the panelists\u27 position statements and notes of the panel discussion

Verkkosivujen näkyvyyden lisääminen Google Analytics -työkalun avulla : case: Outdoors Finland -retkeilyportaali

Tämän opinnäytetyön tavoitteena on selvittää Outdoors Finland-retkeilyportaalin näkyvyyden, löydettävyyden ja sisällön hyödynnettävyyden lisäämistä Google Analytics-työkalun avulla. Opinnäytetyön tarkoituksena on tutkia retkeilyportaalin sisällön kiinnostavuutta, näkyvyyttä ja käytettävyyttä käyttäjätietoraporttien perusteella. Teoriaosassa käsitellään internetiä ja verkkosivuja yrityksen markkinointikanavana, verkkosivujen sisältöä, näkyvyyden muotoja internetissä, sekä verkkosivujen käytettävyyttä. Empiirisessä osuudessa tutkitaan Google Analytics-käyttäjätietoraportteja. Käyttäjätietoraportein tutkitaan muun muassa Outdoors Finland -retkeilyportaalin käyttäjämääriä, saapumiskanavia, käytettyjä avainsanoja, sosiaalisen verkoston kautta tapahtuvaa toimintaa verkkosivuille, kiinnostavia verkkosivuja, käytössä olleita mobiililaitteita, sekä verkkosivujen nopeutta. Tutkimuksen kohteena ovat Outdoors Finland-retkeilyportaalin verkkosivuilla olleet käyttäjät. Opinnäytetyöhön käytetään sekä kvantitatiivista, että kvalitatiivista tutkimusmenetelmää. Työhön on valittu kvantitatiivinen tutkimusmenetelmä, koska empiirisen osuuden havaintomateriaali sisältää kuvien ja taulukoiden muodossa olevaa numeerista tietoa. Kvalitatiivinen tutkimusmenetelmä on otettu täsmentämään havaintomateriaalin analysointia. Tutkimuksen perusteella voidaan päätellä, että Outdoors Finland -retkeilyportaalin tarjoama sisältö on kiinnostavaa, materiaali on hyödynnettävissä olevaa ja ihmiset ovat olleet kiinnostuneita retkeilyportaalista. Retkeilyportaalin näkyvyys on lisääntynyt vuoden 2014 aikana, mikä heijastuu uusien käyttäjien suurena määränä verkkosivuilla. Outdoors Finland -retkeilyportaalin näkyvyyden lisääminen on tärkeää ja ajankohtaista, koska retkeilyportaalin on tarkoitus laajentua tulevaisuudessa koko Suomen alueelle. Retkeilyportaalin näkyvyyttä voidaan lisätä hakukoneiden ja sosiaalisten verkostojen kanavien tehokkaammalla hyödyntämisellä. Tutkimuksesta on hyötyä verkkosivujen näkyvyyden ja markkinoinnin lisäämisestä kiinnostuneille henkilöille.This thesis deals with increasing the visibility of the Outdoors Finland -camping portal website with Google Analytics. The aim is to examine the contents of the Outdoors Finland -camping portal website visibility, attractiveness and usability through the reports of website visitors. This study includes two sections. The theoretical part of the thesis deals with the content of the website attractiveness, different forms of visibility and the features of good website usability. These parts discusses how to produce interesting content for websites, what kind of visibility forms exist on the Internet and what are good website usability features. The content of the website attractiveness, visibility and good website usability are influenced by number of visitors to the website. The empirical part of the study consists of different kind of reports by Google Analytics. The reports examine website visitor numbers, arrival channels, and the operation of the website through the social network, the most interesting websites, and speed of the web pages. The study focuses on Outdoors Finland -camping portal website visitors which collect data with Google Analytics. This is a quantitative and a qualitative study. This study selected quantitative research method because the empirical part includes tables and figures in the form of numerical data. The qualitative research method has been selected to clarify the numerical data. The results of this study indicate that the Outdoors Finland -camping portal website content is interesting, the material is usable, and the people are interested in the camping portal. The visibility of the camping portal has increased during this year which is reflected the high number of new visitors to the website. Based on the results of this study the camping portal still needs to increase its visibility in the Internet. It is important to increase the visibility because the Outdoors Finland -camping portal is intended to expand in Finland. The best way to increase the visibility of the camping portal is to exploit more effective search engines and social networking channels.The study is useful for persons who are interested in marketing and increasing the visibility of the website pages