SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;conttype:(scientificother);lar1:(mdh)"

Sökning: db:Swepub > Övrigt vetenskapligt > Mälardalens högskola

  • Resultat 1-10 av 4037
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
6.
  • Abbaspour Asadollah, Sara (författare)
  • Concurrency Bugs : Characterization, Debugging and Runtime Verification
  • 2018
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. Thus, testing techniques and handling of concurrency bugs need to focus on exposing the bugs in this large space. However, existing solutions typically do not provide debugging information to developers (and testers) for understanding the bugs.Our work focuses on improving concurrent software reliability via three contributions: 1) An investigation of concurrent software challenges with the aim to help developers (and testers) to better understand concurrency bugs. We propose a classification of concurrency bugs and discuss observable properties of each type of bug. In addition, we identify a number of gaps in the body of knowledge on concurrent software bugs and their debugging. 2) Exploring concurrency related bugs in real-world software with respect to the reproducibility of bugs, severity of their consequence and effort required to fix them. Our findings here is that concurrency bugs are different from other bugs in terms of their fixing time and severity, while they are similar in terms of reproducibility. 3) A model for monitoring concurrency bugs and the implementation and evaluation of a related runtime verification tool to detect the bugs. In general, runtime verification techniques are used to (a) dynamically verify that the observed behaviour matches specified properties and (b) explicitly recognize understandable behaviors in the considered software. Our implemented tool is used to detect concurrency bugs in embedded software and is in its current form tailored for the FreeRTOS operating system. It helps developers and testers to automatically identify concurrency bugs and subsequently helps to reduce their finding and fixing time.
  •  
7.
  • Abbaspour, Sara, 1984- (författare)
  • Electromyogram Signal Enhancement and Upper-Limb Myoelectric Pattern Recognition
  • 2019
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • Att förlora en extremitet orsakar svårigheter i vår vardag. För att återfå förmågan till ett självständigt liv har artificiella händer och ben utvecklats. Handproteser kan kontrolleras av användaren genom aktiviteten hos återstående muskler ovanför amputationen. Elektromyogram (EMG) är en av de källor som kan användas till kontrollmetoder för handproteser. Yt-EMG är kraftfulla icke-invasiva verktyg som ger information om neuromuskulär aktivitet hos en specifik muskel, vilket är avgörande för dess användning att styra proteser. Komplexiteten hos signalen utgör dock en stor utmaning. EMG-mönsterigenkänning för att avkoda olika handrörelser är ett viktigt framsteg när det gäller kontroll av motoriserade proteser. Denna metod har potential att möjliggöra styrning av proteser genom att använda EMG-signalerna från muskelkontraktioner som insignal. Denna metod har dock ännu inte fått någon stor klinisk spridning. Olika algoritmer har utvecklats inom området för att avkoda olika rörelser; men utmaningen att identifiera olika handrörelser i olika faser kvarstår, och förbättringar inom dessa områden kan komma att öka funktionaliteten hos motoriserade proteser. Denna avhandling undersöker flera aspekter kring detta, först hur kvaliteten hos EMG-signaler kan förbättras genom att nya och avancerade filtreringstekniker. Fyra effektiva tillvägagångssätt (adaptivt neuro-fuzzy inference system-wavelet, artificiellt neuralt nätverk-wavelet, adaptiv subtraktion och automatiserad oberoende komponentanalys-wavelet) presenteras för att förbättra filtreringsprocessen för yt-EMG-signaler och effektivt eliminera EKG-störningar. Även offline-prestanda för olika EMG-baserade igenkänningsalgoritmer undersöks, däribland förmågan att klassificera olika handrörelser med sikte på att erhålla nya myoelektriska kontrollkonfigurationer som förbättrar igenkänningen. För att undersöka hur väl de myoelektriska mönsterigenkänningssalgoritmerna fungerar i verkliga situationer, har ett brett spektrum av myoelektriska algoritmer undersökts i realtid. 15 friska frivilliga försökspersoner har använt systemet och resultaten tyder på att linjär diskriminantanalys (LDA) och maximal sannolikhetsbedömning (MLE) är bättre än de andra klassificeringsmetoderna. Realtidsundersökningen visar också att förutom LDA och MLE, så är algoritmerna med flerlagersperception bättre än de övriga algoritmerna då de jämförs med avseende på klassificeringsnoggrannhet och beräkningshastighet.
  •  
8.
  •  
