<!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>
      <journal-title-group>
        <journal-title>E. Gorda, A. Serdiuk, I. Nazarenko Determining the invariant of inter-frame processing for
constructing the image similarity metric. Eastern-European Journal of Enterprise Technologies</journal-title>
      </journal-title-group>
      <issn pub-type="ppub">1729-3774</issn>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.1109/ICRA40945.2020.9196800</article-id>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Elena Gorda</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Anatolii Serdiuk</string-name>
          <email>Anatolii.Serdiuk@pw.edu.pl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yuliia Riabchun</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Kyiv National University of Construction and Architecture</institution>
          ,
          <addr-line>Povitroflotskyi ave., 31, 03037, Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Warsaw University of Technology</institution>
          ,
          <addr-line>ul. Koszykowa 75, 00-662 Warsaw</addr-line>
          ,
          <country country="PL">Poland</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2020</year>
      </pub-date>
      <volume>34</volume>
      <issue>4</issue>
      <fpage>0000</fpage>
      <lpage>0001</lpage>
      <abstract>
        <p>The development of technical systems leads to the complication of control tasks and increased requirements for the efficiency of their solution, which necessitates the need to improve the means of solving problems related to the optimization of interaction of objects and their navigation. The paper considers the task of controlling a group of unmanned aerial vehicles (UAVs) as a swarm motion organization. Considering the specific requirements for the spatial and temporal position of individual UAVs in the swarm, it is proposed to use a model considering elites planning a movement route in accordance with a given task. A general mathematical model has been developed for the description, implementation and application of swarm intelligence algorithms using systems analysis methods to solve navigation problems of UAV systems for the development of an alternative to satellite navigation and the assessment and refinement of UAV swarm positioning using ephemerides and almanacs. Within the framework of the classification of local particle swarm positioning problems, the process of swarm formation with a given positioning is described. The object of the study is the procedure of particle swarm formation in cognitive technologies of metaphorical optimization as a geoinformation object (GIO), namely, objects located on a given surface or locally changing it are considered. The main difference of the conducted analysis is the cognitive-semantic approach based on the definition of information interaction in the intellectual information environment "object-subject" within the framework of certain problems. The task of controlling a group of UAVs to organize swarm movement to ensure the most effective achievement of the flight goal is considered. At the same time, the guidance signal can allow individual UAVs to gather at leader positions and follow their velocity vector to provide UAV-system topology connectivity and enable swarm formation. Also, the peculiarities of UAV group management organization, existing and prospective methods of their interaction organization as part of one grouping when performing various tasks are considered. Mechanisms for deriving a particle swarm genetic optimization model in metaphorical algorithms can be used to create a new generation of artificial intelligence. We consider the procedure of particle swarm optimization (PSO) localization clustering based on determining the similarity measure of hash functions of isoportraits as well as their graphs of the structure of color atlases of images.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;PSO</kwd>
        <kwd>positioning</kwd>
        <kwd>localization</kwd>
        <kwd>color atlas</kwd>
        <kwd>geoinformation object</kwd>
        <kwd>cognitive optimization</kwd>
        <kwd>mathematical model</kwd>
        <kwd>similarity measure</kwd>
        <kwd>diffeomorphism</kwd>
        <kwd>persistent homologies 1</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>The relevance of PSO-based positioning lies in its applicability to object localization and
identification. This study focuses on analyzing the topology of 2D images to identify invariants under
diffeomorphic transformations. Camera maneuvers such as yaw, roll, and pitch during UAV-based
surface scanning are modeled as diffeomorphisms controlled by onboard gyroscopes. Using a digital
image ontology (DIO) based on color space models, we construct a topology of color distribution to
detect similarity through a Color Atlas Structure Graph (CASG). This method enables invariant
detection across image sequences and offers practical potential in AI-based image analysis, including
metaphorical algorithms, by accelerating data processing.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Literature data analysis</title>
      <p>
        Paper [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] provides an overview of transfer learning methods for visual recognition, highlighting both
advances and underexplored challenges. In [2], recent deep learning techniques for semantic
segmentation, including those applied to hyperspectral images and point clouds, are reviewed with a
focus on pixel-level accuracy. The rapid growth of video data [4] and the demand for efficient
processing drive the development of less computationally intensive methods [5-7]. Studies [8, 9] also
explore AI-based image processing techniques, including inter-frame analysis [10, 11] and
steganography [12]. Promising approaches include feature-space video coding (FVC) [13] and
topology-based methods [14, 15], which, when combined with fast computation, improve video
surveillance efficiency. This underscores the need for rapid, high-performance visual data processing
systems.
      </p>
    </sec>
    <sec id="sec-3">
      <title>3. Problem statement</title>
      <p>This study uses theoretical methods to identify invariants in inter-frame processing. The source
images include a stationary background, random noise, and geo-information objects (GIOs).
Background characteristics vary across frames and exhibit anisotropic correlations, while noise is
near-normal and stationary. GIO appearance changes with scan position, and frames in a sequence
are not aligned to a common coordinate system. Temporal background stability is observed only in
short sequences, and noise differs between forward and backward scans. Images may also include
glare.</p>
      <p>We assume GIOs are localized on a surface with a visible horizon and a bounded light source.
