Giáo trình: Signals, Systems, Transforms, and Digital Signal Processing with MATLAB®

  • Tác giả: Michael Corinthios (École Polytechnique de Montréal, Montréal, Canada)
  • Nhà xuất bản: CRC Press – Taylor & Francis Group
  • Mã ấn phẩm (ISBN-13): 978-1-4200-9049-9 (eBook - PDF)
  • Lĩnh vực: Kỹ thuật Điện - Điện tử, Xử lý Tín hiệu Số, Khoa học Máy tính và Kỹ thuật Hệ thống

Tổng quan về giáo trình

Giáo trình Signals, Systems, Transforms, and Digital Signal Processing with MATLAB® của Giáo sư Michael Corinthios được biên soạn nhằm phục vụ các học phần cốt lõi thuộc chương trình đào tạo bậc đại học và sau đại học trong các ngành Kỹ thuật Điện, Kỹ thuật Viễn thông, Kỹ thuật Điều khiển và Tự động hóa, cũng như Kỹ thuật Máy tính. Vị trí của tài liệu nằm ở giai đoạn chuyển tiếp giữa khối kiến thức toán học cơ sở kỹ thuật (giải tích vi phân, đại số tuyến tính, lý thuyết hàm phức) và các khối kiến thức chuyên ngành ứng dụng như truyền thông số, xử lý ảnh, hệ thống điều khiển tự động và vi kiến trúc số.

Mục tiêu học tập của giáo trình bao gồm:

  • Trang bị mô hình toán học giải tích cho các tín hiệu và hệ thống tuyến tính bất biến theo thời gian (LTI) trong cả hai miền thời gian liên tục ($t$) và thời gian rời rạc ($n$).
  • Xây dựng cơ sở lý thuyết và phương pháp tính toán các phép biến đổi tích phân và chuỗi: chuỗi Fourier, biến đổi Laplace (song phương và đơn phương), biến đổi Fourier liên tục (CTFT), biến đổi $z$, biến đổi Fourier thời gian rời rạc (DTFT) và biến đổi Fourier rời rạc (DFT/FFT).
  • Cung cấp phương pháp phân tích và tổng hợp các bộ lọc tương tự (Butterworth, Chebyshev, Elliptic, Bessel) và bộ lọc số (FIR, IIR, cấu trúc Lattice).
  • Phân tích kiến trúc phần cứng chuyên dụng cho xử lý tín hiệu số, thiết kế mạch logic số, và hiện thực hóa thuật toán trên vi xử lý DSP (Texas Instruments TMS320C6713B) và FPGA.
  • Mở rộng lý thuyết hàm phân phối (Distribution Theory) và khái quát hóa miền hội tụ của các phép biến đổi tích phân trong xử lý tín hiệu nâng cao.

Cấu trúc giáo trình gồm 18 chương chính và phần phụ lục toán học - lịch sử. Cách tiếp cận của tài liệu được xây dựng theo nguyên tắc: đơn giản hóa việc giải thích các khái niệm toán học trừu tượng thông qua diễn giải vật lý và biểu diễn hình học trực quan ("Graphics – the language of scientists and engineers"), đồng thời duy trì tính chặt chẽ của chứng minh toán học. Tài liệu tích hợp các đoạn mã và hàm chức năng từ môi trường tính toán MATLAB®, Simulink® và Wolfram Mathematica® để kiểm chứng các mô hình lý thuyết.

Nội dung kiến thức cốt lõi

Các chương và chủ đề chính

  1. Chương 1 đến Chương 5: Tín hiệu liên tục, Hệ thống LTI và các phép biến đổi miền tần số liên tục
    • Nội dung: Phân tích tín hiệu cơ bản (hàm nấc Heaviside $u(t)$, hàm xung Dirac-delta $\delta(t)$, tín hiệu chẵn/lẻ, tuần hoàn); tích tích chập (convolution) và hàm tương quan (correlation); biểu diễn chuỗi Fourier lượng giác và mũ; điều kiện hội tụ Dirichlet; biến đổi Laplace song phương/đơn phương cùng miền hội tụ (ROC); định lý phần dư Cauchy và định lý khai triển Heaviside; biến đổi Fourier liên tục, liên hệ giữa biến đổi Fourier và Laplace; lý thuyết lấy mẫu thời gian và tái tạo tín hiệu theo định lý Whittaker-Shannon; mô hình hóa hệ thống động học bậc một, bậc hai và đáp ứng tần số qua biểu đồ Bode.
  2. Chương 6 đến Chương 8: Tín hiệu rời rạc, Biến đổi $z$, Biến đổi Fourier rời rạc và Mô hình không gian trạng thái
    • Nội dung: Hệ thống rời rạc tuyến tính bất biến (LTI), phương trình sai phân hệ số hằng tuyến tính (LCCDE); định nghĩa và tính chất của biến đổi $z$, các phương pháp nghịch đảo biến đổi $z$ (khai triển phân thức tối giản, chia đa thức, chuỗi lũy thừa); biến đổi DTFT, DFT, DFS; tích chập vòng (circular convolution); các thuật toán biến đổi Fourier nhanh (FFT) gồm thuật toán Ordered Input/Ordered Output (OIOO) Radix-2 và tổng quát; mô hình hóa không gian trạng thái (State Space Modeling) cho hệ liên tục và rời rạc, dạng chuẩn Jordan (Jordan Canonical Form), tính toán trị riêng và véc-tơ riêng.
  3. Chương 9 đến Chương 11: Thiết kế bộ lọc liên tục, bộ lọc tích cực/thụ động và bộ lọc số
    • Nội dung: Lý thuyết tổng hợp bộ lọc tương tự: xấp xỉ Butterworth (độ phẳng tối đa), xấp xỉ Chebyshev (loại I và loại II), xấp xỉ Elliptic (Cauer) dựa trên hàm Jacobi elliptic, bộ lọc Bessel với trễ nhóm không đổi; chuyển đổi tần số (từ thông thấp chuẩn hóa sang thông cao, thông dải, chắn dải); hiện thực mạch lọc thụ động mạng thang LC đơn/kép (doubly terminated LC ladder) và mạch lọc tích cực (cấu trúc Biquad, mạch Sallen-Key); thiết kế bộ lọc số IIR (phương pháp bất biến xung - Impulse Invariance, xấp xỉ song tuyến tính) và bộ lọc số FIR pha tuyến tính (phương pháp cửa sổ, phương pháp lấy mẫu tần số, kỹ thuật bình phương tối thiểu và thuật toán Prony); cấu trúc lọc Lattice toàn cực (all-pole) và cực-zero.
  4. Chương 12 đến Chương 14: Mật độ phổ, Hệ thống truyền thông và các phép biến đổi trực giao liên quan
    • Nội dung: Phân tích mật độ phổ năng lượng (ESD) và mật độ phổ công suất (PSD) của tín hiệu xác định; nhập môn hệ thống truyền thông điều chế biên độ (AM, DSB, DSB-SC, SSB, VSB) và điều chế xung số (PCM, PDM, PPM, PCM-TDM, FDM); hệ thống các phép biến đổi trực giao: hàm Rademacher, hàm Haar, biến đổi Walsh-Hadamard theo thứ tự Sequency, Dyadic (Paley) và Natural (Hadamard); biến đổi Hilbert rời rạc và liên tục; biến đổi Hartley; biến đổi Cosine rời rạc (DCT); biến đổi Fractional Fourier và biến đổi Mellin.
  5. Chương 15 đến Chương 18: Kiến trúc phần cứng DSP, Xử lý tín hiệu ngẫu nhiên và Lý thuyết phân phối tổng quát
    • Nội dung: Hệ thống biểu diễn số học nhị phân (dấu và độ lớn, bù 1, bù 2, số thực dấu phẩy động), cấu trúc mạch cộng Look-Ahead (CLA), mạch nhân, mạch chia không khôi phục (nonrestoring division); thiết kế mạch tuần hoàn đồng bộ và máy trạng thái bất đồng bộ; kiến trúc bộ xử lý tín hiệu số: FPGA Xilinx, CPU vi xử lý DSP dấu phẩy động Texas Instruments TMS320C6713B, tập thanh ghi, đường truyền dữ liệu (data paths), chế độ định vị địa chỉ tuyến tính và vòng, lập trình kết hợp C++ và Hợp ngữ (Assembly); xử lý tín hiệu ngẫu nhiên, phương trình Yule-Walker, mô hình dự báo tuyến tính (Linear Prediction), lọc tối ưu Wiener trong miền liên tục và rời rạc; lý thuyết phân phối (Distribution Theory) và nghiên cứu mở rộng phân phối khái quát trong miền $s$ và miền $z$.

