Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

02/24/2018
by   Svyatoslav Korneev, et al.
0

We consider the problem of binary image generation with given properties. This problem arises in a number of practical applications, including generation of artificial porous medium for an electrode of lithium-ion batteries, for composed materials, etc. A generated image represents a porous medium and, as such, it is subject to two sets of constraints: topological constraints on the structure and process constraints on the physical process over this structure. To perform image generation we need to define a mapping from a porous medium to its physical process parameters. For a given geometry of a porous medium, this mapping can be done by solving a partial differential equation (PDE). However, embedding a PDE solver into the search procedure is computationally expensive. We use a binarized neural network to approximate a PDE solver. This allows us to encode the entire problem as a logical formula. Our main contribution is that, for the first time, we show that this problem can be tackled using decision procedures. Our experiments show that our model is able to produce random constrained images that satisfy both topological and process constraints.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/30/2023

General Covariance Data Augmentation for Neural PDE Solvers

The growing body of research shows how to replace classical partial diff...
research
04/06/2021

A Latent space solver for PDE generalization

In this work we propose a hybrid solver to solve partial differential eq...
research
02/09/2021

Physics-informed neural networks with hard constraints for inverse design

Inverse design arises in a variety of areas in engineering such as acous...
research
03/17/2020

Deep connections between learning from limited labels physical parameter estimation – inspiration for regularization

Recently established equivalences between differential equations and the...
research
05/06/2023

Differential-Equation Constrained Optimization With Stochasticity

Most inverse problems from physical sciences are formulated as PDE-const...
research
12/26/2019

A connection between topological ligaments in shape optimization and thin tubular inhomogeneities

In this note, we propose a formal framework accounting for the sensitivi...
research
06/01/2021

Data-Driven Shadowgraph Simulation of a 3D Object

In this work we propose a deep neural network based surrogate model for ...

Please sign up or login with your details

Forgot password? Click here to reset