OpenCASCADE Shape Location

Abstract. The TopLoc package of OpenCASCADE gives resources to handle 3D local coordinate systems called Locations. A Location is a composition of elementary coordinate systems, each one is called a Datum. The Location keeps track of this composition. The paper will use the Draw Test Harness to illustrate the Location concept.

Key Words. Transformation, Location, Local Coordinate Systems

1.Introduction

对于三维空间中的各种模型，总是想要摆放到合适的位置，最终形成一个工厂的模型，一艘船的模型，一个建筑物的模型，等等。目前来看，所有的几何相关的库对模型变换的实现一般都是使用了矩阵变换。有的可能只保留了最终变换的结果矩阵数据，而OpenCASCADE的TopoDS_Shape中保留了Location信息。从其文档可以看出，Location中保留了模型变换一系列的变换组合，并可以对这个变换进行Track追踪。如何来正确理解这个Location的意义呢？下面结合Draw Test Harness来进行说明。

2.Draw Test

在Draw Test Harness中对模型进行变换的命令有：ttranslate, trotate, tmove, reset, tmirror, tscale.其中ttranslate, trotate, tmove, reset命令只会对模型位置进行调整，并不能让模型发生变形，即是刚性变换。下面就通过对一个Box进行移动和旋转，来看看TopoDS_Shape中的Location是如何变化的。在Draw Test Harness中输入以下命令：

pload ALL box b 10 20 30 vdisplay b vtrihedron vt dump b

可以看到此时box的Location是没有的：

Figure 2.1 Box Location in Original

当将box沿X方向移动一段距离后：

# translate by x direction ttranslate b 10 0 0 vdisplay b dump b

Figure 2.2 Location of the translation box

由上图可知，当对模型进行变换后，TopoDS_Shape中即有了Location数据，变换矩阵的平移部分（第4列数据）发生了变化。下面继续沿X轴方向移动10：

# translate by x direction ttranslate b 10 0 0 vdisplay b dump b

Figure 2.3 Translate Box in X Direction

由图2.3可知，模型现在的位置是通过两个Elementary变换得来的。最后一个Complex变换是上述所有变换的复合。下面再对模型进行绕Y轴旋转45度：

# rotate by y axis trotate b 0 0 0 0 1 0 45 vdisplay b dump b

Figure 2.4 Rotate the Box

由上图可知，经过旋转变换后的模型有了4个Location：三个基本变换和一个复合变换，复合变换是所有基本变换的组合。

通过上面的示例，已经可以清晰理解OpenCASCADE中的Location的概念，虽然处理得有点复杂，通过Location可以对模型的变换轨迹有个详细的跟踪。这样处理的好处就是对模型的变换过程进行了记录，可以方便地回到历史上的任意一个时刻；不好的地方就是程序理解起来麻烦，而且还需要有额外的内存来保存这些数据。

以下为上述所有Tcl脚本：

## test TopoDS_Shape location.# Shing Liu(eryar@163.com)# 2016-09-06 22:50# pload ALL# initialize box b 10 20 30vdisplay bvtrihedron vtdump b# translate by x directionttranslate b 10 0 0vdisplay bdump b# translate by x directionttranslate b 10 0 0vdisplay bdump b# rotate by y axistrotate b 0 0 0 0 1 0 45vdisplay bdump b

 

 

3.Draw Code

每个Draw Test Harness命令都可以方便地找到其实现代码，其中模型变换命令的实现代码如下：

//=======================================================================// transform//=======================================================================static Standard_Integer transform(Draw_Interpretor& ,Standard_Integer n,const char** a){  if (n <= 1) return 1;  gp_Trsf T;  Standard_Integer last = n;  const char* aName = a[0];  Standard_Boolean isBasic = Standard_False;  if (!strcmp(aName,"reset")) {  }  else {    isBasic = (aName[0] == 'b');    aName++;    if (!strcmp(aName,"move")) {      if (n < 3) return 1;      TopoDS_Shape SL = DBRep::Get(a[n-1]);      if (SL.IsNull()) return 0;      T = SL.Location().Transformation();      last = n-1;    }    else if (!strcmp(aName,"translate")) {      if (n < 5) return 1;      T.SetTranslation(gp_Vec(Draw::Atof(a[n-3]),Draw::Atof(a[n-2]),Draw::Atof(a[n-1])));      last = n-3;    }    else if (!strcmp(aName,"rotate")) {      if (n < 9) return 1;      T.SetRotation(gp_Ax1(gp_Pnt(Draw::Atof(a[n-7]),Draw::Atof(a[n-6]),Draw::Atof(a[n-5])),                    gp_Vec(Draw::Atof(a[n-4]),Draw::Atof(a[n-3]),Draw::Atof(a[n-2]))),                    Draw::Atof(a[n-1])* (M_PI / 180.0));      last = n-7;    }    else if (!strcmp(aName,"mirror")) {      if (n < 8) return 1;      T.SetMirror(gp_Ax2(gp_Pnt(Draw::Atof(a[n-6]),Draw::Atof(a[n-5]),Draw::Atof(a[n-4])),                  gp_Vec(Draw::Atof(a[n-3]),Draw::Atof(a[n-2]),Draw::Atof(a[n-1]))));      last = n-6;    }    else if (!strcmp(aName,"scale")) {      if (n < 6) return 1;      T.SetScale(gp_Pnt(Draw::Atof(a[n-4]),Draw::Atof(a[n-3]),Draw::Atof(a[n-2])),Draw::Atof(a[n-1]));      last = n-4;    }  }  if (T.Form() == gp_Identity || isBasic) {    TopLoc_Location L(T);    for (Standard_Integer i = 1; i < last; i++) {      TopoDS_Shape S = DBRep::Get(a[i]);      if (S.IsNull())      {        std::cerr << "Error: " << a[i] << " is not a valid shape\n";        return 1;      }      else        DBRep::Set(a[i],S.Located(L));    }  }  else {    BRepBuilderAPI_Transform trf(T);    for (Standard_Integer i = 1; i < last; i++) {      TopoDS_Shape S = DBRep::Get(a[i]);      if (S.IsNull()) {        std::cerr << "Error: " << a[i] << " is not a valid shape\n";        return 1;      }      else {        trf.Perform(S);        if (!trf.IsDone())          return 1;        DBRep::Set(a[i],trf.Shape());      }    }  }  return 0;}

对模型的变换主要使用类BRepBuilderAPI_Transform来完成。

4.Conclusion

通过上面的示例，已经可以清晰理解OpenCASCADE中的Location的概念，虽然处理得有点复杂，通过Location可以对模型的变换轨迹有个详细的跟踪。这样处理的好处就是对模型的变换过程进行了记录，可以方便地回到历史上的任意一个时刻；不好的地方就是程序理解起来麻烦，而且还需要有额外的内存来保存这些数据。

理解了Location的概念，也就理解了OpenCASCADE的Brep文件中的一项基本内容，方便开发一些转换接口。

关于矩阵变换在图形学中的应用可以参考《3D数学基础：图形与游戏开发》。

5.References

1.Fletcher Dunn, Ian Parberry. 3D Math Primer for Graphics and Game Development. 清华大学出版社. 2005

2.OpenCASCADE Draw Test Harness User Guide.

 

PDF Version: