Sökning: "state transition model"

Visar resultat 1 - 5 av 338 avhandlingar innehållade orden state transition model.

1. 1. Edge states and transition to turbulence in boundary layers

   Författare :Taras Khapko; Dan Henningson; Philipp Schlatter; Yohann Duguet; Rich Kerswell; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; boundary layer; transition to turbulence; direct numerical simulation; edge state; free-stream turbulence; bypass transition; probabilistic cellular automaton; turbulence at the onset; laminar–turbulent coexistence; laminarisation; Engineering Mechanics; Teknisk mekanik;

   Sammanfattning : The focus of this thesis is the numerical study of subcritical transition to turbulence in boundary-layer flows. For the most part, boundary layers with uniform suction are considered. Constant homogeneous suction counteracts the spatial growth of the boundary layer, rendering the flow parallel. LÄS MER

3. 2. State Estimation of Lithium-ion Batteries

   Författare :Xiaolei Bian; Longcheng Liu; Jinying Yan; Huazhen Fang; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Lithium-ion battery; State of charge; State of health; Model-based method; Extended Kalman filter; Filter tuning; Fusion model; Chemical Engineering; Kemiteknik;

   Sammanfattning : To guarantee the safety operation, the key states of lithium-ion battery, e.g., the state of charge and the state of health, must be estimated and monitored accurately. This thesis is mainly to develop models and algorithms to accurately and robustly estimate the key battery states, based on the available measurements i. LÄS MER

4. 3. Regular Model Checking

   Författare :Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER

5. 4. Narratives of governing : rationalization, responsibility and resistance in social work

   Författare :Marcus Lauri; Chris Hudson; Linda Berg; Diana Mulinari; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Welfare; Welfare state; neoliberalism; neoliberal; neo-liberal; neo-liberalism; new public management; NPM; new managerialism; managerialism; public management reform; social work; social services; profession; professional; EBP; evidence-based practice; evidence; knowledge production; paperwork; administration; performance; audit; discipline; sovereign power; self-governing; power; power knowledge; motivational interviewing; MI; individualism; individual responsibility; political; the political; de-politicized; de-politicization; governing; governmentality; governance; gender; feminism; feminist theory; Foucault; Marx; capitalism; standardization; flexibility; budget governing; care; care-work; ethos of care; solidarity; empathy; loyalty; division of labor; proceduralization; instrumentalization; mechanization; manual based; digital; template; templates; de-professionalization; proletarization; proletarianization; Taylorization; transition; transformation; rationalization; rationality; rational; emotions; emotional; affect; alienation; detachment; distance; resistance; counter conduct; Sweden; Swedish model; rhizome; rhizomatic; nomadic; narrative; narratives; discourse; critique; interviews; Välfärd; välfärdsstat; välfärfärdsstaten; nyliberal; nyliberalism; new public management; socialt arbete; socialtjänsten; socialarbetare; svenska modellen; styrning; styrningsmentalitet; kön; genus; EBP; evidensbaserad praktik; evidens; kunskapsproduktion; makt kunskap; administration; pappersarbete; granskning; kontroll; disciplin; självstyrning; motiverande samtal; individualism; individualisering; ansvar; individuellt ansvar; flexibilitet; politik; det politiska; avpolitisering; avprofessionalisering; profession; professioner; professionell; förfrämligande; Sverige; Foucault; Marx; feminism; feministisk teori; kapitalism proletarisering; taylorisering; standardisering; manualbaserad; rationalisering; rationell; emotioner; känslor; avstånd; likgiltighet; narrativ; diskurs; kritik; intervju; intervjuer; kapitalism; den svenska modellen; förändring; transformering; motstånd; mot-makt;

   Sammanfattning : For many years, Sweden has had a reputation for having a comprehensive and women friendly welfare state. However, as in many other European countries during the past few decades, the organization and governing of welfare has undergone profound changes. LÄS MER

7. 5. Regular model checking

   Författare :Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER