slides

Transcription

slides
Math Modeling Acoustic Model Simulations Conclusion
Finding Buried Targets Using Acoustic
Excitation
Zackary R. Kenz
Advisor: Dr. H.T. Banks
In collaboration with Dr. Shuhua Hu, Dr. Grace Kepler, Clay Thompson – NCSU,
L3 Communications team led by Dr. Jerrold Levine,
and Dr. Richard Albanese
Center for Research in Scientific Computation
Department of Mathematics
North Carolina State University
October 7, 2010
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1
Math Modeling and Differential Equations
2
1D Model Formulation
3
Simulation Setup and Results
4
Conclusion
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Goals for Math Modeling Portion
Introduction to math modeling
Introduce differential equations
Examine how changing parts of a differential equation can
change resulting behavior
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Goals for Target Detection Portion
Acoustic Dynamics
Given an impact to the soil, what sort of wave propagation
dynamics are expected?
How do changes in soil properties affect dynamics?
Electromagnetic Signal Dynamics
Given an arbitrarily moving target in the soil, what will a
reflected radar signal look like?
Device Development
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1
Math Modeling and Differential Equations
2
1D Model Formulation
3
Simulation Setup and Results
4
Conclusion
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Math Modeling Overview
Modeling is developing equations to explain some
phenomenon, and then using the equations to make
predictions or answer questions about the phenomenon.
Validating the equations with real life data is of particular
interest.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Modeling Cycle
The Iterative Modeling Process
(iii) Abstraction or Mathematization
resulting in a mathematical model
(ii)
Formalization of properties,
relationships and mechanisms
which result in a biological or
physical model
(iv)
(i) Empirical Observations
(v)
(experiments and data collection)
(vii)
Changes in understanding of
mechanisms, etc., in the real
system.
Formation Stage: (i),(ii),(iii),(iv)
Formalization of
Uncertainty/Variablity in model and
data resulting in a statistical model
(vi)
Interpretation and Comparison
(with the real system)
Solution Stage: (v)
Z.R. Kenz
Model Analysis
Interpretation Stage: (vi), (vii)
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Differential Equations and Modeling
Modeling often uses differential equations to describe
relationships between variables
There are "ordinary" and "partial" differential equations
Question: What are differential equations?
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
What is an ODE?
A differential equation is a mathematical equation for an
unknown function of one or several variables that relates the
values of the function itself and its derivatives of various orders.
An ordinary differential equation means the function of interest
depends only on one independent variable.
Instead of solving for numbers, like solving for x in x 2 − 1 = 0,
we are solving for a function
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
ODE Example 1
dy(t)
=2
dt
The left hand side is the rate of change of the solution y(t).
The equation says that we want the rate of change of the
unknown function y(t) to be a constant.
What simple function has a constant rate of change (slope)?
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Example 1 Solution
dy(t)
=2
dt
If we integrate both sides with respect to t, the solution is
y(t) = 2t + c
c is a "constant of integration"
This could describe the motion of someone walking down the
sidewalk at a constant rate.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Adding an Initial Condition
Solution from previous slide: y(t) = 2t + c
In a particular problem, we might want the person to start
walking at position 5. Mathematically, we write y(0) = 5.
Applying that condition to the problem:
y(0) = 2 · 0 + c = 5.
Solving gives c = 5.
The full solution would then be
y(t) = 2t + 5
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Components of an ODE Problem
A full ODE problem is both the main equation (which includes
the derivatives) and also some conditions like our y(0) = 5.
The number of conditions depends on the highest number of
derivatives you have.
Now we’ll look at a slightly more complicated example.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
ODE Example 2
dy(t)
= 2y(t)
dt
This equation says that the rate of change of the solution is
proportional to the value of the function at every point t.
It’s a little more complicated to get the solution for this case, so
we won’t solve it here but just state the answer:
y(t) = e2t + c.
Changing the right hand side of the ODE from a constant to the
unknown function changed the solution behavior.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
ODE Example 3
dz(t)
= −2z(t)
dt
By changing the constant to −2, the solution is now
z(t) = e−2t + d.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Example 2 vs Example 3
We’ll set the constants of integration equal to 0 (arbitrary).
We can compare the two solutions y(t) = e2t and z(t) = e−2t in
the figure below.
y(t)
z(t)
Function Value
6
4
2
0
0.1
0.2
0.3
0.4
Z.R. Kenz
0.5
t
0.6
0.7
0.8
Acoustic/EM Target Detection
0.9
1
Math Modeling Acoustic Model Simulations Conclusion
A Little More on ODEs
These equations can get more complicated. For example,
Higher derivatives can be in the equation
Parameters can be in the model.
The spring system is a common example:
m
d 2 y(t)
dy(t)
+c
+ k y(t) = 0
dt
dt 2
m: mass
c: damping
Z.R. Kenz
k: stiffness
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Example Solution for Spring System
Damped Spring System
2
Postion x(t)
1.5
1
0.5
0
−0.5
0
2
4
6
8
10
Time t
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Brief PDE Discussion
What if we want the solution to depend on multiple independent
variables, like the three spatial dimensions?
A partial differential equation (PDE) seeks a solution with more
than one independent variable. For example, we might want to
track the temperature of a room over time. We would then be
trying to find a function like
T (x, y, z, t).
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Brief PDE Discussion
Derivatives are now "partial" derivatives (denoted with ∂),
meaning with respect to one variable holding the others
constant.
For example, if we wanted the rate of change of temperature
with respect to time, we’d denote that quantity as
∂T (x, y, z, t)
.
∂t
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
The Wave Equation
An equation that can be used to describe simple wave
motion in one spatial dimension is
2
∂ 2 u(z, t)
2 ∂ u(z, t)
=
.
c
∂t 2
∂z 2
Upon solving analytically, the constant c represents the
speed of the wave.
This particular form of the wave equation can be solved by
hand, but more complicated forms are solved numerically.
There is a shorthand notation for partial derivatives that turns the
wave equation above into utt = c 2 uzz .
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Moving Forward
With this brief introduction to modeling and differential
equations, we can start discussing my research project of
detecting buried targets.
The project is an example of the modeling cycle.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1
Math Modeling and Differential Equations
2
1D Model Formulation
3
Simulation Setup and Results
4
Conclusion
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Definitions
Elastic material: returns to its original shape after applying
stress forces (rubber band)
Viscous material: Resists stresses (tar)
Viscoelastic material: Has both properties (rubber)
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Problem Situation
Open field where we want to detect buried objects
Thump in one area, study wave propagation outward from
thumper
Likely need a 2D or 3D model to capture full dynamics
As a first approximation, we’ll use a 1D model see which
features of wave propagation we can capture
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1D Problem
One dimensional problem schematic:
.
air
soil
.
soil
Observations of the wave form at a particular depth will be
taken at the z10 position
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1D Model: Key Assumptions
Both soil and target are uniform in horizontal (i.e., x and y)
directions
The column is a continuum
Dry soil behaves as a Kelvin-Voigt viscoelastic solid for
small-amplitude vibrations1
1
B.O. Hardin, The nature of damping in sands, J. Soil Mech. Found. Div.,
91 (1965), 63-97.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1D Model: Notation
u(z, t) denotes the displacement (units: m) in the
z-direction at position z at time t
2
u(z,t)
Kelvin-Voigt stress: σ = κ ∂u(z,t)
+ η ∂ ∂t∂z
∂z
κ: elastic modulus (i.e. stiffness) in
η: damping coefficient in
ρ: soil density in
kg
m·s2
= Pa
kg
m·s
kg
m3
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1D Model: Only Soil
From the equations of motion for a continuum, we obtain
ρ∂
2 u(z,t)
∂t 2
=
=
∂
∂z
∂
∂z
(σ)
∂ 2 u(z,t)
κ ∂u(z,t)
+
η
∂z
∂t∂z
Remember from the wave equation slide that the wave speed was the
constant c in utt = c 2 uzz . For our model above, if we neglect damping
p
we get c = κ/ρ.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1D Model: Including Rigid Target
Model the rigid target as a point mass in the column at z10 :
2
∂u(z,t)
∂ 2 u(z,t)
∂
κ
, z ∈ (zp0 , z10 ) ∪ (z10 , ∞)
ρ ∂ u(z,t)
=
+
η
∂z
∂z
∂t∂z
∂t 2
M∂
2 u(z ,t)
10
∂t 2
+
,t)
∂ 2 u(z10
∂u(z + ,t)
= S κ ∂z10 + η ∂t∂z
−
∂u(z − ,t)
∂ 2 u(z10
,t)
−S κ ∂z10 + η ∂t∂z
.
M: mass in kg of target
S: surface area in m2 of contact between target and soil under
(over) target
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1D Model: Additional Assumptions and Conditions
Assume zero displacement and zero velocity initially:
∂
u(z, 0) = 0
∂z
u(z, 0) = 0
At the surface, the normal internal stress is balanced with
the applied input force:
∂ 2 u(z,t) κ ∂u(z,t)
+
η
= −f (t),
∂z
∂t∂z
z=zp0
Computational assumption: the column is finite:
u(z00 , t) = 0
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1
Math Modeling and Differential Equations
2
1D Model Formulation
3
Simulation Setup and Results
4
Conclusion
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Simulation Setup
Surface: zp0 = 0m
Observation point/target: z10 = 0.3048m
Far boundary: z00 = 50m
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Simulation Setup
Forcing Function
5
4
x 10
3
f(t) (units:N/m2)
2
1
0
−1
−2
−3
−4
0
0.002
0.004
0.006
t (units: s)
Z.R. Kenz
0.008
0.01
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Questions to Ask
If soil density ρ changes, what happens to the wave form
and speed?
What happens if the elastic modulus κ changes?
What happens when the wave impacts the rigid body
target?
This is the Model Analysis part of the modeling cycle.
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, Soil Only
Changes in Soil: Density
−4
10
x 10
Displacement around z=0.3048m (z=1 ft)
κ=204000000 ρ=1440
κ=204000000 ρ=1800
κ=204000000 ρ=2250
u(0.3048,t) (units: m)
8
6
4
2
0
−2
0
0.002
0.004
0.006
0.008
0.01
t (units: s)
Wave speed heuristic (no damping): v ≈
Z.R. Kenz
p
κ/ρ
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, Soil Only
Changes in Soil: Elastic Modulus
−4
12
x 10
Displacement around z=0.3048m (z=1 ft)
κ=102000000 ρ=1800
κ=204000000 ρ=1800
κ=408000000 ρ=1800
u(0.3048,t) (units: m)
10
8
6
4
2
0
−2
0
0.002
0.004
0.006
0.008
0.01
t (units: s)
Heuristic: v ≈
p
κ/ρ
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, Soil Only
Changes in Soil: Density and Elastic Modulus
−4
14
x 10
Displacement around z=0.3048m (z=1 ft)
κ=102000000 ρ=1440
κ=204000000 ρ=1800
κ=408000000 ρ=2250
u(0.3048,t) (units: m)
12
10
8
6
4
2
0
−2
0
0.002
0.004
0.006
0.008
0.01
t (units: s)
Heuristic: v ≈
p
κ/ρ
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, Soil Only
−4
12
x 10
Displacement around z=0.3048m (z=1 ft)
κ=163200000 ρ=1440
κ=204000000 ρ=1800
κ=255000000 ρ=2250
u(0.3048,t) (units: m)
10
8
6
4
2
0
−2
0
0.002
0.004
0.006
0.008
0.01
t (units: s)
Heuristic: v ≈
p
κ/ρ
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, With Target: Wave Form Passing by Target
Wave form in z−domain, at time t=0.00067831
−5
14
x 10
Displacement, units: m
12
10
8
6
4
2
0
−2
0
0.5
1
1.5
2
Distance under ground, units: m
Dashed line represents location of target in column
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, With Target: Wave Form Passing by Target
Wave
form in z−domain, at time t=0.0020486
−4
x 10
Displacement, units: m
8
6
4
2
0
0
0.5
1
1.5
2
Distance under ground, units: m
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, With Target: Wave Form Passing by Target
Wave
form in z−domain, at time t=0.0054744
−4
x 10
Displacement, units: m
8
6
4
2
0
0
0.5
1
1.5
2
Distance under ground, units: m
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Results, With Target: Wave Form Passing by Target
Wave form in z−domain, at time t=0.0068447
−4
8
x 10
Displacement, units: m
7
6
5
4
3
2
1
0
0
0.5
1
1.5
2
Distance under ground, units: m
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
1
Math Modeling and Differential Equations
2
1D Model Formulation
3
Simulation Setup and Results
4
Conclusion
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Discussion
Model successes:
The 1D model can capture basic wave dynamics in the soil
Models results of changes in soil properties the way we
would expect
Model shows what we would expect when wave impacts a
rigid body
Modeled effects that were seen in field tests
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Discussion
Model drawbacks:
Missing any dynamics outside soil column
Assumes everything is uniform, clearly not true in practice
Only models one wave type - in reality, multiple types result
from a single impact
Doesn’t model effects of waves hitting target at an angle
– Here target is modeled as a point, real target is 3D
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Future Work
More complicated equations - need more spatial
independent variables since real life is three-dimentional
Further studies on how well we can estimate model
parameters like density using real life data
Couple with electromagnetic detection portion
Discrimanants for target detection
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Acknowledgements
Project supported by Air Force Office of Scientific
Research, grant FA9550-09-1-0226
My efforts were supported by a Department of Education
GAANN Fellowship
Z.R. Kenz
Acoustic/EM Target Detection
Math Modeling Acoustic Model Simulations Conclusion
Questions?
For further details on elasticity theory and this computational example, see:
"A Brief Review of Elasticity and Viscoelasticty", CRSC Technical Report
CRSC-TR10-08, May 2010, www.ncsu.edu/crsc/reports/reports10.html
or "A Brief Review of Elasticity and Viscoelasticity for Solids," Advances in
Applied Mathematics, to appear
Z.R. Kenz
Acoustic/EM Target Detection