Den här sidan är utskriven från Högskolan i Halmstads webbplats ( Texten uppdaterades senast den 2014-08-27. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.

Källa i atom-format

Genom att göra utsökningar från DiVA kan du visa publikationslistor i olika format på din institutions eller forskares egen webbsida. Du kan också välja att länka direkt till en träfflista i DiVA. För att göra en utsökning, gå till 'Utsökninglänk till annan webbplats' på DiVAs startsidalänk till annan webbplats.

Nedan visas ett exempel på en lista över de senast inlagda forskningspublikationerna i DiVA, där källan är i atom-format.

Källa i atom-format  |  Se källa i mods-format

Namnlöst dokument

  • Erik Möllerström

Wind Turbines from the Swedish Wind EnergyProgram and the Subsequent CommercializationAttempts – A Historical Reviewlänk till annan webbplats
This paper summarizes wind turbines of Swedish origin, 50 kW and above. Both the large governmental-funded prototypes from the early 1980s and following attempts to build commercial turbines are covered. After the 1973 oil crisis, a development program for wind turbine technology was initiated in Sweden, culminating in the early 1980s with the 2 and 3-MW machines at Maglarp and Näsudden. However, government interest declined, and Sweden soon lost its position as one of the leading countries regarding wind turbine development. Nevertheless, several attempts to build commercial wind turbines in Sweden were made in the following decades. Most attempts have, like the earlier prototypes, used a two-bladed rotor, which has become synonymous with the Swedish wind turbine development line. The current ongoing Swedish endeavors primarily focus on the niche-concept of vertical axis wind turbines (VAWTs), which is a demonstration of how far from the broad commercial market of Sweden has moved. Thus far, none of the Swedish attempts have been commercially successful, and unlike countries like Denmark or Germany, Sweden currently has no large wind turbine producer. Suggested reasons include early government interventions focusing on two-bladed prototypes and political disinterest, with wind power grants cut in half by 1985, and the domestic industry not being favored in government policies for deploying wind power.

  • Kristoffer Henriksen
  • Robert Schinke
  • Karin Moesch
  • Sean McCann
  • William D. Parham
  • Carsten H. Larsen
  • Peter Terry

Consensus statement on improving the mental health of high performance athleteslänk till annan webbplats
This consensus statement is the product of an international Think Tank on the initiative of theInternational Society of Sport Psychology. The purpose of the Think Tank was to unify majorsport psychology organizations in a discussion of the current status and future challenges ofapplied and research aspects of athlete mental health. The contributors present sixpropositions and recommendations to inspire sport organizations and researchers. Thepropositions are: Mental health is a core component of a culture of excellence; Mentalhealth in a sport context should be better defined; Research on mental health in sport shouldbroaden the scope of assessment; Athlete mental health is a major resource for the wholeathletic career and life post-athletic career; The environment can nourish or malnourishathlete mental health; and Mental health is everybody’s business but should be overseen byone or a few specified members. It is recommended that researchers unite to develop a morecontextualized definition of athlete mental health and more comprehensive strategies ofassessment, as well as join forces with sporting organizations to investigate sustainable elitesport environments and the role of the mental health officer. Sport organizations are advisedto recognize athlete mental health as a core component of a healthy elite sport system and akey indicator of their effectiveness, support research initiatives, and to promote the mentalhealth literacy of all their staff while engaging a mental health officer with the responsibilityto oversee a support system.

  • Mahsa Varshosaz

Modeling and Model-Based Testing of Software Product Lineslänk till annan webbplats
Software product line (SPL) engineering has become common practice for mass production and customization of variability intensive systems. A software product line comprises a family of software systems which share a managed core set of artifacts and also have a set of well-defined variabilities. The main idea in SPL engineering is to enable systematic reuse in different phases of software development to reduce cost and time to release.Model-Based Testing (MBT) is a technique that is widely used for quality assurance of software systems. In MBT, an abstract model, which captures the desired behavior of the system, is used to generate test cases. The test cases are executed against a real implementation of the system and the conformance between the implementation and the specification is checked by comparing the observed outputs with the ones prescribed by the model.Software product lines have been applied in a number of domains with mission critical systems. MBT is one of the techniques that has been used for analysis of such systems. As the number of products can be potentially large in an SPL, using conventional approaches for MBT of the products of an SPL individually can be very costly and time consuming. To tackle this problem, several approaches have been proposed in order to enable systematic reuse in different phases of the MBT process.An efficient modeling technique is the first step towards an efficient MBT technique for SPLs. So far, several formalisms have been proposed for modeling SPLs. In this thesis, we conduct a study on such modeling techniques, focusing on four fundamental formalisms, namely featured transition systems, modal transition systems, product line calculus of communicating systems, and 1- selecting modal transition systems. We compare the expressive power and the succinctness of these formalisms.Furthermore, we investigate adapting existing MBT methods for efficient testing of SPLs. As a part of this line of our research, we adapt the test case generation algorithm of one of the well-known black-box testing approaches, namely, Harmonized State Identification (HSI) method by exploiting the idea of delta-oriented programming. We apply the adapted test case generation algorithm to a case study taken from industry and the results show up to 50 percent reduction of time in test case generation by using the delta-oriented HSI method.In line with our research on investigating existing MBT techniques, we compare the relative efficiency and effectiveness of the test case generation algorithms of the well-known Input-Output Conformance (ioco) testing approach and the complete ioco which is another testing technique used for input output transition systems that guarantees fault coverage. The comparison is done using three case studies taken from the automotive and railway domains. The obtained results show that complete ioco is more efficient in detecting deep faults (i.e., the faults reached through longer traces) in large state spaces while ioco is more efficient in detecting shallow faults (i.e., the faults reached through shorter traces) in small state spaces.Moreover, we conduct a survey on sampling techniques, which have been proposed as a solution for handling the large number of products in analysis. In general, in product sampling a subset of products that collectively cover the behavior of the product line are selected. Performing tests on well selected sample set can reveal most of the faults in all products. We provide a classification for a catalog of studies on product sampling for software product lines. Additionally, we present a number of insights on the studied work as well as gaps for the future research.

  • Mahsa Varshosaz
  • Lars Luthmann
  • Paul Mohr
  • Malte Lochau
  • Mohammad Reza Mousavi

Modal Transition System Encoding of Featured Transition Systemslänk till annan webbplats
Featured transition systems (FTSs) and modal transition systems (MTSs) are two of the most prominent and well-studied formalisms for modeling and analyzing behavioral variability as apparent in software product line engineering. On one hand, it is well-known that for finite behavior FTSs are strictly more expressive than MTSs, essentially due to the inability of MTSs to express logically constrained behavioral variability such as persistently exclusive behaviors. On the other hand, MTSs enjoy many desirable formal properties such as compositionality of semantic refinement and parallel composition. In order to finally consolidate the two formalisms for variability modeling, we establish a rigorous connection between FTSs and MTSs by means of an encoding of one FTS into an equivalent set of multiple MTSs. To this end, we split the structure of an FTS into several MTSs whenever it is necessary to denote exclusive choices that are not expressible in a single MTS. Moreover, extra care is taken when dealing with infinite behaviour: loops may have to be unrolled to accumulate FTS path constraints when encoding them into MTSs. We prove our encoding to be semanticpreserving (i.e., the resulting set of MTSs induces, up to bisimulation, the same set of derivable variants as their FTS counterpart) and to commute with modal refinement. We further give an algorithm to calculate a concise representation of a given FTS as a minimal set of MTSs. Finally, we present experimental results gained from applying a tool implementation of our approach to a collection of case studies.

  • Mohamed Amal
  • Henrique Raboch
  • Bruno Thiago Tomio

Strategies and determinants of Foreign Direct Investment (FDI) from developing countries : Case study of Latin Americalänk till annan webbplats
The purpose of this study is to assess the importance of economic and institutional factors for outward Foreign Direct Investment (FDI) from Multinational Enterprises (MNEs) originating in the developing countries. The estimate drawn up through a panel data model for three countries in Latin America shows that these outflows are directly influenced by economic factors, such as gross-domestic product (GDP) growth and rising foreign exchange rates. Moreover, FDI is positively correlated with institutional variables such as globalization and education as well as with inward FDI stocks in their respective countries of origin. © Taylor & Francis Group, LLC.

  • Mahsa Varshosaz
  • Mohammad Reza Mousavi

Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systemslänk till annan webbplats
Product line calculus of communicating systems (PL-CCSs) is a process calculus proposed to model the behavior of software product lines. Modal transition systems (MTSs) are also used to model variability in behavioral models. MTSs are known to be strictly less expressive than PL-CCS. In this paper, we show that the extension of MTSs with hyper transitions by Fecher and Schmidt, called 1-selecting modal transition systems (1MTSs), closes this expressiveness gap. To this end, we propose a novel notion of refinement for 1MTSs that makes them more suitable for specifying variability for software product lines and prove its various essential properties. © Springer Nature Switzerland AG 2019

  • Maya Hoveskog
  • Sanchez Deycy
  • Heydy Belsy Pabón Ortiz

21 Days of Change: Addressing the Post-war Consequences on Women's Well-being in Colombialänk till annan webbplats
Fundación Inteligentemente Feliz (Foundation Intelligently Happy) was established in 2017 with the aim of providing assistance to post-war victims in Colombia. The Foundation created a health services program titled 21 Days of Change (21 dias de cambio) that offers psychological assistance to victims and provides them with an app or a notebook with a printed guide. Currently, the Foundation’s main customers are Columbian government offices that support mental health services for around 3,000 women living in rural areas of Colombia. The case focuses on the process of establishing the company and its business model. More specifically, it illustrates how the founders are using the lean start-up approach and its methods to better understand the needs of user groups and align to the Foundation’s mission and goals. The case also illustrates how the activities of this social enterprise are aligned with the United Nations Sustainable Development Goals (SDGs).

  • Svante Andersson

Internationell satsning skapar jobb i Sverigelänk till annan webbplats
DEBATT. Generellt stöd till företag att nå ut internationellt är oftast meningslöst. Identifiera och satsa istället på ”born globals” som tidigt har siktet inställt på den globala marknaden - de skapar både tillväxt och arbetstillfällen i Sverige, skriver ekonomiprofessorn Svante Andersson.

  • Sardar M. Bilal
  • Saad Mustafa
  • Uzma Saeed

Impact of directional density on GyTAR routing protocol for VANETs in city environmentslänk till annan webbplats
Vehicular ad hoc networks are highly dynamic and their topology changes frequently due to high speed of vehicles. This result in disconnected networks, therefore, designing a routing protocol for such network is challenging task. The two most important factors which effect routing in vehicular ad hoc networks are Speed and direction. In this work, we propose a novel routing protocol (E-GyTAR) motivated from GyTAR, which was specifically designed for city environments. This paper presents the effect of speed and direction on routing protocol in city environment. City environment consists of junctions and these junctions are selected dynamically on the basis of vehicular speed and directional density. Simulation results show that E-GyTAR incurs less packet loss, and end-to-end delay. © 2011 IEEE.

  • Ahmad Ali Tabassam
  • Muhammad Uzair Suleman
  • Sheheryar Khan
  • Syed Hasnain Raza Tirmazi

Spectrum estimation and spectrum hole opportunities prediction for cognitive radios using higher-order statisticslänk till annan webbplats
Cognitive Radio (CR) is a wireless advanced technology which can utilize an unlicensed as well as a licensed spectrum without a harmful interference to the primary users. An unbiased consistent spectrum estimator is required for the primary user’s detection (sensing) for distinguishing the narrow band signals in a noisy environment. Cognitive radio’s hardware solutions available in a commercial market are frequency band constrained at RF Front-End. In multi-dimensional radio spectrum space any of the dimension: time, frequency, code or space can be used as a transmission opportunity. The spectrum hole time opportunistic prediction is a promising solution to determine the free time slots for transmission within a frequency band. This paper presents classical and parametric statistical spectrum estimators for primary user’s detection. It also presents statistical auto-regressive and moving average predictive modeling for grey-hole spectrum opportunities prediction in a time domain for cognitive radios where frequency, code and space (geographical location) are operational constraints. A prototype system for a cognitive radio is built on top of the software-defined radio in a MATLAB/-Simulink and interfaced with an USRP2 main-board and RFX2400 daughter-board from Ettus Research LLC. © 2011 IEEE.

Sidan uppdaterad 2014-08-27