9.
  • Abbaspour, Sara, 1984- (författare)
  • Proposing Combined Approaches to Remove ECG Artifacts from Surface EMG Signals
  • 2015
  • Licentiatavhandling (övrigt vetenskapligt)abstract
    • Elektromyografi (EMG) är ett verktyg som rutinmässigt används för en mängd olika applikationer inom många discipliner. Dock är denna signal oundvikligen kontaminerad av artefakter som kommer från olika källor. Elektrisk aktivitet av hjärtmuskln, elektrokardiogram (EKG), är en av störkällorna som påverkar EMG-signalerna på grund av närheten till hjärtat och som försämrar analysens tillförlitlig. Olika metoder har föreslagits för att ta bort EKG artefakter från yt-EMG-signaler men trots många försök att eliminera eller minska denna artefakt, kvarstår problemet med korrekt och effektivt brusreducering av EMG. I denna studie har vanliga metoder för brusundertryckning undersökts, såsom högpassfilter (HPF), gatingmetod, spikklippning, hybridteknik, subtraktionsmetod, oberoende komponentanalys (ICA), wavelet, wavelet-ICA, artificiella neurala nätverk (ANN), och adaptiv brusreducering (ANC) och adaptiv neuro fuzzy inference system (ANFIS). Metorderna har använts för att avlägsna EKG- artefakter från yt-EMG-signaler och deras noggrannhet och effektivitet har undersökts. HPF, gatingmetod och spikklippning är snabba; men de tar även bort relevant information från EMG-signalen. Hybridteknik och ANC är tidskrävande. Subtraktionsmetoden kräver kännedom om QRS-mönstret.Wavelettransformen lämnade kvar vissa artefakter i signalen, och avlägsnade även endel av den ursprungliga EMG-signalen. ICA kräver flerkanaliga signaler. Wavelet-ICA kräver inte flerkanaliga signaler, men är däremot användarberoende. ANN och ANFIS har bra prestanda, men det är möjligt att förbättra resultaten genom att kombinera dem med andra tekniker. För vissa tillämpningar av EMG-signaler såsom rehabilitering, rörelsekontroll och prediktion, är kvaliteten på EMG-signalerna mycket viktigt. Dessutom måste de artefaktreducerande metoderna vara i realtid och automatiska. Detta innebär att metoderna ANN-wavelet, adaptiv subtraktion och automatiserad wavelet-ICA rekommenderas för effektiv eliminering av EKG-artefakter från yt-EMG-signaler. För att jämföra resultaten av de undersökta och föreslagna metoderna i denna studie, har rena EMG-signaler från biceps och delta-muskler, samt EKG-artefakter från stora bröstmuskeln spelats in från fem friska personer. För att skapa 10-kanaliga brusiga EMG-signaler har de inspelade EKG-artefakterna adderats till de rena EMG-signalerna. De olika artefaktreduceringsmetoderna har även tillämpats på 10 kanaler verkliga EMG signaler med artefakter, från stora bröstmuskeln på vänster sida. Utvärderingskriterier såsom signal-brusförhållandet, relativta felet, korrelationskoefficienten, förfluten tid och effektspektrumstäthet har använts för att utvärdera de föreslagna metoderna. Prestandan hos den föreslagna ANN-wavelet metoden befanns överlägsen de andra metoderna med ett signalbrusförhållande på 15,53, relativt fel på 0,01 och korrelationskoefficient på 0,98.
