Sökning: "Per Kreuger"
Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Per Kreuger.
1. Computational Issues in Calculi of Partial Inductive Definitions
Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER
2. GCLA II : a definitional approach to control
Sammanfattning : .... LÄS MER
3. Lagrangian CFD Modeling of Impinging Diesel Sprays for DI HCCI
Sammanfattning : The homogeneous charge compression ignition (HCCI) concept has been acknowledged as a potential combustion concept for engines, due to low NOx and soot emissions and high efficiency, especially at part-load. Early direct-injection (DI) during the compression stroke is an option when Diesel fuel is used in HCCI. LÄS MER
4. A Study of Combinatorial Optimization Problems in Industrial Computer Systems
Sammanfattning : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. LÄS MER
5. The potential of industrial hemp (Cannabis sativa L.) for biogas production
Sammanfattning : Biofuels are currently produced from agricultural crops, and an increasing use of crops for this application is expected in the EU in the years to come. The dominating crops cultivated in the EU for biofuel production today have a relatively large environmental impact. LÄS MER