 Original Article
 Open Access
 Published:
A Finite and Instantaneous Screw Based Approach for Topology Design and Kinematic Analysis of 5Axis Parallel Kinematic Machines
Chinese Journal of Mechanical Engineering volume 31, Article number: 44 (2018)
Abstract
Unifying the models for topology design and kinematic analysis has long been a desire for the research of parallel kinematic machines (PKMs). This requires that analytical description, formulation and operation for both finite and instantaneous motions are performed by the same mathematical tool. Based upon finite and instantaneous screw theory, a unified and systematic approach for topology design and kinematic analysis of PKMs is proposed in this paper. Using the derivative mapping between finite and instantaneous screws built in the authors’ previous work, the finite and instantaneous motions of PKMs are analytically described by the simple and nonredundant screws in quasivector and vector forms. And topological and parametric models of PKMs are algebraically formulated and related. These related topological and parametric models are ready to do type synthesis and kinematic analysis of PKMs under the unified framework of screw theory. In order to show the validity of the proposed approach, a kind of twotranslational and threerotational (2T3R) 5axis PKMs is taken as example. Numerous new structures of the 2T3R PKMs are synthesized as the results of topology design, and their Jacobian matrix is obtained easily for parameter optimization and performance evaluation. Some of the synthesized PKMs have outstanding capabilities in terms of large workspaces and flexible orientations, and have great potential for industrial applications of machining and manufacture. Among them, METROM PKM is a typical example which has attracted a lot of attention from global companies and already been developed as commercial products. The approach is a general and unified approach that can be used in the innovative design of different kinds of PKMs.
Introduction
CNC and robot based equipment are important parts to push “Made in China 2025” plan [1, 2]. In comparison with traditional CNCs and articulated robots, parallel kinematic machines (PKMs) are demonstrated by many researchers to have advantages of high stiffness, good accuracy, excellent dynamics and reconfigurability through deeply investigating their topology structures [3,4,5], stiffness characteristics [6], constraint properties [7] and kinematic performances [8,9,10]. They are suitable to be applied in machining and repairing of large scale component with complex surface. The innovative design of PKMs is always a hot topic and draws great attention from both academia and industry [11, 12].
The innovative design of PKMs usually consists of topology design and kinematic analysis [13,14,15]. It has long been a desire to unify these two parts under a framework of the same mathematical tool. This mathematical tool should be able to realize analytical description, formulation and operation of both finite and instantaneous motions, and then relate topological and parametric models algebraically. Till now, there are three available mathematical tools at hand, i.e., matrix group, dual quaternion and screw theory.
Matrix group was firstly given out by Lie and later utilized by Klein to describe rigid body motion. It was Hervé et al. [16, 17] who gave an approach to formulate topological models and carried out type synthesis of PKMs through describing finite motions of PKMs by subgroups of the matrix representation of the special Euclidean group SE(3) and their composite manifolds. Using this approach, many PKMs having different motions were synthesized by Li and Hervé [18, 19]. Describing instantaneous motions by Lie algebra of SE(3), i.e., se(3), Brockett [20] applied the exponential mapping between SE(3) and se(3) to relating topological and parametric models of openloop mechanisms. His work was extended to deal with closedloop and other kinds of mechanisms. However, two barriers are encountered when using matrix groups for finite motion composition in formulating topological models. One barrier arises from that matrix group cannot directly reflect the Chasles’ axis as well as the angular and/or linear displacement about and/or along that axis. Thus, the description of finite motion by matrix group is complicated. The other barrier comes from the incompetent to algebraically compute the finite motion composition result of matrix groups by using the BakerCampbellHausdorff formula. Topological models of many PKMs cannot be simply written as the group products of a few Lie subgroups of SE(3). Hence, type synthesis of these PKMs cannot be precisely carried out although parametric models for kinematic analysis can be directly obtained by se(3).
Dual quaternion can be traced back to the early work of Euler, Rodrigues and Hamilton. Perez and McCarthy [21] are probably the first to use it in the finite and instantaneous motion analysis of serial kinematic chains. Unit dual quaternions and unit pure dual quaternions are used by them to respectively describe finite and instantaneous motions, because the algebraic structure of the former is a double cover of SE(3) whose Lie algebra in turn constitutes the latter. Using group theory, Selig [22] and Dai [23] investigated algebraic properties of the exponential and Cayley mappings between these two kinds of dual quaternions, resulting in a clear relationship between the finite and instantaneous models. It should be noted that even though both finite and instantaneous motions can be described by dual quaternions, quaternion representation is not the simplest form. The redundancy may cause complexity in analytical operations of finite motions. Additionally, the Rodrigues formula with dual angles is not the simplest form of the BakerCampbellHausdorff formula in composition of finite motions.
Screw theory was firstly proposed by Ball and has been developed to be a powerful tool in analysis and mechanical design of PKMs. Instantaneous screw has been proved to be the simplest and most effective form to describe instantaneous motion and widely used in formulating parametric models to conduct velocity and force [24,25,26], precision [27, 28] and stiffness [29,30,31,32] analysis. In the authors’ previous work [33,34,35,36], finite screw is proved to be the concise and nonredundant form to describe finite motion and can be analytically composited by the screw triangle product [33]. Meanwhile, the algebraic structures of these two kinds of screws were revealed and the derivative mapping between them was built by the authors [33]. All these achievements show that finite and instantaneous screw theory has the potential to unify topology design and kinematic analysis into a general and consistent process by doing type synthesis and kinematic analysis under this concise mathematical tool, which can overcome the shortcomings of the above matrix group and dual quaternion based approaches.
Mainly drawing on finite and instantaneous screw theory, this paper proposes a unified and systematic approach for topology design and kinematic analysis of PKMs. A kind of twotranslational and threerotational (2T3R) PKMs is taken as example to show the validity of the proposed approach. These PKMs generate twoDoF translations in a fixed plane followed by threeDoF rotations about a fixed point. Some of them have great potential for industrial applications in 5axis machining and manufacture because of their outstanding capabilities to realize large workspaces and flexible orientations. METROM PKM is a typical one which has attracted a lot of attention from global companies and already been developed as commercial products [37, 38]. The approach is a general and unified approach that can be used in the innovative design of different kinds of PKMs.
The paper is organized as follows. Having a brief review of the stateoftheart of the existing approaches based upon different mathematical tools to uniformly describe finite and instantaneous motions in Section 1, Section 2 presents the theoretical foundations of finite and instantaneous screw theory. The topological models of PKMs are formulated by describing the PKMs, their limbs and joints by finite screws in Section 3, and type synthesis of the 2T3R PKMs is done to show the usages and advantages of the formulated model. In Section 4, the parametric models of PKMs are directly obtained through differentiating the topological models, one typical structure of the 2T3R PKMs, i.e., the METROM PKM, is selected to show the detailed procedures. The conclusions of this paper are drawn in Section 5 (Additional file 1).
Screw Theory: Finite and Instantaneous Screws
In this section, we firstly introduce the basic concepts and properties of finite and instantaneous screws, which lays the theoretical foundations of type synthesis and kinematic analysis for innovative design of PKMs.
According to the Chasles’s theorem and Mozzi’s theorem, both finite motion and instantaneous motion of a rigid body can be regarded as a rotation about an axis followed by a translation long that axis, as shown in Figures 1 and 2.
For finite motion, the axis is referred as Chasles’s axis. A finite motion is a pose (including orientation and position) transformation of a rigid body from its initial pose to arbitrary pose about and along Chasles’s axis. It can be expressed by a finite screw in quasivector form [33] in the simplest and nonredundant manner as
where s_{f} and r_{f} denote the unit vector and position vector of the Chasles’ axis, θ and t are the rotational angle about and translational distance along that axis with respect to the initial pose.
For instantaneous motion, the axis is referred as Mozzi’s axis. An instantaneous motion is a rigid body velocity measured at a given pose, which is constituted by angular velocity about and linear velocity along Mozzi’s axis. For simplicity, it is usually expressed by an instantaneous screw (twist) in vector form [39,40,41] as
where s_{t} and r_{t} denote unit vector and position vector of the Mozzi’s axis, ω and v are angular velocity about and linear velocity along that axis.
As is well known, successive finite screws of a rigid body from its initial pose to final pose via several intermediate poses should be composited in nonlinear manner. The composition of any two finite screws is expressed by
where
S_{f,a} and S_{f,b} are two arbitrary successive finite screws generated by the same rigid body, the symbol "∆" is referred to as screw triangle product and is proven by the authors of this paper in Ref. [33].
Using the screw triangle product in Eq. (3), the resultant finite screw of the rigid body from its initial pose to final pose can be obtained through computing screw triangle products of all the successive finite screws it generates during its continuous finite motion.
Unlike the nonlinear composition of finite screws, instantaneous screws are composited in linear way. Suppose a rigid body generates two velocities at a given pose. Each is expressed by an instantaneous screw as
The resultant instantaneous screw can be obtained by adding them together
As proved in our previous work [33], arbitrary finite screw that a rigid body generates from its initial pose can be written in the form shown in Eq. (1). Regarding its initial pose as the given pose, arbitrary instantaneous screw the rigid body generates has the form in Eq. (2). At the initial pose (θ = 0 and t = 0) where the Chasles’ axis is coincident with the Mozzi’s axis at the instant, there exists differential mapping between finite and instantaneous screws. This means the derivative of finite screw is derived to be instantaneous screw [33]
This property leads to the algebraic structures of finite and instantaneous screws. The entire set of finite screws forms a Lie group under screw triangle product, while the entire set of instantaneous screws is the corresponding Lie algebra under screw cross product. The underlying relationship between these two kinds of screws is thus revealed.
Using this relationship, the topology design and kinematic analysis of PKMs can be integrated into the unified framework of screw theory. This is because:

(1)
The topological model of a PKM can be formulated by describing finite motions of the PKM, its limbs and joints utilizing finite screws.

(2)
The parametric model of the PKM can be directly obtained through differentiating its topological model at given pose.

(3)
Type synthesis and kinematic analysis for innovative design of PKMs can be easily carried out using these two models under the simple and consistent screw theory.
In the following two sections, 5axis PKMs having 2T3R motion will be taken as example to show the detailed procedures of this finite and instantaneous screw based approach for topology design and kinematic analysis. Firstly, type synthesis of this kind of PKMs will be done utilizing finite screws, which will result in numerous new topology structures with potential industrial applications. Then, the kinematic analysis of a typical structure, i.e., the METROM PKM, will be conducted to show how to directly obtain the parametric model based upon instantaneous screws through differentiating the corresponding topological model. The Jacobian matrix and constraint force will be formulated, which is ready for parameter optimization and performance evaluation.
Type Innovative Design Based upon Finite Screws
Topological Model of a PKM
Suppose a PKM is composed of l openloop limbs, as shown in Figure 3. Each limb consists n_{i} (i = 1, 2, ···, l) oneDoF joints (revolute joints (R) and prismatic joints (P)). Because the finite motions of the PKM’s moving platform can be obtained as the intersection of those of its limbs, and the finite motions of each limb are the composition of those of all joints in it, following analytical equations can be formulated through describing the finite motions of the PKM, its limbs and joints as finite screws.
Where S_{f,PKM} denotes the finite screw generated by the PKM, S_{f,i} is the finite screw generated by its ith limb, S_{f,i,k} is the finite screw of the kth joint in the ith limb. The denotations of s_{i,k}, r_{i,k}, θ_{i,k} and t_{i,k} can be referred to the symbols in Eq. (1).
Equations (6)‒(8) contain all the topological information of the PKM, including:

(1)
The number of limbs and the number of joints in each limb;

(2)
The type of each joint, i.e., R joint or P joint;

(3)
The direction and position of each joint, i.e., the geometrical arrangement of each joint in the limb which it belongs to;

(4)
The geometrical relationships among different limbs.
Thus, these three equations can exactly serve as topological model of the PKM, which can be used for topology design. In what follows, we take 5Axis PKMs having 2T3R motion as example to show the usage of this finite screw based topological model in doing type synthesis, resulting in numerous new topology structures with potential industrial applications.
Type Synthesis of 2T3R 5Axis PKMs
The main goal of type synthesis is inventing innovative mechanisms with new topology structures having the given motion pattern. The expected motion pattern of the discussed PKMs is 2T3R, i.e., twoDoF translations in a fixed plane followed by threeDoF rotations about a fixed point O, which allows the PKMs realize 5axis machining. Hence, the finite motions of a PKM with this 2T3R motion can be written using finite screw as
According to Eq. (6), the feasible limb structures for the 2T3R PKMs should generate finite screws that contain S_{f,PKM} in Eq. (9)
Through adding none or one translational factor into S_{f,PKM}, finite screws of the feasible limb structures should have either of the following two expressions
which correspond to the 5DoF and 6DoF limb structures, respectively.
Substituting Eq. (10) into Eqs. (11) and (12) leads to the two standard \(\varvec{S}_{f,i}\)
where \(\varvec{S}_{{f,\text{L}_{\text{I}} }}\) and \(\varvec{S}_{{f,\text{L}_{{\text{II}}} }}\) denote the first and second standard S_{f,i}.
According to Eqs. (9) and (10), joint types and arrangements of the limb structures which generate the above two expressions can be obtained. Thus, Eqs. (13) and (14) correspond to two standard limbs, R_{a}R_{b}R_{c}P_{1}P_{2} and P_{3}R_{a}R_{b}R_{c}P_{1}P_{2}, where the subscripts denote the directions of the joints. Based upon these two standard limbs, all the derivative limbs can be synthesized using the properties of screw triangle product. It should be noted that we only concern the 5DoF limbs here, because the 6DoF ones can be easily obtained by random permutation of the joints in P_{3}R_{a}R_{b}R_{c}P_{1}P_{2}.
A 5DoF derivative limb of R_{a}R_{b}R_{c}P_{1}P_{2} should satisfy the following two conditions:

(1)
The finite screw it generates is equivalent to the standard one, i.e., \(\varvec{S}_{{f,\text{L}_{\text{I}} }}\) in Eq. (13), and thus denoted as \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\);

(2)
The five factors in \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\) are the same with those in \(\varvec{S}_{{f,\text{L}_{\text{I}} }}\) but have different sequence, or \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\) has different factor(s) with \(\varvec{S}_{{f,\text{L}_{\text{I}} }}\).
Firstly, we consider the situation that \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\) and \(\varvec{S}_{{f,\text{L}_{\text{I}} }}\) have the same five factors. It means that the corresponding derivative limb structures have the same five joints with R_{a}R_{b}R_{c}P_{1}P_{2}. Hence, these derivative limb structures can be obtained by permutation of R_{a}R_{b}R_{c}P_{1}P_{2} while unchanging the finite screw it generated. Because the three R joints constituted a spherical joint (S), their direction can be arbitrarily chosen. Thus, we can suppose that the direction of R_{c} is perpendicular to the directions of P_{1} and P_{2}, i.e., \(\varvec{s}_{c} \times \left( {\varvec{s}_{1} \times \varvec{s}_{2} } \right) = {\mathbf{0}} .\) In this way, it can be proved that arbitrarily adjusting the sequence among R_{c}, P_{1} and P_{2} will always result in the derivative limb structures that satisfy the two conditions.
For example, R_{a}R_{b}P_{1}P_{2}R_{c} can be obtained through changing the order of R_{c} in R_{a}R_{b}R_{c}P_{1}P_{2}. Based upon Eqs. (7) and (8), \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\) generated by R_{a}R_{b}P_{1}P_{2}R_{c} can be formulated as
Equation (15) can be rewritten as follows by computing the resultant of the first three factors using the screw triangle product in Eq. (3)
Equation (16) has the following equivalent expression for \(\varvec{s}_{c} \times \left( {\varvec{s}_{1} \times \varvec{s}_{2} } \right) = {\mathbf{0}}\text{,}\)
where
Following the similar way to derive Eq. (17) from Eq. (15), Eq. (13) can be rewritten as
where
Because \(\left( {t_{1} \varvec{s}_{1} + t_{2} \varvec{s}_{2} } \right) \times \varvec{s}_{c}\) and \(t_{1} \varvec{s}_{1} + t_{2} \varvec{s}_{2}\) are two arbitrary orthogonal vectors that are perpendicular to s_{c}, both r_{c} and r_{c}′ denote arbitrary vectors perpendicular to s_{c}. Thus, Eq. (15) is equivalent to Eq. (13).
In this manner, two derivative limb structures, R_{a}R_{b}P_{1}P_{2}R_{c} and R_{a}R_{b}P_{1}R_{c}P_{2}, can be synthesized.
Secondly, we consider the situation that \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\) has different factor(s) with \(\varvec{S}_{{f,\text{L}_{\text{I}} }}\). In this situation, each derivative limb structure has at least one different joint with R_{a}R_{b}R_{c}P_{1}P_{2}. Supposing that the direction of R_{c} is perpendicular to that of P_{1}, i.e., \(\varvec{s}_{c}^{\text{T}} \varvec{s}_{1} = 0\), it can be proved that the generated finite screw will not be changed if we use one R_{c} to replace P_{2}, or two R_{c} to replace P_{1} and P_{2}.
For example, R_{a}R_{b}R_{c}P_{1}R_{c} can be obtained from R_{a}R_{b}R_{c}P_{1}P_{2} by replacing P_{2} with R_{c}. According to Eqs. (7) and (8), \(\varvec{S^{\prime}}_{{f,\text{L}_{\text{I}} }}\) generated by R_{a}R_{b}R_{c}P_{1}R_{c} is
Using the properties of screw triangle product, Eq. (19) can be rewritten as
where \(\tilde{\varvec{s}}_{c}\) is the skew matrix of \(\varvec{s}_{c} ,\) \(\varvec{E}_{3}\) is a unit matrix of order three.
Because \(\varvec{s}_{c}^{\text{T}} \varvec{s}_{1} = 0,\) the second and third factors are two translations perpendicular to s_{c}. Using the similar derivations from Eq. (15) to Eq. (17), the following equivalent expression of Eq. (20) can be obtained
where
For the same reason as discussed about r_{c} and \(\varvec{r^{\prime}}_{c} ,\) \(\varvec{r^{\prime\prime}}_{c}\) denotes arbitrary vector which is perpendicular to s_{c}, because \(\left( {t_{1} \exp \left( {\theta_{c} \tilde{\varvec{s}}_{c} } \right)\varvec{s}_{1} + \left( {\exp \left( {\theta_{c} \tilde{\varvec{s}}_{c} } \right)  \varvec{E}_{3} } \right)\left( {\varvec{r}_{Q}  \varvec{r}_{O} } \right)} \right) \times \varvec{s}_{c}\) and \(t_{1} \exp \left( {\theta_{c} \tilde{\varvec{s}}_{c} } \right)\varvec{s}_{1} + \left( {\exp \left( {\theta_{c} \tilde{\varvec{s}}_{c} } \right)  \varvec{E}_{3} } \right)\left( {\varvec{r}_{Q}  \varvec{r}_{O} } \right)\) are two arbitrary orthogonal vectors that are perpendicular to s_{c}. This means that Eq. (19) is equivalent to Eq. (13).
In this manner, R_{a}R_{b}R_{c}P_{1}R_{c} and R_{a}R_{b}R_{c}R_{c}R_{c} are synthesized as derivative limb structures.
Furthermore, it is easy to see that arbitrarily adjusting the sequence among two R_{c} and P_{1} will not change the generated finite screw based upon the derivations in the first situation. Hence, two additional derivative limb structures are obtained, i.e., R_{a}R_{b}P_{1}R_{c}R_{c} and R_{a}R_{b}R_{c}R_{c}P_{1}.
From the above analysis, totally seven 5DoF feasible limb structures for the 2T3R PKMs are synthesized. For simplicity, we rewrite the three adjacent R joints, R_{a}R_{b}R_{c}, as S, and the two adjacent R joints, R_{a}R_{b}, as U (universal joint). These seven limb structures are listed in Table 1.
Having these limb structures at hand, we can obtain any 2T3R PKMs with several 5DoF and 6DoF limbs obeying some specific assembly conditions.
(1) According to Eq. (6), all the 5DoF limbs in a 2T3R PKM should have the same translation plane and the same rotation center O. Thus, only one 5DoF limb can be selected to compose a 2T3R PKM because S and/or U joints that belong to different limbs cannot be placed at a common point for the convenience of mechanical design.
(2) In order to design PKMs with suitable actuations, we select one 5DoF limb and four 6DoF limbs to compose a 2T3R PKM. In this way, each limb has one actuation. The four 6DoF limbs are separated into two groups, which are placed symmetrically with respect to the translation plane of the 5DoF limb. The five limbs are fixed at an icosahedron shape base in order to minimize risk of collisions and guarantee rigidity of the entire machine [37].
Using these assembly conditions, many innovative 2T3R PKMs can be synthesized. Here, we only list four topical PKMs due to space limitations, as shown in Figure 4. Some of these PKMs have been successfully applied in machining and manufacture or have great potential industrial applications because of their outstanding capabilities to realize large workspaces and flexible orientations, among which the SPR4(SPRR) in Figure 4(a) is known as METROM PKM [37] and has been developed as commercial product by German company [37] (Additional files 2, 3, 4, 5).
Kinematic Analysis Based upon Instantaneous Screws
Parametric Model of a PKM
For a PKM composed of l limbs as shown in Figure 3, its topological model has been formulated in Eqs. (6)‒(8) based upon finite screws. As discussed in Section 2, the parametric model for kinematic analysis of the PKM can be directly formulated using the differential mapping between finite and instantaneous screws. According to Eq. (5), the instantaneous screws generated by the PKM, its limbs and joints can be obtained through differentiating the corresponding finite screws of them.
Firstly, the instantaneous screw generated by the kth joint in the ith limb at its initial pose can be obtained through differentiating Eq. (8) as
Equation (22) shows the velocity of each oneDoF joint in the PKM. It can serve as the parametric models of the joints by taking ω_{i,k} and v_{i,k} as the parameters, because the unit and position vectors of the joints at their initial poses are determinate quantities.
In the similar manner, parametric model of the ith limb can be obtained by differentiating Eq. (7) and obtaining the instantaneous screws of the limb at its initial pose
Finally, the parametric model of the PKM can be formulated through differentiating Eq. (6) as
From Eqs. (22)–(24), it can be clearly seen that the relationships between the parametric models of a PKM, its limbs and joints obtained in this paper are coincident with those given by other traditional approaches. However, unlike the traditional approaches, it is unnecessary to obtain the instantaneous screw system of a PKM through solving intersection of the instantaneous screw systems of its limbs in our approach. Based upon Eq. (24), the instantaneous screw system of the PKM can be directly formulated through differentiating the finite screw given in its topological model. In this way, the Jacobian matrix of the PKM for velocity, force, precision and stiffness modeling can be easily carried out using the obtained instantaneous screw system, which is ready to conduct kinematic analysis for parameter optimization and performance evaluation.
Kinematic Analysis of METROM PKM
Taking a typical structure of the synthesized innovative PKMs in Section 3, i.e., SPR4(SPRR) (METROM) PKM shown in Figure 4(a), for example, the detailed procedures of how to directly obtain its parametric model through differentiating the topological model will be shown. The instantaneous screws related Jacobian matrix will then be formulated for kinematic analysis.
According to the derivations in Section 3, the topological model of the METROM PKM can be formulated as
Using the derivative properties of screw triangle product [33], the parametric model of this PKM can be directly obtained by taking differential of Eq. (25)
It means that the instantaneous screw generated by the METROM PKM at its initial pose is the linear combination of five instantaneous screws. Thus, the Jacobian matrix of this PKM can be obtained through rewriting Eq. (26) into matrix form
Based upon this Jacobian matrix, the constraint force exerted on the moving platform of the PKM can be found. It is a line vector whose axis passes through point O with the direction s_{1} × s_{2}, which restrains the oneDoF translation along its direction. It is expressed by a screw (wrench) as
Having the Jacobian matrix and constraint force of the METROM PKM at hand, kinematic analysis of it can be carried out. In this way, parameter optimization and performance evaluation can be done, which are important parts in the parameter innovative design of METROM PKM. Because velocity and force [24,25,26], precision [27, 28] and stiffness [29,30,31,32] analysis of PKMs using Jacobian matrix and constraint force under instantaneous screws are widely researched, we do not give the detailed procedures here due to space limitation.
Conclusions
This paper presents a finite and instantaneous screw based approach for topology design and kinematic analysis. A kind of 2T3R 5axis PKMs is taken as example to show the validity of the proposed approach. Following conclusions are drawn.