10.
  • Abelli, Björn, 1961- (författare)
  • On Stage! Playwriting, Directing and Enacting the Informing Processes
  • 2007
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • Within the discipline of information systems sometimes the conception of the main object is that the information system must be computer based. An example of an information system that is non-computer based is the scenic theatre performance. Input is the message or knowledge the participants of the theatre production want to pass over to the audience; output is the information and experiences the performance in itself mediates to the audience. This has been produced through a system development process; although the developers not always have been aware about what development model has been used.The dissertation combines some of the concepts found in theatre production with traditional system development concepts, and hence introduces new perspectives into the area of information systems. Some of the main findings in the study of theatre productions were the triplicity of a theatre production as a development process, an information system and an organization at the same time; the integrated relations of context, developers and users, which leads to spontaneous changes and overlaps of development roles; and the narrative and dramaturgical approach in the practical use of methods and techniques.These aspects should be useful also in development of other types of information systems, whether computer based or using other information technologies. The triplicity gives arguments to redefine each of these concepts. The generalizability of this approach has been validated through a second study, at a folk high school, which showed that models and concepts from theatre productions are possible to generalize to other information system areas than theatre, and that the borders of the organization coincides with the borders of the information system. Especially temporary organizations must be seen as ongoing, continuous development processes.
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 4037
Åtkomst
fritt online (1136)
Typ av publikation
bokkapitel (1206)
rapport (595)
konferensbidrag (543)
doktorsavhandling (416)
licentiatavhandling (298)
tidskriftsartikel (295)
visa fler...
annan publikation (246)
bok (164)
samlingsverk (redaktörskap) (111)
recension (77)
proceedings (redaktörskap) (44)
forskningsöversikt (42)
konstnärligt arbete (1)
visa färre...
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Lundqvist, Kristina, (52)
Biesta, Gert, (52)
Silvestrov, Sergei, ... (49)
Eriksson, Maria, 196 ... (49)
Yan, Jinyue, (44)
Lönnermark, Anders, ... (43)
visa fler...
Sandberg, Anette, (42)
Crnkovic, Ivica, (41)
Söderbaum, Peter, 19 ... (39)
Sjödin, Mikael, (34)
Dodig-Crnkovic, Gord ... (33)
Dahlquist, Erik, (33)
Ingason, Haukur, (31)
Nolte, Thomas, (30)
Hallin, Anette, (30)
Pecorari, Diane, 196 ... (29)
Pettersson, Paul, (29)
Seceleanu, Cristina, (27)
Dahlquist, Erik, 195 ... (27)
Carlson, Jan, (27)
Söderlund, Anne, (24)
Segelod, Esbjörn, (24)
Ärlemalm-Hagsér, Eva ... (24)
Brunnberg, Elinor, 1 ... (24)
Östlund, Gunnel, 195 ... (23)
Hansson, Hans, (22)
Börjesson, Mats, (22)
Johanson, Ulf, 1944- ... (22)
Berglund, Karin, (21)
Mårtensson, Maria, (21)
Land, Rikard, (21)
Malyarenko, Anatoliy ... (20)
Bockgård, Gustav, 19 ... (20)
Göransson, Kerstin, (20)
Asztalos Morell, Ild ... (19)
Segelod, Esbjörn, 19 ... (19)
Dobers, Peter, 1966- ... (18)
Wetso, Gun-Marie, (18)
Silvestrov, Dmitrii, (18)
Mäki-Turja, Jukka, (18)
Andersson, Ulf (17)
Björkman, Mats, (17)
Asplund, Lars, (17)
Aytar, Osman, (17)
Martin, Lene, 1953-, (17)
Eriksson, Yvonne, (17)
Thorin, Eva, 1967-, (17)
Bate, Iain, (17)
Stier, Jonas, (17)
Cozza, Michela, (17)
visa färre...
Lärosäte
Uppsala universitet (191)
Högskolan Dalarna (98)
Kungliga Tekniska Högskolan (97)
Stockholms universitet (87)
Ersta Sköndal Bräcke högskola (64)
visa fler...
Linnéuniversitetet (53)
RISE (51)
Örebro universitet (50)
Linköpings universitet (43)
Göteborgs universitet (34)
Högskolan i Jönköping (28)
Karlstads universitet (27)
Högskolan i Gävle (24)
Umeå universitet (20)
Södertörns högskola (20)
Karolinska Institutet (20)
Chalmers tekniska högskola (17)
Röda Korsets Högskola (12)
Mittuniversitetet (11)
Högskolan i Halmstad (11)
Lunds universitet (9)
Högskolan i Skövde (8)
Luleå tekniska universitet (7)
Blekinge Tekniska Högskola (6)
Sophiahemmet Högskola (6)
Högskolan Väst (4)
Sveriges Lantbruksuniversitet (3)
Konstfack (2)
Malmö universitet (1)
Högskolan i Borås (1)
VTI - Statens väg- och transportforskningsinstitut (1)
visa färre...
Språk
Engelska (2677)
Svenska (1107)
Franska (25)
Tyska (19)
Norska (19)
Italienska (8)
visa fler...
Spanska (5)
Danska (3)
Finska (2)
Portugisiska (2)
Kurdiska (2)
Koreanska (2)
Polska (1)
Nederländska (1)
Japanska (1)
Turkiska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Samhällsvetenskap (1589)
Teknik (1207)
Naturvetenskap (548)
Medicin och hälsovetenskap (404)
Humaniora (304)
Lantbruksvetenskap (7)

År

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy