Editing User:Phoenix/GSoc2013/Proposal

From BRL-CAD

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision Your text
Line 1: Line 1:
 
= Project title =
 
= Project title =
NURBS Intersection
+
NURBS Intersection & Evaluation
  
 
= Brief summary =
 
= Brief summary =
BRL-CAD currently has a routine to compute the intersection curves of two NURBS surfaces, and in general cases it works well, but to get a more robust one, I still need lots of work on it this summer. Lots of tests and verification are needed, and maybe a TDD (Test Driven Development) can be used in this step. To get the SSI working in all cases, no matter what the input is like is very important, otherwise it would be useless.
+
Last summer I tried to do something on NURBS surface-surface intersection for BRL-CAD, but due to the limitation of time I cannot completely finish this project. I have implemented a routine to compute the intersection curves of two NURBS surfaces, and in general cases it works well, but to get a more robust one, I still need lots of work on it this summer. Lots of tests and verification are needed, and maybe a TDD (Test Driven Development) can be used in this step. To get the SSI working in all cases, no matter what the input is like is very important, otherwise it would be useless.
  
In this summer, if there is enough time, I would like to finish the remaining parts of evaluating NURBS, and finally offer a routine to convert CSG combination objects to evaluated NURBS objects. The work includes partitioning a surface, and building the new NURBS geometry. If there's still some time remaining, I will tried to do more tests and verification to make the implementation better.
+
The remaining part of evaluating NURBS was done in a rush last summer, with lots of features still missing (definitely cannot work now). So in this summer, if there is enough time, I would like to continue to work on this project, finishing the remaining parts, and finally offer a routine to convert CSG combination objects to evaluated NURBS objects. The work includes partitioning a surface, and building the new NURBS geometry. If there's still some time remaining, I will tried to do more tests and verification to make the implementation better.
  
 
= Detailed description =
 
= Detailed description =
Line 23: Line 23:
 
This are basis of SSI, and can be used in dealing with some degenerated issues in SSI. So I'd like to implement this in the very beginning of my schedule. Like the surface-surface intersection, the subdivision algorithm can be a good candidate in these intersection problems, as BRL-CAD already has the functionality of generating curve trees and surface trees (see src/libbrep/opennurbs_ext.cpp). So for example, in the C/C cases, we can generate the curve trees of the two curves, calculating the intersections of the bounding boxes, and get the intersection point with triangular approximations. In C/S cases, the intersections should be between curve trees and surface trees.
 
This are basis of SSI, and can be used in dealing with some degenerated issues in SSI. So I'd like to implement this in the very beginning of my schedule. Like the surface-surface intersection, the subdivision algorithm can be a good candidate in these intersection problems, as BRL-CAD already has the functionality of generating curve trees and surface trees (see src/libbrep/opennurbs_ext.cpp). So for example, in the C/C cases, we can generate the curve trees of the two curves, calculating the intersections of the bounding boxes, and get the intersection point with triangular approximations. In C/S cases, the intersections should be between curve trees and surface trees.
  
The paper [3] is good reference on defining intersection problems, but its calculations are based on numerical analysis, which I think can be easily suffered from floating point precision and accuracy (for high dimension problems like C/C, C/S and S/S), so I would like to use the subdivision method instead, which already proves good functionality in the SSI implemented. As for P/C and P/S, the get_closest_point() functions in libbrep which are used for brep raytracing, can be used to first get the closest point on a surface (curve) from a given point, and then we can compute the distance and compare it with a given tolerance to decide whether there is an intersection or not. And P/P is the most direct one - we can compute their distance, and compare it with the tolerance, but a point can have an area with uncertainty, so is the result intersection point, which is discussed in the later part "Keeping track of the uncertainty intransitivity".
+
The paper [3] is good reference on defining intersection problems, but its calculations are based on numerical analysis, which I think can be easily suffered from floating point precision and accuracy (for high dimension problems like C/C, C/S and S/S), so I would like to use the subdivision method instead, which already proves good functionality in the SSI implemented. In the other hand, the openNURBS library has strong evaluation support which can be very helpful in P/P, P/C and P/S.
  
 
Just like SSI, lots of tests and verification are needed in all these intersection problems. Some corner cases need to be considered as well. For example, two curves can touch at the endpoints, and a curve can have some part residing on the surface (that is, the intersection is a curve instead of a point, which is the general case). I should try to make the implementation as robust as possible, and it SHOULD work in all cases regardless of the input. Otherwise, the robustness of SSI can be affected, if it has some part based on lower dimensional intersection routines.
 
Just like SSI, lots of tests and verification are needed in all these intersection problems. Some corner cases need to be considered as well. For example, two curves can touch at the endpoints, and a curve can have some part residing on the surface (that is, the intersection is a curve instead of a point, which is the general case). I should try to make the implementation as robust as possible, and it SHOULD work in all cases regardless of the input. Otherwise, the robustness of SSI can be affected, if it has some part based on lower dimensional intersection routines.
Line 43: Line 43:
 
1) If we detect there are many intersection points that seems to form a surface, not just curves, that it seems that these may exist an intersection 'surface'. But finding out this is quite confusing, because that may be some cases where two surfaces have many intersection curves that are very close to each other, but they don't have anywhere coincide. (The paper [2] considers such degenerate overlap issues in Part 4.3 Robustness issues)
 
1) If we detect there are many intersection points that seems to form a surface, not just curves, that it seems that these may exist an intersection 'surface'. But finding out this is quite confusing, because that may be some cases where two surfaces have many intersection curves that are very close to each other, but they don't have anywhere coincide. (The paper [2] considers such degenerate overlap issues in Part 4.3 Robustness issues)
  
2) There should be some detection related to the two surfaces when merging polylines (the 3rd step of SSI), not just using the max_dis parameter. In some cases, there may be two segments that should be in one intersection curve have bigger distance than two segments that exists in two nearby intersection curves, but we tend to merge the latter two segments instead of the former, without that detection. (Actually, I think max_dis_2dA and max_dis_2dB should be used when merging segments, that is, we merge curves in 2D parameter spaces.)
+
2) There should be some detection related to the two surfaces when merging polylines (the 3rd step of SSI), not just using the max_dis parameter. In some cases, there may be two segments that should be in one intersection curve have bigger distance than two segments that exists in two nearby intersection curves, but we tend to merge the latter two segments instead of the former, without that detection.
  
3) Detecting loops. Note: only loops in the 2D uv space is of interest, those in 3D space is just for displaying, not very useful in the later evaluation process. A loop in the 3D space may not be a loop in the 2D space.
+
3)Detecting loops. Note: only loops in the 2D uv space is of interest, those in 3D space is just for displaying, not very useful in the later evaluation process. A loop in the 3D space may not be a loop in the 2D space.
  
4) We should test more cases and find more problems in the intersection routine, and fix them to get better performance. A test driven development scheme can be adopted here.
+
4) We should test more cases and find more problems in the intersection routine, and fix them to get better performance. For example, two surfaces have many parts that intersects, resulting in many strange-shaped intersection curves.
  
5) Fit the curves into lower order ones. At least linear and quadratic fittings in 2D space are needed, as many primitives in BRL-CAD has quadratic surfaces.
+
5) Some code re-factoring is needed, and comments should be added to make the code more readable.
 
 
6) Some code re-factoring is needed, and comments should be added to make the code more readable.
 
 
 
The goal of this part is to get a robust routine of SSI that can work in all cases, so the most important parts are test, validation and verification. Until after the routine is proved to pass strict tests can we move to the next step.
 
 
 
For more detailed in tests and verification, see the part below: More on tests and verification.
 
 
 
Besides, I'd like to emphasis a little on consistency. Preserving the solidity property after an evaluation is of paramount importance. The paper [4] can give some note on guaranteeing consistency.
 
 
 
P.S. The next two parts focus on the rest steps in evaluating NURBS, which should be done after the SSI is satisfying. This will not happen too early in my schedule, but I think they should appear in my proposal as I already have some clear ideas on this, and ready to do this in my project.
 
 
 
== Reporting the intersections (API designing) ==
 
OpenNURBS originally provides us with ON_X_EVENT and ON_SSX_EVENT classes which are going to report the intersection results (ON_X_EVENT for C/C and C/S, ON_SSX_EVENT for S/S). The functionality of ON_SSX_EVENT is still not complete, and P/P, P/C and P/S intersections should also be supported. But openNURBS gives us a good framework for designing the API of reporting intersections.
 
 
 
