Search for dissertations about: "Systems analysis"
Showing result 16 - 20 of 5565 swedish dissertations containing the words Systems analysis.
-
16. Hierarchical Concurrent Systems from a Model-Oriented perspective
Abstract : Real world systems are normally considered as hierarchically organized, for example, we see those as hierarchies of systems including subsystems. Examples on this can be seen in organizations where people act in environments and carry within themselves their own internal subsystem of thinking processes. READ MORE
-
17. On the Design and Analysis of Consensus Protocols for Vehicular Ad Hoc Networks
Abstract : Vehicle-to-vehicle communication technologies support diverse cooperative applications for intelligent transportation systems to increase safety and fuel efficiency of road vehicles. Vehicles participating in a cooperative pplication are expected to make coordinated and mutually consistent decisions. READ MORE
-
18. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE
-
19. Transition Technologies for Electrification and Optimisation of Bus Transport Systems
Abstract : The topical issue of climate change has increasingly become important as scenarios indicate an increase of 2.5–7.8°C in the global mean temperature by the end of this century, if no greenhouse gas emissions are reduced. READ MORE
-
20. On MIMO Systems and Adaptive Arrays for Wireless Communication : Analysis and Practical Aspects
Abstract : This thesis is concerned with the use of multiple antenna elements in wireless communication over frequency non-selective radio channels. Both measurement results and theoretical analysis are presented. New transmit strategies are derived and compared to existing transmit strategies, such as beamforming and space-time block coding (STBC). READ MORE