<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Evgeniy Lyubchinov</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Konstantin Panchuk</string-name>
          <email>panchuk_kl@mail.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Omsk State Technical University</institution>
          ,
          <addr-line>Mira, h. 11, Omsk, 644050</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Since the modern systems of automated road surface form design have allowed us to abandon the two stages road axis design - the map projection and the cross projection - in favor of defining the road axis as a spatial curve in the form of parametric splines, the smoothness of connection of curves and surfaces comprising the roadway remains an open question. The authors further develop the cyclographic method in road surface formation and study the problem of smoothness of connection of ruled surfaces segments generated through the cyclographic mapping of a spatial curve. The present paper considers the aspects of smooth connection of polynomial spline curve segments and the respective cyclographic projections, as well as ruled surface segments that are directed by these curves. The results of the study allow one to pre-define the desirable order of smoothness of the connected curve segments and ruled surface segments comprising the road surface forms on the stage of road axis design and subsequent road surface formation. This fact can serve as the basis for development of CAD systems for road surface forms of general and special purpose. Cyclographic method, mapping, geometric modeling, roads, road surface forms, smoothness</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>The modern automated road design has demand for development of the design methods and the
mathematical apparatus of the applied geometric model. The design method dominating in this area at
the moment is the Delaunay triangulation method commonly applied in road design CAD systems
[1,2,3]. There are, however, certain areas where the triangulation method does not provide the required
geometric parameters of the resulting model of road surface form. Let us consider a vehicle as a particle
point following a curvilinear trajectory r  r(t) . It is known that the first derivative of radius-vector
r (t) with respect to parameter t defines the velocity vector, while the second derivative defines the
acceleration vector, and the third derivative defines the jerk vector [4,5]. Obviously, frequent and rapid
changes in acceleration are frequent and rapid jerks that can potentially damage cargo, injure passengers
and drivers. It is therefore essential to assure smoothness of jerk variation function as well as its
continuity. This requires moving trajectory continuity of up to the fourth derivative of its vector function
[4]. Specific areas of road design demand geometric models featuring segments of curves and surfaces
generating road surface forms to have high orders of smoothness, such as, for example, highway design,
virtual road surface formation models for testing self-driving capabilities of artificial intelligence, etc.
[6]</p>
      <p>There is a sufficient number of scientific publications on the topic of smoothness of connection of
spatial curve segments defining the road axis. However, assuring smoothness of connection of surface
segments forming the road surface remains an open question. At the moment there is a relatively low
number of Russian studies dedicated to development of new geometric models of road surface forms</p>
      <p>2021 Copyright for this paper by its authors.
with specified geometric parameters. One of such studies worth mentioning is the mathematical model
proposed by Professor Salkov N. A. [7]. It constitutes a system of equations describing road surface
form as a ruled non-developable surface. Another noteworthy model was proposed by Professor
Mufteev V. G. [4,8]. It is based on high-quality spline curves.</p>
      <p>The authors of the present paper have proposed a geometric model of road surface formation through
the method of cyclographic mapping [9,10]. As with other models of road surface formation, the core
of this model is a spatial curve modeling road axis. This curve along with its cyclographic projection
serve as directrices for ruled surfaces that form the carriage way, the road shoulder and the slopes. The
proposed geometric model allows one to acquire an analytical solution to the problem of mathematical
description of the formed ruled surfaces. However, the question of smoothness of connection of formed
ruled surface segments remains open and requires dedicated studying.</p>
      <p>It is therefore the objective of the present paper to study smooth connection of segments of ruled
surfaces forming road surface forms. The starting point of the study is the correlation between
smoothness of connection of surfaces segments and smoothness of connection of segments of the
corresponding directrices. Here each pair of directing segments of a single ruled surface segment are
bijectively correspondent in cyclographic mapping as a prototype and its cyclographic image.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Aspects of connection of road surfaces and curves formed through the method of cyclographic mapping</title>
      <p>The studies of capabilities of the method of cyclographic mapping in road surface formation
conducted by the authors yielded two geometric models [9]. The first of these models is based on the
classic cyclographic projection of a spatial curve and allows one to acquire road surface forms in the
form of developable surfaces. The analysis of the existing body of construction literature [1,2,7] and
the typical solutions applied in road surface design showed that a different model is required. This
model is derived from the first one by means of a specific transformation and allows one to acquire
road surface forms in the form of non-developable surfaces.</p>
      <p>The classic cyclographic representation features half-angle at the mapping cone vertex between its
axis and its generatrix α=45° [11]. Obviously, this value of half-angle α does not result in road surface
forms that comply with the current standards and road design rules. The authors have acquired the
equations for cyclographic mapping of a spatial curve that allow for constant half-angle value within
limits (0°, 90°) as well as variable half-angle as a function of a certain parameter t [9,12]. Such
cyclographic projections were called β- and β(t)-projections respectively. These projections made the
basis of the first and the second geometric models of road surface formation [9].</p>
      <p>
        Let us consider the way road surface formation is performed. The road axis is given in the form of
a spatial curve P(t)  (x(t), y(t), z(t)) of smoothness C k , t  R :T0  t  T , k 1, 2, ... . A
cyclographic projection P (
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t  of the spatial curve P(t) is constructed [9,10]. The curves P(t) and
P (
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t  combined generate a ruled surface Φ (Figure 1). In order to achieve the desirable width, this
surface is then trimmed by means of vertical cylindrical surfaces constructed through curves Pe(
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t 
equidistant with respect to the orthogonal projection P1 t  of road axis P(t) . This way the projecting
cylindrical surfaces constructed through the curves Pe(
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t  upon intersection with the ruled surface
Φ form the sought spatial curves of carriage way edges m(
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t  (Figure1). Obviously, the road axis
P(t) and the acquired edges m(
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t  constitute road surface form directrices. It should be noted that
the cyclographic projection P (
        <xref ref-type="bibr" rid="ref1 ref2">1,2</xref>
        ) t  in general consists of two branches. Figure 1 illustrates
construction of carriage way edge m(
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) t  of one of the two branches of the cyclographic projection,
namely P (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) t  .
      </p>
    </sec>
    <sec id="sec-3">
      <title>2.1. Aspects of connection of cyclographic projection segments</title>
      <p>The initial object in road surface formation is the trajectory that is the road axis. Every subsequent
construction relies on the road axis. In most cases the road axis is given in the form of a spline curve
consisting of a number of segments connected with a certain order of smoothness [1,4,8,13,14,15]. In
the previous studies of the cyclographic approach in road surface formation the authors have established
the correspondence between the smoothness of connection of the initial spline segments (road axis
segments) and the respective cyclographic projection segments [16]. In addition, the following
statement has been proven: subsequent fulfillment of equations of continuous derivatives of polynomial
vector functions describing segments of order up to k inclusive in the points of connection of spline
k1
curve segments P(t)   Ai  ti , t T0 ,T  R1 is sufficient in order to achieve smoothness Сk1 in the
i0
points of connection of the respective cyclographic images.</p>
      <p>The above statement is true for a spatial polynomial spline curve with fixed boundary conditions.
As follows from this statement, meeting certain conditions guarantees smoothness Сk1 of connection

of cyclographic projections. But is it at all possible to achieve smoothness Сk of connection of
cyclographic projections given the same initial conditions (smoothness Сk of connection of the initial
curve segments)? Paper [16] proves another statement: subsequent fulfillment of equations of
continuous derivatives of polynomial vector functions describing segments of order up to k+1 inclusive
k1
in the points of connection of spline curve segments P(t)   Ai  ti , t T0 ,T  R1 is sufficient in order
i0
to achieve smoothness Сk in the points of connection of the respective cyclographic images. This
statement is true in the case of a spatial polynomial spline curve with free boundary conditions.</p>
      <p>Development of effective algorithms of cyclographic formation of composite curves and surfaces
applied in road surface form design requires one to consider the correspondence between the
smoothness of connection of the initial polynomial spline curve segments and smoothness of connection
of the respective cyclographic projection segments.</p>
    </sec>
    <sec id="sec-4">
      <title>2.2. Connection smoothness of ruled surfaces segments</title>
      <p>Let us consider smoothness of connection of segments of a ruled surface formed by directing curves
k 1
P(t) and P t  , where P(t)   Ai  ti , t T0 ,T  R1 represents a polynomial spline segment, P t 
i0
represents a cyclographic β-projection of this segment. The ruled surface Φ(t,l) under consideration is
defined by the following equations:
where P(t)  (x(t), y(t), z(t)), P (t)  (x (t), y (t),0) .</p>
      <p>
        A segment of the studied ruled surface Φ is depicted on figure 2. Let us express the first partial
derivatives from the equations (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ):
      </p>
      <p>X t,l   x t   (1  l)  l  x t ,
Y t,l   y t   (1  l)  l  y t ,
Z t,l   z t   1  l , l L0 , L R ,</p>
      <p>1
X t/ t,l   xt/ t   (1  l)  l  (x )t/ t ,
Yt/ t,l   yt/ t   (1  l)  l  ( y )t/ t ,
Zt/ t,l   zt/ t   1  l .</p>
      <p>X l/ t,l   x t   x(t),
Yl/ t,l   y t   y(t),
Zl/ t,l   z t .</p>
      <p> X t/ (t,l) Yt/ (t,l)
rank 
 X l/ (t,l) Yl/ (t,l)</p>
      <p>Zt/ (t,l) </p>
      <p>  2.</p>
      <p>
        Zl/ (t,l) 
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
      </p>
      <p>
        As follows from the definition of a smooth C k surface (k  N ) [17], there have to be continuous
partial derivatives of orders up to k inclusive of coordinate functions X t,l  , Y t,l  , and Z t,l  in
every point of such surface. The following condition also has to be true:
/
Obviously, the geometric condition (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) indicates linear independence of vector derivatives Pt and
/
Pl , i.e. existence of a non-zero normal vector N  Pt/ , Pl/  at every point of the surface. Since P(t) is

a polynomial spline segment, the condition (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) is fulfilled. It is also obvious that partial derivatives
xt(k1) t  , yt(k1) t  , zt(k1) t  become constant, therefore the following holds true for derivatives of
order (k + j):
      </p>
      <p>
        X t(k  j) t,l   l  (x )t(k  j) (t);Yt(k  j) t,l   l  ( y )t(k  j) (t); Zt(k  j) t,l   0, j  2,3, 4,... . (
        <xref ref-type="bibr" rid="ref5">5</xref>
        )
It is once again obvious that every partial derivative acquired subsequently through equations (
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
starting with the second order is equal to zero:
      </p>
      <p>Xl( j) (t,l)  Yl( j) (t,l)  Zl( j) (t,l)  0, j  2,3, 4,....</p>
      <p>
        Therefore, the right parts of the equations (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) have continuous partial derivatives of every order; in
addition, in every point (t,l)  R2 of surface Φ the following condition is true:
      </p>
      <p> X t/ (t,l) Yt/ (t,l)
rank 
 X l/ (t,l) Yl/ (t,l)</p>
      <p>Zt/ (t,l) </p>
      <p>  2.</p>
      <p>Zl/ (t,l) </p>
      <p>
        For this reason a segment of ruled surface Φ constructed on the basis of a polynomial spline segment
and its cyclographic projection has smoothness C.
at the common generatrix depends on smoothness of connection of the initial spline curve segments.
Let us express the equations for partial derivatives of order k from the equations (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ):
X t(k ) t,l   xt(k ) t   (1  l)  l  (x )t(k ) t ,
Yt(k ) t,l   yt(k ) t   (1  l)  l  ( y )t(k ) t ,
Zt(k ) t,l   zt(k ) t   1  l .
      </p>
      <p>Xl(k) (t,l)  Yl(k) (t,l)  Zl(k) (t,l)  0, k  2. (7)
Figure 3 depicts the connected ruled segments rn  rn (t,l) and rn1  rn1(t,l) with pairs of directrices
k 1 k 1
Pn , P (n) and Pn1, P (n1) , where Pn (t)   Ai(n)  ti , Pn1(t)   Ai(n1)  ti . Segments P (n) and P (n1)
i0 i0
are acquired through the equations for cyclographic projection of a spatial curve [9,11]. Connection of
segments Pn and Pn1 with smoothness C k requires the following conditions at the point of connection:</p>
      <p>Pn/ (t 1)  Pn/1(t  0), ... , Pn(k) (t 1)  Pn(k1) (t  0).</p>
      <p>
        Here smoothness C k corresponds to smoothness Ck 1 the same way as smoothness Ck1
corresponds to smoothness Ck depending on the boundary conditions set for spline curve Pn  Pn1
formation (see subsection 2.1). Based on the equations (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ), (6), (7) and the respective geometric
representation, as well as the above definition of ruled surface segment smoothness, the following
conclusion can be drawn: partial derivatives (rn )t(k1) and (rn1)t(k1) of orders up to (k - 1) inclusive of
equations rn  rn (t,l) and rn1  rn1(t,l) for ruled surface segments constructed of polynomial splines
and smoothly connected at the common generatrix ln,n1 are equal in the points of this generatrix if the
derivatives of orders up to k inclusive of coordinate functions of polynomial spline segments Pn (t) and
Pn1(t) are equal:
x(k) (t 1)  xn(k)1(t  0), yn(k) (t 1)  yn(k)1(t  0), zn(k) (t 1)  zn(k)1(t  0).
      </p>
      <p>n
Indeed, as follows from equation (8),</p>
      <p>P (n) (t  1)  P (n1) (t  0), P/(n) (t  1)  P/(n1) (t  0), ... , P((kn)1) (t  1)  P((kn11)) (t  0),
which allows us to express the following with consideration for the equations (6):
(6)
(8)
(9)
(10)
(rn )t(k1)  (rn1)t(k1) .</p>
      <p>Furthermore, as follows from equations (7), (rn )l(k1)  (rn1)l(k1)  0.
(11)
generatrix corresponds to the smoothness C k 1 of connection of cyclographic projection segments given

fixed boundary conditions of the initial polynomial spline curve. If the boundary conditions are free,
ruled surface segments are connected with smoothness Ck . Obviously, equations (11) can serve as the
basis for formation of a smooth composite ruled surface applicable as the carriage way of a road.</p>
    </sec>
    <sec id="sec-5">
      <title>3. Results of experiments</title>
      <p>Let us consider an example. Consider a polynomial spline curve P(t) consisting of third-degree
Bezier curve segments given in the following form:</p>
      <p>P(t)  (1 t)3 A0  3t(1 t)2 A  3t2 (1 t) A2  t3 A3 , t 0,1 .</p>
      <p>1</p>
      <p>Let the considered spline curve be passing through four points with the following coordinates (in
millimeters): Q0  (0; 0; 4), Q1  (10;1;3),Q2  (20; 1; 4), Q3  (30;1;5) . Let us also accept boundary
conditions: second derivatives in boundary points are equal to zero. Then the equations of the three
polynomial spline curve segments P01(t), P12 (t), P23 (t) with the above conditions are of the following
form:
y01  2, 07t(1  t)2  4,13t 2 (1  t)  t3;
z01  4(1  t)3  10,5t(1  t)2  8,93t 2 (1  t)  3t3;
x12  10(1  t)3  40t(1  t)2  50t 2 (1  t)  20t3;
y12  (1  t)3  1,87t(1  t)2  2, 47t 2 (1  t)  t3;
z12  3(1  t)3  9, 07t(1  t)2  10, 73t 2 (1  t)  4t3;
x23  20(1  t)3  69,9t(1  t)2  80t 2 (1  t)  30t3;
y23  (1  t)3 1,53t(1  t)2  0, 26t 2 (1  t)  t3;
z23  4(1  t)3  13, 27t(1  t)2  14,13t 2 (1  t)  5t3;
where 0  t 1.</p>
      <p>Let us substitute the coordinate functions of vector equations for segments P01(t),P12(t),P23(t) into
the equation for the cyclographic β-projection (half-angle β at the projecting cone vertex is equal to
1 rad) of the following form [9,11,12]:
fashion: P(01)(t)  (x(01), y(01),z(01)) , P(12)(t)  (x(12), y(12),z(12)) , P(23)(t)  (x(23), y(23),z(23)) .
As follows from the first statement presented in subsection 2.1 and considering that the smoothness Ck
has order k = 2, we conclude that smoothness of connection of cyclographic projection segments in the
current example equals C1 .</p>
      <p></p>
      <p>
        By substitution of the acquired coordinate functions for vector equations of the initial spline curve
P(t) segments and its respective cyclographic projection P (t) into the equations (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) we acquire the
parametric equation of the three linear surface Φ segments:
      </p>
      <p>X01  (148,8l 1042,7t  20,7lt5 5,2107lt4 79,34lt3 155,23lt2 57,03lt 12,87l  N 
102,4t5 132,27t3 19,9lt2  N  4,94lt  N  2,66lt5  N 9,36lt3  N  4,98lt4  N) / M;
Y01  (30,74l  215,5t  29,7lt5  49,67lt4 34,7lt3 79,69lt2 11,79lt 62,3l  N 35,3t5 
10,9t7 138,56t3 1,56107lt2  N  23,9lt  N 8,3lt3  N  6,6lt7 1,67107lt6) / M;
Z01  0,53t3 108t2 1,53t  4 0,53lt3 108lt2 1,53lt  4l;
where M 104,27 10,24t4 13,23t2, N  98,7  4t4 1,33t2  7,97108t3  7,6108t .</p>
      <p>X12  (4,85l 1157,9t  32,3lt5 129,36lt4 119,87lt3 137,77lt2  232,96lt  29,22lt2  N 
30lt  N  7,27lt5  N  24,09lt4  N 14,36lt3  N  406t4 t6  490t5  4107t7  5,3l  N 
645,1t3 1,29107lt7  6,5107lt6 1012,84 396t2) / M;
Y12  (0,55l 100,3t 163lt5 158,5lt4  237,65lt3 130,1lt2  29,5lt  24,9lt2  N 1,04lt  N 
4,15108lt5  N 1,41107lt4  N 10,38lt3  N 104,1t4  365,9t6  289,7t5 114,3t7 
101,3 46,7l  N  71,87t3  22,64lt7 111,25lt6  315,46t2) / M;</p>
      <p>Z12  0,67t3 1,6t2  0,07t  3 0,67lt3 1,6lt2  0,07lt  4l;
where M  49t4 89,6t3  25,1t2 14,5t 101,28, N  39,3t4 58,55t3  0,9t2 13,47t 101,27 .</p>
      <p>X23  (8,35lt2  N  46,29lt  N 0,79lt5  N 3,95lt4  N 12,34lt3  N 122,89l 840,7t 
1,29lt5  6,47lt4  24,15lt3 1,94lt2 38,7lt  288,8t4 t6 144,4t5 8107t7 537t3 
2005,69 2,59109lt7 1,55108lt6 3,32l  N 1155,2t2) / M;
Y23  (6,23lt2  N 19,7lt  N  4,15109lt5  N 1,66108lt4  N  2,08lt3  N  6,55l  45,4t 
14,16lt5 17,96lt4 14,89lt3  76,21lt2 95,46lt  261,52t4 128,03t6 305,49t5 18,29t7 
133,04t7 100,28 0,49lt7 3,44lt6  323,59t2  62,3 N) / M;</p>
      <p>Z23  0,13t3  0,4t2 1,27t  4  0,13lt3  0,4lt2 1,27lt  4l;
where M  14, 44t 4  57, 76t3  61,81t 2  8,1t  100, 28 , N  14, 05t 4  56, 21t3  57,8t 2  3,19t  96, 4 .</p>
      <p>Starting from (11), let us find partial derivatives of the acquired equations for the segments of the
surface Φ at the points of the common generatrix. The partial derivatives with respect to parameter l,
as pointed out earlier, are equal to zero starting with the second one. In this regard, the partial derivatives
with respect to parameter t are presented below:
( X 01)/ (t  1)  ( X12 )/ (t  0)  10  5, 24l;
(Y01)/ (t  1)  (Y12 )/ (t  0)  1,13  0, 54l;
(Z01)/ (t  1)  (Z12 )/ (t  0)  0, 67  0, 67l;
( X12 )/ (t  1)  ( X 23 )/ (t  0)  10  4,8l ;
(Y12 )/ (t  1)  (Y23 )/ (t  0)  0, 53  3, 27l ;
(Z12 )/ (t  1)  (Z23 )/ (t  0)  1, 27  1, 27l .
( X 01)// (t  1)  4, 58l;
(Y01)// (t  1)  6, 4  1, 5l;
(Z01)// (t  1)  3, 2  3, 2l;
(Y12 )// (t  1)  7, 6  1, 57l;
(Z12 )// (t  1)  0,8  0,8l;
( X12 )// (t  0)  4 108  9, 9l;
(Y12 )// (t  0)  6, 4  0, 28l;
(Z12 )// (t  0)  3, 2  3, 2l;
(Y23 )// (t  0)  7, 6  6, 06l;
(Z23 )// (t  0)  0,8  0,8l.
( X12 )// (t  1)  4 108  18,12l;</p>
      <p>( X 23 )// (t  0)  2 108  0, 67l;</p>
      <p>As we see from the presented results of partial derivatives calculation, the first partial derivatives
with respect to parameter t are equal, while the second partial derivatives are not. Therefore, the ruled
surfaces segments are connected with smoothness C1 .</p>
      <p>Let us now consider a case, where the initial spline curve P(t) has free boundary conditions. This
allows us to specify an additional condition of equality of derivatives of order (k + 1) at the points of
connection of its segments. As we know, the derivative of order (k + 1) of a polynomial spline
k 1
P(t)   Ai  ti , t T0 ,T  R1 is constant. In the considered case it is the third derivative. Then the
i0
equations of the initial segments P01(t), P12 (t), P23 (t) are of the following form:
x01  10t(1  t)2  20t 2 (1  t)  10t3;
y01  4,83t(1  t)2  4, 67t 2 (1  t)  t3;
z01  4(1  t)3  9,33t(1  t)2  8, 67t 2 (1  t)  3t 3;
x12  10(1  t)3  40t(1  t)2  50t 2 (1  t)  20t3;
y12  (1  t)3  1,33t(1  t)2 1,83t2 (1  t)  t3;
z12  3(1  t)3  9,33t(1  t)2 10, 67t 2 (1  t)  4t3;
x23  20(1  t)3  69,9t(1  t)2  80t 2 (1  t)  30t3;
y23  (1  t)3  4,17t(1  t)2  3,33t 2 (1  t)  t3;
z23  4(1  t)3  13,33t(1  t)2 14, 67t 2 (1  t)  5t3;
where 0  t  1.</p>
      <p>Let us apply the algorithm above and acquire new equations for the ruled surface Φ segments. Let
us check whether their second derivatives with respect to parameter t at the points of the common
generatrix are equal:
( X 01)// (t  1)  ( X12 )// (t  0)  3,83l;
(Y01)// (t  1)  (Y12 )// (t  0)  3  2,33l;
(Z01)// (t  1)  (Z12 )// (t  0)  2  2l;
( X12 )// (t  1)  ( X 23 )// (t  0)  4 108  8, 06l;
(Y12 )// (t  1)  (Y23 )// (t  0)  4  1, 73l;
(Z12 )// (t  1)  (Z23 )// (t  0)  1108  1108 l.</p>
      <p>The equality of the second derivatives with respect to parameter t along the common generatrix
follows from the calculation results. This means that ruled surface segments are connected with
smoothness C 2 . It is possible to draw a conclusion that smoothness Ck or Ck1 of connection of
cyclographic projection segments determines smoothness of connection of the constructed segments of
ruled surfaces of respective degrees k and (k - 1). This conclusion confirms the theoretical results
acquired in subsection 2.2.</p>
    </sec>
    <sec id="sec-6">
      <title>4. Conclusion</title>
      <p>The paper considers the problem of smoothness of connection of segments of ruled surfaces acquired
through cyclographic mapping of a spatial spline curve and applied in road surface form modeling. The
results of theoretical studies and numerical experiments have shown that ruled surface segments
directed by segments of a polynomial spline curve and its cyclographic projection are connected with
order of smoothness equal to the order of smoothness of connection of the cyclographic projection
segments. The results of the studies on smoothness of connection of ruled surface segments within the
proposed geometric model can find application in formation of road surface forms of general and special
purpose.
5. References
[6] NVIDIA Drive Sim и Drive Constellation, 2021. URL:
https://www.nvidia.com/ru-ru/selfdriving-cars/drive-constellation.
[7] N. A. Salkov. Modeling the geometric forms of highways, INFRA-M, Moscow, 2019 (in Russian).
[8] V.G. Mufteev, A.R. Mardanov. Geometric modeling of curved lines and high quality surfaces,</p>
      <p>Prikladnaya geometriya. Applied Geometry 18(8) (2006).
[9] K.L. Panchuk, A. S. Niteyskiy, E. V. Lyubchinov, Cyclographic Modeling of Surface Forms of
Highways, IOP Conf. Series: Materials Science and Engineering 262, 2017. doi:
10.1088/1757899X/262/1/012108.
[10] K. L. Panchuk, E.V. Lyubchinov, T.M. Myasoedova, Cyclography. Aspects of Theory and
Practical Applications, in: 28th The 28th International Conference on Computer Graphics and
Vision. Conf. Proceedings, GraphiCon 2018, Tomsk, 2018.
[11] K. L. Panchuk, N. V. Kaygorodtseva, Cyclographic Desctiptive Geometry, OmGTU, Omsk, 2017.
[12] E.V. Lyubchinov, A. S. Niteyskiy, K.L. Panchuk, Geometric modeling of curved reflectors,
«Young Russia: advanced technologies - into industry», 1 (2017).
[13] D. Salomon, Сurves and surfaces for computer graphics, Springer Science+Business Media Inc,
2006.
[14] G. Farin, Curves and surfaces for Computer Aided Geometric Design, Academic Press Inc., San</p>
      <p>Diego (USA), 1997.
[15] M. K. Agoston, Computer Graphics and Geometric Modeling, Springer-Verlag London, 2005.
[16] K. L. Panchuk, E.V. Lyubchinov, On smoothness of connection of spatial curve cyclographic
projection, Journal of Physics: Conference Series 1791, 2021. doi:
10.1088/17426596/1791/1/012056.
[17] L. S. Atanasyan, V. T. Bazylev, Geometry. Part 2, Prosveshchenie, Moscow, 1987 (in Russian).</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>V. N.</given-names>
            <surname>Boykov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G. A.</given-names>
            <surname>Fedotov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V. I. Purkin</given-names>
            ,
            <surname>Automated Automotive Road</surname>
          </string-name>
          <article-title>Design (on the example of IndorCAD/Road)</article-title>
          , MADI, Moscow,
          <year>2005</year>
          (in Russian).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>V. I. Purkin</surname>
          </string-name>
          ,
          <source>Basic Automated Design of Automotive Roads</source>
          ,
          <string-name>
            <surname>MADI</surname>
          </string-name>
          , Moscow,
          <year>2000</year>
          (in Russian).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>I.V.</given-names>
            <surname>Krivyh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.S.</given-names>
            <surname>Mirza</surname>
          </string-name>
          ,
          <article-title>Overview of foreign CAD systems for highways. SAPR i GIS avtomobil'nyh dorog 2(5) (</article-title>
          <year>2015</year>
          ). doi:
          <volume>10</volume>
          .17273/CADGIS.
          <year>2015</year>
          .
          <volume>2</volume>
          .11.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>V. G.</given-names>
            <surname>Mufteev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.V.</given-names>
            <surname>Shabakeeva</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.N.</given-names>
            <surname>Aslyamov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>YU.I.</given-names>
            <surname>Lukmanov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.O.</given-names>
            <surname>Evtyagina</surname>
          </string-name>
          .
          <article-title>Designing the optimal road alignment in Indorcad using the "FAIR CURVE MODELER" program</article-title>
          ,
          <source>Information Technology. Problems and solutions 4</source>
          (
          <issue>9</issue>
          ) (
          <year>2019</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>D.</given-names>
            <surname>Eager</surname>
          </string-name>
          ,
          <string-name>
            <surname>Ann-M. Pendrill</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          <string-name>
            <surname>Reistad</surname>
          </string-name>
          .
          <article-title>Beyond velocity and acceleration: jerk, snap and higher derivatives</article-title>
          .
          <source>European Journal of Physics</source>
          <volume>37</volume>
          (
          <issue>6</issue>
          ) (
          <year>2016</year>
          ). doi:
          <volume>10</volume>
          .1088/
          <fpage>0143</fpage>
          -0807/37/6/065008.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>