Converting images to grayscale reveals light and shadow patterns corresponding to GIO structure.
Camera motion (yaw, roll, pitch) during scanning is tracked via gyroscopes and external navigation,
making accurate positioning essential. Grayscale transformation further enables detection of
brightness gradients, whose collinearity remains invariant under camera motion. Additional
invariants include region size ratios and persistence of local luminosity anomalies, distinguishing
elevated structures and depressions from the background.</p>
      <p>Enhancing UAV navigation performance in dynamic environments requires the use of adaptive
swarm intelligence algorithms. Key challenges include:</p>
      <sec id="sec-3-1">
        <title>1. High density of network connectivity;</title>
      </sec>
      <sec id="sec-3-2">
        <title>2. Ensuring high data throughput;</title>
      </sec>
      <sec id="sec-3-3">
        <title>3. Achieving ultra-low communication latency;</title>
        <p>4. Maintaining high reliability, including self-recovery and survivability of individual UAVs and
the swarm as a whole.</p>
        <p>The study aims to address the integration of heterogeneous data through the development of an
adaptive ontological framework for swarm-based genetic control, enabling parallel execution and
evolutionary adaptability in organizational and technological optimization tasks.</p>
        <p>The study applies methods of analysis, synthesis, abstraction, system analysis, and mathematical
modeling. Optimization tasks are approached using metaphorical evolutionary swarm algorithms,
based on prior work [18–20].</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Main results</title>
      <sec id="sec-4-1">
        <title>For a particle is set ¯x0 – the initial location reference for Pi (¯x0 , t0) and the following functions:</title>
        <p>- Kg ( Pi (¯x , t )) – cognitive Pi (approximation by self-learning);
- Sc ( Pi (¯x , t )) – trajectory approximation by exchanging information with particles from the
neighborhood Pi (t );
- Es ( Pi (¯x , t )) – atlas of the surface over which the trajectory Pi (¯x , t ) is located (passes);
- Ss ( Pi ( ¯x , t )) – atlas of the system of distant stars for Pi (¯x , t ).</p>
        <sec id="sec-4-1-1">
          <title>Local positioning of swarm particles means:</title>
          <p>def
{Pi}i=1,n ⇔ define Ω, T 0, ¯Δ, γ for cl ({Pi}i=1,n), Sw ({Pi}i=1,n), Sn ({Pi}i=1,n),.
where:
Sn – synchronization of the speed of swarm particles {Pi}i=1,n at a point in time Т 0, Sw – swarm particle
localization {Pi }i=1,n at a point in time Т 0 on the interval [T 0− Δt , T 0+ Δt ], cl – accumulation,
cl ({Pi }i=1,n) ≡ {{Pi }i=1,n , Ω , T 0}; given Ω – particle swarm localization area, ¯Δ - particle alignment, γ
velocity cone angle.</p>
          <p>A swarm as a structured set with respect to the types of behavior of a cluster of particles (by
polarization) in dynamics can be represented by the following sequence: free particle – particle in a
cluster – particle in a swarm as a polarized cluster.</p>
          <p>The structure of the swarm is characterized by the following:
1. For each particle of the swarm there is at least one particle of the swarm, between them there is
an information exchange, i.e. Is – adjacent or informationally adjacent, and Ir – adjacent in
direction, i.e. ‖grad r1− grad r2‖≤ ε.</p>
        </sec>
        <sec id="sec-4-1-2">
          <title>2. Relations Is and Ir define the adjacency connectivity on the set of swarm particles.</title>
          <p>3. Tk ( ¯ri , [ t 0 , dt ]) ≡ {¯ri (t )},∀ t ∈ [ t 0 , dt ] – particle trajectory over a given time interval, particle
swarm (PS) drift function: Tk ( ¯ri , [ t 0 , dt ])⊂ С [ t 0 , dt ], Tk ( ¯ri) ∩ Tk ( ¯r j)=∅ , i ≠ j ,∀ t .</p>
          <p>N
4. Swarm trend Tr (t , N )=∑ ¯ri, r (t ) – radius vector of a swarm particle, ∀ i∈ N : ¯ri (t ) , N &lt; ∞ .</p>
          <p>i=1</p>
        </sec>
        <sec id="sec-4-1-3">
          <title>5. For the accumulation (conglomeration) of the swarm the following is performed:</title>
          <p>cl ( X ( N , t ) , ε ) ⇔| 2 ) adjacent ∈ Rm
