Sökning: "constraint-based modelling"

Hittade 5 uppsatser innehållade orden constraint-based modelling.

1. 1. Effects of Design Space Discretization on Constraint Based Design Space Exploration

   Master-uppsats, KTH/Matematik (Avd.)

   Författare :Ludwig Karlsson; [2023]
   Nyckelord :Constraint programming; Design space exploration; Discretization; Multiresolutional analysis; Villkorsprogrammering; Designrymdsutforskning; Diskretisering; Multiupplösningsanalys;

   Sammanfattning : Design Space Exploration (DSE) is the exploration of a space of possible designs with the goal of finding some optimal design according to some constraints and criteria. Within embedded systems design, automated DSE in particular can allow the system designer to efficiently find good solutions in highly complex design spaces. LÄS MER

3. 2. Contributions to a New CBLS Backend for MiniZinc

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Maarten Lucas Flippo; [2022]
   Nyckelord :;

   Sammanfattning : MiniZinc is a language which enables the modelling of combinatorial optimisation and satisfaction problems independently from any particular problem solver and its technology. One technology for solving combinatorial optimisation and satisfaction problems is constraint-based local search (CBLS). LÄS MER

4. 3. Generating a CBLS Invariant Structure from a FlatZinc Model

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Max Perea Düring; [2021]
   Nyckelord :combinatorial optimisation MiniZinc CBLS constraint model local search solver invariant structure;

   Sammanfattning : Constraint-Based Local Search (CBLS) is a technology used to solve computationally hard optimisation problems. A model written in a solver-independent modelling language needs to be processed before it can be solved by a CBLS solver. In this processing step, it is necessary to identify invariants and create an invariant structure. LÄS MER

5. 4. Reconstruction of Genome-Scale Metabolic Models with Concomitant Constraint-Based Modelling for Flux Prediction – a Case Study of Syngas Consuming Hydrogenophaga pseudoflava

   Master-uppsats, Lunds universitet/Teknisk mikrobiologi

   Författare :Cristopher Ollagnier Widén; [2020]
   Nyckelord :Applied Microbiology; flux-balance analysis FBA ; genome-scale metabolic model GEM ; Hydrogenophaga pseudoflava DSM 1084; KEGG; metabolic engineering; metabolic modelling; metabolic network reconstruction; RAVEN; syngas; systems biology; Technology and Engineering;

   Sammanfattning : Metabolic modelling coupled with flux-balance analysis (FBA) has become a popular tool in systems biology for quantitative predictions of metabolic processes in silico, and as an aid in metabolic engineering. Drawing upon gene-protein-reaction associations deducible from information on the genome-level, so-called genome-scale metabolic models (GEMs) are unequalled in their scope as they attempt to encapsulate the entire reactome of a species or cell type. LÄS MER

7. 5. The First Constraint-Based Local Search Backend for MiniZinc

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Gustav Björdal; [2014]
   Nyckelord :;

   Sammanfattning : MiniZinc is a modelling language used to model combinatorial optimisation and satisfaction problems, which can then be solved in a backend solver. There are many different backend solvers based on different technologies such as constraint programming, mathematical programming, or Boolean satisfiability solving. LÄS MER