Kiến thức nền tảng được xây dựng

  • Lý thuyết hệ thống tuyến tính bất biến: Xác lập mối liên hệ giữa phương trình vi phân/sai phân, đáp ứng xung $h(t)$ hoặc $h[n]$, và hàm truyền đạt $H(s)$ hoặc $H(z)$. Quy tắc xác định tính nhân quả (causality) và tính ổn định (stability) dựa trên vị trí các cực trong mặt phẳng phức.
  • Toán học biến đổi và phân tích phổ: Xây dựng hệ thống công cụ giải tích từ chuỗi trực giao tổng quát đến các phép biến đổi Fourier, Laplace, biến đổi $z$, và các họ biến đổi thời gian - tần số mở rộng.
  • Lý thuyết hàm phân phối giải tích: Mô hình hóa các điểm kỳ dị toán học (singularities) như hàm xung Dirac-delta và các đạo hàm bậc cao dưới dạng giới hạn của các dãy hàm thông thường.

Kỹ năng phát triển

  • Kỹ năng phân tích giải tích: Tính toán tích phân tích chập và hàm tương quan bằng cả phương pháp đồ thị dịch chuyển trục (mobile function) lẫn giải tích đại số; giải hệ phương trình vi phân/sai phân mô tả mạch điện và hệ thống cơ điện.
  • Kỹ năng thiết kế kỹ thuật: Tính toán bậc bộ lọc và tra bảng tham số chuẩn hóa cho các bộ lọc tương tự (Butterworth, Chebyshev, Elliptic, Bessel); xác định thông số linh kiện $L, C$ cho mạng thang LC; thiết kế bộ lọc số FIR và IIR đáp ứng chỉ tiêu dải thông và dải chắn.
  • Kỹ năng thực hành tính toán và lập trình phần cứng: Xây dựng script mô phỏng giải thuật trên MATLAB và Mathematica; xây dựng mô hình khối trong Simulink; chuyển dịch thuật toán xử lý tín hiệu sang mã hợp ngữ trên kiến trúc vi xử lý TMS320C6713B và vi mạch khả trình FPGA.

Phương pháp giảng dạy và học tập

Giáo trình áp dụng phương pháp sư phạm tiếp cận theo từng bước tuần tự (gradual pedagogical transition), kết hợp giữa chứng minh giải tích toán học, mô hình hóa hình học và thực thi thuật toán trên máy tính:

[Khái niệm toán học / Định lý] 
[Minh họa hình học trực quan (Graphics)] 
[Ví dụ mẫu tính toán giải tích từng bước] 
[Kiểm chứng mã nguồn (MATLAB / Mathematica / Simulink)] 
[Hiện thực hóa phần cứng (Assembly / TMS320C6713B / FPGA)]

Tiếp cận qua trực quan hóa và mô hình toán học

Tác giả sử dụng biểu diễn đồ thị như một công cụ sư phạm xuyên suốt nhằm làm rõ các phép toán trừu tượng:

  • Trong phép tính tích chập $y(t) = \int_{-\infty}^{\infty} x(\tau) v(t-\tau) d\tau$, tài liệu đưa ra khái niệm "mobile function" và "mobile axis" tại vị trí $\tau = t$, phân tích chi tiết từng trường hợp trùng lặp (overlap) giữa các hàm một phía (right-sided), hai phía (two-sided) và trái phía (left-sided).
  • Trong giải thuật biến đổi Fourier nhanh (FFT), tác giả phát triển phương pháp chuỗi ma trận - phương trình - ma trận ("Matrix-Equation-Matrix sequence of operations"), giúp hệ thống hóa quá trình hoán vị chỉ số và phân rã ma trận DFT mà không cần phụ thuộc vào các sơ đồ cánh bướm (butterfly diagrams) phức tạp.

Bài tập, kiểm tra và tài liệu mẫu

  • Mỗi chương đều tích hợp hệ thống ví dụ tính toán hoàn chỉnh với các bước biến đổi trung gian tường minh.
  • Cuối mỗi chương là hệ thống bài tập phong phú kèm mục đáp án cho các bài toán chọn lọc (Answers to Selected Problems), cho phép người học đối chiếu kết quả tính toán giải tích.
  • Các bài toán thực hành thiết kế cung cấp đầy đủ bảng thông số chuẩn hóa (nomographs và tables) cho bộ lọc Chebyshev, Elliptic, Bessel và bảng linh kiện mạng thang LC.

Hướng dẫn tự học và nghiên cứu thực hành

  • Người học được khuyến nghị thực hiện tính toán bằng tay các bài toán giải tích trước khi viết script kiểm chứng bằng các hàm tiêu chuẩn trong MATLAB (như hàm conv, filter, tf2zp, bode, fft, periodogram).
  • Đối với phần cứng, sinh viên có thể theo dõi từng bước quy trình thiết lập dự án trên phần mềm Code Composer Studio®, gọi hàm hợp ngữ từ chương trình chính viết bằng C/C++, và nạp chương trình trực tiếp lên board mạch DSP.

Điểm nổi bật và cập nhật

  • Cầu nối toàn diện giữa lý thuyết giải tích và kiến trúc phần cứng: Khác với các giáo trình tín hiệu truyền thống chỉ dừng lại ở lý thuyết toán học hoặc các sách DSP chỉ thuần về thuật toán phần mềm, tài liệu dành trọn Chương 15 (hơn 130 trang) để phân tích chi tiết thiết kế logic số, số học máy tính (CAS cells, CLA, mảng chia không khôi phục), vi kiến trúc CPU TMS320C6000, cấu trúc tập thanh ghi và đường truyền dữ liệu thực tế.
  • Tối ưu hóa thuật toán FFT: Giới thiệu thuật toán Ordered Input/Ordered Output (OIOO) Radix-2 và Radix tổng quát cho bộ xử lý phần cứng dạng "wired-in", loại bỏ cấu trúc mạch hồi tiếp (feedback elimination), hỗ trợ tối ưu hóa xử lý song song tốc độ cao.
  • Mở rộng lý thuyết phân phối và bảng biến đổi: Trình bày các kết quả nghiên cứu của chính tác giả về lý thuyết phân phối tổng quát (Generalized Distributions Theory). Khung lý thuyết này giải quyết các giới hạn toán học cổ điển, cho phép mở rộng miền tồn tại và tăng gấp đôi quy mô các bảng tra cứu biến đổi Laplace, biến đổi $z$ và các biến đổi liên quan trong miền $s$ và miền $z$.
  • Hệ thống hóa các phép biến đổi trực giao: Cung cấp khảo sát chuyên sâu về các phép biến đổi ít xuất hiện đồng thời trong các giáo trình tiêu chuẩn, bao gồm biến đổi Walsh-Hadamard theo 3 trật tự (Sequency, Paley, Hadamard), ma trận GWN/GWP/GWK, biến đổi Hilbert, Hartley, Mellin và Fractional Fourier.

Đối tượng sử dụng giáo trình

Đối tượng Mục đích sử dụng Yêu cầu kiến thức tiên quyết
Sinh viên đại học (Năm 3, Năm 4 ngành Kỹ thuật Điện, Điện tử - Viễn thông, Tự động hóa) Học tập các học phần: Tín hiệu và Hệ thống, Xử lý Tín hiệu Số (DSP), Thiết kế Bộ lọc, Vi xử lý DSP. Giải tích vi tích phân, Đại số tuyến tính (ma trận, số phức), Lý thuyết mạch điện cơ bản, Nhập môn lập trình C/C++.
Học viên cao học & Nghiên cứu sinh Nghiên cứu chuyên sâu về các phép biến đổi nâng cao (Fractional Fourier, Wavelet, Walsh), xử lý tín hiệu ngẫu nhiên (Wiener, Yule-Walker) và lý thuyết phân phối mở rộng. Xử lý tín hiệu số cơ sở, Xác suất thống kê và quá trình ngẫu nhiên, Toán kỹ thuật nâng cao.
Giảng viên đại học Tham khảo cấu trúc bài giảng, lựa chọn ví dụ mẫu, đề bài tập giải tích và kịch bản thực hành phòng thí nghiệm MATLAB/Simulink/DSP. Giảng dạy chuyên ngành Kỹ thuật Điện - Điện tử.
Kỹ sư R&D & Kỹ sư nhúng Tra cứu công thức thiết kế bộ lọc tương tự/số, bảng linh kiện mạng LC, tối ưu hóa thuật toán FFT và lập trình hợp ngữ trên chip xử lý tín hiệu số. Kinh nghiệm thiết kế phần cứng số, lập trình vi điều khiển/DSP hoặc thiết kế FPGA.