d e f 1 ) X¯ ( N , t )−related to localization
3 )∀ t , grad ¯ri∈ [‖Tr ( N , t )−¯ε‖,‖Tr ( N , t )+ ¯ε‖]</p>
        </sec>
        <sec id="sec-4-1-4">
          <title>Polarization of the motion of swarm particles, i.e. the motion of adjacent PS is co-directed.</title>
          <p> ∀ cl ({¯ri }in=i1 , t , εTr )⊂ X ( N , t ) ,∀ ni ≤ N ,∀ t ;
 cl ({¯ri }i =i1 , t , ε1)⊂ cl ({¯ri }i =i1 , t , ε2)⇔({¯ri }i =11⊂ {¯ri }in=21)∧ ( ε1 ≤ ε2) ,∀ t ;</p>
          <p>n n n</p>
          <p>N j
 ∑ Tr ({¯ri }iN=j1 , t )=T¯ ( N , t ) ,∀ partitions Т =∑ N j .</p>
          <p>j=1 j
6. {¯ri (t )}iN=1 – specifies the vector field of the swarm trend (movement) X ( N , t ) in Rm.
7. Swarm as a way of mediating through other swarm particles and within swarm information
exchange the horizon of information gathering by a particle:</p>
          <p>G ({¯ri (t )}, d ε1 , d ε2)=U i G ( ¯ri (t ) , ε1 , d ε2), horizon of information selection by particle ¯ri (t ):
G ({¯ri (t )}, d ε1 , d ε2)⊂ Rm|S1∧ S2 ≠ 0 .</p>
          <p>To study the synchronization of the particle swarm motion based on the surface graph, we
introduce the following notations:
 df (t ) – is a diffeomorphism of the particle motion at time t , where df (t ) = (yaw direction, roll,
pitch);
</p>
          <p>d e f
Pi – is a particle in motion, where Pi ≡ ( h ,|V¯|grad (V¯ ) , df (t ) , t ), where V¯ (t ) – is the velocity of
the particle at time t , h (t ), h (t + Δt ) – is the height above the surface S at time t and t + Δt ;
 I m (t ), I m (t + Δt ) – are part of the image of the surface S at time t and t + Δt within the viewing
cone Con (t ) and Con (t + Δt );
 Δ I m=I m (t ) ∩ I m (t + Δt )⇒ ¯l (t , t + Δt )=max Δ I m – is the image of the viewing surface,
which is defined from the condition of the direction in which I m (t ) and I m (t + Δt ) intersect
maximally;
 {I m (t1) , ... , I m (t n)} – is the trajectory d⇔ef I m (ti)∪ I m (ti+1) ≠ 0 ,∀ i=1. n−1. If I m (t1) – is the
start and I m (t n) – is the finish, then the trajectory will be the reference for the targeted
movement of the swarm.
 G (t ), G (t + Δt ) – graphs of images I m (t ) and I m (t + Δt );
 SG (t ), SG (t + Δt ), – corresponding graph schemes;
 ΔG (t , Δt ) ≡ G (t + Δt ) Δ´ G (t ), ΔSG (t , Δt ) ≡ SG (t + Δt ) Δ´ SG (t ) – symmetric difference of graphs
and graph schemes, where Δ´ – is the symmetric difference operation;
 g G (t , Δt )=G (t + Δt ) ∖ G (t ); gSG (t , Δt ) ≡ SG (t + Δt ) ∖ SG (t ) – difference of graphs and graph
schemes.</p>
          <p>If the inequality h (t )&lt;h (t + Δt ) is true for the values of the height above the surface, then it follows
that SG (t )⊂ SG (t + Δt ), G ( Rin , t )⊂ G ( R0 , t ), G ( Rin , t + Δt )⊂ G ( R0 , t + Δt ), i.e. the subsequent image
includes the previous one.</p>
          <p>The condition of observability of the continuity of motion: SG ( R0 , t ) ∩ SG ( R0 , t + Δt ) ≠∅ . From
here, the radius of the maximum displacement from the point of location of the particle at time t over
Δt
time Δt : Rmax (t , Δt )=∫|V¯ (t + z )|dz.</p>
          <p>0</p>
        </sec>
        <sec id="sec-4-1-5">
          <title>The navigation continuity condition is defined as follows:</title>
          <p>{G ( R0 , t ) ∩ G ( R0 , t + Δt ) ≠∅ }∪ {G ( R0 , t ) ∩ G ( Rin , t + Δt ) ≠∅ }∪
