Abstract Domains in Constraint Programming

af


Abstract Domains in Constraint Programming
Du sparer Spar kr. 35,00 med Saxo Premium
  • Leveringstid 2-3 uger
  • Forventet levering 10-12-2019
Hvis du køber til medlemspris, bliver du automatisk medlem af Saxo Premium. De første 30 dage er gratis, derefter koster det 99,-/md. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om alle fordelene her.
Format:
Bog, hardback
Udgivelsesdato:
06-05-2015
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables. In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.

Andre udgaver:

E-bog, ePub

Vis mereVis mindre

Udgivelsesdato:
06-05-2015
ISBN13:
9781785480102
Vægt:
410 g
Dybde:
11 mm
Bredde:
152 mm
Højde:
229 mm
Format:
Hardback
  • Forfattere

  • Bibliotekernes beskrivelse

    Nanostructured Semiconductor Oxides for the Next Generation of Electronics and Functional Devices focuses on the development of semiconductor nanocrystals, their technologies and applications, including energy harvesting, solar cells, solid oxide fuel cells, and chemical sensors. Semiconductor oxides are used in electronics, optics, catalysts, sensors, and other functional devices. In their 2D form, the reduction in size confers exceptional properties, useful for creating faster electronics and more efficient catalysts. After explaining the physics affecting the conductivity and electron arrangement of nanostructured semiconductors, the book addresses the structural and chemical modification of semiconductor nanocrystals during material growth. It then covers their use in nanoscale functional devices, particularly in electronic devices and carbon nanotubes. It explores the impact of 2D nanocrystals, such as graphene, chalcogenides, and oxide nanostructures, on research and technology, leading to a discussion of incorporating graphene and semiconductor nanostructures into composites for use in energy storage. The final three chapters focus on the applications of these functional materials in photovoltaic cells, solid oxide fuel cells, and in environmental sensors including pH, dissolved oxygen, dissolved organic carbon, and dissolved metal ion sensors. Nanostructured Semiconductor Oxides for the Next Generation of Electronics and Functional Devices is a crucial resource for scientists, applied researchers, and production engineers working in the fabrication, design, testing, characterization, and analysis of new semiconductor materials. This book is a valuable reference for those working in the analysis and characterization of new nanomaterials, and for those who develop technologies for practical devices fabrication.Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables. In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.