Sökning: "independent guarantee"

Visar resultat 21 - 25 av 39 avhandlingar innehållade orden independent guarantee.

  1. 21. On the Foundations of Information-Flow Control and Effects

    Författare :Carlos Tomé Cortiñas; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; security; programming languages; information-flow control;

    Sammanfattning : There is no doubt that society depends crucially on software systems. Correct software is therefore a pressing matter. An important aspect of software correctness is security: for example, a banking application is secure, if at least it does not send your credit card number to an unauthorised third party. LÄS MER

  3. 22. Perceptual Quality Metric Design for Wireless Image and Video Communication

    Författare :Ulrich Engelke; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The evolution of advanced radio transmission technologies for third generation mobile radio systems has paved the way for the delivery of mobile multimedia services. In particular, wireless image and video applications are among the most popular services offered on modern mobile devices to support communication beyond the traditional voice services. LÄS MER

  4. 23. The Quest for Robust Model Selection Methods in Linear Regression

    Författare :Prakash Borpatra Gohain; Magnus Jansson; K.V.S Hari; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model selection; information criterion; linear regression; sparsity; high dimensional; Electrical Engineering; Elektro- och systemteknik; Mathematical Statistics; Matematisk statistik;

    Sammanfattning : A fundamental requirement in data analysis is fitting the data to a model that can be used for the purpose of prediction and knowledge discovery. A typical and favored approach is using a linear model that explains the relationship between the response and the independent variables. LÄS MER

  5. 24. On Kinematic Modelling and Iterative Learning Control of Industrial Robots

    Författare :Johanna Wallén; Mikael Norrlöf; Svante Gunnarsson; Geir Hovland; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial robots; kinematics; Maple; modelling; iterative learning control; experiments; Automatic control; Reglerteknik;

    Sammanfattning : Good models of industrial robots are necessary in a variety of applications, such as mechanical design, performance simulation, control, diagnosis, supervision and offline programming. This motivates the need for good modelling tools. In the first part of this thesis the forward kinematic modelling of serial industrial robots is studied. LÄS MER

  7. 25. Geometric Control of Thrust Propelled Systems

    Författare :Pedro Miguel Ótão Pereira; Dimos V. Dimarogonas; Jana Tumova; Panagiotis Tsiotras; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; nonlinear control; geometric control; thrust propelled systems; slung load transportation; aerial tethered transportation; control of aerial vehicles; tracking and stabilization; global stabilization; bounded control; disturbance removal; distributed control; attitude synchronization; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : This thesis was motivated and inspired by the AEROWORKS project, a European research project, whose main goal was to deploy multiple heterogeneous unmanned aerial vehicles in environments where human intervention is restricted.In particular, this thesis focuses on control of aerial vehicles for the purposes of cargo transportation, an application of interest, for example, in inspection and maintenance of aging infrastructures. LÄS MER