So I'm going to add some extensions. Once the intersection function is called and run successfully, an array of ON_X_EVENTs (or ON_SSX_EVENTs for SSI, ON_PX_EVENTs something like that for point related intersections) will be returned to the caller. It includes the intersection points (curves) in 3D spaces and parametric spaces, checking the validity of the results, the type of the intersections (transverse, tangent, overlap, etc.), a powerful dumping function (show the result in text) and lots of other useful features.
 
 
 
The related openNURBS code is in src/other/openNURBS/opennurbs_x.h and opennurbs_x.cpp.
 
 
 
The newer version of openNURBS has removed the code related to ON_X_EVENT. So I'd like to put all this code in libbrep (move the existed one in openNURBS to libbrep, and add the extensions to libbrep), so that we won't need to worry about conflicts with the newer openNURBS.
 
 
 
== Keeping track of the uncertainty intransitivity ==
 
Uncertainty intransitivity can be introduced by the limited precision of floating point representations, and the tolerance used during intersections. Paper [5] and [6] suggests an interval arithmetic based approach for tracking the uncertainty intransitivity and improve robustness. A 3D point is not just the coordinates, but three intervals one for each axis, or the coordinates together with a diameter resulting in a sphere volume. A curve and a surface is represented by interval based CVs and interval weights. Although the interval arithmetic approach is hard to applied directly to BRL-CAD, we can get some ideas on how to keep track of the the area of uncertainty around points (curves, surfaces) during the computation of intersections, and maybe report it to the users (e.g in ON_PX_EVENTs, we not only gives an intersection point if there is an intersection, but also the uncertainty area around that point, for example, a diameter or something like that).
 
 
 
Again, verification is needed for this issue. Actually, as Sean says, the uncertainty intransitivity is coincidentally also the MAIN failing of most boolean evaluation implementations, so we need to give it a high priority.
 
  
 
== Split the surfaces and generate new trimmed sub-surfaces using intersection curves ==
 
== Split the surfaces and generate new trimmed sub-surfaces using intersection curves ==
Line 93: Line 69:
 
As for how to perform inside/outside tests - we use curve-surface intersection - computing the number of intersections of a semi-infinite ray emanating from a point with the solid, and if the number is odd, the point is inside the solid, otherwise it's outside.
 
As for how to perform inside/outside tests - we use curve-surface intersection - computing the number of intersections of a semi-infinite ray emanating from a point with the solid, and if the number is odd, the point is inside the solid, otherwise it's outside.
  
Operations include: union, difference, intersection. (Focus on one first, maybe intersection)
+
Operations include: union, difference, intersection.
  
 
Finally we generate the ON_Brep object. Lots of elements should be added - edges, curves, trims, etc. and the ON_Brep::IsValid() will check. Read the code in IsValid() functions will help us know what a valid ON_Brep shbuld look like. The code in add_elements() in /src/librt/primitives/brep/brep.cpp has some basic routine but is far from complete.
 
Finally we generate the ON_Brep object. Lots of elements should be added - edges, curves, trims, etc. and the ON_Brep::IsValid() will check. Read the code in IsValid() functions will help us know what a valid ON_Brep shbuld look like. The code in add_elements() in /src/librt/primitives/brep/brep.cpp has some basic routine but is far from complete.
Line 99: Line 75:
 
As Cliff suggests, the code in src/librt/test_bot2nurbs.cpp may help illustrate how the structures can be built up. The brep structural assembly itself (curves/edges/surfaces/faces/etc.) may be helpful.
 
As Cliff suggests, the code in src/librt/test_bot2nurbs.cpp may help illustrate how the structures can be built up. The brep structural assembly itself (curves/edges/surfaces/faces/etc.) may be helpful.
  
== More on tests and verification ==
+
== Tests ==
A test driven development can be useful in SSI - the basic scheme has already been done but problems still exist. Write a test program (like the ones in src/proc-db), find the problems and fix them, and then more tests and modifications, until it's good enough. Test cases will be updated from time to time to find the bugs, and a regression test is needed, to avoid the modification affecting something we don't expect.
+
First, some basic tests - e.g. two spheres have some part intersecting, an arb8 and a sph, etc.
 
 
Many corner cases that are easily to be neglected should be carefully considered:
 
 
 
1) two surfaces touching at one point
 
 
 
2) two surfaces have somewhere coinciding
 
 
 
