DGtal  1.4.2
Functions
testIntegralInvariantCovarianceEstimator.cpp File Reference
DGtal Test Files
#include <iostream>
#include <tuple>
#include "DGtal/base/Common.h"
#include "DGtal/shapes/implicit/ImplicitBall.h"
#include "DGtal/shapes/GaussDigitizer.h"
#include "DGtal/topology/LightImplicitDigitalSurface.h"
#include "DGtal/topology/DigitalSurface.h"
#include "DGtal/graph/DepthFirstVisitor.h"
#include "DGtal/graph/GraphVisitorRange.h"
#include "DGtal/geometry/surfaces/estimation/IIGeometricFunctors.h"
#include "DGtal/geometry/surfaces/estimation/IntegralInvariantCovarianceEstimator.h"
Include dependency graph for testIntegralInvariantCovarianceEstimator.cpp:

Go to the source code of this file.

Functions

bool testGaussianCurvature3d (double h, double delta)
 
bool testPrincipalCurvatures3d (double h)
 
int main (int, char **)
 

Detailed Description

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.

Author
Jérémy Levallois (jerem.nosp@m.y.le.nosp@m.vallo.nosp@m.is@l.nosp@m.iris..nosp@m.cnrs.nosp@m..fr ) Laboratoire d'InfoRmatique en Image et Systèmes d'information - LIRIS (CNRS, UMR 5205), INSA-Lyon, France LAboratoire de MAthématiques - LAMA (CNRS, UMR 5127), Université de Savoie, France
Date
2014/06/26

Functions for testing class IntegralInvariantCovarianceEstimator and IIGeometricFunctor.

This file is part of the DGtal library.

Definition in file testIntegralInvariantCovarianceEstimator.cpp.

Function Documentation

◆ main()

int main ( int  ,
char **   
)

Definition at line 281 of file testIntegralInvariantCovarianceEstimator.cpp.

282 {
283  trace.beginBlock ( "Testing class IntegralInvariantCovarianceEstimator and 3d functors" );
284  bool res = testGaussianCurvature3d( 0.6, 0.007 ) && testPrincipalCurvatures3d( 0.6 );
285  trace.emphase() << ( res ? "Passed." : "Error." ) << std::endl;
286  trace.endBlock();
287  return res ? 0 : 1;
288 }
DGtal::Trace::beginBlock
void beginBlock(const std::string &keyword="")
DGtal::Trace::emphase
std::ostream & emphase()
DGtal::Trace::endBlock
double endBlock()
DGtal::trace
Trace trace
Definition: Common.h:153
testPrincipalCurvatures3d
bool testPrincipalCurvatures3d(double h)
Definition: testIntegralInvariantCovarianceEstimator.cpp:163
testGaussianCurvature3d
bool testGaussianCurvature3d(double h, double delta)
Definition: testIntegralInvariantCovarianceEstimator.cpp:61

References DGtal::Trace::beginBlock(), DGtal::Trace::emphase(), DGtal::Trace::endBlock(), testGaussianCurvature3d(), testPrincipalCurvatures3d(), and DGtal::trace.

◆ testGaussianCurvature3d()

bool testGaussianCurvature3d ( double  h,
double  delta 
)

Definition at line 61 of file testIntegralInvariantCovarianceEstimator.cpp.