∪ {G ( Rin , t ) ∩ G ( Rin , t + Δt ) ≠∅ }∪ {G ( Rin , t ) ∩ G ( R0 , t + Δt ) ≠∅ }
We define synchronization Sn and the sticking togetherSl of particles P1 and P2:
d e f
∃ Sn ( P1 , P2 , t ) ⇔∃ ε &gt;0 , grad V¯ ( P1 , t )⊂ Congrad (V¯ ( P2 , t ) , ε )
∃ t ≤ T ,∀ t ∈ [ t , t + Δt ], Congrad –is the gradient cone with vertex angle ε
∃ Sl ( P1 , P2 , t ) ⇔ {
d e f
1.∃ Sn ( P1 , P2 , t )</p>
          <p>2. T =+∞
3.|loc ( P1 , t )−loc ( P2 , t )|≤ const ,∀ t</p>
          <p>Let us introduce the localization operation loc ( ), the essence of which is the definition of the
coordinates of the particles. Let us define the adjacent particles in the region:
∃ Sm ( Pi , P j , t , ε ) d⇔e f ∃ ε :∃ Oε – is the region of Rn, then loc ( Pi , t )⊂ Oε, loc ( P j , t )⊂ O .
ε
Based on the definition of the coordinates of particles by the operation loc (⋅ ) we define particles
d e f
adjacent in the region: ∃ Sm ( Pi , j , t , ε ) ⇔∃ ε &gt;0 :∃ Oε – is a region in Rn, then loc ( Pi , t )⊂ O ,
ε
loc ( P j , t )⊂ O .</p>
          <p>ε</p>
        </sec>
        <sec id="sec-4-1-6">
          <title>Let us introduce the definitions:</title>
          <p> ( Pi , t ) – neighborhood:</p>
          <p>d e f
Ok ( Pi , t , ε ) ⇔ {{P j }:∀ j ,∀ t , P j : ⁡|loc ( P j , t )−loc ( P j , t )|&lt; ε };
 Sd – neighborhood of particles: ∃ Sd ( Pi , {P j }, ε0 , t )⇔
⇔ {∀ j⊂ Ok ( Pi , t , ε ) , ε &gt; ε0}∧ {∀ P j⊄ Ok ( Pi , t , ε0)}.</p>
          <p>The set {Pi } is a swarm on the interval (t , t + Δt ), {Pi } – are adjacent in the region and ∀ i there
are neighboring particles stuck together with it.</p>
          <p>We define the boundary points of the swarm {Pib} as: ∀ i Pib∈ ({Pi}, t ) in {Pi ≠ Pib}⊄ Ok ( Pib), i.e.
the point (⋅ ) is a boundary point, there exists a hyperplane in the space R3, such that the points from
the adjacency regions of a given point lie on one side of the given hyperplane.</p>
          <p>In a swarm of particles, we select a group of leader particles {Lk }⊂ {Pi}i=1,n. The leader particles
{Lk } are those particles for which the following conditions are met:
1. grad {Lk } is oriented toward the external environment;
2. the middle part of the swarm is oriented to the set {Lk } i.e
∀ l ,∀ M l ,∃ k ,∃ Lk grad M l⊂ Ok ( grad Lk );
3. the direction of movement of the swarm {Lk } is a bundle of directions for which the following
condition is met ∀ k grad Lk : ∩ Ok ( grad Lk ) ≠∅ , ∀ Ok ( grad Lk )∃ Ok ( grad* {Lk });
4. for the structure of the neighborhood of the swarm direction vector Ok ( grad Lk ), ∀ Lk the
following conditions are satisfied:
 grad Lk + ¯εk, where ¯εk – is a vector in the parameter space {Lk }, |¯εk|&lt; ε0 – is the admissible
scatter of particles;
 (grad Lk , ¯εk ) ≥ 0 , where α ( Li1) – is the scatter angle of the direction change:</p>
          <p>( grad Lk , ¯εk ) );
