OpenCASCADE Shape Location

OpenCASCADE Shape Location

[e-mail]

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
vdisplay b
vtrihedron vt
dump b 

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

Figure 2.1 Box Location in Original

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

# translate by x direction
ttranslate b
vdisplay b
dump b

Figure 2.2 Location of the translation box

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

# translate by x direction
ttranslate b
vdisplay b
dump b

Figure 2.3 Translate Box in X Direction

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

# rotate by y axis
trotate b
vdisplay b
dump b 

Figure 2.4 Rotate the Box

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

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

#
# test TopoDS_Shape location.
# Shing Liu([e-mail])
# 2016-09-06 22:50
# 

pload ALL

# initialize
box b
vdisplay b
vtrihedron vt
dump b

# translate by x direction
ttranslate b
vdisplay b
dump b

# translate by x direction
ttranslate b
vdisplay b
dump b

# rotate by y axis
trotate b
vdisplay b
dump b

3.Draw Code

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

//=======================================================================
// transform
//=======================================================================

static Standard_Integer transform(Draw_Interpretor& ,Standard_Integer n,const char** a)
{
  if (n <= ) return ;

  gp_Trsf T;
  Standard_Integer last = n;
  const char* aName = a[];

  Standard_Boolean isBasic = Standard_False;

  if (!strcmp(aName,"reset")) {
  }
  else {
    isBasic = (aName[] == 'b');
    aName++;

    if (!strcmp(aName,"move")) {
      if (n < ) return ;
      TopoDS_Shape SL = DBRep::Get(a[n-]);
      if (SL.IsNull()) return ;
      T = SL.Location().Transformation();
      last = n-;
    }
    else if (!strcmp(aName,"translate")) {
      if (n < ) return ;
      T.SetTranslation(gp_Vec(Draw::Atof(a[n-]),Draw::Atof(a[n-]),Draw::Atof(a[n-])));
      last = n-;
    }
    else if (!strcmp(aName,"rotate")) {
      if (n < ) return ;
      T.SetRotation(gp_Ax1(gp_Pnt(Draw::Atof(a[n-]),Draw::Atof(a[n-]),Draw::Atof(a[n-])),
                    gp_Vec(Draw::Atof(a[n-]),Draw::Atof(a[n-]),Draw::Atof(a[n-]))),
                    Draw::Atof(a[n-])* (M_PI / 180.0));
      last = n-;
    }
    else if (!strcmp(aName,"mirror")) {
      if (n < ) return ;
      T.SetMirror(gp_Ax2(gp_Pnt(Draw::Atof(a[n-]),Draw::Atof(a[n-]),Draw::Atof(a[n-])),
                  gp_Vec(Draw::Atof(a[n-]),Draw::Atof(a[n-]),Draw::Atof(a[n-]))));
      last = n-;
    }
    else if (!strcmp(aName,"scale")) {
      if (n < ) return ;
      T.SetScale(gp_Pnt(Draw::Atof(a[n-]),Draw::Atof(a[n-]),Draw::Atof(a[n-])),Draw::Atof(a[n-]));
      last = n-;
    }
  }

  if (T.Form() == gp_Identity || isBasic) {
    TopLoc_Location L(T);
    for (Standard_Integer i = ; 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 ;
      }
      else
        DBRep::Set(a[i],S.Located(L));
    }
  }
  else {
    BRepBuilderAPI_Transform trf(T);
    for (Standard_Integer i = ; 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 ;
      }
      else {
        trf.Perform(S);
        if (!trf.IsDone())
          return ;
        DBRep::Set(a[i],trf.Shape());
      }
    }
  }
  return ;
}

对模型的变换主要使用类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: OpenCASCADE Shape Location