(1)
The topological models of PKMs are formulated by describing finite motions of the PKMs, their limbs and joints by finite screws.

(2)
Using the derivative mapping between finite and instantaneous screws, the parametric models of PKMs are proved to be directly obtained by differentiating the corresponding topological models.

(3)
Using these models, type synthesis and kinematic analysis of PKMs can be carried out and strongly related. Type synthesis for topology design and kinematic analysis for parameter optimization and performance evaluation of a kind of 2T3R 5axis PKMs are done to show the validity of the proposed approach.
References
“Made in China 2025” Plan, Ministry of Industry and Information Technology of the People’s Republic of China. http://www.miit.gov.cn. Accessed 22 May 2017.
“Made in China 2025” Plan, Ministry of Science and Technology of the People’s Republic of China. http://www.most.gov.cn. Accessed 22 May 2017.
J He, F Gao, X D Meng, et al. Type synthesis for 4DOF parallel press mechanism using G_{F} set theory. Chinese Journal of Mechanical Engineering, 2015, 28(4): 851859.
F G Xie, X J Liu, Z You, et al. Type synthesis of 2T1Rtype parallel kinematic mechanisms and the application in manufacturing. Robotics and ComputerIntegrated Manufacturing, 2014, 30(1): 110.
F Gao, W M Li, X C Zhao, et al. New kinematic structures for 2, 3, 4, and 5DOF parallel manipulator designs. Mechanism and Machine Theory, 2002, 37(11): 256269.
J S Dai, T S Zhao. Stiffness characteristics and kinematics analysis of twolink elastic underactuated manipulators. Journal of Robotic Systems, 2002, 19(4): 169176.
K T Zhang, J S Dai, Y F Fang. Constraint analysis and bifurcated motion of the 3PUP parallel mechanism. Mechanism and Machine Theory, 2012, 49: 256269.
X Li, X L Ding, G S Chirikjian. Analysis of a mechanism with redundant drive for antenna pointing. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, 2017, 231(2): 229239.
B Li, W Zhao, Z Q Deng. Modeling and analysis of a multidimensional vibration isolator based on the parallel mechanism. Journal of Manufacturing Systems, 2012, 31(1): 5058.
F Jiang, H S Ding, T Fu, et al. The kinematic influence coefficient analysis of a parallel stabilized platform testing system. Advanced Materials Research, 2011, 308310: 21202126.
F Gao, W Z Guo, Q Y Song, et al. Current development of heavyduty manufacturing equipments. Journal of Mechanical Engineering, 2010, 46(19): 92107.
F Gao. Reflection on the current status and development strategy of mechanism research. Journal of Mechanical Engineering, 2005, 41(8): 317. (in Chinese).
L W Tsai. Robot analysis: the mechanics of serial and parallel manipulators. New York: John Wiley & Sons, Inc., 1999.
F Gao, J Yang, Q J Ge. GF set theory for parallel mechanism type synthesis. Beijing: Science Press, 2011.
Z Huang, Q C Li, H F Ding. Theory of parallel mechanisms. Netherlands: Springer, 2013.
J M Hervé. Analyse structurelle des mécanismes par groupe des déplacements. Mechanism and Machine Theory, 1978, 13(4): 437450.
J M Hervé, F Sparacino. Structural synthesis of “parallel” robots generating spatial translation. Proceedings of the IEEE International Conference on Advanced Robotics, Pisa, Italy, 1991: 808813.
Q C Li, J M Hervé. Parallel mechanisms with bifurcation of schoenflies motion. IEEE Transactions on Robotics, 2009, 25(1): 158164.
Q C Li, J M Hervé. Type synthesis of 3DOF RPRequivalent parallel mechanisms. IEEE Transactions on Robotics, 2014, 30(6): 13331343.
R W Brockett. Mathematical theory of networks and systems. Robotic manipulators and the product of exponential formula, New York: Springer, 1984: 120129.
A Perez, J M McCarthy. Dual quaternion synthesis of constrained robotic systems. ASME Journal of Mechanical Design, 2004, 126(3): 425435.
J M Selig. Exponential and cayley maps for dual quaternions. Advances in Applied Clifford Algebras, 2010, 20(3): 923936.
J S Dai. EulerRodrigues formula variations, quaternion conjugation and intrinsic connections. Mechanism and Machine Theory, 2015, 92: 144152.
H B Qu, Y F Fang, S Guo. Theory of degrees of freedom for parallel mechanisms with three spherical joints and its applications. Chinese Journal of Mechanical Engineering, 2015, 28(4): 737746.
T Sun, Y M Song, G Dong. Optimal design of a parallel mechanism with three rotational degrees of freedom. Robotics and ComputerIntegrated Manufacturing, 2012, 28(4): 500508.
J S Wang, C Wu, X J Liu. Performance evaluation of parallel manipulators: motion/force transmissibility and its index. Mechanism and Machine Theory, 2010, 45(10): 14621476.
T Sun, Y P Zhai, Y M Song. Kinematic calibration of a 3DoF rotational parallel manipulator using laser tracker. Robotics and ComputerIntegrated Manufacturing, 2016, 41: 7891.
S H Hu, X L Liu, J C Sun. Error modeling and simulation of serialparallel mechanism based on screw theory. Applied Mechanics and Materials, 2014, 527: 156161.
T Sun, B B Lian, Y M Song. Stiffness analysis of a 2DoF overconstrained RPM with an articulated traveling platform. Mechanism and Machine Theory, 2016, 96(1): 165178.
Y Q Zhao, Y Jin, J Zhang. Kinetostatic modeling and analysis of an exechon parallel kinematic machine(PKM) module. Chinese Journal of Mechanical Engineering, 2016, 29(1): 3344.
B B Lian, T Sun, Y M Song. Stiffness analysis and experiment of a novel 5DoF parallel kinematic machine considering gravitational effects. International Journal of Machine Tools and Manufacture, 2015, 95: 8296.
J J Yu, S S Bi, G H Zong. Analysis for the static stiffness of a 3DOF parallel compliant micromanipulator. Journal of Mechanical Engineering, 2002, 38(4): 710. (in Chinese).
T Sun, S F Yang, T Huang, et al. A way of relating instantaneous and finite screws based on the screw triangle product. Mechanism and Machine Theory, 2017, 108: 7582.
S F Yang, T Sun, T Huang, et al. A finite screw approach to type synthesis of threeDOF translational parallel mechanisms. Mechanism and Machine Theory, 2016, 104: 405419.
S F Yang, T Sun, T Huang. Type synthesis of parallel mechanisms having 3T1R motion with variable rotational axis. Mechanism and Machine Theory, 2017, 109: 220230.
T Sun, S F Yang, T Huang, et al. A generalized and analytical method to solve inverse kinematics of serial and parallel mechanisms using finite screw theory. Proceedings of 7th IFToMM International Workshop on Computational Kinematics (IFToMM CK 2017), Poitiers, France, May 2224, 2017: 602608.
Mobile 5AchsFräsmaschine mit Rundtisch, METROM Mechatronische Maschinen GmbH. http://www.metrommobil.com. Accessed 22 May 2017.
F G Xie, X J Liu, X Luo. Mobility, singularity, and kinematics analyses of a novel spatial parallel mechanism. ASME Journal of Mechanisms and Robotics, 2016, 8(6): 061022106102210.
X L Ding, J M Selig, J S Dai. Screw theory on the analysis of mechanical systems with spatial compliant. Journal of Mechanical Engineering, 2005, 41(8): 6368. (in Chinese).
Y Lu, B Hu. Analyzing kinematics and solving active/constrained forces of a 3SPU + UPR parallel manipulator. Mechanism and Machine Theory, 2007, 42(10): 12981313.
C X Tian, Y F Fang, S Guo. Structural synthesis of a class of 2R2T hybrid mechanisms. Chinese Journal of Mechanical Engineering, 2016, 29(4): 703709.
Authors’ Contributions
TS was in charge of the whole trial; TS and SFY wrote the manuscript. All authors read and approved the final manuscript.
Authors’ Information
Tao Sun, born in 1983, is currently a professor at Tianjin University, China. He received his PhD degree from Tianjin University, China, in 2012. His research interests include type synthesis, kinematic/static/dynamic modeling, analysis and optimal design of parallel mechanisms under framework of screw theory, orthopedics medical robot. Tel: +862287402015; Email: stao@tju.edu.cn.
ShuoFei Yang, born in 1988, is appointed as a research associate at The Hong Kong Polytechnic University, Hong Kong, China. He received his PhD degree from Tianjin University, China, in 2017. His research interests include type synthesis and kinematic analysis of parallel mechanisms. Email: yangsf@tju.edu.cn.
Tian Huang, born in 1953, is currently a professor at Tianjin University, China. He received his PhD degree from Tianjin University, China, in 1990. His research interests include kinematics and dynamics of machine tools and robotics. Email: tianhuang@tju.edu.cn.
Jian S. Dai, born in 1954, is currently a professor at King’s College London, University of London, UK. He received his PhD degree from University of Salford, UK, in 1993. His research interests include theoretical and computational kinematics, reconfigurable mechanisms, dexterous mechanisms and manipulators, endeffectors and multifingered hands. Email: jian.dai@kcl.ac.uk.
Competing Interests
The authors declare that they have no competing interests.
Ethics Approval and Consent to Participate
Not applicable.
Funding
Supported by National Natural Science Foundation of China (Grant No. 51675366), and Tianjin Research Program of Application Foundation and Advanced Technology (Grant Nos. 16JCYBJC19300, 15JCZDJC38900).
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Author information
Authors and Affiliations
Corresponding author
Additional files
Additional file 1.
Brief Introduction to this paper.
Additional File 3.
Prototype of Tricept IV parallel kinematic machine.
Additional file 4.
Prototype of PaQuad parallel robot.
Additional file 5.
Simulation of PaQuad parallel robot.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sun, T., Yang, SF., Huang, T. et al. A Finite and Instantaneous Screw Based Approach for Topology Design and Kinematic Analysis of 5Axis Parallel Kinematic Machines. Chin. J. Mech. Eng. 31, 44 (2018). https://doi.org/10.1186/s1003301802416
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1003301802416
Keywords
 Innovative design
 Parallel kinematic machines
 Screw theory
 Finite screw
 Instantaneous screw