62 {
63  typedef ImplicitBall<Z3i::Space> ImplicitShape;
64  typedef GaussDigitizer<Z3i::Space, ImplicitShape> DigitalShape;
65  typedef LightImplicitDigitalSurface<Z3i::KSpace,DigitalShape> Boundary;
66  typedef DigitalSurface< Boundary > MyDigitalSurface;
67  typedef DepthFirstVisitor< MyDigitalSurface > Visitor;
68  typedef GraphVisitorRange< Visitor > VisitorRange;
69  typedef VisitorRange::ConstIterator VisitorConstIterator;
70 
71  typedef functors::IIGaussianCurvature3DFunctor<Z3i::Space> MyIICurvatureFunctor;
72  typedef IntegralInvariantCovarianceEstimator< Z3i::KSpace, DigitalShape, MyIICurvatureFunctor > MyIICurvatureEstimator;
73  typedef MyIICurvatureFunctor::Value Value;
74 
75  double re = 5.0;
76  double radius = 5.0;
77  double realValue = 1.0/(radius * radius);
78 
79  trace.beginBlock( "Shape initialisation ..." );
80 
81  ImplicitShape ishape( Z3i::RealPoint( 0, 0, 0 ), radius );
82  DigitalShape dshape;
83  dshape.attach( ishape );
84  dshape.init( Z3i::RealPoint( -10.0, -10.0, -10.0 ), Z3i::RealPoint( 10.0, 10.0, 10.0 ), h );
85 
86  Z3i::KSpace K;
87  if ( !K.init( dshape.getLowerBound(), dshape.getUpperBound(), true ) )
88  {
89  trace.error() << "Problem with Khalimsky space" << std::endl;
90  return false;
91  }
92 
93  Z3i::KSpace::Surfel bel = Surfaces<Z3i::KSpace>::findABel( K, dshape, 10000 );
94  Boundary boundary( K, dshape, SurfelAdjacency<Z3i::KSpace::dimension>( true ), bel );
95  MyDigitalSurface surf ( boundary );
96 
97  trace.endBlock();
98 
99  trace.beginBlock( "Curvature estimator initialisation ...");
100 
101  VisitorRange range( new Visitor( surf, *surf.begin() ));
102  VisitorConstIterator ibegin = range.begin();
103  VisitorConstIterator iend = range.end();
104 
105  MyIICurvatureFunctor curvatureFunctor;
106  curvatureFunctor.init( h, re );
107 
108  MyIICurvatureEstimator curvatureEstimator( curvatureFunctor );
109  curvatureEstimator.attach( K, dshape );
110  curvatureEstimator.setParams( re/h );
111  curvatureEstimator.init( h, ibegin, iend );
112 
113  trace.endBlock();
114 
115  trace.beginBlock( "Curvature estimator evaluation ...");
116 
117  std::vector< Value > results;
118  std::back_insert_iterator< std::vector< Value > > resultsIt( results );
119  curvatureEstimator.eval( ibegin, iend, resultsIt );
120 
121  trace.endBlock();
122 
123  trace.beginBlock ( "Comparing results of integral invariant 3D Gaussian curvature ..." );
124 
125  double mean = 0.0;
126  unsigned int rsize = static_cast<unsigned int>(results.size());
127 
128  if( rsize == 0 )
129  {
130  trace.error() << "ERROR: surface is empty" << std::endl;
131  trace.endBlock();
132  return false;
133  }
134 
135  for ( unsigned int i = 0; i < rsize; ++i )
136  {
137  mean += results[ i ];
138  }
139  mean /= rsize;
140 
141  if( mean != mean ) //NaN
142  {
143  trace.error() << "ERROR: result is NaN" << std::endl;
144  trace.endBlock();
145  return false;
146  }
147 
148  double v = std::abs ( realValue - mean );
149 
150  trace.warning() << "True value: " << realValue << std::endl;
151  trace.warning() << "Mean value: " << mean << std::endl;
152  trace.warning() << "Delta: " << delta << " |true - mean|: " << v << std::endl;
153 
154  if( v > delta )
155  {
156  trace.endBlock();
157  return false;
158  }
159  trace.endBlock();
160  return true;
161 }
DGtal::DepthFirstVisitor
Aim: This class is useful to perform a depth-first exploration of a graph given a starting point or s...
Definition: DepthFirstVisitor.h:96
DGtal::DigitalSurface
Aim: Represents a set of n-1-cells in a nD space, together with adjacency relation between these cell...
Definition: DigitalSurface.h:140
DGtal::GaussDigitizer
Aim: A class for computing the Gauss digitization of some Euclidean shape, i.e. its intersection with...
Definition: GaussDigitizer.h:80
DGtal::GaussDigitizer::getLowerBound
const Point & getLowerBound() const
DGtal::GaussDigitizer::attach
void attach(ConstAlias< EuclideanShape > shape)
DGtal::GaussDigitizer::getUpperBound
const Point & getUpperBound() const
DGtal::GaussDigitizer::init
void init(const RealPoint &xLow, const RealPoint &xUp, typename RealVector::Component gridStep)
DGtal::GraphVisitorRange
Aim: Transforms a graph visitor into a single pass input range.
Definition: GraphVisitorRange.h:72
DGtal::ImplicitBall
Aim: model of CEuclideanOrientedShape and CEuclideanBoundedShape concepts to create a ball in nD....
Definition: ImplicitBall.h:65
DGtal::ImplicitPolynomial3Shape
Aim: model of CEuclideanOrientedShape concepts to create a shape from a polynomial.
Definition: ImplicitPolynomial3Shape.h:68
DGtal::IntegralInvariantCovarianceEstimator
Aim: This class implement an Integral Invariant estimator which computes for each surfel the covarian...
Definition: IntegralInvariantCovarianceEstimator.h:116
DGtal::KhalimskySpaceND
Aim: This class is a model of CCellularGridSpaceND. It represents the cubical grid as a cell complex,...
Definition: KhalimskySpaceND.h:394
DGtal::KhalimskySpaceND::init
bool init(const Point &lower, const Point &upper, bool isClosed)
Specifies the upper and lower bounds for the maximal cells in this space.
DGtal::LightImplicitDigitalSurface
Aim: A model of CDigitalSurfaceContainer which defines the digital surface as the boundary of an impl...
Definition: LightImplicitDigitalSurface.h:116
DGtal::PointVector
Aim: Implements basic operations that will be used in Point and Vector classes.
Definition: PointVector.h:593
DGtal::Surfaces
Aim: A utility class for constructing surfaces (i.e. set of (n-1)-cells).
Definition: Surfaces.h:79
DGtal::SurfelAdjacency
Aim: Represent adjacencies between surfel elements, telling if it follows an interior to exterior ord...
Definition: SurfelAdjacency.h:66
DGtal::Trace::error
std::ostream & error()
DGtal::Trace::warning
std::ostream & warning()
MyDigitalSurface
DigitalSurface< MyDigitalSurfaceContainer > MyDigitalSurface
Definition: greedy-plane-segmentation-ex2.cpp:92
ConstIterator
MyDigitalSurface::ConstIterator ConstIterator
Definition: greedy-plane-segmentation-ex2.cpp:93
Visitor
BreadthFirstVisitor< MyDigitalSurface > Visitor
Definition: greedy-plane-segmentation-ex2.cpp:97
DGtal::SignedKhalimskyCell
Represents a signed cell in a cellular grid space by its Khalimsky coordinates and a boolean value.
Definition: KhalimskySpaceND.h:209
DGtal::functors::IIGaussianCurvature3DFunctor
Aim: A functor Matrix -> Real that returns the Gaussian curvature by diagonalizing the given covarian...
Definition: IIGeometricFunctors.h:667
K
KSpace K
Definition: testCubicalComplex.cpp:62

