Abstract
In this study, based on Polynomial Splines with control nets, an identification method is investigated. We introduce polynomial splines with control nets defined over T-mesh. The basic idea is to extend T-vertices such that those T-vertices become interior cross vertices or boundary vertices. To this end, we introduce the design-suitable T-mesh for constructing polynomial splines with control net. In design-suitable T-meshes, there are no extra basis vertices produced by an appropriate extension of T-vertices. The basis functions are defined over each vertex in a design-suitable T-mesh by the means of constructing PHT-splines basis functions.
1. Introduction
T-splines [1, 2] are introduced to overcome the weakness of NURBS by allowing T-junctions. T-splines are considered as a generalization of NURBS surfaces and capable of local refinement, which makes T-splines a powerful modeling tool for advanced geometric modeling and adaptive isogeometric analysis (IGA) [3, 4]. Stimulated by the advent of T-splines and isogeometric analysis, locally refinable splines are born and now becoming flourishing. Currently, there are Hierarchical B-splines [5–7], truncated hierarchical B-splines (THB-splines) [8], truncated T-splines [9], truncated hierarchical tricubic spline [10], blended B-spline based on unstructured quadrilateral and hexahedral meshes [11], analysis-suitable T-splines (AST-splines) [12], LR B-splines [13], modified T-splines [14], and polynomial splines over hierarchical T-meshes (PHT-splines) [15].
PHT-splines are introduced in [15] as bicubic continuous polynomial splines spaces defined over hierarchical T-meshes. PHT-splines possess a set of nonnegative and linearly independent basis functions and allow for very efficient local refinement. PHT-splines have been widely applied in geometric processing and analysis. The finite element discretization of elliptic equations based on PHT-splines was discussed in [16], where numerical solutions are refined adaptively and have the optimal convergence rate. PHT-splines are also favored in isogeometric analysis for solving elastic problems [3, 17, 18] and adaptive isogeometrican analysis [19]. PHT-splines are also applied in reconstructing surface models efficiently. PHT-splines were used in stitching several surface patches to construct complex models in paper [20] and PHT-splines were also applied in surface reconstruction from a very large set of point clouds in implicit form [21]. IGA collocation approaches are introduced in paper [22], and PHT-splines have been used as basis functions for the adaptive collocation method [23].
In order to make PHT-splines better suited for analysis and geometric processing, some improvements and extensions have been made to PHT splines in recent years. In [24], the authors discussed the decay phenomenon of PHT-splines basis functions. They found some of the basis functions will tend to zero as the refinement level increases under certain types of refinement. Such a decay makes the stiffness matrix in isogeometric analysis be ill-conditioned, which is not expected by analysis. Thus a new basis construction method is proposed for PHT-splines to avoid the decay. The extension of PHT-splines to general T-meshes is considered in [25], where the bicubic continuous polynomial splines are defined over general T-meshes. The basis functions are constructed by computing the geometric information at basis vertices such that the resulting basis functions are nonnegative and linearly independent and form a partition of unity. PHT splines were defined over hierarchical T-meshes without irregular vertex in [15], and then the bicubic continuous splines construction based on irregular quad layout were discussed in [26]. Current implementation of PHT-splines stores the basis functions in Bézier forms, which saves some computational costs but consumes a lot of memories. In [27], an algorithm to evaluate PHT-splines is provided where only the information about the control coefficients and the hierarchical mesh structure is given. The evaluation algorithm takes about the same computational costs while requiring much less amount of memory compared with the Bézier representations.
For PHT-splines, there is no one-to-one correspondence between the vertices in the underlying T-mesh and PHT-splines basis functions. The boundary vertices and interior cross vertices are called basis vertices. Each basis vertex is associated with four basis functions. The control net concept is essential in computer aided geometric design (CAGD), because the control net makes editing models easily and intuitively. In this paper, we introduce polynomial splines with control polygon to complement PHT-splines. The proposed splines defined over all the vertices of the underlying T-meshes, such that there is a one-to-one correspondence between control points and vertices in T-meshes. The basis idea is to extend T-vertices to be basis vertices. In order to avoid generating extra basis vertices when extending T-vertices, we introduce a subset of T-meshes, called design-suitable T-meshes. Over design-suitable T-meshes, the T-vertices can be extended appropriately without generating extra basis vertices. For a given T-mesh, it needs to connect some T-vertices to be a design-suitable T-mesh. We define polynomial splines basis functions over the design-suitable T-mesh. The resulting splines not only inherit the nice properties of PHT-splines, but also have control nets.
The paper is organized as follows. In Section 2, we review some preliminary knowledge about polynomial splines over T-meshes. In Section 3, we proposed a subset of T-mesh called design-suitable T-mesh and prove that there are no extra basis vertices produced by an appropriate extension. In Section 4, we present an algorithm of local refinement of the proposed splines. Finally, we give a conclusion of this paper in Section 5.
2. Preliminary Knowledge
2.1. T-Meshes
A T-mesh is a rectangular grid with T-junctions. The cells in a T-mesh must be rectangles. A grid point in a T-mesh is called a vertex. And the vertex on a boundary grid line is called a boundary vertex; otherwise, it is called an interior vertex. Interior vertices consist of cross vertices and T-vertices. We adopt the notations , , , and to indicate the four possible orientations of T-vertices. The T-vertices of type and are called horizontal T-vertices and the T-vertices of type and are called vertical T-vertices.
2.2. Bicubic Continuous B-Splines
Letbe a knot vector with interior knots of multiplicity two. Then each knot is associated with two cubic B-splines and . Both and together with their derivatives have the same support . Except for and , all the other cubic B-splines and their derivatives vanish at .
For given a tensor product mesh , the two associated global knot vectors in -direction and -direction arerespectively. The bicubic continuous B-splines surface defined over is spanned by the , where , are the four B-splines associated with the vertex .
For a function , the function value, the first partial derivatives, and the mixed partial derivative are called the geometric information of , denoted by
For the basis function defined above, it has and , if ; otherwise, . That is the geometric information of vanishes at other vertices in except its associated vertex .
3. Polynomial Splines with Control Nets Defined over T-Meshes
PHT-splines span the polynomial splines space over a T-mesh and are defined over cross interior vertices and boundary vertices (called basis vertices), resulting in PHT-splines lacking control net. Our aim is to equip PHT-splines with control net. For any given control mesh, we parameterize the control mesh into a T-mesh in 2D domain and then extend all T-vertices in the T-mesh such that they become basis vertices and no extra basis vertices is introduced, and finally construct basis functions of over the extended T-mesh. Thus, there is a one-to-one correspondence between the control mesh and parameter T-mesh. For arbitrary T-mesh, it is inevitable that extra basis vertices are produced by directly extending T-vertices. Therefore, in order to avoid extra basis vertices, we introduce design-suitable T-meshes for defining basis functions.
3.1. Design-Suitable T-Meshes
For a given T-mesh , we shall adopt some definitions and notations (Figure 1).(i)Extension of T-vertex. The closed line segment created by extending a T-vertex in the missing direction until it intersects with an edge is called the extension of this T-vertex. Particularly, if the edge is an edge in , then the extension is called a full-extension. The extension of a horizontal (vertical) T-vertex is called the horizontal (vertical) extension, respectively. In Figure 1(b), the dotted line segments are full-extensions of T-vertices.(ii)Full-Extension Mesh. A T-mesh together with the full-extensions of all T-vertices in this T-mesh forms the full-extension mesh. Figure 1(b) shows the full-extension mesh of the T-mesh in Figure 1(a).(iii)Edge-Type Intersections. The intersection between two same type extensions and the intersection between an extension and a boundary edge is called an edge-type intersection (E-intersection for short). In Figure 1(b), are all E-intersections.(iv)Face-Type Intersections. The intersection between a horizontal extension and a vertical extension is called a face-type intersection (F-intersection for short). In Figure 1(b), are all F-intersections.(v)Connectable Vertex. Two vertices can be connected if the line segment formed by these two vertices splits the lying face into two subrectangles. If two T-vertices can be connected, then they are called connectable T-vertices (CT-vertex for short). The vertices are marked by blue solid circles in Figure 1(a).(vi)E-Connectable T-Vertex. For a T-vertex, if its extension intersects with the extension of another same type T-vertex or with a boundary edge, then the T-vertex is called an e-connectable T-vertex (ECT-vertex). The vertices marked by yellow solid circles in Figure 1(a) are ECT-vertices.(vii)Normal T-Vertex. For a T-vertex, if it is either a CT-vertex or an ECT-vertex, then it is called a normal T-vertex.(viii)T-Element. If there are T-vertices lying on the edges of an element, then the element is called a T-element.(ix)C-Element. For a T-element in , if there are ECT-vertices on the edges of this element, then the element is called a C-element. Those elements in Figure 1(a) are connectable elements.(x)S-Element. For a C-element, if there exists a normal vertical (horizontal) T-vertex in the element such that its extension subdivides the element into two subelements and one subelement contains all the horizontal (vertical) ECT-vertices, then the connectable element is called a S-element and the normal vertical (horizontal) T-vertex is called a ST-vertex. The element is a S-element, while are not S-elements.
(a)
(b)
Definition 1. For a given T-mesh , the corresponding full-extension T-mesh is denoted by , if(i)there are no connectable T-vertices in (ii)for each edge-type intersection in , the underlying edge is attached to a S-element;then is called a design-suitable T-mesh.
The diagonal T-mesh (the diagonal elements are refined in the diagonal direction) shown in Figure 2(a) is a design-suitable T-mesh. The T-mesh shown in Figure 1(b) is not a design-suitable T-mesh. But if we connect all the CT-vertices and ECT-vertices, then the resulting mesh is a design-suitable T-mesh which is shown in Figure 3(a).
For a design-suitable T-mesh, there are no extra basis vertices produced by extending T-vertices appropriately. The intuitive way is to extend a T-vertex in the missing direction, until it intersects with an edge in the underlying mesh instead of the original T-mesh. We call such a way of extending T-vertices as p-extending to distinguish from the extension mentioned above. For the design-suitable T-mesh shown in Figure 2(a), the new T-mesh produced by p-extending T-vertices is shown in Figure 2(b). We also plot the full-extension T-mesh in Figure 2(c) for comparison. This p-extending way is not enough for the T-meshes containing ECT-vertices. It still requires an order of extending T-vertices. Thus, we introduce the following algorithm to extend T-vertices in a given T-mesh, and the resulting T-mesh is denoted by .(i)Step one: p-extend T-vertices in S-elements and the adjacent elements of S-elements(a)S-element: First p-extend the ST-vertices of an S-element; then p-extend the rest of T-vertices in the element(b)Adjacent elements: First p-extend ECT-vertices; then p-extend the normal T-vertices(ii)Step two: p-extend T-vertices in the rest of T-elements(a)First p-extend horizontal T-vertices; then p-extend vertical T-verticesWe take Figure 3 as an example to explain the above algorithm. In the T-mesh shown in Figure 3(a), are T-elements. We need to extend the T-vertices in these elements. The element is an S-element. We start from extending T-vertices in this element. The vertex is a ST-vertex, and it is extended until it intersects with an existing edge. Then we extend the vertex , and the first edge it intersects with is the extension of . The element is the adjacent element of . The vertex is p-extended. For the rest T-elements, if there are horizontal T-vertices, then extend them first. Thus, in , is extended first and then is extended. The resulting extended T-mesh is shown Figure 3(b).
(a)
(b)
(c)
(a)
(b)
Theorem 1. For a design-suitable T-mesh , extend the T-vertices in as above. Then there is a one-to-one correspondence between basis vertices in and vertices in , which means there are no extra basis vertices produced in by extending T-vertices in appropriately.
Proof. We only need to deal with T-elements. We extend T-vertices element by element. We need to prove there are no edge-type intersections and face-type intersections in . In a design-suitable T-mesh, only extending ECT-vertices may produce edge-type intersections. Furthermore, there are no face-type intersections produced by p-extending. S-elements are extended first according to the above algorithm. Since ST-vertices are normal T-vertices, then their extensions intersect with existing edges and the intersections are T-vertices. According to the definition of ST-vertices, the extensions of ST-vertices prevent the intersection between ECT-vertices. Then extending T-vertices in the adjacent T-elements of S-elements will not produce new basis vertices. For the rest T-elements, there are no basis vertices produced by p-extending.
3.2. Construct Basis Functions over
Let be the basis functions associated with needed to be constructed. There are mainly three steps for constructing in [25]:(i)Find a rectangle containing all the vertices at which which do not vanish in (ii)Set the geometric information of bicubic continuous B-splines associated with over the rectangle as the geometric information of (iii)Set the geometric information at other basis vertices in the rectangle as zeros and represent in the Bézier form or B-splines form
The method for finding a rectangle for each basis vertex in is stated as follows. For a basis vertex in , first put into , then check the neighboring vertices of the vertices in and put the T-vertices into recursively until there is no vertex added into . The minimal rectangle containing all the vertices in is denoted by , then together with the knot lines and forms a tensor product mesh . For the sake of clearness, we call as the support mesh of basis vertex . Figure 4 shows the support meshes of four basis vertices , , and in the extended T-mesh, where the support meshes are shaded. In Figure 4(a), is a basis vertex and among the neighbors of , is a T-vertex; thus, it is put into . Then we check the neighbors of , and is a T-vertex which is put into . For , there are no more vertices needed to be added into . Thus, the set . Similarly for in Figure 4(b), now . For the basis vertex shown in Figure 4(c), .
(a)
(b)
(c)
The four B-spline basis functions defined over are denoted by , , and
Then the geometric information of four basis functions at is defined as the geometric information of , . The geometric information of at the other basis vertices in is set as zero. And the geometric information of at T-vertices in is computed by constraints. According to the known geometric information of at the vertices in , then can be easily represented in Bézier form or B-splines form.
3.3. Polynomial Splines with Control Net Defined on T-Meshes
With the help of index T-mesh, there is a one-to-one correspondence between vertices and basis functions. The index T-mesh is adopted in [3] for ease of constructing T-splines. It is constructed by plotting the knots at equally spaced intervals regardless of their actual spacing and labeling each knot line with integer values [3]. Figure 5(b) shows the index T-mesh of the mesh shown in Figure 5(a). Figure 5(c) shows a control net in corresponding to the T-mesh shown in Figure 5(a). Figure 5(d) shows the polynomial splines surface with control net Figure 5(c) defined on the design-suitable T-mesh Figure 5(a). Notice the knots in this paper are of multiplicity two; thus, if we view the T-mesh in index space, each vertex in T-meshes corresponds to four vertices in index T-mesh. In a design-suitable T-mesh, it happens that each vertex is associated with four basis functions. Thus, there is a one-to-one correspondence between vertices and basis functions exactly in a design-suitable T-mesh. For convenience, in this paper, we still use T-meshes for constructing T-meshes and local refinement. The index T-mesh is used only to explain the control net.
(a)
(b)
(c)
(d)
For a design-suitable T-mesh , we construct basis functions on the extended T-mesh as stated in section 3.2. The polynomial splines surface defined over is defined as follows:where are basis functions constructed in section 3.2 and are the corresponding control points. Figure 6 presents the polynomial splines model with control nets. The construction method is based on the above polynomial splines with control nets defined over T-meshes; we design a goblet model and a dolphin model; see Figures 7 and 8.
For a design-suitable T-mesh, we define four basis functions at each vertex. If we need to adjust the surface part corresponding to a T-vertex, we can adjust the control point corresponding to the basis functions defined at the T-vertex to modify the surface directly. But for PHT-spline surface, it can only be adjusted indirectly by adjusting the control points corresponding to the basis functions defined at other basis vertices. Figure 9 shows the modification of the surface by adjusting the position of the control points corresponding to the T-vertices and the normal basis vertices.
(a)
(b)
(c)
(d)
4. Local Refinement
Given a design-suitable T-mesh , denote the extended T-mesh as . The edge insertion is to insert edges into , the resulting T-mesh is denoted by . The local refinement is attributed to how to construct the extended T-mesh such that , which is equivalent to .
Suppose a vertical edge is inserted into a element , and the 2-neighboring elements of in vertical direction are denoted by , (if existing). The local refinement algorithm is described as follows:(1)If is a CT-vertex or a ECT-vertex, then extend them until it is either a CT-vertex or ECT-vertex.(2)Among the T-vertices in and , if the extension of a T-vertex in intersects with , then p-extend the T-vertex. The resulting T-mesh is denoted by .(3)Construct the extended T-mesh .(i)Update the new T-vertices which are in but not in by p-extending.(ii)Keep the extensions in of the original T-vertices.
We use Figure 10 to demonstrate the local refinement algorithm as proposed above. A design-suitable T-mesh is shown in Figure 10(a) and the corresponding extended T-mesh is shown in Figure 10(b). A vertical edge (marked by red line) is inserted in , which is shown in Figure 10(c). Now is a CT-vertex and is a ECT-vertex; then they are extended as shown in Figure 10(d). For the horizontal T-vertices in and , their extensions with respect to intersect with , extend them as shown in Figure 10(e). The resulting T-mesh is a design-suitable T-mesh, denoted by . Finally, we construct the extended T-mesh corresponding to . We only need to update the extension of the new T-vertices. Figure 10(f) shows the extended T-mesh .
(a)
(b)
(c)
(d)
(e)
(f)
Figure 11 shows the local refinement of a diagonal T-mesh. The inserted edges are marked by red line segments and the additional inserted edges are marked by blue line segments in Figures 11(c) and 11(e). Figures 10(d) and 10(f) show the extended T-meshes of Figures 11(c) and 11(e), respectively. Obviously, the extended T-mesh of the diagonal T-mesh shown in Figure 11(a) is contained in both the extended T-meshes shown in Figures 10(d) and 10(f). Notice there are at most 1 neighboring elements of the element are need to be inserted into edges; thus, the refinement are local.
(a)
(b)
(c)
(d)
(e)
(f)
5. Conclusions
In this paper, we present an algorithm for extending bicubic polynomial spline spaces defined over any given T-meshes such that there is a one-to-one correspondence between basis functions and vertices in the T-meshes. The key idea is to extend the T-junctions such that the T-junctions become basis vertices. Thus how to extend these T-junctions to avoid extra basis vertices produced is the main challenge. In this paper, we proposed a subset of T-meshes called design-suitable T-meshes. For design-suitable T-meshes, we first extend T-vertices through an appropriate order and then construct basis functions on the extended T-meshes. There is a one-to-one correspondence between basis functions and vertices in the T-mesh. Furthermore, it is easy to modify a given T-mesh such that it becomes a design-suitable T-mesh.
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The work was supported by the Natural Science Foundation of China (Nos. 11871447 and 11801393), the Natural Science Foundation of Jiangsu Province (No. BK20180831), and the Natural Science Foundation of the Education Department of Anhui Province (Grant nos. KJ2018A0363 and KJ2019A0580).