1. Introduction
Wireless communications in natural caves are required for search and rescue operations, commercial cave management, military reconnaissance, and other cave-related research. Natural caves differ from the human-made tunnels used in mining and transportation in several aspects, such as cross-section uniformity, dimensions, geology, sharpness of bends, complex junctions, as well as surface roughness.
Propagation modelling of radio signals in artificially made underground tunnels can be performed by both numerical methods and ray-tracing techniques, as well as by using waveguide-based models and other empirical models [
1,
2]. Due to the specifics of the human-made environment, the applicability of those radio propagation modelling approaches in natural caves is questionable because existing models cannot be used without adaptation. While solving Maxwell equations is computationally expensive [
3], the approximation with the lossy waveguides is problematic since natural caves have more bends and curves compared to the artificial tunnels and the cross-section diameter is much smaller. Well-known empirical multi-slope models [
4,
5,
6,
7] developed for the human-made tunnels are relatively inaccurate without additional modifications and correction factors. On the other hand, with newly emerged handheld laser scanners capable of obtaining accurate 3D cave models [
8], deterministic propagation modelling by ray-tracing techniques became feasible [
9]. However, signal measurements in cave environments are still rarely reported as opposed to the measurements in human-made tunnels [
10].
Research on wireless propagation in natural passages has received little attention so far. On the contrary, radio signal propagation in mine environments is extensively summarized in [
11,
12]. In [
11], measurements at four frequencies for vertically, horizontally and cross-polarized signals in concrete tunnels and different mines passages are reported. In [
12], a simplified two-stage approach devoted to mining practitioners is presented and compared with measurements at 2.4 and 5.8 GHz. In the first stage, the average attenuation rate is calculated by modal theory taking into account available environment characteristics and tuned to information about the likely differences predicted by the model.
Channel modelling in underground mines by ray tracing and the modal method is reported in [
13] where good agreement is shown between measurements and simulations at three different frequencies. Further, the impact of the surface roughness is emphasized, which is expected to significantly influence the radio signal propagation in natural passages. The author continued the work on surface roughness in [
14]. In [
15], the behaviour of the radio waves on rough surfaces was analysed by the ray-tracing technique that combines the modified Fresnel reflection coefficient for random rough surfaces. The results can be a good starting point for cave environment investigations.
Based on the measurements, an empirical model in the UHF band was derived in five underground environments in [
16]; however, the model is only suitable for regular galleries and not for a highly irregular environment of natural caves.
To the best of our knowledge, the first adaption of the existing approaches developed for the human-made tunnels to the underground cave passages is documented in Bedford et al. [
17]. Although the adjusted method of modal analysis gives comparable results to the measurements, the approach shows a discrepancy when modelling propagation around bends that are close together. In [
9], the influence of the environment simplifications have been studied to a limited extent using commercially available modelling software.
Since natural caves are a non-uniform environment, a 3D model contains large numbers of small facets, which impacts, together with the applied ray-tracing mechanisms, the computational complexity and the final accuracy. It must be noted that the ray-tracing techniques are applicable if the sizes of the reflection surfaces are large enough in terms of the signal wavelength
since the radio waves have to be planar at the interaction point. According to [
18], the size of the reflection surfaces has an impact on the accuracy of the radio channel model in the tunnel and cave environments. The optimal facet size depends on the cross-sectional dimensions and carrier frequency, and it is in the range between 3
up to 20
. The number of reflection surfaces in scanned 3D models of cave passages is high when their size does not meet the above-mentioned presumptions. The only existing work on ray tracing in natural caves [
9] pointed to the issues of model simplification and roughness handling. In addition, the authors state that ray tracing is the only technique suitable for more complex cave passages. However, classical ray tracing is incapable of accurately modelling propagation effects caused by curved surfaces, which can be observed in natural caves because of their inherent concavity and irregular limestone formations. The problem has drawn some attention from researchers with limited success. One way to approach curved surfaces is to revise the method to fit a particular shape, such as a cylinder of large passenger aircraft [
19] or an arch-shaped tunnel [
20]. Other proposals model the curvature as a series of flat surfaces [
18]. In such a rather naive approach, too little energy is accounted for when using only a single reflection plane, whereas having too many reflection planes in series without proper analytical correction leads to the energy overestimate.
In this paper, the impact of different environment simplification approaches and, particularly, the impact of the reflection facet size on the ray-tracing outcome are studied. The trade-off between the size of the reflection surface and the modelling accuracy is examined. Three-dimensional models of two caves, i.e., Kingsdale Master Cave (KMC) Roof Tunnel and Skirwith Cave in the UK, are repeatedly simplified by two different algorithms from computer graphics. The computational time gain is the other important aspect of the study. Note that triangle, patch and facet are used interchangeably throughout the paper to describe the geometric primitive.
The remainder of the paper is organized as follows. In
Section 2, we identify ray-tracing limits if the method is applied to irregular environments. The geometric descriptions of such environments are expected to become widely available with the proliferation of the advanced scanning equipment. In
Section 3, we present computer graphics algorithms for model simplifications. Next, we describe physical properties of the caves, the measurement campaign and configuration of the ray-tracing tool in
Section 4. We compare the performance of ray tracing on simplified models against the experimental measurements and modal theory in
Section 5. Channel modelling accuracy, as well as computational time gains, is discussed, followed by the conclusion in
Section 6.
2. Ray-Tracing Limits in Irregular Environments
The irregular environments of natural caves pose a significant threat to ray-tracing efficiency in terms of degraded accuracy and increased computational complexity. Ray tracing is accurate if electromagnetic propagation interacts with large, preferably smooth planar surfaces, for which Fresnel coefficients may be safely assumed. A typical brute force ray-tracing algorithm follows a large number of rays from the source in all directions [
21]. The initial set of launched rays needs to be separated as uniformly as possible. In 3D, icosahedral grids are commonly used with a well-defined space distribution [
22]. Using geometrical optics concepts in describing radio frequency propagation implies that the initial rays are an abstraction of a single wavefront spreading into space. Subsequent electromagnetic interactions with matter initiate new wavefronts, described by other sets of reflected, refracted, diffracted or scattered rays. The signal evaluation at any given observation point combines these wavefronts freely, in the same way as if they are being transmitted by multiple independent sources. Fresnel equations for electric and magnetic fields consider incident angle and electric field polarization while modelling reflection and refraction phenomena on the propagation media boundaries [
23].
Modelling edge diffraction is preferably conducted using the geometrical theory of diffraction [
24]. In practice, rays passing in close vicinity to a diffraction edge initiate a number of diffracted rays on the surfaces of Keller cones. The number of edges in irregular environments is so high that it quickly prevents any meticulous simulation of even first-order edge diffraction, which is why this propagation effect is typically ignored.
Finally, rays passing close to a reception point need to be detected. The major computational efforts are due to the intersection tests of rays with the scene primitives that are usually but not necessarily in the shape of triangles. The number of tests grows with the scene complexity and with the accuracy of its description. The number is further multiplied by the number of rays and the number of consequent interactions with matter. The problem of high processing demands can be alleviated to a certain degree by hardware accelerators and massive parallelization [
25]. The speed of finding intersection points can be further boosted by employing appropriate data structures, such as a bounding volume hierarchy [
26]. However, even a carefully optimized and coded ray-tracing algorithm will eventually hit the time barrier. By reducing the number of facets, as proposed in the following, the simulation time can be reduced significantly and, more importantly, Fresnel coefficients will be more accurate.
Next, the discrete nature of rays with no thickness shows a weakness in the aggregation step where nearby rays to the observation point need to be detected and differentiated. The concept of a reception sphere is usually needed to detect rays passing by the receivers, which poses another threat to the simulation accuracy in high-resolution geometries. The fact that angular defects cannot be distributed evenly for more than twelve rays in space leads to a double-counting phenomenon, i.e., the radius of a reception sphere cannot exclude all but one ray per wave front [
27]. This either leads to significant signal errors or it requires the use of space-consuming and time-consuming wave front differentiation. The problem is further exaggerated if the uniform distribution of rays in space is affected by irregular surfaces, which calls for either improved double-counting suppression or larger primitives in the description of the simulation environment. Here, we consider the latter approach.
3. Environment Simplification
The geometrical descriptions of cave interiors that result from the precise laser scans need to be simplified to achieve the best ray-tracing accuracy. Effectively, we are adjusting the facet size to be closer to the size of the first Fresnel zone. Here, computer graphics offers some proven methods [
28].
One possible classification of the simplification methods is based on the number of algorithmic passes, with a method being either single-pass or iterative. Single-pass methods can use vertex clustering, as proposed in [
29]. In its simplified form, all vertices falling in an elementary 3D-grid cube are collapsed into a single vertex, which can be at the cube centre or at some more elaborately chosen location. The size of the elementary cube is an input parameter.
On the other hand, iterative simplification removes either a vertex or edge, one at the time. In the case of vertex removal, a triangulation of the missing mesh patch follows [
30]. The process is governed by the mesh error function, the value of which is minimized on each step. On the other hand, the advantage of removing an edge by collapsing the end vertices is the absence of any new hole in the mesh. For this reason, the latter method is preferred in many mesh simplifications. A quadric error criterion is proposed to select the next edge in [
31]. The quadric error metric provides information on how large the resulting optical error would be if the corresponding edge were to be collapsed. Further, it provides a hint on where the newly emerging vertex should be placed. The algorithm stops when the number of facets is reached or when the quadric error is above the specified value.
We used the open source tool MeshLab [
32] for geometry simplifications tasks. Two methods suitable for given 3D descriptions were applied: (i) Cluster Decimation and (ii) Quadric Edge Collapse Decimation. The first is a single-pass clustering method that collapses vertices by creating a 3D grid envelope over the mesh and proceeds using newly introduced cells, as described above. The required input parameter is a simplification level given as a percentage. The second edge removal approach iterates until the requested reduction is achieved. Edges are placed in a priority queue based on the quadric error measure. The simplification level is configurable by several parameters, including the target number of faces, reduction percentage, boundary preserving weight, and whether a surface normal should be kept unchanged.
5. Results and Discussion
In the following, the performance of ray tracing on the simplified geometric descriptions of caves is analyzed. First, we present the reference computations using the originally scanned detailed geometry and compare the results to the experimental measurements and to the channel modelling presented in [
17], where the modal theory was applied in the same setup. Standard deviation of the difference between the modelled path loss, either using the ray tracer or modal theory, and the measured values is used as the primary evaluation metric. Further, the reduction in computation time as a consequence of simplifications was also monitored.
Here, we must stress that modal analysis, like ray tracing, has not been designed for caves because it relies on the uniform cross-sectional dimensions and curvature radii of waveguides. The adaptation of the modal theory for human-made tunnels as over-sized lossy waveguides with tuned attenuation to account for geometric imperfections is rather common [
34,
35], whereas applying it to the highly irregular cave environment has been attempted only recently [
9].
The path losses for both caves at the three selected frequencies are shown in
Figure 2. The ray-tracing curves roughly follow variations of the measurements while being underestimated by several dB, i.e., overestimated in terms of the received power. As expected, modal analysis is smoother with abrupt changes only at points with a significant parameter change.
Too strong signals from the ray-tracing simulations can be attributed to several factors. First, using excessively small patches invalidates the fundamental ray-tracing assumption of the planar reflected waves. Next, because each patch is considered as a separate reflection surface, even elaborate double counting fails to eliminate double accumulation from the neighbouring patches. Further, the power level shift could simply occur due to the mismatched antenna gains between the simulations and field trials, which is the main reason why we evaluate the ray-tracing performance by the mean-independent standard deviation of the error, defined as
where
N is the number of measurements,
is the error between the measured value
and the predicted (simulated) value, both expressed in dB,
, and
is the mean value of the errors given by
According to [
18,
36], the mean-independent standard deviation of the error is between 6 dB and 20 dB while modelling radio propagation in road tunnels. In this respect, we can assume channel models with the standard deviation error below 6 dB as acceptable. The results are summarised in
Table 2. Simulations of the KMC Roof Tunnel show better correlation with the measurements, which is particularly noticeable at 1.2 GHz and 5.8 GHz. Better modelling of the KMC Roof Tunnel with respect to Skirwith Cave can be explained by the less irregular surface of the former. The modal analysis of the KMC Roof Tunnel shows larger deviations. On the other hand, the comparison between the two methods in Skirwith Cave has no clear winner. The modal theory is not working well for caves with series of bends close to each other or where the passage section changes abruptly, which is the case in the second cave. The reason is believed to be in the waveguide mode conversions, as explained in [
9].
5.1. Accuracy of Simplified Models
Channel modelling accuracy is studied next for the simplified geometric descriptions, as listed in
Table 3. The simplifications took place up to the point when geometries had become physically impassable, with impassable geometries not included in the table. Instead of the path loss curves, a single standard deviation metric, which was introduced earlier, is computed per each simulation run.
Figure 3 shows the accuracy of channel modelling in the KMC Roof Tunnel for both simplification algorithms, i.e., vertex clustering and edge removal. The results are summarized in
Table 4. There is no significant change in accuracy unless the cave geometry is oversimplified. Note that channel modelling is fairly precise already in the original KMC Roof Tunnel geometry because the cross-section of this particular cave is close to some human-made tunnels, for which ray tracing is known to perform well. The accuracy drastically deteriorates for the last three simplifications, suggesting that there is a lower bound on the acceptable triangle sizes even if geometry provides free passage. The vertex clustering has a minor advantage over the edge removal for comparable geometry sizes, i.e., the number of triangles. However, the edge removal has the ability of larger simplifications before the passage becomes entirely blocked. Even though the triangle sizes are larger, the accuracy is still acceptable, e.g., the grid with 312 facets and 0.86 m
2 average triangle size performs equally well as the grid of 1610 facets and 0.16 m
2 average triangle size of the vertex clustering simplification.
Skirwith Cave has a smaller and highly irregular cross-section compared to the KMC Roof Tunnel with the height exceeding the width considerably. The accuracy results are presented in
Figure 4 and reviewed in
Table 5. The vertex clustering simplifications for the number of triangles less than 3400 produce impassable cave environments; therefore, the presented curves in the left-hand graph stops early. The results show some improvements in the smaller geometrical models, indicating that narrow underground passages can benefit from the simplification. The models obtained by vertex clustering are more accurate at 2.4 and 5.8 GHz. The opposite holds at 1.3 GHz, for which edge removal produces better models. Nevertheless, the edge removal allows for at least 4-times smaller models without significant accuracy penalties.
5.2. Computational Time Gains
We have shown that benefits in terms of accuracy are small and mostly expected for narrow irregular underground passages. The use of model simplification is predominantly justified by computational time gains. Even though our ray tracer uses highly optimized dedicated code based on the latest solutions in the field of computer graphics,
Figure 5 and
Figure 6 show considerable reductions in simulation time.
The RTX, ray-tracing module of Signal3D, was being run on the Intel 64 processor architecture, i.e., Intel Xeon W3565 at 3.2 GHz, on a system with 12 GB memory and a 64-bit Windows 7 operating system. The presented simulation times are primarily determined by the provided GPU computing capabilities, in our case NVIDIA GeForce GTX 780 with 2304 stream processors at 941 MHz and 3 GB on-board memory. The ray-tracing program flow closely follows the ray-tracing pipeline of the OptiX Execution Model presented in [
26].
Still, acceptable simplifications require roughly 50% less execution time than needed in the originally scanned models. In particular, the KMC Roof Tunnel execution time dropped by 46% at 1610 facets and by 52% at 613 facets when using vertex clustering and edge removal, respectively. It must be noted that the increase in computational time at 376 facets is due to to the large simplifications where the orientation of the surfaces can cause additional signal reflections as obstacles along the passage grow. Similar speed-up is observed for the Skirwith Cave simulation times, with recorded improvements of 42% at 6905 facets and 54% at 428 facets for the respective algorithms. When both simplification algorithms are compared to each other, the edge removal due to larger simplifications offers 12 and 29% faster execution times than vertex clustering. The difference is calculated at the lowest acceptable simplification bounds, i.e., the edge removal simplification of the KMC Roof Tunnel takes 897 s as opposed to the 1018 s needed for the vertex clustering simplification, whereas even larger improvement is observed modelling Skirwith Cave with 1096 s being reduced to 776 s.
6. Conclusions
This paper studied geometrical simplifications of two natural cave descriptions for channel modelling purposes. We have shown that the choice of simplification algorithm influences the level of acceptable simplification. In both cases, the edge removal simplification had some advantage over the vertex clustering algorithms. The larger tunnel-like cave shows minimal accuracy changes up to the point when the cave becomes impassable, whereas the narrower and less-uniform cave shows some accuracy improvements, at least for the frequencies of 2.4 GHz and above. Note, however, that some local minima are hard to explain without in-depth analysis of the accumulated rays. The major benefit of the proposed approach is the decrease in modelling time, which is roughly halved given the available scanning resolution. Due to larger simplifications, the edge removal algorithm has expectedly better performance. Without measurements to decide on the exact simplification level, the rule of thumb for the edge removal simplification, derived from the presented results, would be to generate a model with four times the number of patches present at the simplification level for which the cave becomes entirely blocked.
The diffraction phenomenon on the convex edges was not taken into account in the ray-tracing channel modelling, which may lead to some discrepancies between the measured and simulated results. Since there are no convex edges in the regular caves without sharp bends, such as KMC, the simulation results largely agree with the measurements. Nevertheless, in caves with sharp bends and high variation in cross-sectional dimension, the number of significant diffraction edges may be high, which would require tracing an unmanageable number of diffracted rays on the surfaces of Keller cones and excessive computation times. We are planning to address this problem by developing the approach for selecting the most significant convex edges to be considered in the simulation model.