References DGtal::GaussDigitizer< TSpace, TEuclideanShape >::attach(), DGtal::DigitalSurface< TDigitalSurfaceContainer >::begin(), DGtal::Trace::beginBlock(), DGtal::Trace::endBlock(), DGtal::Trace::error(), DGtal::Surfaces< TKSpace >::findABel(), DGtal::GaussDigitizer< TSpace, TEuclideanShape >::getLowerBound(), DGtal::GaussDigitizer< TSpace, TEuclideanShape >::getUpperBound(), DGtal::KhalimskySpaceND< dim, TInteger >::init(), DGtal::GaussDigitizer< TSpace, TEuclideanShape >::init(), K, DGtal::trace, and DGtal::Trace::warning().

Referenced by main().

◆ testPrincipalCurvatures3d()

bool testPrincipalCurvatures3d ( double  h)

Definition at line 163 of file testIntegralInvariantCovarianceEstimator.cpp.

164 {
165  typedef ImplicitBall<Z3i::Space> ImplicitShape;
166  typedef GaussDigitizer<Z3i::Space, ImplicitShape> DigitalShape;
167  typedef LightImplicitDigitalSurface<Z3i::KSpace,DigitalShape> Boundary;
168  typedef DigitalSurface< Boundary > MyDigitalSurface;
169  typedef DepthFirstVisitor< MyDigitalSurface > Visitor;
170  typedef GraphVisitorRange< Visitor > VisitorRange;
171  typedef VisitorRange::ConstIterator VisitorConstIterator;
172 
173  typedef functors::IIPrincipalCurvatures3DFunctor<Z3i::Space> MyIICurvatureFunctor;
174  typedef IntegralInvariantCovarianceEstimator< Z3i::KSpace, DigitalShape, MyIICurvatureFunctor > MyIICurvatureEstimator;
175  typedef MyIICurvatureFunctor::Value Value;
176 
177  typedef functors::IIPrincipalCurvaturesAndDirectionsFunctor<Z3i::Space> MyIICurvatureFunctorTensor;
178  typedef IntegralInvariantCovarianceEstimator< Z3i::KSpace, DigitalShape, MyIICurvatureFunctorTensor > MyIICurvatureEstimatorTensor;
179  typedef MyIICurvatureFunctorTensor::Value ValueTensor;
180 
181  double re = 5.0;
182  double radius = 5.0;
183 
184  trace.beginBlock( "Shape initialisation ..." );
185 
186  ImplicitShape ishape( Z3i::RealPoint( 0, 0, 0 ), radius );
187  DigitalShape dshape;
188  dshape.attach( ishape );
189  dshape.init( Z3i::RealPoint( -10.0, -10.0, -10.0 ), Z3i::RealPoint( 10.0, 10.0, 10.0 ), h );
190 
191  Z3i::KSpace K;
192  if ( !K.init( dshape.getLowerBound(), dshape.getUpperBound(), true ) )
193  {
194  trace.error() << "Problem with Khalimsky space" << std::endl;
195  return false;
196  }
197 
198  Z3i::KSpace::Surfel bel = Surfaces<Z3i::KSpace>::findABel( K, dshape, 10000 );
199  Boundary boundary( K, dshape, SurfelAdjacency<Z3i::KSpace::dimension>( true ), bel );
200  MyDigitalSurface surf ( boundary );
201 
202  trace.endBlock();
203 
204  trace.beginBlock( "Curvature estimator initialisation ...");
205 
206  VisitorRange range( new Visitor( surf, *surf.begin() ));
207  VisitorConstIterator ibegin = range.begin();
208  VisitorConstIterator iend = range.end();
209 
210  MyIICurvatureFunctor curvatureFunctor;
211  curvatureFunctor.init( h, re );
212  MyIICurvatureEstimator curvatureEstimator( curvatureFunctor );
213  curvatureEstimator.attach( K, dshape );
214  curvatureEstimator.setParams( re/h );
215  curvatureEstimator.init( h, ibegin, iend );
216 
217  MyIICurvatureFunctorTensor curvatureFunctorTensor;
218  curvatureFunctorTensor.init( h, re );
219  MyIICurvatureEstimatorTensor curvatureEstimatorTensor( curvatureFunctorTensor );
220  curvatureEstimatorTensor.attach( K, dshape );
221  curvatureEstimatorTensor.setParams( re/h );
222  curvatureEstimatorTensor.init( h, ibegin, iend );
223 
224  trace.endBlock();
225 
226  trace.beginBlock( "Curvature estimator evaluation ...");
227 
228  std::vector< Value > results;
229  std::back_insert_iterator< std::vector< Value > > resultsIt( results );
230  curvatureEstimator.eval( ibegin, iend, resultsIt );
231  trace.endBlock();
232 
233 
234 
235  trace.beginBlock( "Checking CurvaturesAndDirections functor");
236  Value val = curvatureEstimator.eval( surf.begin() );
237  ValueTensor valTensor = curvatureEstimatorTensor.eval( surf.begin() );
238  bool ok = (val.first == std::get<0>(valTensor));
239  ok &= (val.second == std::get<1>(valTensor));
240  if (!ok)
241  trace.error()<< "Error comparing principal curvatures between two different functors."<<std::endl;
242 
243  trace.endBlock();
244 
245 
246  trace.beginBlock ( "Comparing results of integral invariant 3D Gaussian curvature ..." );
247 
248  unsigned int error_order = 0;
249  unsigned int rsize = static_cast<unsigned int>(results.size());
250 
251  if( rsize == 0 )
252  {
253  trace.error() << "ERROR: surface is empty" << std::endl;
254  trace.endBlock();
255  return false;
256  }
257 
258  for ( unsigned int i = 0; i < rsize; ++i )
259  {
260  if( std::abs(results[i].first) < std::abs(results[i].second) )
261  {
262  ++error_order;
263  }
264  }
265 
266  trace.warning() << "Error order: " << error_order << std::endl;
267  trace.warning() << "If not equals to 0, something is wrong..." << std::endl;
268 
269  trace.endBlock();
270 
271  if( error_order != 0 )
272  {
273  return false;
274  }
275  return true;
276 }
DGtal::functors::IIPrincipalCurvaturesAndDirectionsFunctor
Aim: A functor Matrix -> std::pair<RealVector,RealVector> that returns the first and the second princ...
Definition: IIGeometricFunctors.h:461
DGtal::functors::IIPrincipalCurvatures3DFunctor
Aim: A functor Matrix -> std::pair<Real,Real> that returns the first and the second principal curvatu...
Definition: IIGeometricFunctors.h:913

References DGtal::GaussDigitizer< TSpace, TEuclideanShape >::attach(), DGtal::DigitalSurface< TDigitalSurfaceContainer >::begin(), DGtal::Trace::beginBlock(), DGtal::Trace::endBlock(), DGtal::Trace::error(), DGtal::Surfaces< TKSpace >::findABel(), DGtal::GaussDigitizer< TSpace, TEuclideanShape >::getLowerBound(), DGtal::GaussDigitizer< TSpace, TEuclideanShape >::getUpperBound(), DGtal::KhalimskySpaceND< dim, TInteger >::init(), DGtal::GaussDigitizer< TSpace, TEuclideanShape >::init(), K, DGtal::trace, and DGtal::Trace::warning().

Referenced by main().