3) the measurements of the two surfaces differs greatly
 
 
 
4) ...
 
 
 
Making sure the SSI handles any possible topology and geometry correctly is very hard, so the tests and verification cannot be over emphasized. The test program should be written in the very beginning, maybe in the community bonding period before all coding starts (or even during the application process).
 
  
As for the evaluation part, at first, we can have some basic tests - e.g. two spheres have some part intersecting, an arb8 and a sph, etc.
+
If the evaluation on basic primitives is satisfiable, more complicate tests should be performed. Finally, we should test on the /share/db/*.g files, and tried to convert the big models (m35, havoc) into evaluated NURBS models.
 
 
If the evaluation on basic primitives is satisfying, more complicate tests should be performed. Finally, we should test on the /share/db/*.g files, and tried to convert the big models (m35, havoc) into evaluated NURBS models.
 
  
 
Besides, the brep command in MGED should be extended, to support evaluations of NURBS objects (Don't forget the manual page). Maybe this command can also be migrated into archer. The conversion script (conversion.sh) should also be modified to generate evaluated NURBS.
 
Besides, the brep command in MGED should be extended, to support evaluations of NURBS objects (Don't forget the manual page). Maybe this command can also be migrated into archer. The conversion script (conversion.sh) should also be modified to generate evaluated NURBS.
Line 124: Line 86:
  
 
[2] S. Krishnan, A. Narkhede, and D. Manocha. BOOLE: A System to Compute Boolean Combinations of Sculptured Solids. Technical Report TR95-008. Department of Computer Science, University of North Carolina, 1995. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.88
 
[2] S. Krishnan, A. Narkhede, and D. Manocha. BOOLE: A System to Compute Boolean Combinations of Sculptured Solids. Technical Report TR95-008. Department of Computer Science, University of North Carolina, 1995. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.88
 
[3] http://web.mit.edu/hyperbook/Patrikalakis-Maekawa-Cho/node55.html
 
 
[4] http://www.math.uiuc.edu/~nmd/temp/hass3.pdf
 
 
[5] http://www.sciencedirect.com/science/article/pii/0010448596000139
 
 
[6] http://www.sciencedirect.com/science/article/pii/0010448596000140
 
  
 
= Deliverables =
 
= Deliverables =
* A ROBUST NURBS surface-surface intersection routine
+
* NURBS surface-surface intersection routines
 
* Other intersection supports: P/P, P/C, P/S, C/C, and C/S
 
* Other intersection supports: P/P, P/C, P/S, C/C, and C/S
 
* NURBS evaluation support
 
* NURBS evaluation support
Line 140: Line 94:
  
 
= Development schedule =
 
= Development schedule =
 +
As far as I'm concerned, I would like to focus on the second and third steps in the first part, as they are far from complete at present. I'm going to have a routine that 'can' work first, and then modify it to work 'well'.
 
* - June 17 (~4 weeks)
 
* - June 17 (~4 weeks)
 
** Study the papers on this topic
 
** Study the papers on this topic
** Discuss with other developers
+
** Discuss with other developer on implementations
 +
** Read the code in librt/libbrep/openNURBS
 +
** Fix the bugs in the intersection curve computation
 
** Some code clean up in the current SSI routine
 
** Some code clean up in the current SSI routine
** Write a test program to test SSI
+
* June 17 - June 30 (2 weeks)
* June 17 - June 23 (1 week)
 
** Lower dimension intersections
 
*** P/P, P/C, P/S
 
*** With the support of openNURBS
 
** Tests and documentations
 
* June 24 - July 7 (2 weeks)
 
** Intersections regarding curves
 
*** C/C, C/S
 
*** Subdivision - curve trees, surface trees
 
** Tests and documentations
 
* July 7 - Aug. 4 (4 weeks)
 
** TDD on SSI
 
*** Test the SSI
 
*** Find the problems
 
*** Fix the bugs
 
*** Find more bugs and fix them
 
*** Degenerated cases
 
** Try to get the code faster
 
*** Fit the curve to a lower order if possible
 
** Documentations
 
*** Comment in code
 
*** Write some extra document on SSI (algorithms, problems, TODOs...)
 
** Mid-term evaluation in July 29 - Aug. 2
 
* Aug. 5 - Aug. 18 (2 weeks)
 
 
** Finish the surface partitioning
 
** Finish the surface partitioning
 
*** Polygon partitioning
 
*** Polygon partitioning
 
*** Curve-curve intersection
 
*** Curve-curve intersection
 
** Tests
 
** Tests
*** Trims may intersect
+
* July 1 - July 7 (1 week)
* Aug. 19 - Aug. 25 (1 week)
 
 
** Add connectivity graph support
 
** Add connectivity graph support
 
*** Generate connectivity graphs for objects
 
*** Generate connectivity graphs for objects
 
*** Design proper data structures for the graph
 
*** Design proper data structures for the graph
* Aug. 26 - Sept. 1 (1 week)
+
* July 8 - July 14 (1 week)
 
** Inside-outside tests
 
** Inside-outside tests
 
*** Curve-surface intersection
 
*** Curve-surface intersection
 
*** BFS of the graph to determine inside/outside
 
*** BFS of the graph to determine inside/outside
* Sept. 2 - Sept. 8 (1 week)
+
* July 15 - July 28 (2 weeks)
 
** Generate valid ON_Brep objects
 
** Generate valid ON_Brep objects
 
*** Read code in IsValid() functions
 
*** Read code in IsValid() functions
 
*** Add elements (trim, edge, etc.)
 
*** Add elements (trim, edge, etc.)
 
*** Try to pass the validation
 
*** Try to pass the validation
 +
* July 29 - Aug. 4 (1 week)
 +
** Mid-term evaluation
 +
** Some basic tests
 +
*** Fix bugs
 +
*** We have a routine that 'can' work
 
** Extend the brep command in MGED
 
** Extend the brep command in MGED
* Sept. 9 - Sept. 15
+
* Aug. 5 - Aug. 18 (2 weeks)
 
** Robustness Issues
 
** Robustness Issues
 
*** Deal with the degenerated cases
 
*** Deal with the degenerated cases
 
*** All 3 steps should be modified
 
*** All 3 steps should be modified
** Tests
+
* Aug. 19 - Sept. 1 (2 weeks)
 +
** More complicated tests
 
*** Fix bugs
 
*** Fix bugs
 
*** Improve performance
 
*** Improve performance
 +
* Sept. 2 - Sept. 8 (1 week)
 +
** Evaluate a whole NURBS model
 +
** Convert large CSG models to evaluated NURBS
 +
*** havoc, m35
 +
* Sept. 9 - Sept. 15 (1 week)
 +
** The conversion.sh script
 +
*** Support evaluate NURBS conversion
 +
** Migrate the brep command to archer (optional)
 
* Sept. 16 - Sept. 22 (1 week)
 
* Sept. 16 - Sept. 22 (1 week)
 
** Pencils down
 
** Pencils down
Line 213: Line 159:
  
 
= Things I have done this year =
 
= Things I have done this year =
* Add a test program in librt to test the functionality of SSI. (Commit revision 55252)
 
** Some improvement (Commit revision 55270, 55275)
 
** See: http://svn.code.sf.net/p/brlcad/code/brlcad/trunk/src/librt/tests/test_ssi.cpp
 
* Some improvements (bug fixing) of the SSI routine
 
** Detecting loops separately in 2D space and 3D space. (Commit revision 55312)
 
* Use openNURBS APIs for SSI, and move some code from openNURBS to libbrep (Commit  revision 55322)
 
** Extend the ON_SSX_EVENT::Dump() functionality.
 
** Use max_dis_2dA and max_dis_2dB for merging polyline segments. (Commit revision 55433)
 
** Use and ON_Intersect() overload for SSI, and change the return value for consistency with other ON_Intersect()s, and some modifications to the ON_SSX_EVENT so that it can be consistent to both the current version of openNURBS in BRL-CAD and the newest version of openNURBS. (Commit revision 55439)
 
** Fix return value of ON_Intersect (SSI) - returns the number of intersection events (consistent with openNURBS), and add comment to brep.h. Remove the uncessary check of OPENNURBS_PLUS_INC_, and reduce debugging messages. (Commit revision 55550)
 
* A test geometry for SSI - using arb8. (Commit revision 55552)
 

Please note that all contributions to BRL-CAD may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see BRL-CAD:Copyrights for details). Do not submit copyrighted work without permission!

To edit this page, please answer the question that appears below (more info):

Cancel Editing help (opens in new window)