Important: Please read the installation page for details about how to install the toolboxes. $\newcommand{\dotp}[2]{\langle #1, #2 \rangle}$ $\newcommand{\enscond}[2]{\lbrace #1, #2 \rbrace}$ $\newcommand{\pd}[2]{ \frac{ \partial #1}{\partial #2} }$ $\newcommand{\umin}[1]{\underset{#1}{\min}\;}$ $\newcommand{\umax}[1]{\underset{#1}{\max}\;}$ $\newcommand{\umin}[1]{\underset{#1}{\min}\;}$ $\newcommand{\uargmin}[1]{\underset{#1}{argmin}\;}$ $\newcommand{\norm}[1]{\|#1\|}$ $\newcommand{\abs}[1]{\left|#1\right|}$ $\newcommand{\choice}[1]{ \left\{ \begin{array}{l} #1 \end{array} \right. }$ $\newcommand{\pa}[1]{\left(#1\right)}$ $\newcommand{\diag}[1]{{diag}\left( #1 \right)}$ $\newcommand{\qandq}{\quad\text{and}\quad}$ $\newcommand{\qwhereq}{\quad\text{where}\quad}$ $\newcommand{\qifq}{ \quad \text{if} \quad }$ $\newcommand{\qarrq}{ \quad \Longrightarrow \quad }$ $\newcommand{\ZZ}{\mathbb{Z}}$ $\newcommand{\CC}{\mathbb{C}}$ $\newcommand{\RR}{\mathbb{R}}$ $\newcommand{\EE}{\mathbb{E}}$ $\newcommand{\Zz}{\mathcal{Z}}$ $\newcommand{\Ww}{\mathcal{W}}$ $\newcommand{\Vv}{\mathcal{V}}$ $\newcommand{\Nn}{\mathcal{N}}$ $\newcommand{\NN}{\mathcal{N}}$ $\newcommand{\Hh}{\mathcal{H}}$ $\newcommand{\Bb}{\mathcal{B}}$ $\newcommand{\Ee}{\mathcal{E}}$ $\newcommand{\Cc}{\mathcal{C}}$ $\newcommand{\Gg}{\mathcal{G}}$ $\newcommand{\Ss}{\mathcal{S}}$ $\newcommand{\Pp}{\mathcal{P}}$ $\newcommand{\Ff}{\mathcal{F}}$ $\newcommand{\Xx}{\mathcal{X}}$ $\newcommand{\Mm}{\mathcal{M}}$ $\newcommand{\Ii}{\mathcal{I}}$ $\newcommand{\Dd}{\mathcal{D}}$ $\newcommand{\Ll}{\mathcal{L}}$ $\newcommand{\Tt}{\mathcal{T}}$ $\newcommand{\si}{\sigma}$ $\newcommand{\al}{\alpha}$ $\newcommand{\la}{\lambda}$ $\newcommand{\ga}{\gamma}$ $\newcommand{\Ga}{\Gamma}$ $\newcommand{\La}{\Lambda}$ $\newcommand{\si}{\sigma}$ $\newcommand{\Si}{\Sigma}$ $\newcommand{\be}{\beta}$ $\newcommand{\de}{\delta}$ $\newcommand{\De}{\Delta}$ $\newcommand{\phi}{\varphi}$ $\newcommand{\th}{\theta}$ $\newcommand{\om}{\omega}$ $\newcommand{\Om}{\Omega}$
This tour explores image segementation using level set methods.
using PyPlot
using NtToolBox
# using Autoreload
# arequire("NtToolBox")
WARNING: Method definition ndgrid(AbstractArray{T<:Any, 1}) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:3 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:3. WARNING: Method definition ndgrid(AbstractArray{#T<:Any, 1}, AbstractArray{#T<:Any, 1}) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:6 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:6. WARNING: Method definition ndgrid_fill(Any, Any, Any, Any) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:13 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:13. WARNING: Method definition ndgrid(AbstractArray{#T<:Any, 1}...) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:19 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:19. WARNING: Method definition meshgrid(AbstractArray{T<:Any, 1}) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:33 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:33. WARNING: Method definition meshgrid(AbstractArray{#T<:Any, 1}, AbstractArray{#T<:Any, 1}) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:36 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:36. WARNING: Method definition meshgrid(AbstractArray{#T<:Any, 1}, AbstractArray{#T<:Any, 1}, AbstractArray{#T<:Any, 1}) in module NtToolBox at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:44 overwritten at /Users/gpeyre/.julia/v0.5/NtToolBox/src/ndgrid.jl:44.
In the level set formalism, the evolution of some curve $ (\ga(t))_{t=0}^1 $ is computed by evolving the zero level of a function $\phi : \RR^2 \rightarrow \RR $ $$ \enscond{\ga(s)}{ s \in [0,1] } = \enscond{x \in \RR^2}{\phi(x)=0}. $$ This corresponds to replacing the parameteric representation $\ga$ of the curve by an implicit representation. This requires an additional dimension (and hence more storage) but ease the handling of topological change of the curve during the evolution.
Discretazion size $n \times n$ of the domain $[0,1]^2$.
include("NtToolBox/src/ndgrid.jl")
n = 200
(Y, X) = meshgrid(collect(1:n), collect(1:n));
One can create a circular shape by using the signed distance function to a circle $$ \phi_1(x) = \sqrt{ (x_1-c_1)^2 + (x_2-c_2)^2 } - r $$ where $r>0$ is the radius and $c \in \RR^2$ the center.
Radius $r$.
r = n/3.;
Center $c$.
c = [r, r] .+ 10;
Distance function $\phi_1$.
phi1 = sqrt((X .- c[1]).^2 + (Y .- c[2]).^2) - r;
Exercise 1
Load a square shape $\phi_2$ at a different position for the center.
include("NtSolutions/segmentation_3_snakes_levelset/exo1.jl");
## Insert your code here.
Display the curves associated to $\phi_1$ and $\phi_2$.
figure(figsize = (10,5))
subplot(1,2,1)
NtToolBox.plot_levelset(phi1)
subplot(1,2,2)
NtToolBox.plot_levelset(phi2)
Exercise 2
Compute the intersection and the union of the two shapes. Store the union in $\phi_0$ (phi0) that we will use in the remaining part of the tour.
include("NtSolutions/segmentation_3_snakes_levelset/exo2.jl")
## Insert your code here.
The mean curvature motion corresponds to the minimizing flow of the length of the curve $$ \int_0^1 \norm{\ga'(s)} d s. $$
It is implemeted in a level set formalism by a familly $\phi_t$ of level set function parameterized by an artificial time $t \geq 0$, that satisfies the following PDE $$ \pd{\phi_t}{t} = -G(\phi_t) \qwhereq G(\phi) = -\norm{\nabla \phi} \text{div} \pa{ \frac{\nabla \phi}{\norm{\nabla \phi}} } $$ and where $\nabla \phi_t(x) \in \RR^2$ is the spacial gradient.
This flow is computed using a gradient descent $\phi^{(0)} = \phi_0$ and $$ \phi^{(\ell+1)} = \phi^{(\ell)} - \tau G(\phi^{(\ell)}), $$ where $\tau>0$ is small enough time step.
Maximum time of the evolution $0 \leq t \leq t_{\max}$.
Tmax = 200;
Time step $\tau>0$ (should be small).
tau = .5;
Number of iterations.
niter = Int(Tmax/tau);
Initial shape $\phi^{(0)}$ at $t=0$.
phi = copy(phi0);
We now compute the right hand side of the evolution equation.
Compute the gradient $\nabla \phi$. We use centered differences for the discretization of the gradient.
g0 = NtToolBox.Grad(phi, "sym", 2);
Norm $\norm{\nabla \phi}$ of the gradient.
d = max(eps().*ones(n, n), sqrt(sum(g0.^2, 3)));
Normalized gradient.
g = g0./cat(3, d[:, :], d[:, :]);
The curvature term.
K = - d.*NtToolBox.Div(g[:, :, 1], g[:, :, 2], "sym", 2);
Perform one step of the gradient descent.
phi = phi - tau.*K;
Exercise 3
Implement the mean curvature motion.
include("NtSolutions/segmentation_3_snakes_levelset/exo3.jl")
## Insert your code here.
During PDE resolution, a level set function $\phi$ might become ill-conditionned, so that the zero crossing is not sharp enough. The quality of the level set function is restored by computing the signed distance function to the zero level set.
This corresponds to first extracting the zero level set $$ \Cc = \enscond{x \in \RR^2 }{\phi(x)=0}, $$ and then solving the following eikonal equation PDE on $\tilde \phi$ (in viscosity sense) $$ \norm{\nabla \tilde \phi(x)} = 1 \qandq \forall y \in \Cc, \tilde\phi(y)=0. $$ The one can replace $\phi$ by $\text{sign}(\phi(x))\tilde \phi(x)$ which is the signed distance function to $\Cc$.
We set $\phi=\phi_0^3$ so that they are both valid level set function of the same curve, but $\phi$ is not the signed distance function.
phi = phi0.^3;
Solve the eikonal PDE using the Fast Marching algorithm. You have to install a C++ compiler (https://wiki.python.org/moin/WindowsCompilers#Microsoft_Visual_C.2B-.2B-_14.0_standalone:_Visual_C.2B-.2B-_Build_Tools_2015_.28x86.2C_x64.2C_ARM.29) and the package scikit-fmm (skfmm) to run this function (pip install scikit_fmm in the console). You also need to have PyCall package installed in Julia.
include("NtToolBox/src/perform_fast_marching.jl")
include("NtToolBox/src/perform_redistancing.jl")
phi1 = perform_redistancing(phi0);
LoadError: PyError (:PyImport_ImportModule) <type 'exceptions.ImportError'> ImportError('No module named skfmm',) while loading /Users/gpeyre/Dropbox/github/numerical-tours/julia/NtToolBox/src/perform_fast_marching.jl, in expression starting on line 434 in pyerr_check at /Users/gpeyre/.julia/v0.5/PyCall/src/exception.jl:56 [inlined] in pyerr_check at /Users/gpeyre/.julia/v0.5/PyCall/src/exception.jl:61 [inlined] in macro expansion at /Users/gpeyre/.julia/v0.5/PyCall/src/exception.jl:81 [inlined] in pyimport(::String) at /Users/gpeyre/.julia/v0.5/PyCall/src/PyCall.jl:394 in include_from_node1(::String) at ./loading.jl:488 in include_from_node1(::String) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?
Display the level sets.
figure(figsize = (10, 5))
subplot(1, 2, 1)
plot_levelset(phi)
title("Before redistancing")
subplot(1, 2, 2)
plot_levelset(phi1)
title("After redistancing")
show()
Geodesic active contours compute loval minimum of a weighted geodesic distance that attract the curve toward the features of the background image.
Note: these active contours should not be confounded with the geodesic shortest paths, that are globally minimizing geodesics between two points. Here the active contour is a close curve progressively decreasing a weighted geodesic length that is only a local minimum (the global minimum would be a single point).
Size of the image.
n = 200;
First we load an image $f_0 \in \RR^{n \times n}$ to segment.
f0 = NtToolBox.rescale(NtToolBox.load_image("NtToolBox/src/data/cortex.png", n));
Given a background image $f_0$ to segment, one needs to compute an edge-stopping function $W$. It should be small in area of high gradient, and high in area of large gradient.
We use here $$ W(x) = \al + \frac{\be}{\epsilon + d(x) } \qwhereq d = \norm{\nabla f_0} \star h_a, $$ and where $h_a$ is a blurring kernel of size $a>0$.
Compute the magnitude of the gradient $d_0(x) = \norm{\nabla f_0(x)}$.
g = NtToolBox.Grad(f0, "sym", 2)
d0 = sqrt(sum(g.^2, 3));
Blur size $a$.
a = 5;
Compute the blurring $d = d_0 \star h_a$.
d = NtToolBox.perform_blurring(d0[:, :, 1], [a], "per");
Parameter $\epsilon>0$.
epsilon = 1e-1;
We set the $\al$ and $\be$ parameters to adjust the overall values of $W$ (equivalently we use the function rescale).
W = 1./(epsilon + d)
W = NtToolBox.rescale(-d, 0.1, 1);
Display it.
figure(figsize = (10, 5))
NtToolBox.imageplot(f0, "Image to segment", [1, 2, 1])
NtToolBox.imageplot(W, "Weight", [1, 2, 2])
PyObject <matplotlib.text.Text object at 0x325141ed0>
Exercise 4
Compute an initial shape $\phi_0$ at time $t=0$, for instance a centered square.
include("NtSolutions/segmentation_3_snakes_levelset/exo4.jl");
## Insert your code here.
Display it.
figure(figsize = (5, 5))
NtToolBox.plot_levelset(phi0, 0, f0)
The geodesic active contour minimizes a weighted length of curve $$ \umin{\ga} \int_0^1 \norm{\ga'(s)} W(\ga(s)) d s $$
The level set implementation of the gradient descent of this energy reads $$ \pd{\phi_t}{t} = G(\phi_t) \qwhereq G(\phi) = -\norm{\nabla \phi} \text{div}\pa{ W \frac{\nabla \phi}{\norm{\nabla \phi}} } $$
This is implemented using a gradient descent scheme. $$ \phi^{(\ell+1)} = \phi^{(\ell)} - \tau G(\phi^{(\ell)}), $$ where $\tau>0$ is small enough.
Gradient step size $\tau>0$.
tau = .4;
Final time and number of iteration of the algorithm.
Tmax = 1500
niter = Int(Tmax/tau);
Initial distance function $\phi^{(0)}=\phi_0$.
phi = copy(phi0);
Note that we can re-write the gradient of the energy as $$ G(\phi) = -W \norm{\nabla \phi} \text{div} \pa{ \frac{\nabla \phi}{\norm{\nabla \phi}} } - \dotp{\nabla W}{\nabla \phi} $$
Pre-compute once for all $\nabla W$.
gW = NtToolBox.Grad(W, "sym", 2);
Exercise 5
Compute and store in G the gradient $G(\phi)$ (right hand side of the PDE) using the current value of the distance function $\phi$.
include("NtSolutions/segmentation_3_snakes_levelset/exo5.jl");
## Insert your code here.
Do the descent step.
phi = phi - tau*G;
Once in a while (e.g. every 30 iterations), perform re-distancing of $\phi$.
phi = perform_redistancing(phi[:, :]);
UndefVarError: perform_fast_marching not defined in perform_redistancing(::Array{Float64,2}) at /Users/gpeyre/.julia/v0.5/NtToolBox/src/perform_redistancing.jl:63
Exercise 6
Implement the geodesic active contours gradient descent. Do not forget to do the re-distancing.
include("NtSolutions/segmentation_3_snakes_levelset/exo6.jl")
# figure(figsize = (10, 10))
# phi = copy(phi0)
# k = 0
# gW = NtToolBox.Grad(W, "sym", 2)
# for i in 1 : niter
# gD = NtToolBox.Grad(phi, "sym", 2)
# d = max(eps().*ones(n, n), sqrt(sum(g0.^2, 3)))
# g = gD./cat(3, d[:, :], d[:, :])
# G = W.*(d.*NtToolBox.Div(g[:, :, 1], g[:, :, 2], "sym", 2)) + sum(gW.*gD, 3)
# phi = (phi + tau.*G)[:, :]
# if i % 30 == 0
# phi = NtToolBox.perform_redistancing(phi)
# end
# if i % Base.div(niter, 4.) == 0
# k = k + 1
# subplot(2, 2, k)
# NtToolBox.plot_levelset(phi, 0, f0)
# end
# end
LoadError: UndefVarError: perform_fast_marching not defined while loading /Users/gpeyre/Dropbox/github/numerical-tours/julia/NtSolutions/segmentation_3_snakes_levelset/exo6.jl, in expression starting on line 6 in perform_redistancing(::Array{Float64,2}) at /Users/gpeyre/.julia/v0.5/NtToolBox/src/perform_redistancing.jl:63 in macro expansion; at /Users/gpeyre/Dropbox/github/numerical-tours/julia/NtSolutions/segmentation_3_snakes_levelset/exo6.jl:13 [inlined] in anonymous at ./<missing>:? in include_from_node1(::String) at ./loading.jl:488 in include_from_node1(::String) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?
## Insert your code here.
Chan-Vese active contours corresponds to a region-based energy that looks for a piecewise constant approximation of the image.
The energy to be minimized is $$ \umin{\phi} L(\phi) + \la \int_{\phi(x)>0} \abs{f_0(x)-c_1}^2 d x + \la \int_{\phi(x)<0} \abs{f_0(x)-c_2}^2 d x $$ where $L$ is the length of the zero level set of $\phi$. Note that here $(c_1,c_2) \in \RR^2$ are assumed to be known.
Exercise 7
Compute an initial level set function $\phi_0$, stored in phi0, for instance many small circles.
include("NtSolutions/segmentation_3_snakes_levelset/exo7.jl")
## Insert your code here.
Parameter $\la$
lambd = 2;
Values for $c_1,c_2$
c1 = .7
c2 = 0;
Step size.
tau = .5;
Number of iterations.
Tmax = 100
niter = Int(Tmax/ tau);
Initial distance function $\phi_0$ at time $t=0$.
phi = copy(phi0);
The minimizing flow for the CV energy reads $$ \pd{\phi_t}{t} = - G(\phi_t) $$ where $$ G(\phi) =
} + \la (f_0-c_1)^2 - \la (f_0-c_2)^2. $$
Exercise 8
Compute this gradient $G(\phi)$ using the current value of the distance function (phi$. radient
include("NtSolutions/segmentation_3_snakes_levelset/exo8.jl");
## Insert your code here.
Do a descent step.
phi = phi + tau*G;
Exercise 9
Implement the full gradient descent.
include("NtSolutions/segmentation_3_snakes_levelset/exo9.jl")
LoadError: UndefVarError: perform_fast_marching not defined while loading /Users/gpeyre/Dropbox/github/numerical-tours/julia/NtSolutions/segmentation_3_snakes_levelset/exo9.jl, in expression starting on line 5 in perform_redistancing(::Array{Float64,2}) at /Users/gpeyre/.julia/v0.5/NtToolBox/src/perform_redistancing.jl:63 in macro expansion; at /Users/gpeyre/Dropbox/github/numerical-tours/julia/NtSolutions/segmentation_3_snakes_levelset/exo9.jl:12 [inlined] in anonymous at ./<missing>:? in include_from_node1(::String) at ./loading.jl:488 in include_from_node1(::String) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?
## Insert your code here.