Sökning: "Linear Systems"
Visar resultat 6 - 10 av 1427 avhandlingar innehållade orden Linear Systems.
6. Linear Models of Nonlinear Systems
Sammanfattning : Linear time-invariant approximations of nonlinear systems are used in many applications and can be obtained in several ways. For example, using system identification and the prediction-error method, it is always possible to estimate a linear model without considering the fact that the input and output measurements in many cases come from a nonlinear system. LÄS MER
7. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER
8. Ultra-wideband Millimeter-wave Antenna Arrays and Front-end Systems : For high data rate 5G and high energy physics applications
Sammanfattning : The demand for wireless data communications is rapidly increasing due to several factors including increased internet access, increasingly growing number of mobile users and services, implementation of the Internet of Things (IoT), high-definition (HD) video streaming and video calling. To meet the bandwidth requirement of new and emerging applications, it is necessary to move from the existing microwave bands towards millimeter-wave bands. LÄS MER
9. Design of Assured and Efficient Safety-critical Systems
Sammanfattning : Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER
10. Buoy and Generator Interaction with Ocean Waves : Studies of a Wave Energy Conversion System
Sammanfattning : On March 13th, 2006, the Division of Electricity at Uppsala University deployed its first wave energy converter, L1, in the ocean southwest of Lysekil. L1 consisted of a buoy at the surface, connected through a line to a linear generator on the seabed. LÄS MER