Sökning: "Model reduction"

Visar resultat 21 - 25 av 1840 avhandlingar innehållade orden Model reduction.

1. 21. Fundamental Studies Related to Gaseous Reduction of Iron Oxide

   Författare :Mania Kazemi; Du Sichen; Ioannis Arvanitidis; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Direct reduction; iron ore; cementite; reduction model;

   Sammanfattning : The demands for increasing the efficiency and lowering the environmental effects in iron and steelmaking industries have given rise to interests in application of direct reduction (DR) processes for production of iron by different gases. These advancements require comprehensive models for better control of the process conditions and the product properties. LÄS MER

3. 22. Rank Reduction with Convex Constraints

   Författare :Christian Grussler; Institutionen för reglerteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; low-rank approximation; model reduction; non-convex optimization; Douglas-Rachford; matrix completion; overlapping norm; k-support norm; atomic norm;

   Sammanfattning : This thesis addresses problems which require low-rank solutions under convex constraints. In particular, the focus lies on model reduction of positive systems, as well as finite dimensional optimization problems that are convex, apart from a low-rank constraint. LÄS MER

4. 23. Model reduction for diffusion systems

   Författare :Bharath Bhikkaji; Torsten Söderström; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Processing; Signalbehandling;

   Sammanfattning : Diffusion phenomena has been studied with a lot of interest, for a long time, due to its historical and practical significance. In the recent days it has thrown a lot of interest among control engineers, as more and more practical systems, varying from stock markets to environmental pollution, have been observed to involve diffusion. LÄS MER

5. 24. Stormwater Ponds for Pollution Reduction

   Författare :Thomas Pettersson; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; suspended solids; reduction; pollution; stormwater pond; flow modelling; FEM; field measurements; heavy metals; nutrients;

   Sammanfattning : Stormwater transports particulate-bound and soluble pollution from urban areas to receiving waters during rain events. Measurements have shown that open detention ponds, originally used for flood control, effectively reduce stormwater pollutant load and have therefore been increasingly used for stormwater treatment. LÄS MER

7. 25. Effective Techniques for Stateless Model Checking

   Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

   Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER