Sökning: "dynamic control flow"

Visar resultat 1 - 5 av 177 avhandlingar innehållade orden dynamic control flow.

  1. 1. Nonlinear Identification and Control with Solar Energy Applications

    Författare :Linda Brus; Bengt Carlsson; Torbjörn Wigren; Graham C. Goodwin; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; feedforward control; model predictive control; nonlinear control; nonlinear systems; recursive identification; solar power; system identification; time delay systems; Automatic control; Reglerteknik; Reglerteknik; Automatic Control;

    Sammanfattning : Nonlinear systems occur in industrial processes, economical systems, biotechnology and in many other areas. The thesis treats methods for system identification and control of such nonlinear systems, and applies the proposed methods to a solar heating/cooling plant. LÄS MER

  3. 2. Securing concurrent programs with dynamic information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic; lazy evaluation; LIO; Haskell; information-flow control; cache; covert channels; covert timing channels; concurrency;

    Sammanfattning : The work presented in this thesis focusses on dealing with timingcovert channels in dynamic information-flow control systems,particularly for the LIO library in Haskell.Timing channels are dangerous in the presence ofconcurrency. LÄS MER

  4. 3. Towards Improved Control of TMP Refining Processes

    Författare :Karin Eriksson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; control; dynamic modeling; process limitations; simplified decoupling; Refiner; refining zone temperature; internal interconnections;

    Sammanfattning : The need for improved energy usage has become a key issue in all industrial sectors. In the energy demanding production of mechanical pulps many efforts havefocused on design development, but regarding control of refiners, there is still a potential for improvements. LÄS MER

  5. 4. Extremum Seeking Control : Stability, Accuracy, and Applications

    Författare :Khalid Atta; Ying Tan; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reglerteknik; Control Engineering;

    Sammanfattning : In many applications, there is a variable that indicates the overall performance and that must be maximized, such as the output of a hydro power turbine or a mineral processing plant, or that must be minimized, such as CO2 emissions or the consumption of resources. Extremization of this variable (maximization or minimization) through adjusting the influencing manipulated variables is occasionally required without prior knowledge of the optimal values of the manipulated variables or of the optimized variable. LÄS MER

  7. 5. Securing functional programs with floating-label information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

    Sammanfattning : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. LÄS MER