α ( Lk )=arccos(|grad Lk|⋅|¯εk|
 α*=max (α ( Lk )) – is the swarm maneuver angle.</p>
          <p>Lk
The direction ¯e (t ) is admissible for the swarm ({Pi}, t ) if ∀ i ( grad Pi , ¯e )&gt;0 at time t .</p>
          <p>By the direction of swarm motion ({Pi}, t ) we will mean the direction ¯e* (t ) such that
max ∑ ( grad Pi , ¯e ) → ¯e* (t ).</p>
          <p>¯e i</p>
          <p>For the swarm motion ({Pi}, t ) it is true that:
 {∀ ({Pi}, t )∃ ¯e* (t )}∧ {V j ( Pi , t )=V k ( Pi , t ) ,∀ j , k } – in the case of translational motion;
 {∀ ({Pi}, t )∃ ¯e* (t )}∧ {V j ( Pi , t ) ≠ V k ( Pi , t ) ,∀ j , k } – in the case of translational circular
motion.</p>
          <p>Consider a particle swarm, and specifically its part {Lk } in the process of determining the direction
of motion as an optimization procedure within some opt criterion.</p>
          <p>Based on the opt criterion and the exchange of information between particles {Lk }, the correction
of the swarm motion vector is determined. It should be noted that the set {Lk } is co-directed with
respect to the particle swarm motion vector.</p>
          <p>For the set {Lk } we consider {Lbk} – boundary points {Lk }, adjacent to the direction of motion
within the swarm motion cone. Then the procedure of grouping of particles {Lk } into a swarm is the
synchronization of grad {Lk } along the direction grad {Lbk}, {Lib}&lt;{Li},∀ t taking into account the
adjacency conditions.</p>
          <p>Next, consider for direction correction a nonuniform mesh obtained as projections of the motion
{Lbk} onto a plane frontal to the swarm motion. Also, consider the family of planes {P Lk } passing
through the axis of the viewing cone relative to the direction of movement of the swarm and
perpendicular to the frontal plane. With respect to each such plane, two families {Lib}+ and {Lib}- – can
be defined – particles with the best values of the opt criterion relative to the current direction of
movement of the swarm and other particles. To compare individual planes from the bundle, we
introduce two indicators:
p+=</p>
          <p>|{Lib}+|
|{Lib}+|+|{Lib}-|
, p-=</p>
          <p>|{Lib}-|
|{Lib}+|+|{Lib}-|</p>
          <p>, p+ , p- ≥ 0 , p++ p-=1,
∀ k , P Lk⊂ {P Li}, ∃ ϕ : P Lk →( p+k , p-k ).</p>
          <p>Selecting the direction correction, the following options are possible:
1. if p+k ≈ p-k – the current direction is optimal;
2. if p+k ≈ 1 – there is a new optimal direction;
3. if p-k ≈ 1 – defines the worst direction to which the perpendicular plane sets the initial
approximation of the optimization direction by its normal;
4. dividing the swarm due to the polymodality of opt by {Li }, i.e. each extremum of opt by {Li }
will make its own correction in the direction of movement of the sub-swarm belonging to this
swarm. In particular, this is how the situation of the swarm flowing around an obstacle or the
process of dividing into parts is modeled.</p>
          <p>The division of swarm particles into a group of leaders {Lk } and the remaining particles {Pi } is
dynamic in the sense that the following transformations are possible:
 Pi → Lk – in this case, the particle becomes a boundary particle and a leader in the direction of
the swarm movement;
 Lk → Pi – in this case, the particle acquires an internal neighborhood of the swarm and ceases
to be a boundary particle;
 Pi → Lk → Pi – the transformation is based on the two transformations described above;
 Lk → Pi → Lk – the transformation is described similarly to the previous point.</p>
          <p>In the transformations described above, the delayed response value Δr In the transformations
described above, the delayed response value {Pi } to:
 {Pi}↔ {P j } – describes the convergence and divergence of particle Pi relative to particles P j in
terms of neighborhood or adjacency;
 P j describes the reaction of Pi to the presence of an obstacle or restriction in the direction of
movement relative to the direction of movement of the particle Pi within the swarm;
 external control signals.</p>
          <p>The factor Δr is crucial for ensuring the dynamic stability of the elite swarm {Lk } in general. In
particular, for the problems:
 definition (identification) of the situation of loss of a particle Pi discretely falling out of the
swarm {Lk } due to loss of dependence on it;
 determining the shape of the swarm neighborhood;
 definition of the codependency function as the degree of connectivity of the swarm{Lk }, i.e.
when Pi is removed or distanced, other P j change the direction of movement to the direction
of movement of Pi and to what extent;
 determination of the conditions for the adhesion of a free particle to a swarm or the departure
of a particle Pi from the swarm;
 definition of the procedure for restoring the integrity of the swarm {P j } at loss of particle Pi.</p>
          <p>In addition to the factor Δr the goal-setting of the swarm movement {P j }, namely how it is carried
out, plays an essential role:
 based on the correction of the given direction of movement relative to the given reference
trajectory;
 at given start and end points of the trajectory;
 adaptively due to correction of swarm movement from outside.</p>
          <p>We will represent the division of the swarm into parts based on the graph G as a forest on SG. We
will represent the division of the swarm with subsequent restoration of the initial swarm (flow) based
on the graph G as SG having a cycle.</p>
          <p>We will represent the flow of the swarm around obstacles based on the graph G as the absence of
a change in the structure of SG .</p>
          <p>We will represent the merging of swarms based on their schemas-graphs Gi as the formation of a
metaschema over the schemas SGi.</p>
        </sec>
        <sec id="sec-4-1-7">
          <title>The restoration of swarm integrity depends on the position of the failed particle:</title>
          <p> If a boundary particle drops out, the following particle shifts forward, and others adjust
accordingly.
 If an internal particle drops out, a neighboring particle with the closest velocity vector to the
swarm direction replaces it with minimal disturbance.</p>
        </sec>
        <sec id="sec-4-1-8">
          <title>This mechanism ensures the swarm’s self-healing and survivability.</title>
          <p>Furthermore, due to the discrete structure and reaction delay Δr, elite particles can overtake the
swarm tail and bypass obstacles. Swarm structure is maintained through stratification, elite
preservation, and selection based on maximum utility, overcoming evolutionary constraints.</p>
          <p>The swarm structure is formed through stratification, elite particle generation, and utility-based
selection, ensuring elite preservation beyond evolutionary constraints.</p>
          <p>The swarm exhibits emergent properties similar to a neural network, demonstrating cognitive
behavior via neuroplasticity and adaptive activation.</p>
          <p>Let us define a “spider” object for a swarm of particles {Pi }i=1,n:</p>
          <p>Sp ( P0 (t ))={Pi( t )|Pi (t )−neighbours P0 (t ) ,∃ Oε 3( P0 (t ) )∨Pi (t )∈ Oε 3 ( P0 (t )) ,}
‖Pi( t )−P0( t )‖f 1 ≤ ε1∧ ‖Pi( t )−P0( t )‖f 1 ≥ ε0</p>
          <p>V ( Pi (t ) )↑∨V ( P0∆ (t ) )
Characteristics of spider topology (homogeneous/heterogeneous particles):
1. Number of elements or weight of the spider – n ( Sp);
2. center of gravity of the spider – W ( Sp);
12. swarm loadings – Wet ({Pi}i=1,n)</p>
        </sec>
        <sec id="sec-4-1-9">
          <title>The following has been determined:</title>
          <p>1. ∀ Pi (t )∃ S p1( Pi (t )) – "spider" of particle Pi (t ), a discrete local neighborhood of the particle
consisting of the swarm particles {Pi (t )}i=1,n, closest to particle Pi (t ) and defined by a radially
expanding sphere centered at the coordinates of particle Pi (t );
2. {Pi (t )}i=1,n=U i S p1( Pi (t )) – swarm coverage;
3. U j S p1( Pi (t ))=S p2( Pi (t )) – “web” of the swarm {Pi (t )}i=1,n,
S p2j ({Pi (t )}i=1,n) – j -th subnet of the swarm {Pi (t )}i=1,n;p</p>
          <p>def
S p2({Pi (t )}i=1,n) – swarm network {Pi (t )}i=1,n ⇔ S p2({Pi (t )}i=1,n)=U j S p2j ({P j (t )});
S p2j ({Pi (t )}i=1,n)∩ S p2k ({Pi (t )}i=1,n)=∅ , j ≠ k;
4. S p3({Pi (t )}i=1,n) – swarm network {Pi (t )}i=1,n ;
def
⇔ ∀ i ,∀ S pi3∃ Pi (t )∈ {Pi (t )}| S pi3 (t )=Пр ( Pi (t )) – projection Es (t ).</p>
          <p>For a set of spiders, the following operations are defined: formation, fission, growth, compression,
intersection, merging, swarm creation, and web formation.</p>
        </sec>
        <sec id="sec-4-1-10">
          <title>The web is characterized by:</title>
          <p> tensile strength (information integrity),
 compressive strength (maximum swarm density),
 permissible deformations (growth, shrinkage, rupture),
 swarm and spider density.</p>
          <p>UAV swarm control is implemented as a decentralized system using collective strategies, where
each UAV adjusts its actions via shared communication to achieve a common goal based on
environmental feedback.</p>
          <p>Decentralized swarms offer high reliability and adaptability, compensating for UAV loss,
communication failures, and environmental challenges. Their emergent behavior results from
cooperative interactions and spatial synchronization, leading to a synergistic, coherent system.</p>
          <p>The use of persistent homology in graph-based image analysis enhances object shape recognition,
supports diffeomorphic mappings with structural variations, and provides robustness against image
modifications.In a swarm of particles, we can distinguish a group of particle leaders {Lk }⊂ {Pi} and a
group of particles forming the middle part of the genome {М l }⊂ {Pi}, and the following is defined:
 at the leading edge of the swarm, the swarm leaders;
 instantaneous directionality of swarm motion;
 coefficients of considering the coordination of the directions of motion of particles in the
swarm;
 movement of the rearguard in the swarm;
 "compression" of the swarm during the motion;
 increasing utility function or fitness functions for internal particles of the swarm;
 non-increasing penalty functions for border particles of the swarm.</p>
          <p>To the leader particles {Lk } we will refer those particles for which the following conditions are
satisfied:
1. grad {Lk } is externally oriented;
2. The middle part {М l } of the genome, is oriented on the population {Lk } i.e.</p>
          <p>∀ l ,∀ M l ,∃ k ,∃ Lk grad M l⊂ Ok ( grad Lk );
3. Swarm motion direction {Lk } is a bundle of directions for which the following condition is
satisfied:</p>
          <p>∀ k grad Lk : ∩ Ok ( grad Lk ) ≠∅ , ∀ Ok ( grad Lk )∃ Ok ( gra d* {Lk });
4. For the structure of the neighborhood structure of the swarm direction vector Ok ( grad Lk ),
∀ Lk the following conditions are satisfied:
 grad Lk + ¯εk, where ¯εk – s a vector in the parameter space {Lk }, |¯εk|&lt; ε0 – is the allowed particle
spread;
 ( grad Lk , ¯εk ) ≥ 0, – is the scatter angle of directional change:
where α ( Lk )
( grad Lk , ¯εk ) );
α ( Lk )=arccos(|grad Lk|⋅|¯εk|
 α*=max (α ( Lk )) – swarm maneuver angle.</p>
          <p>Lk</p>
        </sec>
        <sec id="sec-4-1-11">
          <title>Exist:</title>
          <p> function fit ( Pi) and fit ({Pi}) – are fitness functions (measures) fit ( Pi (t ))={≥00, t, ∈t∈(t[i0, ∞,ti]];
 function plt ( Pi) and plt ({Pi}) – are penalty functions (measures) plt ( Pi (t ))={≥00, t, ∈t∈(t[i0, ∞,ti]];
 function ext ( Pi) and ext ({Pi}) – are existential functions (switches) ext ( Pi (t ))={1 , t ∈ [ 0 , ti) ;
0 , t ∈ [ti , ∞)
 swarm functioning quality structure: ( fit ({Pi}) , plt ({Pi}) , ext ({Pi}) , n (t )).</p>
          <p>Functions fit (⋅ ), plt (⋅ ), ext (⋅ ) ∈ C [ 0 , ti ] – to the space of integrable functions
grd – is an estimate of the state of the particle:
 grd ( Pi (t ))= fit ( Pi (t )) – at time t ;</p>
          <p>a+ plt ( Pi (t ))
def t
 grdt ( Pi (t ))=∫ grd ( Pi ( τ )) dτ , t ≤ ti – on the interval [ 0 , t ] (accounting for prehistory);
0
 grd ({Pi}i=i,n)= ∑ grd ( Pi (t )), where n (t ) – is the number of particles for which
i=1,n(t)
ext ( Pi (t )) ≠ 0 – is at time t ;
 grdt ({Pi}i=i,n)=grd ({Pi ( τ )}i=1,n) dτ , t ≤ minti</p>
          <p>UAV-based image localization is achieved by comparing hash-functions derived from
graphstructured color atlas representations (GSCA).</p>
          <p>The temporal knowledge base (TKB) for swarm particles is built upon discrete geometry and
photogrammetry, incorporating hierarchical concepts and semantic relations. It is refined through
compositional classifications and object–relation diagrams, forming a structured methodology for
developing and maintaining the swarm’s TKB.</p>
        </sec>
        <sec id="sec-4-1-12">
          <title>Let's denote the image as IMG, then the partition</title>
          <p>i=1nj i=1nj</p>
        </sec>
      </sec>
      <sec id="sec-4-2">
        <title>IMG j ≡⊕ O b ji IMG j ≡⊕ O b ji – direct algebraic sum of areas.</title>
        <p>Intersection of areas IMG jm ∩ IMG jl= ΔIMG ≠∅ (m ≠ l ) ⇔
1. ∀ O bk∈ Δ IMG⇒ {O bk∈ {O bi}l}∧ {O bk∈ {O bi}m}
2. ∃ Sn – repainting of IMGl or IMGm vertices on the color wheel with preservation of color and
area contiguity;
3. in the presence of motion (d) we define the shift of IMGl relative to the recorder to IMGm as
∆IMG = d(IMGl) and GSCA from ∆IMG ∈ { GSCA (IMGl)∧ GSCA (IMGm)}.</p>
        <p>Then ΔIM GlT – is a monitoring invariant with respect to the trajectory T, where
∀ i=0 , nlT : {ΔIMGlT ≠∅ }∧ {ΔIM GlT∈ dli (… dl ( IMGl) …)}.</p>
        <p>Image alignment along a UAV trajectory is achieved by comparing the viewing angles of the
camera’s optical axis, using diffeomorphisms of the color atlas. Pitch, yaw, and roll transformations
lead to image scaling, potentially removing or adding fragments to the camera’s field of view.</p>
        <p>Graph-based comparison of GSCA provides a structural similarity measure between images.
Frame overlaps maintain monitoring continuity, enabling topographic reconstruction similar to lidar
through tracked camera motion.</p>
        <p>The color atlas enables modeling camera displacement as a collinear motion of region centers and
supports the identification of invariant area features across image sets, preserving proportional
relationships despite rotation or scale changes.Let us introduce the notations:
 T(t_i ) - image transformation due to pitch at time t_i;
 P(t_i ) - image transformation due to yaw;
 K(t_i ) - image transformation due to roll of the webcam frame;
 {t_i }_(i=¯(0,N)), t_i&lt;t_j, i&lt;j - moments of image fixation, and the exposure time Δt is
determined from the conditions of image clarity for a given web-camera and linear speed of its
movement in R^3, and ensuring commutativity of T, P, K transformation for all eight possible
combinations of 3-term sequences.</p>
        <sec id="sec-4-2-1">
          <title>Let us introduce the notations:</title>
          <p> T (ti) – image transformation due to pitch at time ti;
 P (ti) – image transformation due to yaw;
 K (ti) – image transformation due to roll of the webcam frame;
 {ti}i=0, N, ti&lt;t j , i&lt; j – moments of image fixation, and the exposure time Δt is determined from
the conditions of image clarity for a given web-camera and linear speed of its movement in
R3, and ensuring commutativity of Т, Р, К transformation for all eight possible combinations of
3-term sequences. Let us denote by D r j , j=1,8 these transformation triples, Or (ti) – the
orientation of the webcam at time ti. Then: ∀ i ,∃ j : O r (ti+1)= D r j (O r (ti)).</p>
          <p>Р1
Р2
Рn
Р1
Р2
Рn
…
…
С
С
…</p>
          <p>UP</p>
          <p>(Es)U
…</p>
          <p>UP</p>
          <p>T
*
T
*
(Es)U
…</p>
          <p>Topological relationships between image regions are invariant to transformations and do not
depend on specific coordinate systems, making them robust under diffeomorphisms. The pHash
algorithm applies this robustness by comparing images through perceptual hashing within the GSCA
framework, enabling similarity detection based on non-geometric characteristics.</p>
          <p>Perceptual hashing is widely used in biometric authentication and image-based information
retrieval, particularly for systems handling fuzzy or graphical data. Incorporating persistent
homology into GSCA enhances shape analysis by identifying topological invariants across large
datasets. This enables diffeomorphic mapping with structural variation, computes similarity
measures, and provides resilience against image modifications.Next, we classify the problems of local
positioning of a swarm of particles. Let us introduce the following definitions at the expense of
diagrams (Fig.1):</p>
        </sec>
        <sec id="sec-4-2-2">
          <title>The classification of local particle swarm positioning problems contains two problems:</title>
        </sec>
        <sec id="sec-4-2-3">
          <title>1) creating a group</title>
        </sec>
        <sec id="sec-4-2-4">
          <title>2) guiding the swarm to the target</title>
        </sec>
        <sec id="sec-4-2-5">
          <title>Let t^f – be the moment of reaching the goal, t_i^f – be the initial moment of observation.</title>
          <p>∠α_i, l_i, v c_i, t_i^f are known. The following options are possible:
1.1 ∀i, ∃(lim)┬(t→∞) (∠α_i,L_i )=(∠α_0,L_0 );
1.2 ∀i, ∃(lim)┬(t→t_0 ) (∠α_i,L_i )=(∠α_0,L_0 );
1.3 ∀i, ∃(lim)┬(t→∞) (∠α_i,L_i )=(∠α_0,L_0 ), ∀i, t_i^f≠t^f;
1.4 ∀i, ∃(lim)┬(t→t_0 ) (∠α_i,L_i )=(∠α_0,L_0 ), ∀i, t_i^f≠t^f;
External synchronizer</p>
          <p>Slide 1</p>
          <p>Internal synchronizer</p>
          <p>Slide 2
External synchronizer</p>
          <p>Slide 3
Р1
Р2
Рn
…</p>
          <p>С
l1</p>
          <p>L1
Definition 1
Р1
Р2
Рn
Р1
Р2
Рn
…
С
С
…
Р1
Р2
Рn</p>
          <p>Internal synchronizer
синхронSиliзdаeто4р</p>
          <p>С
l1 + L1
Definition 2
…
…
Р
*</p>
          <p>UP
(Es)U</p>
          <p>T
*
UP
(Es)U</p>
          <p>T
*
 tasks due to inertia of swarm particles (accounting of prehistory);
 tasks due to cognitive (local maxima of trends of average particles);
 tasks at the expense of swarm socialization (trends of averages).</p>
        </sec>
        <sec id="sec-4-2-6">
          <title>Generalized tasks of local positioning of a swarm of particles:</title>
          <p> swarm {P_i (t)}_(i=¯(1,n))→web Sp_^2 ({P_i (t)}_(i=¯(1,n)) );
 web Sp_^2 ({P_i (t)}_(i=¯(1,n)) )→Sp_^3 ({P_i (t)}_(i=¯(1,n)) ).</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusions</title>
      <p>This study addresses coordinated swarm control of UAVs using a leader-based spatial motion model.
A method for processing UAV-acquired image sequences via GSCA ensures robust and efficient
extraction of invariant features for dynamic scene analysis.</p>
      <p>Leader guidance enables UAVs to align with swarm trajectories, maintaining formation and
coordinated motion. The paper reviews current and prospective UAV interaction methods for task
execution within a swarm.</p>
      <p>Scientific novelty:
1. Developed a comprehensive mathematical model for swarm particle local positioning with
genetic modification during operation.
2. Demonstrated the effectiveness of RSO-based swarm algorithms with adaptive heuristic
parameters for diverse optimization tasks.</p>
      <p>Theoretical significance: A formalized model for applying swarm intelligence algorithms in</p>
      <sec id="sec-5-1">
        <title>UAV navigation has been introduced.</title>
        <p>Practical significance: Results may support:</p>
      </sec>
      <sec id="sec-5-2">
        <title>1. Alternative satellite-independent navigation systems;</title>
      </sec>
      <sec id="sec-5-3">
        <title>2. Enhanced UAV swarm positioning using ephemeris and almanac data; 3. Integration of logical and heuristic rules into GSCA-based search procedures for improved reliability.</title>
        <p>Discussion: The proposed topological, color-atlas-based digital image processing significantly
reduces computational load compared to geometric methods, while retaining essential structural
information.</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Declaration on Generative AI</title>
      <p>During the preparation of this work, the authors used GPT-5 in order to Grammar and Spelling check.
After using this service, the authors reviewed and edited the content as needed and take full
responsibility for the publication’s content.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Zhu</given-names>
            <surname>Yu</surname>
          </string-name>
          ,
          <article-title>Formation of flight control for a group of unmanned aerial vehicles based on a multiagent swarm model algorithm // Computing, Telecommunications and</article-title>
          <string-name>
            <surname>Control.</surname>
          </string-name>
          <year>2022</year>
          . Vol.
          <volume>15</volume>
          , No. 4. Pp.
          <volume>22</volume>
          -
          <fpage>36</fpage>
          . DOI:
          <volume>10</volume>
          .18721/JCSTCS.15402.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>