A Finite and Instantaneous Screw Based Approach for Topology Design and Kinematic Analysis of 5-Axis Parallel Kinematic Machines

Chinese Journal of Mechanical Engineering, May 2018

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 non-redundant screws in quasi-vector 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 two-translational and three-rotational (2T3R) 5-axis 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.

A PDF file should load here. If you do not see its contents the file may be temporarily unavailable at the journal website or you do not have a PDF plug-in installed and enabled in your browser.

Alternatively, you can download the file locally and open with any standalone PDF reader:

https://link.springer.com/content/pdf/10.1186%2Fs10033-018-0241-6.pdf

A Finite and Instantaneous Screw Based Approach for Topology Design and Kinematic Analysis of 5-Axis Parallel Kinematic Machines

Sun et al. Chin. J. Mech. Eng. A Finite and Instantaneous Screw Based Approach for Topology Design and Kinematic Analysis of 5-Axis Parallel Kinematic Machines Tao Sun 0 Shuo‑Fei Yang 0 Tian Huang 0 2 Jian S. Dai 1 0 Key Laboratory of Mechanism Theory and Equipment Design of Ministry of Education, Tianjin University , Tianjin 300350 , China 1 Centre for Robotics Research, School of Natural Sciences and Mathematics, King's College London, University of London , London WC2R 2LS , UK 2 School of Engineer‐ ing, The University of Warwick , Coventry CV4 7AL , UK 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 non‑ redundant screws in quasi‑ vector 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 two‑ translational and three‑ rotational (2T3R) 5‑ axis 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. Innovative design; Parallel kinematic machines; Screw theory; Finite screw; Instantaneous screw 1 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–5], stiffness characteristics [6], constraint properties [7] and kinematic performances [8–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–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 open-loop mechanisms. His work was extended to deal with closed-loop 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 Baker-Campbell-Hausdorff 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 Baker-CampbellHausdorff 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–26], precision [27, 28] and stiffness [29–32] analysis. In the authors’ previous work [33–36], finite screw is proved to be the concise and non-redundant 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 two-translational and three-rotational (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 three-DoF rotations about a fixed point. Some of them have great potential for industrial applications in 5-axis 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 state-of-the-art 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). 2 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. x Figure 1 Finite motion of a rigid body x Figure 2 Instantaneous motion of a rigid body θ 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 quasi-vector form [33] in the simplest and non-redundant manner as 0 Sf = 2 tan + t s , ( 1 ) where sf and rf 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–41] as St = ω 0 + v s , where st and rt 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 Sf ,ab = Sf ,a △ Sf ,b = Sf ,a + Sf ,b + θ θ 0 − tan 2a tan 2b tb sf ,a 1 − tan θ a tan θ2b sfT,asf ,b , 2 where Sf ,b × Sf ,a 2 0 + ta sf ,b θ Sf ,a = 2 tan a 2 θ Sf ,b = 2 tan b 2 sf ,a rf ,a × sf ,a sf ,b rf ,b × sf ,b 0 + ta sf ,a 0 + tb sf ,b , . Sf,a and Sf,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 ( 3 ) ( 4 ) ( 2 ) 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 St,ab = St,a + St,b. The resultant instantaneous screw can be obtained by adding them together exists differential mapping between finite and instantaneous screws. This means the derivative of finite screw is derived to be instantaneous screw [33] = ω 0 + v s 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, 5-axis 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. 3 Type Innovative Design Based upon Finite Screws 3.1 Topological Model of a PKM Suppose a PKM is composed of l open-loop limbs, as shown in Figure  3. Each limb consists ni (i = 1, 2, ···, l) one-DoF joints (revolute joints (R) and prismatic joints Moving platform The kth joint in the ith limb The ith limb Base (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. Sf ,PKM = Sf ,1 ∩ Sf ,2 ∩ · · · ∩ Sf ,l, Sf ,i = Sf ,i,ni △ Sf ,i,ni−1 △ · · · △ Sf ,i,1, i = 1, 2, · · · , l, k = 1, 2, · · · , ni.   2 tan θ2i,k  Sf ,i,k =     ti,k si,k si,k ri,k × si,k 0 , , R joint, P joint, Where Sf,PKM denotes the finite screw generated by the PKM, Sf,i is the finite screw generated by its ith limb, Sf,i,k is the finite screw of the kth joint in the ith limb. The denotations of si,k, ri,k, θi,k and ti,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. ( 6 ) ( 7 ) ( 8 ) 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 5-Axis 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. 3.2 Type Synthesis of 2T3R 5A‑xis 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., two-DoF translations in a fixed plane followed by three-DoF rotations about a fixed point O, which allows the PKMs realize 5-axis machining. Hence, the finite motions of a PKM with this 2T3R motion can be written using finite screw as 0 Sf ,PKM = t2 s 2 θ △ 2 tan b 2 0 △ t1 s 1 where Sf ,LI and Sf ,LII denote the first and second standard Sf,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, RaRbRcP1P2 and P3RaRbRcP1P2, 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 5-DoF limbs here, because the 6-DoF ones can be easily obtained by random permutation of the joints in P3RaRbRcP1P2. A 5-DoF derivative limb of RaRbRcP1P2 should satisfy the following two conditions: ( 1 ) The finite screw it generates is equivalent to the standard one, i.e., Sf ,LI in Eq. ( 13 ), and thus denoted ( 2 ) SaTsfh,SLeI′ffbi,LuvIet; hfaacvteodrsiffinerSen′ft,LsIeaqrueetnhcee,soamrSe′fw,LiIthhatshdoisfefeirnent factor(s) with Sf ,LI. Firstly, we consider the situation that S′f ,LI and Sf ,LI have the same five factors. It means that the corresponding derivative limb structures have the same five joints with RaRbRcP1P2. Hence, these derivative limb structures can be obtained by permutation of R R R P P a b c 1 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 tPh1eadnidrePc2ti,oin.e.o,fscR×ci(ssp1e×rpsen)d=ic0u.laIrntothtishewdayir,eictticoanns boef 2 proved that arbitrarily adjusting the sequence among Rc, P1 and P2 will always result in the derivative limb structures that satisfy the two conditions. For example, R R P P R a b 1 2 c can be obtained through changing the orde′r of Rc in RaRbRcP1P2. Based upon Eqs.  ( 7 ) and ( 8 ), S f ,LI generated by RaRbP1P2Rc can be formulated as S′f ,LI = 2 tan θc 2 θ △ 2 tan b 2 sc rO × sc According to Eq. ( 6 ), the feasible limb structures for the 2T3R PKMs should generate finite screws that contain Sf,PKM in Eq. ( 9 ) Through adding none or one translational factor into Sf,PKM, finite screws of the feasible limb structures should have either of the following two expressions Sf ,PKM ⊆ Sf ,i Sf ,i = Sf ,PKM, 0 Sf ,i = Sf ,PKM △ t3 s 3 , which correspond to the 5-DoF and 6-DoF limb structures, respectively. Substituting Eq. ( 10 ) into Eqs. ( 11 ) and ( 12 ) leads to the two standard Sf ,i 0 Sf ,LI = t2 s 2 θ △ 2 tan b 2 0 △ t1 s 1 Equation  ( 16 ) has the following equivalent expression for sc × (s1 × s2) = 0, Using the properties of screw triangle product, Eq. ( 19 ) can be rewritten as , r′c = rO − (t1s1 + t2s2) × sc + t1s1 + t2s2 2 . 2 tan θ2c Following the similar way to derive Eq.  ( 17 ) from Eq. ( 15 ), Eq. ( 13 ) can be rewritten as Sf ,LI = 2 tan θ2c rO × sc + t12st1a+nt2θs2csc2 − (t1s1+t22s2)×sc △ 2 tan θb 2 = 2 tan θc 2 △ 2 tan θa 2 , Because (t1s1 + t2s2) × sc and t1s1 + t2s2 are two arbitrary orthogonal vectors that are perpendicular to sc, both rc and rc′ denote arbitrary vectors perpendicular to sc. Thus, Eq. ( 15 ) is equivalent to Eq. ( 13 ). In this manner, two derivative limb structures, RaRbP1P2Rc and RaRbP1RcP2, can be synthesized. Secondly, we consider the situation that S′f ,LI has different factor(s) with Sf ,LI. In this situation, each derivative limb structure has at least one different joint with RaRbRcP1P2. Supposing that the direction of Rc is perpendicular to that of P1, i.e., scTs1 = 0, it can be proved that the generated finite screw will not be changed if we use one Rc to replace P2, or two Rc to replace P1 and P2. For example, RaRbRcP1Rc can be obtained from RanaRdb(R8c)P,S1P′f2,LbIygernepelraacteindgbPy2RwaRithbRRcPc.1RAccicsording to Eqs. ( 7 ) S′f ,LI = 2 tan θc′ sc 2 rQ × sc where s˜c is the skew matrix of sc, E3 is a unit matrix of order three. Because scTs1 = 0, the second and third factors are two translations perpendicular to sc. Using the similar derivations from Eq.  ( 15 ) to Eq.  ( 17 ), the following equivalent expression of Eq. ( 20 ) can be obtained S′f ,LI = 2 tan θc + θc′ 2 s r′′c ×c sc △ 2 tan θb 2 rc For andthe r′sca,me r′′creasodnenotaess diasrcbuistrsaerdy abvoeuc-t tor which is perpendicular to sc, because t1 exp (θcs˜c)s1 + (exp (θcs˜c) − E3) rQ − rO × sc and t1 exp (θcs˜c)s1 + (exp (θcs˜c) − E3) rQ − rO are two arbitrary orthogonal vectors that are perpendicular to sc. This means that Eq. ( 19 ) is equivalent to Eq. ( 13 ). In this manner, RaRbRcP1Rc and RaRbRcRcRc are synthesized as derivative limb structures. Furthermore, it is easy to see that arbitrarily adjusting the sequence among two Rc and P1 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., RaRbP1RcRc and RaRbRcRcP1. From the above analysis, totally seven 5-DoF feasible limb structures for the 2T3R PKMs are synthesized. For simplicity, we rewrite the three adjacent R joints, RaRbRc, as S, and the two adjacent R joints, RaRb, 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 5-DoF and 6-DoF limbs obeying some specific assembly conditions. ( 1 ) According to Eq. ( 6 ), all the 5-DoF limbs in a 2T3R PKM should have the same translation plane and the same rotation center O. Thus, only one 5-DoF 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 5-DoF limb and four 6-DoF limbs to compose a 2T3R PKM. In this way, each limb has one actuation. The four 6-DoF limbs are separated into two groups, which are placed symmetrically with respect to the translation plane of the 5-DoF 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 SPR-4(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). 4 Kinematic Analysis Based upon Instantaneous Screws 4.1 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 Figure 4 Typical 2T3R PKMs. a SPR‑4(SPRR), b SRR‑4(SPRR), c UPPR‑ 4(SPRR), d UPRR‑4(SPRR) Equation ( 22 ) shows the velocity of each one-DoF joint in the PKM. It can serve as the parametric models of the joints by taking ωi,k and vi,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 St,i = S˙ f ,i θi,k = 0 ti,k = 0 , k=1,2,··· ,ni = ni k=1 ˙ Sf ,i,k θi,k = 0 ti,k = 0 , k=1,2,··· ,ni = ni k=1 St,i,k . Finally, the parametric model of the PKM can be formulated through differentiating Eq. ( 6 ) as St,PKM = S˙ f ,PKM θi,k = 0 i = 1, 2, · · · , l ti,k = 0 , k = 1, 2, · · · , ni = S˙ f ,1 θ1,k = 0 t1,k = 0 , k=1,2,··· ,n1 ∩ S˙ f ,2 θ2,k = 0 t2,k = 0 , k=1,2,··· ,n2 ∩ · · · ∩ S˙ f ,l θl,k = 0 tl,k = 0 , k=1,2,··· ,nl = St,1 ∩ St,2 ∩ · · · ∩ St,l . 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 si,k  θ˙i,k ri,k × si,k  St,i,k = S˙ f ,i,k θtii,,kk == 00 =  t˙i,k s0i,k ,  si,k  ωi,k ri,k × si,k =  0    vi,k si,k , , R joint P joint , R joint P joint ( 22 ) ( 23 ) ( 24 ) conduct kinematic analysis for parameter optimization and performance evaluation. 4.2 Kinematic Analysis of METROM PKM Taking a typical structure of the synthesized innovative PKMs in Section  3, i.e., SPR-4(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 0 Sf ,METROM = t2 s2 △ 2 tan θb 2 + θ˙c rO s×c sc 1 2 2 + θ˙b rO s×b sb 0 = v2 s + ωb rO s×b sb + θ˙a rO s×a sa 0 + v1 s 1 + ωc rO s×c sc + ωa rO s×a sa . 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 St,METROM = sa sb sc 0 0 rO × sa rO × sb rO × sc s1 s2  ωv1c . ( 26 )  ωa  ωb v2 ( 27 ) 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 s1 × s2, which restrains the one-DoF translation along its direction. It is expressed by a screw (wrench) as Sw,METROM = f s3 rO × s3 , s3 = s1 × s2 |s1 × s2| 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–26], precision [27, 28] and stiffness [29–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. 5 Conclusions This paper presents a finite and instantaneous screw based approach for topology design and kinematic analysis. A kind of 2T3R 5-axis 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 5-axis PKMs are done to show the validity of the proposed approach. Additional files Additional file 1. Brief Introduction to this paper. Additional File 2. Vedio of Tricept IV parallel kinematic machine. 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. Authors’ Contributions TS was in charge of the whole trial; TS and S‑FY 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: +86‑22‑87402015; E‑mail: . Shuo‑Fei 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. E‑mail: 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. E‑mail: . 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 kin‑ ematics, reconfigurable mechanisms, dexterous mechanisms and manipula‑ tors, end‑ effectors and multifingered hands. E‑mail: . 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 pub‑ lished maps and institutional affiliations. [1] “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 . [2] “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 . [3] J He , F Gao , X D Meng , et al. Type synthesis for 4‑DOF parallel press mechanism using GF set theory . Chinese Journal of Mechanical Engineering , 2015 , 28 ( 4 ): 851 ‑ 859 . [4] F G Xie , X J Liu , Z You , et al. Type synthesis of 2T1R‑type parallel kinematic mechanisms and the application in manufacturing . Robotics and Computer‑Integrated Manufacturing , 2014 , 30 ( 1 ): 1 ‑ 10 . [5] F Gao , W M Li , X C Zhao , et al. New kinematic structures for 2‑ , 3 ‑, 4 ‑, and 5‑DOF parallel manipulator designs . Mechanism and Machine Theory , 2002 , 37 ( 11 ): 256 ‑ 269 . [6] J S Dai , T S Zhao . Stiffness characteristics and kinematics analysis of twolink elastic underactuated manipulators . Journal of Robotic Systems , 2002 , 19 ( 4 ): 169 ‑ 176 . [7] 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 : 256 ‑ 269 . [8] 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 ): 229 ‑ 239 . [9] B Li , W Zhao , Z Q Deng . Modeling and analysis of a multi‑ dimensional vibration isolator based on the parallel mechanism . Journal of Manufacturing Systems , 2012 , 31 ( 1 ): 50 ‑ 58 . [10] 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 , 308 ‑ 310 : 2120 ‑ 2126 . [11] F Gao , W Z Guo , Q Y Song , et al. Current development of heavy‑ duty manufacturing equipments . Journal of Mechanical Engineering , 2010 , 46 ( 19 ): 92 ‑ 107 . [12] F Gao. Reflection on the current status and development strategy of mechanism research . Journal of Mechanical Engineering , 2005 , 41 ( 8 ): 3 ‑ 17 . (in Chinese). [13] L W Tsai . Robot analysis: the mechanics of serial and parallel manipulators . New York: John Wiley & Sons, Inc., 1999 . [14] F Gao , J Yang , Q J Ge . GF set theory for parallel mechanism type synthesis . Beijing: Science Press, 2011 . [15] Z Huang , Q C Li , H F Ding. Theory of parallel mechanisms . Netherlands: Springer, 2013 . [16] J M Hervé. Analyse structurelle des mécanismes par groupe des déplacements . Mechanism and Machine Theory , 1978 , 13 ( 4 ): 437 ‑ 450 . [17] 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 : 808 ‑ 813 . [18] Q C Li , J M Hervé. Parallel mechanisms with bifurcation of schoenflies motion . IEEE Transactions on Robotics , 2009 , 25 ( 1 ): 158 ‑ 164 . [19] Q C Li , J M Hervé . Type synthesis of 3‑DOF RPR‑ equivalent parallel mechanisms . IEEE Transactions on Robotics , 2014 , 30 ( 6 ): 1333 ‑ 1343 . [20] R W Brockett . Mathematical theory of networks and systems. Robotic manipulators and the product of exponential formula , New York: Springer, 1984 : 120 ‑ 129 . [21] A Perez , J M McCarthy. Dual quaternion synthesis of constrained robotic systems . ASME Journal of Mechanical Design , 2004 , 126 ( 3 ): 425 ‑ 435 . [22] J M Selig. Exponential and cayley maps for dual quaternions . Advances in Applied Clifford Algebras , 2010 , 20 ( 3 ): 923 ‑ 936 . [23] J S Dai . Euler‑Rodrigues formula variations, quaternion conjugation and intrinsic connections . Mechanism and Machine Theory , 2015 , 92 : 144 ‑ 152 . [24] 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 ): 737 ‑ 746 . [25] T Sun , Y M Song , G Dong . Optimal design of a parallel mechanism with three rotational degrees of freedom . Robotics and Computer‑Integrated Manufacturing , 2012 , 28 ( 4 ): 500 ‑ 508 . [26] 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 ): 1462 ‑ 1476 . [27] T Sun , Y P Zhai , Y M Song. Kinematic calibration of a 3‑DoF rotational parallel manipulator using laser tracker . Robotics and Computer‑Integrated Manufacturing , 2016 , 41 : 78 ‑ 91 . [28] S H Hu , X L Liu , J C Sun . Error modeling and simulation of serial‑parallel mechanism based on screw theory . Applied Mechanics and Materials , 2014 , 527 : 156 ‑ 161 . [29] T Sun , B B Lian , Y M Song. Stiffness analysis of a 2‑DoF over ‑ constrained RPM with an articulated traveling platform . Mechanism and Machine Theory , 2016 , 96 ( 1 ): 165 ‑ 178 . [30] 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 ): 33 ‑ 44 . [31] B B Lian , T Sun , Y M Song. Stiffness analysis and experiment of a novel 5‑DoF parallel kinematic machine considering gravitational effects . International Journal of Machine Tools and Manufacture , 2015 , 95 : 82 ‑ 96 . [32] J J Yu , S S Bi , G H Zong . Analysis for the static stiffness of a 3‑DOF parallel compliant micromanipulator . Journal of Mechanical Engineering , 2002 , 38 ( 4 ): 7 ‑ 10 . (in Chinese). [33] 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 : 75 ‑ 82 . [34] S F Yang , T Sun , T Huang , et al. A finite screw approach to type synthesis of three‑DOF translational parallel mechanisms . Mechanism and Machine Theory , 2016 , 104 : 405 ‑ 419 . [35] 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 : 220 ‑ 230 . [36] 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 22 ‑24, 2017 : 602 ‑ 608 . [37] Mobile 5 ‑Achs‑Fräsmaschine mit Rundtisch, METROM Mechatronische Maschinen GmbH . http://www.metrom‑mobil . com. Accessed 22 May 2017 . [38] 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 ): 061022 ‑1‑ 061022 ‑10. [39] 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 ): 63 ‑ 68 . (in Chinese). [40] Y Lu , B Hu . Analyzing kinematics and solving active/constrained forces of a 3SPU + UPR parallel manipulator . Mechanism and Machine Theory , 2007 , 42 ( 10 ): 1298 ‑ 1313 . [41] 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 ): 703 ‑ 709 .


This is a preview of a remote PDF: https://link.springer.com/content/pdf/10.1186%2Fs10033-018-0241-6.pdf

Tao Sun, Shuo-Fei Yang, Tian Huang, Jian S. Dai. A Finite and Instantaneous Screw Based Approach for Topology Design and Kinematic Analysis of 5-Axis Parallel Kinematic Machines, Chinese Journal of Mechanical Engineering, 2018, 44, DOI: 10.1186/s10033-018-0241-6