Câu hỏi thường gặp

1. Giáo trình này phù hợp với ai?

Giáo trình được biên soạn cho sinh viên đại học từ năm thứ ba, học viên cao học, nghiên cứu sinh, giảng viên và các kỹ sư thực hành trong các ngành Kỹ thuật Điện, Điện tử, Viễn thông, Tự động hóa và Kỹ thuật Máy tính cần một tài liệu bao quát từ lý thuyết hệ thống liên tục đến phần cứng DSP.

2. Cần kiến thức nền nào để học giáo trình này?

Người học cần nắm vững kiến thức toán học đại học năm thứ nhất và năm thứ hai bao gồm Giải tích (vi tích phân, chuỗi vô hạn), Đại số tuyến tính (phép tính ma trận, định thức, không gian véc-tơ), biến số phức, kiến thức cơ bản về Lý thuyết mạch điện (định luật Kirchhoff, định luật Ohm, phần tử $R, L, C$) và kỹ năng lập trình cơ bản.

3. Điểm khác biệt của giáo trình này so với các tài liệu Tín hiệu và Hệ thống khác là gì?

Điểm khác biệt nằm ở phạm vi tích hợp: sách không tách rời tín hiệu liên tục, tín hiệu số và phần cứng mà liên kết trực tiếp giải tích toán học với thiết kế vi mạch số, kiến trúc CPU DSP (TMS320C6713B), lập trình Assembly, thuật toán FFT ma trận (OIOO) và lý thuyết phân phối mở rộng do tác giả nghiên cứu phát triển.

4. Làm sao để tự học hiệu quả với giáo trình này?

Người học nên tuân thủ quy trình: đọc hiểu chứng minh giải tích $\rightarrow$ tự vẽ lại các đồ thị biến đổi hàm $\rightarrow$ giải bài tập cuối chương và đối chiếu mục Answers to Selected Problems $\rightarrow$ viết mã MATLAB/Mathematica kiểm chứng $\rightarrow$ thực hành mô phỏng Simulink và triển khai thuật toán trên kit DSP hoặc công cụ giả lập.

5. Có tài liệu và công cụ bổ trợ nào đi kèm?

Giáo trình cung cấp các đoạn mã nguồn MATLAB, câu lệnh Wolfram Mathematica, mô hình khối Simulink, mã nguồn C++/Assembly mẫu, cùng hệ thống phụ lục chứa đầy đủ các bảng công thức toán học, bảng biến đổi tích phân, bảng tham số bộ lọc và tiểu sử khoa học của các nhà toán học tiên phong.

Kết luận

Giáo trình Signals, Systems, Transforms, and Digital Signal Processing with MATLAB® của Michael Corinthios thiết lập một hệ thống tài liệu học thuật toàn diện, liên kết chặt chẽ giữa toán học biến đổi giải tích, kỹ thuật thiết kế bộ lọc và công nghệ phần cứng xử lý tín hiệu số.

Lộ trình học tập đề xuất:

  1. Giai đoạn 1 (Nền tảng liên tục): Nghiên cứu Chương 1 đến Chương 5 để làm chủ lý thuyết tín hiệu liên tục, chuỗi Fourier, biến đổi Laplace, biến đổi Fourier và hàm truyền hệ thống.
  2. Giai đoạn 2 (Xử lý số và Thiết kế bộ lọc): Nghiên cứu Chương 6 đến Chương 11 để nắm vững biến đổi $z$, thuật toán FFT, mô hình trạng thái và các phương pháp tổng hợp bộ lọc tương tự/số.
  3. Giai đoạn 3 (Ứng dụng nâng cao và Phần cứng): Nghiên cứu Chương 12 đến Chương 18 nhằm làm chủ mật độ phổ, các phép biến đổi mở rộng, vi kiến trúc DSP TMS320C6713B, xử lý ngẫu nhiên và lý thuyết phân phối khái quát.

Người học có thể khai thác tối đa phần Phụ lục (Appendix) để tra cứu các công thức khai triển chuỗi, lượng giác và bảng tóm tắt tiểu sử các nhà khoa học như Fourier, Laplace, Cauchy, Chebyshev, Bessel và Prony nhằm hiểu rõ nguồn gốc lịch sử của các phương pháp toán học kỹ thuật hiện đại.