Citation: Trevor B. Kelly, Grant D. Wach, Darragh E. O'Connor. The technical challenges and outcomes of ground-penetrating radar: A site-specific example from Joggins, Nova Scotia[J]. AIMS Geosciences, 2021, 7(1): 22-55. doi: 10.3934/geosci.2021002
[1] | Xuesong Si, Chuanze Niu . On skew cyclic codes over M2(F2). AIMS Mathematics, 2023, 8(10): 24434-24445. doi: 10.3934/math.20231246 |
[2] | Ismail Aydogdu . On double cyclic codes over Z2+uZ2. AIMS Mathematics, 2024, 9(5): 11076-11091. doi: 10.3934/math.2024543 |
[3] | Fatma Zehra Uzekmek, Elif Segah Oztas, Mehmet Ozen . (θi,λ)-constacyclic codes and DNA codes over Z4+uZ4+u2Z4. AIMS Mathematics, 2024, 9(10): 27908-27929. doi: 10.3934/math.20241355 |
[4] | Wei Qi . The polycyclic codes over the finite field Fq. AIMS Mathematics, 2024, 9(11): 29707-29717. doi: 10.3934/math.20241439 |
[5] | Hatoon Shoaib . Double circulant complementary dual codes over F4. AIMS Mathematics, 2023, 8(9): 21636-21643. doi: 10.3934/math.20231103 |
[6] | Shakir Ali, Amal S. Alali, Kok Bin Wong, Elif Segah Oztas, Pushpendra Sharma . Cyclic codes over non-chain ring R(α1,α2,…,αs) and their applications to quantum and DNA codes. AIMS Mathematics, 2024, 9(3): 7396-7413. doi: 10.3934/math.2024358 |
[7] | Turki Alsuraiheed, Elif Segah Oztas, Shakir Ali, Merve Bulut Yilgor . Reversible codes and applications to DNA codes over F42t[u]/(u2−1). AIMS Mathematics, 2023, 8(11): 27762-27774. doi: 10.3934/math.20231421 |
[8] | Hongfeng Wu, Li Zhu . Repeated-root constacyclic codes of length p1pt2ps and their dual codes. AIMS Mathematics, 2023, 8(6): 12793-12818. doi: 10.3934/math.2023644 |
[9] | Jianying Rong, Fengwei Li, Ting Li . Two classes of two-weight linear codes over finite fields. AIMS Mathematics, 2023, 8(7): 15317-15331. doi: 10.3934/math.2023783 |
[10] | Yang Pan, Yan Liu . New classes of few-weight ternary codes from simplicial complexes. AIMS Mathematics, 2022, 7(3): 4315-4325. doi: 10.3934/math.2022239 |
A finite collection of strictly contractive maps on the real line is called an iterated function system (IFS). Let Φ={φa}a∈Λ be an IFS and p=(pa)a∈Λ be a probability vector. It is well-known that there exists a unique Borel probability measure ν, called the invariant measure, such that
ν=∑a∈Λpa⋅φaν, |
where φaν is the push-forward of ν under the map φa:R→R.
When the construction does not involve complicated overlaps (say, under the strong separation condition), the invariant measures are relatively easy to understand. For example, if the strong separation condition holds, then the invariant measure ν is supported on a Cantor set and is singular, and the dimension of ν is given by
dimν=hχ, |
where h=h(p) is the entropy and χ=χ(Φ,p) is the Lyapunov exponent.
In this paper we consider IFS with inverses (i.e., IFS that contain inverse maps). IFS with inverses were first introduced by the author in [5], motivated by the Furstenberg measure. See also [6]. We show that the invariant measures for IFS with inverses agree with the invariant measures for associated graph-directed IFS under the suitable choice of weight. The main results of [5] and [6] follow directly from our result.
The paper is organized as follows: In section 2, we recall IFS with inverses and state the main result. Section 3 is devoted to preliminary lemmas. In section 4 we prove the main result.
Let G be the free group of rank r≥2, and let W be a free generating set of G. Let Λ be a set that satisfies
W⊂Λ⊂W∪W−1, |
where W−1={a−1}a∈W. Let E∗=⋃n≥1Λn and E=ΛN. For ω=ω0ω1⋯ we denote ω|n=ω0⋯ωn−1. For ω,ξ∈E∪E∗ we denote by ω∧ξ their common initial segment. For ω∈E∗ and ξ∈E∪E∗, we say that ω precedes ξ if ω∧ξ=ω.
Let p=(pa)a∈Λ be a non-degenerate probability vector, and let μ be the associated Bernoulli measure on E. We say that a (finite or infinite) sequence ω∈E∗∪E is reduced if ωiωi+1≠aa−1 for all i≥0 and a∈Λ. Let Γ∗ (resp. Γ) be the set of all finite (resp. infinite) reduced sequences. For ω∈Γ∗ we denote the associated cylinder set in Γ by [ω]. Define the map
red:E∗→Γ∗ |
in the obvious way, i.e., red(ω) is the sequence derived from ω by deleting all occurrences of consecutive pairs aa−1 (a∈Λ). Let ¯E⊂E be the set of all ω such that the limit
limn→∞red(ω|n) | (1) |
exists. For example, for any a∈Λ we have aaa⋯∈¯E and aa−1aa−1⋯∉¯E. By abuse of notation, for ω∈¯E we denote the limit (1) by red(ω). The following is well-known (see, e.g., chapter 14 in [3]):
Lemma 2.1. There exists 0<ℓ≤1 (drift or speed) such that
limn→∞1n|red(ω|n)|=ℓ |
for μ-a.e. ω∈E. In particular, ¯E has full measure.
Denote
Λ⋆={(a,b)∈Λ2:a≠b−1}. |
For a∈Λ, write Ra=R×{a}. We freely identify Ra with R below. Let Xa⊂Ra (a∈Λ) be open intervals and write X=⋃a∈ΛXa. Assume that there exist 0<γ<1 and 0<θ≤1 such that for all (a,b)∈Λ⋆, the map φab:Xb→Xa is C1+θ and satisfies
(ⅰ) ¯φab(Xb)⊂Xa;
(ⅱ) 0<|φ′ab(x)|<γ for all x∈Xb;
(ⅲ) φ−1ab:φab(Xb)→Xb is C1+θ.
We say that Φ={φab}(a,b)∈Λ⋆ is an IFS with inverses. For ω=ω0⋯ωn∈Γ∗, we denote
φω=φω0ω1∘⋯∘φωn−1ωn. |
Let Π:Γ→X be the natural projection map, i.e.,
Π(ω)=⋂n≥1φω|n+1(¯Xωn). |
Define ΠE:¯E→X by ΠE=Π∘red. Define the measure ν=ν(Φ,p) by ν=ΠEμ (i.e., the push-forward of the measure μ under the map ΠE:¯E→X). We call ν an invariant measure. It is easy to see that if Λ=W, then the measure ν is an invariant measure of an IFS. Let χ=χ(Φ,p) be the Lyapunov exponent, and hRW=hRW(p) be the random walk entropy. See section 3 in [5] for the precise definition. Fix xa∈Xa for each a∈Λ. For ω∈¯E and n∈N we denote xω,n=xj, where j=j(ω,n)∈Λ is the last letter of red(ω|n).
Proposition 2.1 (Proposition 3.1 in [5]). We have
χ=−limn→∞1nlog|φ′red(ω|n)(xω,n)| |
for μ-a.e. ω.
Notice that an IFS with inverses Φ={φab}(a,b)∈Λ⋆ does not have any explicit inverse map. The next example illustrates why we call Φ an IFS with inverses. For more detail, see Example 2.1 and Appendix in [5].
Example 2.1. Let r=2, W={0,1} and Λ={0,1,1−1}. For 0<k,l<1, define
f0(x)=kx, f1(x)=(1+l)x+1−l(1−l)x+1+l. |
Let f1−1=f−11. It is easy to see that we have f0(0)=0, f1(−1)=−1, f1(1)=1 and f′0(0)=k, f′1(1)=l. It is well-known that there exists a unique Borel probability measure ν that satisfies
ν=∑a∈Λpafaν. |
The above measure is called a Fustenberg measure. See., e.g., [2]. Let
Y0=(−k,k), Y1=(f1(−k),1) and Y−1=(−1,f−1(k)). |
Then we have
fa(Y∖Ya−1)⊂Ya, |
for all a∈Λ, where Y=⋃a∈ΛYa and Y0−1=∅. Notice that the sets {Ya}a∈Λ are not mutually disjoint if and only if k>f1(−k), which is equivalent to
√l>1−k1+k. |
It is easy to see that there exist open intervals X0,X1,X1−1⊂R such that
Ya⊂Xa and ¯fa(X∖Xa−1)⊂Xa |
for all a∈Λ, where X=⋃a∈ΛXa and X0−1=∅. Then {fa|Xb}(a,b)∈Λ⋆ is an IFS with inverses, and the associated invariant measure agrees with ν. For the proof, see the Appendix in [5].
Denote
dimν=inf{dimHY:ν(R∖Y)=0}. |
Proposition 2.2 (Proposition 3.3 in [5]). Assume that for all a∈Λ, the sets {¯φab(Xb)}b∈Λ⋆a are mutually disjoint, where
Λ⋆a={b∈Λ:(a,b)∈Λ⋆}. |
Then we have
dimνa=hRWχ |
for all a∈Λ.
Given an IFS with inverses Φ={φab}(a,b)∈Λ⋆, one can naturally associate a graph-directed IFS by restricting transitions from a to a−1 for all a∈W. For the precise definitions of graph-directed IFS, see section 1.7 in [1].
Let ˜P=(˜pab) be a |Λ|×|Λ| stochastic matrix that satisfies ˜pab>0 (a≠b−1) and ˜pab=0 (a=b−1). Let ˜p=(˜p1,⋯,˜pN) be the unique row vector satisfying ˜p˜P=˜p. Let ˜μ be the probability measure on Γ associated with ˜P and ˜p. Define the measure ˜ν=˜ν(Φ,˜P) by ˜ν=Π˜μ. For a∈Λ, denote ˜νa=˜ν|Xa. It is easy to see that
˜νa=∑(a,b)∈Λ⋆˜pab⋅φab˜νb. |
Let ˜h=˜h(˜P) be the entropy and ˜χ=˜χ(Φ,˜P) be the Lyapunov exponent, i.e.,
˜h=−∑(a,b)∈Λ⋆˜pa˜pablog˜pab, |
and
˜χ=−limn→∞1nlog|φ′ω|n(xωn)| |
for ˜μ-a.e. ω. Under the separation condition, we obtain the following. The argument is classical, so we omit the proof. See, e.g., the proof of (2.6) in [4].
Proposition 2.3. For every a∈Λ, assume that the sets {¯φab(Xb)}b∈Λ⋆a are mutually disjoint. Then we have
dim˜νa=˜h˜χ |
for all a∈Λ.
Our main result is the following:
Theorem 2.1. Let Φ={φab}(a,b)∈Λ⋆ be an IFS with inverses. Then there exists a stochastic matrix ˜P such that
ν=˜ν, hRW=ℓ˜h and χ=ℓ˜χ. |
Since the graph directed IFS has essentially the same structure as IFS, by the above theorem most of the results of IFS can be immediately extended to IFS with inverses. For example, the main results of [5] and [6] follow directly from the above result.
Define μred by redμ, i.e., the push-forward of the measure μ under the map red:E→Γ. From below, for n>0, which is not necessarily an integer, we interpret ω|n to be ω|⌊n⌋. The following lemma is immediate.
Lemma 3.1. We have
χ=−limn→∞1nlog|φ′ω|ℓn(xω,ℓn)| |
for μred-a.e. ω∈Γ.
Proof. Let ω∈Γ, and let η∈E be such that ω=red(η). We can assume that η satisfies
limn→∞1n|red(η|n)|=ℓ |
and
χ=−limn→∞1nlog|φ′red(η|n)(xη,n)|. |
Let ϵ>0, and let n∈N be sufficiently large. Then, since ω|(ℓ−ϵ)n precedes red(η|n) and |red(η|n)|<(ℓ+ϵ)n, we have
−log|φ′ω|(ℓ−ϵ)n(xω(ℓ−ϵ)n)|<nχ<−log|φ′ω|(ℓ−ϵ)n(xω(ℓ−ϵ)n)|−2ϵn⋅logλmin, |
where
λmin=min{|φ′ab(x)|:(a,b)∈Λ⋆,x∈Xb}. |
The result follows from this.
For ω∈Γ∗, we denote
Eω={υ∈¯E:ω precedes red(υ)} |
and
ˆEω={υ∈¯E:there exists n∈N s.t. red(υ|n)=ω}. |
Notice that Eω⊂ˆEω. For a∈Λ, write
qa={1−μ(Ea−1)(a−1∈Λ)1(a−1∉Λ) |
and pa=μ(ˆEa). We next prove the following crucial lemma.
Lemma 3.2. Let ω∈Γ∗ and a∈Λ be such that ωa∈Γ∗. Then we have
pa=μ(ˆEωa)μ(ˆEω). |
Proof. Fix such ω∈Γ∗ and a∈Λ. Notice that
ˆEω=∞⨆i=|ω|ˆE(i)ω, |
where
ˆE(i)ω={υ∈¯E:red(υ|i)=ω, red(υ|k)≠ω (|ω|≤k<i)}. |
Then, since
ˆEωa∩ˆE(i)ω={υ∈¯E:σi(υ)∈ˆEa}∩ˆE(i)ω, |
we have
μ(ˆEωa∩ˆE(i)ω)=pa⋅μ(ˆE(i)ω). |
Therefore,
μ(ˆEωa)=μ(∞⨆i=|ω|ˆEωa∩ˆE(i)ω)=∞∑i=|ω|pa⋅μ(ˆE(i)ω)=pa⋅μ(ˆEω). |
Similarly, we have the following:
Lemma 3.3. For a∈Λ and ω=ω0⋯ωn∈Γ∗ with ωn=a, we have
μ(Eω)=qa⋅μ(ˆEω). |
Proof. Fix such a∈Λ and ω∈Γ∗. Notice that
ˆEω=∞⨆i=|ω|ˆE(i)ω, |
where
ˆE(i)ω={υ∈¯E:red(υ|i)=ω, red(υ|k)≠ω (|ω|≤k<i)}. |
Then, since
Eω∩ˆE(i)ω={υ∈¯E:σi(υ)∉⋃b∈Λ∖{a−1}Eb}∩ˆE(i)ω, |
we have
μ(Eω∩ˆE(i)ω)=qa⋅μ(ˆE(i)ω). |
Therefore,
μ(Eω)=μ(∞⨆i=|ω|Eω∩ˆE(i)ω)=∞∑i=|ω|qa⋅μ(ˆE(i)ω)=qa⋅μ(ˆEω). |
In this section we prove Theorem 2.1. Denote
˜pa=paqa and ˜pab=pbqbqa. |
Let ˜P=(˜pab). By Lemma 3.2 and Lemma 3.3, we obtain the following.
Proposition 4.1. For all ω=ω0⋯ωn∈Γ∗, we have
μred([ω])=˜pω0˜pω0ω1⋯˜pωn−1ωn. |
The above proposition implies that μred=˜μ. Therefore, we obtain ν=˜ν. By Lemma 3.1, we have χ=ℓ˜χ. It remains to show the following lemma. Notice that hRW, ℓ and ˜h all depend only on Λ and p.
Lemma 4.1. We have
hRW=ℓ˜h. |
Proof. Let Φ′={ϕab}(a,b)∈Λ⋆ be an IFS with inverses that satisfies the separation condition. Then, by Proposition 2.2 and Proposition 2.3 we obtain hRW=ℓ˜h.
The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.
The author would like to thank the anonymous referees for the careful reading and all the helpful suggestions and remarks. Y. T. was supported by JSPS KAKENHI grant 2020L0116.
The author declares no conflict of interest.
[1] |
McMechan GA, Gaynor GC, Szerbiak RB (1997) Use of ground-penetrating radar for 3-D sedimentological characterization of clastic reservoir analogs. Geophysics 62: 786-796. doi: 10.1190/1.1444188
![]() |
[2] |
Knight R, Tercier P, Jol H (1997) The role of ground penetrating radar and geostatistics in reservoir description. Leading Edge 16: 1576-1584. doi: 10.1190/1.1437526
![]() |
[3] |
Møller I, Anthony D (2003) A GPR study of sedimentary structures within a transgressive coastal barrier along the Danish North Sea coast. Geol Soc London Spec Publ 211: 55-65. doi: 10.1144/GSL.SP.2001.211.01.05
![]() |
[4] |
Lanzarone P, Garrison E, Bobe R, et al. (2016) Examining Fluvial Stratigraphic Architecture Using Ground-Penetrating Radar at the Fanta Stream Fossil and Archaeological Site, Central Ethiopia. Geoarchaeology 31: 577-591. doi: 10.1002/gea.21584
![]() |
[5] |
Kostic B, Aigner T (2007) Sedimentary architecture and 3D ground-penetrating radar analysis of gravelly meandering river deposits (Neckar Valley, SW Germany). Sedimentology 54: 789-808. doi: 10.1111/j.1365-3091.2007.00860.x
![]() |
[6] |
Rey J, Martinez J, Hidalgo MC (2013) Investigating fluvial features with electrical resistivity imaging and ground-penetrating radar: The Guadalquivir River terrace (Jaen, Southern Spain). Sediment Geol 295: 27-37. doi: 10.1016/j.sedgeo.2013.07.003
![]() |
[7] |
Smith DG, Jol HM (1992) Ground-penetrating radar investigation of a Lake Bonneville delta, Provo level, Brigham City, Utah. Geology 20: 1-4. doi: 10.1130/0091-7613(1992)020<1083:GPRIOA>2.3.CO;2
![]() |
[8] |
Barboza EG, Rosa MLCC, Dillenburg SR, et al. (2014) Stratigraphic analysis applied on the recognition of the interface between marine and fluvial depositional systems. J Coastal Res 70: 687-692. doi: 10.2112/SI70-116.1
![]() |
[9] |
Leandro CG, Barboza EG, Caron F, et al. (2019) GPR trace analysis for coastal depositional environments of southern Brazil. J Appl Geophys 162: 1-12. doi: 10.1016/j.jappgeo.2019.01.002
![]() |
[10] |
Dillenburg SR, Barboza EG, Rosa MLCC, et al. (2017) The complex prograded Cassino barrier in southern Brazil: Geological and morphological evolution and records of climatic, oceanographic and sea-level changes in the last 7-6 ka. Mar Geol 390: 106-119. doi: 10.1016/j.margeo.2017.06.007
![]() |
[11] |
Dillenburg SR, Hesp PA, Keane R, et al. (2020) Geochronology and evolution of a complex barrier, Younghusband Peninsula, South Australia. Geomorphology 354: 107044. doi: 10.1016/j.geomorph.2020.107044
![]() |
[12] |
Neal A (2004) Ground-penetrating radar and its use in sedimentology: principles, problems and progress. Earth Sci Rev 66: 261-330. doi: 10.1016/j.earscirev.2004.01.004
![]() |
[13] | Neal A, Roberts CL (2000) Applications of ground-penetrating radar (GPR) to sedimentological, geomorphological and geoarchaeological studies in coastal environments. In Pye K, Allen JRL, editor. Coastal and Estuarine Environments: Sedimentology, Geomorphology and Geoarchaeology, 175: 139-171. |
[14] | Jol HM (2009) Ground Penetrating Radar Theory and Applications. In Jol HM, editor. Oxford: Elsevier Science, 545. |
[15] |
Jol HM, Smith DG (1991) Ground penetrating radar of northern lacustrine deltas. Can J Earth Sci 28: 1939-1947. doi: 10.1139/e91-175
![]() |
[16] |
Beres Jr M, Haeni FP (1991) Application of ground-penetrating-radar Methods in Hydrogeologie Studies. Groundwater 29: 375-386. doi: 10.1111/j.1745-6584.1991.tb00528.x
![]() |
[17] | Van Sickle J (2015) GPS for Land Surveyors. CRC Press, 368. |
[18] |
Gibling MR (2006) Width and thickness of fluvial channel bodies and valley fills in the geological record: A literature compilation and classification. J Sediment Res 76: 731-770. doi: 10.2110/jsr.2006.060
![]() |
[19] | Calder JH, Boon J (2007) Joggins Fossil Cliffs: Property Nominated for Inscription on the World Heritage List. Halifax, NS: Nova Scotia Department of Natural Resources, Mineral Resources Branch. Open File Map ME 2007-2001. |
[20] | Calder JH, Gibling MR, Scott AC, et al. (2006) A fossil lycopsid forest succession in the classic Joggins section of Nova Scotia: paleoecology of a disturbance-prone Pennsylvanian wetland. Geol Soc Am 399: 169. |
[21] | Davies SJ, Gibling M, Rygel MC, et al. (2005) The Pennsylvanian Joggins Formation of Nova Scotia: sedimentological log and stratigraphic framework of the historic fossil cliffs. Atl Geol 41: 115-142. |
[22] |
Davies SJ, Gibling MR (2003) Architecture of coastal and alluvial deposits in an extensional basin: the Carboniferous Joggins Formation of eastern Canada. Sedimentology 50: 415-439. doi: 10.1046/j.1365-3091.2003.00553.x
![]() |
[23] |
Rygel MC, Gibling MR, Calder JH (2004) Vegetation-induced sedimentary structures from fossil forests in the Pennsylvanian Joggins Formation, Nova Scotia. Sedimentology 51: 531-552. doi: 10.1111/j.1365-3091.2004.00635.x
![]() |
[24] |
Grey M, Finkel ZV (2011) The Joggins Fossil Cliffs UNESCO World Heritage site: a review of recent research. Atl Geol 47: 185-200. doi: 10.4138/atlgeol.2011.009
![]() |
[25] |
Rygel MC, Gibling MR (2006) Natural geomorphic variability recorded in a high-accommodation setting: fluvial architecture of the Pennsylvanian Joggins Formation of Atlantic Canada. J Sediment Res 76: 1230-1251. doi: 10.2110/jsr.2006.100
![]() |
[26] |
Waldron JWF, Rygel MC (2005) Role of evaporite withdrawal in the preservation of a unique coal-bearing succession: Pennsylvanian Joggins Formation, Nova Scotia. Geology 33: 337-340. doi: 10.1130/G21302.1
![]() |
[27] |
Carpenter DK, Falcon-Lang HJ, Benton MJ, et al. (2015) Early Pennsylvanian (Langsettian) fish assemblages from the Joggins Formation, Canada, and their implications for palaeoecology and palaeogeography. Palaeontology 58: 661-690. doi: 10.1111/pala.12164
![]() |
[28] |
Archer AW, Calder JH, Gibling MR, et al. (1995) Invertebrate trace fossils and agglutinated foraminifera as indicators of marine influence within the classic Carboniferous section at Joggins, Nova Scotia, Canada. Can J Earth Sci 32: 2027-2039. doi: 10.1139/e95-156
![]() |
[29] |
Reisz R, Modesto SP (1996) Archerpeton anthracos from the Joggins Formation of Nova Scotia: a microsaur, not a reptile. Can J Earth Sci 33: 703-709. doi: 10.1139/e96-053
![]() |
[30] |
Tibert NE, Dewey CP (2006) Velatomorpha, a new healdioidean ostracode genus from the early Pennsylvanian Joggins Formation, Nova Scotia, Canada. Micropaleontology 52: 51-66. doi: 10.2113/gsmicropal.52.1.51
![]() |
[31] | Carroll RL (1967) Labyrinthodonts from the Joggins Formation. J Paleontol 41: 111-142. |
[32] |
Brand U (1994) Continental hydrology and climatology of the Carboniferous Joggins Formation (lower Cumberland Group) at Joggins, Nova Scotia: evidence from the geochemistry of bivalves. Palaeogeogr Palaeoclimatol Palaeoecol 106: 307-321. doi: 10.1016/0031-0182(94)90016-7
![]() |
[33] | UNESCO (2008) World Heritage List-Joggins Fossil Cliffs. |
[34] |
Falcon-Lang HJ (2009) Earliest history of coal mining and grindstone quarrying at Joggins, Nova Scotia, and its implications for the meaning of the place name "Joggins". Atl Geol 45: 1-20. doi: 10.4138/atlgeol.2009.001
![]() |
[35] | Rust BR, Gibling MR, Legun AS (1985) Coal deposition in an anastomosing-fluvial system: the Pennsylvanian Cumberland Group south of Joggins, Nova Scotia, Canada. In Rahmani RA, Flores RM, editor. Sedimentology of Coal and Coal-Bearing Sequences, 105-120. |
[36] | Quann SL, Young AB, Laroque CP, et al. (2010) Dendrochronological dating of coal mine workings at the Joggins Fossil Cliffs, Nova Scotia, Canada. |
[37] | Google Maps (2020) Google basemap of Joggins Area. Google. |
[38] | Nowland JL, MacDougall JI (1973) Nova Scotia Soil Survey-Soils of Cumberland County Nova Scotia. Canada Department of Agriculture, editor. Ottawa: D.W. Friesen and Sons Ltd., 154. |
[39] | Keys K, Neily P, Quigley E (2010) Forest Ecosystem Classification for Nova Scotia (Part Ⅱ: Soil Types). Resources NSDoN, editor. Halifax, Nova Scotia: Nova Scotia Department of Natural Resources, 121. |
[40] | Prothero DR, Schwab F (2003) Sedimentary Geology: An Introduction to Sedimentary Rocks and Stratigraphy. Freeman & Company, W & H. 600. |
[41] | Stea RR, Finck PW (1986) Surficial Geology, Chigneto Peninsula, Nova Scotia (Sheet 9). Geological Survey of Canada, Map 1630A. |
[42] | Ryan RJ, Calder JH, Donohoe Jr. HV, et al. (1987) Late Paleozoic Sedimentation and Basin Development Adjacent to the Cobequid Highlands Massif, Eastern Canada. In: Beaumont C, Tankard AJ, editors. Memoir 12-Sedimentary basins and basin-forming mechanisms. Halifax: Atlantic Geoscience Society, 311-317. |
[43] | RPS Energy (2010) Screening of Potential CO2 Storage Sites Onshore Nova Scotia. Carbon Capture and Storage Research Consortium of Nova Scotia. |
[44] | Ryan RJ, Boehner RC (1994) Geology of the Cumberland Basin, Cumberland, Colchester and Pictou Counties, Nova Scotia. Mines and Energy Branch. Halifax: Department of Natural Resources. |
[45] |
Browne GH, Plint AG (1994) Alternating braidplain and lacustrine deposition in a strike-slip setting: The Pennsylvanian Boss Point Formation of the Cumberland Basin, Maritime Canada. J Sediment Res 64: 40-59. doi: 10.1306/D4267E92-2B26-11D7-8648000102C1865D
![]() |
[46] | Martel TA (1987) Seismic Stratigraphy and Hydrocarbon Potential of the Strike-Slip Sackville Sub-Basin, New Brunswick. In: Beaumont C, Tankard AJ, editors. Memoir 12-Sedimentary basins and basin-forming mechanisms. Halifax: Atlantic Geoscience Society, 319-334. |
[47] |
Allen JP, Fielding CR, Rygel MC, et al. (2013) Deconvolving Signals of Tectonic and Climatic Controls From Continental Basins: An Example From the Late Paleozoic Cumberland Basin, Atlantic Canada. J Sediment Res 83: 847-872. doi: 10.2110/jsr.2013.58
![]() |
[48] |
Kelly TB, Wach GD (2020) Analysis of factors influencing the interpretation of a digitally examined fluvial meanderbelt system: Joggins Formation, Nova Scotia. Can J Earth Sci 57: 524-541. doi: 10.1139/cjes-2018-0263
![]() |
[49] | Rygel MC (2005) Alluvial sedimentology and basin analysis of carboniferous strata near Joggins, Nova Scotia, Atlantic Canada. Halifax, NS: Dalhousie University. |
[50] |
Gibling MR, Calder JH, Ryan R, et al. (1992) Late Carboniferous and early Permian drainage patterns in Atlantic Canada. Can J Earth Sci 29: 338-352. doi: 10.1139/e92-030
![]() |
[51] |
Szymczyk M, Szymczyk P (2013) Preprocessing of GPR data. Image Process Commun 18: 83-90. doi: 10.2478/v10248-012-0082-3
![]() |
[52] | Dojack L (2012) Ground Penetrating Radar Theory, Data Collection, Processing, and Interpretation: A Guide for Archaeologist. University of British Columbia: University of British Columbia, Laboratory of Archaeology, 94. |
[53] | Annan AP (2003) Ground Penetrating Radar Principles, Procedures & Applications. Sensors and Software Inc. |
[54] | Annan AP (1999) Practical Processing of GPR Data. Sensors and Software Inc., 1-18. |
[55] | Google (2013) Streetview. Google Inc. |
[56] |
Ékes C, Friele P (2003) Sedimentary architecture and post-glacial evolution of Cheekye fan, southwestern British Columbia, Canada. Geol Soc London Spec Publ 211: 87-98. doi: 10.1144/GSL.SP.2001.211.01.08
![]() |
[57] |
Heteren SV, Fitzgerald DM, Mckinlay PA, et al. (1998) Radar facies of paraglacial barrier systems: coastal New England, USA. Sedimentology 45: 181-200. doi: 10.1046/j.1365-3091.1998.00150.x
![]() |