|
楼主 |
发表于 2009-4-13 22:24:31
|
显示全部楼层
Notes to Instructors xvii
1 Signals and Systems
1
1.1 Signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Audio signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Probing further: Household electrical power . . . . . . . . . . . . . . . . . . . . . 7
1.1.3 Video signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.4 Signals representing physical attributes . . . . . . . . . . . . . . . . . . . 12
1.1.5 Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.6 Discrete signals and sampling . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2 Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.1 Systems as functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.2 Telecommunications systems . . . . . . . . . . . . . . . . . . . . . . . . . 20
Probing further: Wireless communication . . . . . . . . . . . . . . . . . . . . . . 23
Probing further: LEO telephony . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Probing further: Encrypted speech . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.2.3 Audio storage and retrieval . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.2.4 Modem negotiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.2.5 Feedback control system . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2 Defining Signals and Systems
37
2.1 Defining functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1.1 Declarative assignment . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1.2 Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Probing further: Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.3 Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.4 Procedures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.1.5 Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Probing further: Declarative interpretation of imperative definitions . . . . . . . . 46
2.1.6 Declarative vs. imperative . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.2 Defining signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.2.1 Declarative definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.2.2 Imperative definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.2.3 Physical modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Probing further: Physics of a Tuning Fork . . . . . . . . . . . . . . . . . . . . . . 51
2.3 Defining systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.3.1 Memoryless systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.3.2 Differential equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.3.3 Difference equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.3.4 Composing systems using block diagrams . . . . . . . . . . . . . . . . . . 56
Probing further: Composition of graphs . . . . . . . . . . . . . . . . . . . . . . . 58
3 State-Space Models
65
3.1 State machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.1.1 Updates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.1.2 Stuttering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.2 Finite state machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.2.1 State transition diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.2.2 Update table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.3 Nondeterministic state machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.3.1 State transition diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.3.2 Sets and functions model . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.4 Simulation and bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.4.1 Relating behaviors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4 Composing State Machines
97
4.1 Synchrony . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2 Side-by-side composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.3 Cascade composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.4 Product-form inputs and outputs . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
4.5 General feedforward composition . . . . . . . . . . . . . . . . . . . . . . . . . . 106
4.6 Hierarchical composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.7 Feedback . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
4.7.1 Feedback composition with no inputs . . . . . . . . . . . . . . . . . . . . 111
4.7.2 Feedback composition with inputs . . . . . . . . . . . . . . . . . . . . . . 116
Probing further: Least fixed point . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.7.3 Feedback composition of multiple machines . . . . . . . . . . . . . . . . . 118
4.8 Nondeterministic machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5 Linear Systems
127
5.1 Operation of an infinite state machine . . . . . . . . . . . . . . . . . . . . . . . . 128
Basics: Arithmetic on tuples of real numbers . . . . . . . . . . . . . . . . . . . . . 129
5.1.1 Time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
Basics: Functions yielding tuples . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Basics: Linear functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.2 One-dimensional SISO systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
5.2.1 Zero-state and zero-input response . . . . . . . . . . . . . . . . . . . . . . 136
Basics: Matrices and vectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
Basics: Matrix arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
5.3 Multidimensional SISO systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 140vi
CONTENTS
5.4 Multidimensional MIMO systems . . . . . . . . . . . . . . . . . . . . . . . . . . 143
5.5 Linear systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
5.6 Continuous-time state-space models . . . . . . . . . . . . . . . . . . . . . . . . . 144
Probing further: Approximating continuous-time systems . . . . . . . . . . . . . . 145
6 Frequency Domain
149
6.1 Frequency decomposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
Basics: Frequencies in Hertz and radians . . . . . . . . . . . . . . . . . . . . . . . 151
Basics: Ranges of frequencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
Probing further: Circle of fifths . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
6.2 Phase . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
6.3 Spatial frequency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
6.4 Periodic and finite signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
6.5 Fourier series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
Probing further: Convergence of the Fourier series . . . . . . . . . . . . . . . . . . 164
6.5.1 Uniqueness of the Fourier series . . . . . . . . . . . . . . . . . . . . . . . 165
6.5.2 Periodic, finite, and aperiodic signals . . . . . . . . . . . . . . . . . . . . 165
6.5.3 Fourier series approximations to images . . . . . . . . . . . . . . . . . . . 167
6.6 Discrete-time signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Basics: Discrete-time frequencies . . . . . . . . . . . . . . . . . . . . . . . . . . 168
6.6.1 Periodicity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
6.6.2 The discrete-time Fourier series . . . . . . . . . . . . . . . . . . . . . . . 169
Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
7 Frequency Response
175
7.1 LTI systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
7.1.1 Time invariance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
7.1.2 Linearity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
7.1.3 Linearity and time-invariance . . . . . . . . . . . . . . . . . . . . . . . . 180
7.1.4 Discrete-time LTI systems . . . . . . . . . . . . . . . . . . . . . . . . . . 182
CONTENTS
vii
7.2 Finding and using the frequency response . . . . . . . . . . . . . . . . . . . . . . 183
Basics: Sinusoids in terms of complex exponentials . . . . . . . . . . . . . . . . . 184
Tips and Tricks: Phasors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
7.2.1 The Fourier series with complex exponentials . . . . . . . . . . . . . . . . 190
7.2.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
7.3 Determining the Fourier series coefficients . . . . . . . . . . . . . . . . . . . . . . 191
Probing further: Relating DFS coefficients . . . . . . . . . . . . . . . . . . . . . . 192
Probing further: Formula for Fourier series coefficients . . . . . . . . . . . . . . . 194
Probing further: Exchanging integrals and summations . . . . . . . . . . . . . . . 195
7.3.1 Negative frequencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
7.4 Frequency response and the fourier series . . . . . . . . . . . . . . . . . . . . . . 195
7.5 Frequency response of composite systems . . . . . . . . . . . . . . . . . . . . . . 196
7.5.1 Cascade connection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
7.5.2 Feedback connection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
Probing further: Feedback systems are LTI . . . . . . . . . . . . . . . . . . . . . . 200
8 Filtering
205
8.1 Convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
8.1.1 Convolution sum and integral . . . . . . . . . . . . . . . . . . . . . . . . 208
8.1.2 Impulses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
8.1.3 Signals as sums of weighted delta functions . . . . . . . . . . . . . . . . . 212
8.1.4 Impulse response and convolution . . . . . . . . . . . . . . . . . . . . . . 214
8.2 Frequency response and impulse response . . . . . . . . . . . . . . . . . . . . . . 217
8.3 Causality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
8.4 Finite impulse response (FIR) filters . . . . . . . . . . . . . . . . . . . . . . . . . 220
Probing further: Causality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
8.4.1 Design of FIR filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
8.4.2 Decibels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
Probing further: Decibels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
8.5 Infinite impulse response (IIR) filters . . . . . . . . . . . . . . . . . . . . . . . . . 230
viii
CONTENTS
8.5.1 Designing IIR filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
8.6 Implementation of filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232
8.6.1 Matlab implementation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
8.6.2 Signal flow graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
Probing further: Java implementation of an FIR filter . . . . . . . . . . . . . . . . 235
Probing further: Programmable DSP implementation of an FIR filter . . . . . . . . 236
9 The Four Fourier Transforms
245
9.1 Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
9.2 The Fourier series (FS) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
9.3 The discrete Fourier transform (DFT) . . . . . . . . . . . . . . . . . . . . . . . . 247
Probing further: Showing inverse relations . . . . . . . . . . . . . . . . . . . . . . 248
9.4 The discrete-Time Fourier transform (DTFT) . . . . . . . . . . . . . . . . . . . . 250
9.5 The continuous-time Fourier transform . . . . . . . . . . . . . . . . . . . . . . . . 251
Probing further: Multiplying signals . . . . . . . . . . . . . . . . . . . . . . . . . 253
9.6 Relationship to convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
9.7 Properties and examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
9.7.1 Conjugate symmetry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
9.7.2 Time shifting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255
9.7.3 Linearity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258
9.7.4 Constant signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259
9.7.5 Frequency shifting and modulation . . . . . . . . . . . . . . . . . . . . . 260
10 Sampling and Reconstruction
267
10.1 Sampling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267
Basics: Units . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
10.1.1 Sampling a sinusoid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
10.1.2 Aliasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
10.1.3 Perceived pitch experiment . . . . . . . . . . . . . . . . . . . . . . . . . . 270
10.1.4 Avoiding aliasing ambiguities . . . . . . . . . . . . . . . . . . . . . . . . 273
CONTENTS
ix
10.2 Reconstruction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
10.2.1 A model for reconstruction . . . . . . . . . . . . . . . . . . . . . . . . . . 275
10.3 The Nyquist-Shannon sampling theorem . . . . . . . . . . . . . . . . . . . . . . . 277
Probing further: Sampling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 278
A Sets and Functions
285
A.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285
A.1.1 Assignment and assertion . . . . . . . . . . . . . . . . . . . . . . . . . . 286
A.1.2 Sets of sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
A.1.3 Variables and predicates . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
Probing further: Predicates in Matlab . . . . . . . . . . . . . . . . . . . . . . . . . 288
A.1.4 Quantification over sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
A.1.5 Some useful sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
A.1.6 Set operations: union, intersection, complement . . . . . . . . . . . . . . . 291
A.1.7 Predicate operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
A.1.8 Permutations and combinations . . . . . . . . . . . . . . . . . . . . . . . 293
A.1.9 Product sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
Basics: Tuples, strings, and sequences . . . . . . . . . . . . . . . . . . . . . . . . 294
A.1.10 Evaluating a predicate expression . . . . . . . . . . . . . . . . . . . . . . 299
A.2 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
A.2.1 Defining functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
A.2.2 Tuples and sequences as functions . . . . . . . . . . . . . . . . . . . . . . 304
A.2.3 Function properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 304
Probing further: Infinite sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305
Probing further: Even bigger sets . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
A.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
B Complex Numbers
311
B.1 Imaginary numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
B.2 Arithmetic of imaginary numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
x
CONTENTS
B.3 Complex numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313
B.4 Arithmetic of complex numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
B.5 Exponentials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
B.6 Polar coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316
C Laboratory Exercises
323
C.1 Arrays and sound . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
C.1.1 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
C.1.2 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 329
C.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
C.2.1 Images in Matlab . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
C.2.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334
C.2.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336
C.3 State machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
C.3.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
C.3.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
C.3.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344
C.4 Control systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347
C.4.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347
C.4.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 349
C.4.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 350
C.5 Difference equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352
C.5.1 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352
C.5.2 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
C.6 Differential equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
C.6.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
C.6.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 358
C.6.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
C.7 Spectrum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
C.7.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
CONTENTS
xi
C.7.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
C.7.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369
C.8 Comb filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372
C.8.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372
C.8.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
C.8.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
C.9 Plucked string instrument . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 378
C.9.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 378
C.9.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380
C.9.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 381
C.10 Modulation and demodulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
C.10.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
C.10.2 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 390
C.10.3 Independent section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 391
C.11 Sampling and aliasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393
C.11.1 In-lab section . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393
Index |
|