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

Giáo trình Lý thuyết sai số (phiên bản v3, hoàn thành tháng 11 năm 2015) do Trường Đại học Tài nguyên và Môi trường Hà Nội biên soạn, chịu trách nhiệm chuyên môn bởi PGS.TS. Đặng Nam Chinh (Chủ biên), TS. Nguyễn Xuân Bắc, TS. Bùi Thị Hồng Thắm, ThS. Trần Thị Thu Trang và ThS. Ninh Thị Kim Anh. Công trình có sự thẩm định và đóng góp ý kiến của PGS.TS. Phan Văn Hiến, TS. Nguyễn Đình Thành và PGS.TS. Nguyễn Quang Minh.

Trong chương trình đào tạo bậc đại học ngành Kỹ thuật Trắc địa - Bản đồ (được xây dựng theo Chương trình khung năm 2007), Lý thuyết sai số giữ vị trí môn học cơ sở ngành bắt buộc. Về mặt mục tiêu đào tạo (learning outcomes), giáo trình cung cấp hệ thống kiến thức toán học và phương pháp luận thực nghiệm nhằm:

  1. Nhận diện bản chất, phân loại các nguồn sai số (ngẫu nhiên, hệ thống, thô) phát sinh trong quy trình quan trắc;
  2. Thiết lập các tiêu chuẩn đánh giá định lượng độ chính xác của trị đo và hàm các trị đo;
  3. Ứng dụng nguyên lý bình phương nhỏ nhất để xử lý số liệu đo thừa thông qua hai phương pháp toán học cốt lõi: bình sai điều kiện và bình sai gián tiếp;
  4. Kiểm tra, phát hiện sai số thô và loại bỏ sai số hệ thống nhằm đảm bảo độ tin cậy của mạng lưới trắc địa.

Cấu trúc giáo trình gồm phần Mở đầu, 3 chương nội dung chuyên môn sâu (kèm hệ thống bài tập thực hành cuối mỗi chương), phần Phụ lục bảng số tích phân xác suất và Danh mục tài liệu tham khảo. Giáo trình tiếp cận vấn đề theo tiến trình logic: từ nền tảng xác suất thống kê mô tả sai số đơn lẻ, phát triển lên lý thuyết hàm sai số, và hoàn thiện ở các thuật toán bình sai mạng lưới đa biến. Điểm đặc thù của tài liệu là toàn bộ các mô hình lý thuyết đều được minh họa bằng số liệu thực nghiệm trắc địa thực tế (đo góc kinh vĩ, đo cạnh điện tử, đo cao lượng giác, định vị vệ tinh GNSS).

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

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

Nội dung giáo trình được phân bổ chi tiết qua 3 chương trọng tâm:

  • Chương 1: Lý thuyết sai số (trang 5 – 82):

    • Lịch sử phát triển và vai trò: Điểm qua 4 giai đoạn tiến hóa từ quan sát thiên văn cổ đại (Claudius Ptolemaeus, Hypparchus, Tycho Brahe) qua R. Boskovich đến khi P. Gauss và A. Legendre thiết lập nguyên lý bình phương nhỏ nhất; vai trò của môn học trong xử lý dữ liệu hiện đại (thuật toán lọc Kalman, lọc hạt).
    • Phân loại sai số: Định nghĩa trị thực ($X$), trị đo ($x_i$), sai số thực ($\Delta_i = x_i - X$); phân tích nguyên nhân gây sai số (người đo, máy móc/dụng cụ, môi trường ngoại cảnh); phân định sai số ngẫu nhiên, sai số hệ thống và sai số thô (sai lầm/blunders như hiện tượng trượt chu kỳ Cycle Slip trong GNSS).
    • Đặc tính sai số ngẫu nhiên: Khảo sát thực nghiệm 162 sai số khép tam giác hạng I Nhà nước ($w_i = A_i + B_i + C_i - 180^\circ$); thiết lập 4 đặc tính cơ bản của sai số ngẫu nhiên; dẫn xuất hàm mật độ xác suất Gauss $f(x) = \frac{h}{\sqrt{\pi}} e^{-h^2 x^2}$ và hàm tích phân xác suất $\Phi(t)$.
    • Tiêu chuẩn đánh giá độ chính xác: Định nghĩa phương sai ($\sigma^2$), sai số trung phương ($m$) theo công thức Gauss $m = \sqrt{\frac{[\Delta^2]}{n}}$, sai số trung phương tương đối ($m_D/D$), sai số trung bình ($\theta \approx 0{,}7979m$), sai số xác suất ($\rho \approx 0{,}6745m$), sai số giới hạn ($\Delta_{gh} = 3m$ hoặc $t \cdot m$), khoảng tin cậy; hiệp phương sai thực nghiệm $\text{cov}(x,y)$ và hệ số tương quan thực nghiệm $r_{xy}$.
    • Đánh giá độ chính xác hàm trị đo: Khai triển chuỗi Taylor tuyến tính hóa; dẫn xuất luật truyền sai số dạng ma trận $C_F = F^T C_L F$; các bài toán ứng dụng: hàm tổng, trung bình số học, diện tích hình chữ nhật, đo cao lượng giác ($h = S \cdot \text{tg}\beta$), định lý Sin, định lý Cosin, gia số tọa độ ($\Delta x, \Delta y$).
    • Nguyên tắc ảnh hưởng bằng nhau: Phương pháp phân bổ sai số cho các biến thành phần từ sai số giới hạn cho trước của hàm.
    • Trọng số trị đo và hàm trị đo: Khái niệm trọng số $p_i = \frac{\mu^2}{m_i^2}$, ma trận trọng số $P = \mu^2 C_L^{-1}$, ma trận hiệp trọng số đảo $Q = P^{-1}$, quy luật truyền trọng số đảo $Q_U = F^T P^{-1} F$; tính trọng số trong mạng lưới góc, cạnh, độ cao thủy chuẩn ($p_h = 1/L$ hoặc $p_h = 1/n$) và vector cạnh GPS 3D.
    • Nguyên lý bình phương nhỏ nhất: Chứng minh điều kiện xác suất cực đại dẫn đến tiêu chuẩn $[vv] = \min$ (dãy cùng độ chính xác) và $[pvv] = \min$ (dãy không cùng độ chính xác).
    • Các phương pháp đánh giá bổ trợ: Trị trung bình số học, đánh giá theo hiệu trị đo kép, theo sai số khép và sai số làm tròn số.

  • Chương 2: Bình sai điều kiện (trang 83 – 141):

    • Cơ sở giải tích điều kiện ràng buộc giữa các trị đo thừa;
    • Thiết lập các dạng phương trình điều kiện hình học và vật lý;
    • Thành lập và giải hệ phương trình chuẩn tương đương trên sơ đồ khử Gauss;
    • Đánh giá độ chính xác của các đại lượng đo sau bình sai và hàm của các đại lượng bình sai thông qua trọng số đảo $1/P_F$;
    • Quy trình chuẩn hóa các bước thực hiện bài toán bình sai điều kiện.

  • Chương 3: Bình sai gián tiếp (trang 142 – 203):

    • Cơ sở lý thuyết chọn ẩn số và lập phương trình số hiệu chỉnh;
    • Kỹ thuật tuyến tính hóa hệ phương trình số hiệu chỉnh;
    • Các phương pháp nghịch đảo ma trận hệ số phương trình chuẩn ($N^{-1}$);
    • Đánh giá độ chính xác vector ẩn số, sai số vị trí điểm và hàm các ẩn số sau bình sai;
    • Thuật toán các bước giải bài toán bình sai gián tiếp tối ưu cho xử lý máy tính.

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

Giáo trình thiết lập hệ thống nền tảng học thuật gồm:

  • Lý thuyết giải tích xác suất và thống kê toán học: Hàm mật độ phân bố chuẩn (Normal/Gauss Distribution), biến ngẫu nhiên chuẩn hóa, kỳ vọng toán học, mô men bậc hai, khoảng tin cậy thống kê;
  • Đại số tuyến tính ứng dụng: Phép tính vi phân ma trận, ma trận phương sai - hiệp phương sai (Variance-Covariance Matrix), ma trận trọng số, ma trận hiệp trọng số đảo, kỹ thuật khử Gauss và giải tích ma trận nghịch đảo;
  • Lý thuyết tối ưu hóa và ước lượng tham số: Nguyên lý ước lượng bình phương nhỏ nhất (Least Squares Estimation) – chứng minh là ước lượng tuyến tính không chệch tốt nhất (BLUE - Best Linear Unbiased Estimator).

Kỹ năng phát triển

Người học được rèn luyện các nhóm năng lực cụ thể:

  • Kỹ năng phân tích đo đạc (Analytical skills): Khả năng định lượng và phân tách các thành phần sai số ngẫu nhiên, sai số hệ thống (như sai số 2C, sai số vạch khắc bàn độ máy kinh vĩ, chiết quang khí quyển, lệch tâm pha anten GNSS) và phát hiện sai số thô trong chuỗi dữ liệu;
  • Kỹ năng mô hình hóa và tính toán kỹ thuật (Technical skills): Lập phương trình toán học cho các quan hệ hình học phức tạp, lập ma trận điều kiện/số hiệu chỉnh, giải hệ phương trình chuẩn bậc cao;
  • Kỹ năng thực hành đánh giá (Practical competencies): Ước tính độ chính xác tiên nghiệm (a priori) phục vụ thiết kế kỹ thuật mạng lưới đo đạc và kiểm chuẩn độ chính xác hậu nghiệm (a posteriori) sau khi bình sai.

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

Giáo trình được biên soạn theo phương pháp kết hợp giữa suy diễn toán học chặt chẽ và quy nạp từ kết quả thực nghiệm. Mỗi mô hình toán học đều được bắt đầu từ định nghĩa, thiết lập công thức tổng quát, chứng minh giải tích, sau đó làm sáng tỏ bằng các ví dụ số trị cụ thể:

  • Hệ thống bài tập và nghiên cứu thực nghiệm:
    • Khảo sát dữ liệu chuỗi đo góc ngang 30 lần đo bằng 2 máy kinh vĩ có cấp chính xác khác nhau để so sánh sai số trung phương ($m_1 = 1{,}58''$, $m_2 = 0{,}93''$), sai số trung bình, sai số xác suất và sai số giới hạn;
    • Phân tích dữ liệu kiểm định khoảng cách của máy đo cự ly điện tử trên 20 đoạn mẫu để tính hiệp phương sai $\text{cov}(D, |\Delta|) = 1{,}927$, phương sai và suy dẫn hệ số tương quan tuyến tính $r_{xy} = 0{,}79$;
    • Bài toán phân bổ sai số theo nguyên tắc ảnh hưởng bằng nhau trong đo cao lượng giác với dữ liệu $S = 200\text{ m}, \beta = 10^\circ, m_h = 0{,}03\text{ m}$ để tính $m_S = 0{,}120\text{ m}$ và $m_\beta = 21{,}2''$.
  • Hệ thống bài tập tự giải: Cuối mỗi chương đều có mục bài tập độc lập (Chương 1 trang 82, Chương 2 trang 141, Chương 3 trang 203) yêu cầu sinh viên tự lập thuật toán và tính toán kiểm tra kết quả.
  • Phương pháp đánh giá và tự học: Giáo trình đưa ra các tiêu chí kiểm tra chéo (như tính đẳng thức $[pv] = 0$, so sánh sai số khép với sai số khép giới hạn $w \le w_{gh}$), cùng bảng tra cứu giá trị hàm tích phân xác suất tại Phụ lục (trang 208) giúp người học tự đối chiếu mức độ tin cậy của các ước lượng.

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

So với các tài liệu giảng dạy lý thuyết sai số truyền thống, phiên bản này phản ánh các bước hoàn thiện lý thuyết gắn liền với sự phát triển của công nghệ thu thập dữ liệu hiện đại:

Tiêu chí Giáo trình Lý thuyết sai số (v3, 2015) Tài liệu truyền thống trước đây
Công nghệ định vị vệ tinh Tích hợp ma trận hiệp phương sai vector cạnh GPS 3D ($C_{xyz}$ kích thước $3 \times 3$), hiện tượng trượt chu kỳ (Cycle Slip) trong đo pha Chủ yếu tập trung vào lưới tam giác đo góc và đo cao hình học cổ điển
Cấu trúc đại số ma trận Chuẩn hóa toàn bộ hệ thống lý thuyết lan truyền sai số và trọng số sang dạng ma trận đa biến ($C_F = F^T C_L F, Q_F = F^T Q_L F$) Thao tác chủ yếu bằng giải tích đại số rời rạc cho từng đại lượng đơn lẻ
Mô hình thuật toán Tập trung phân tích sâu bình sai gián tiếp phục vụ lập trình tự động hóa trên máy tính điện tử Tập trung nhiều vào các bảng tính tay và sơ đồ Gauss tính thủ công
Xử lý số liệu hiện đại Giới thiệu các khái niệm mở rộng: lọc Kalman, lọc hạt, dự báo, làm trơn dữ liệu Dừng lại ở lý thuyết bình phương nhỏ nhất cổ điển tĩnh

Giáo trình cũng phân tích rõ lý do phương pháp bình sai điều kiện ít được dùng trong thực tiễn tính toán tự động hiện nay nhưng vẫn được trình bày đầy đủ trong tài liệu nhằm giúp người học hiểu rõ bản chất của trị đo thừa và vai trò của sai số khép trong công tác kiểm nghiệm mạng lưới.

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

Giáo trình được thiết kế chuẩn mực phục vụ các nhóm đối tượng học thuật và kỹ thuật:

  • Sinh viên đại học: Phục vụ sinh viên năm thứ hai hoặc năm thứ ba các chuyên ngành Kỹ thuật Trắc địa - Bản đồ, Địa chính, Quản lý đất đai, Kỹ thuật Trắc địa mỏ - công trình.
  • Điều kiện tiên quyết (Prerequisites): Người học bắt buộc phải hoàn thành các học phần:
    • Đo đạc đại cương (Trắc địa phổ thông): Nắm vững nguyên lý hoạt động của máy kinh vĩ, máy thủy bình, máy toàn đạc điện tử;
    • Xác suất và Thống kê toán học: Khái niệm biến ngẫu nhiên, hàm phân phối, phương sai, kỳ vọng;
    • Toán cao cấp và Phương pháp tính: Phép tính vi phân nhiều biến, đại số ma trận và giải hệ phương trình tuyến tính.
  • Giảng viên: Sử dụng làm tài liệu giảng dạy chuẩn mực theo Chương trình khung năm 2007; xây dựng đề cương môn học, bài tập thực hành và đề thi đánh giá năng lực.
  • Kỹ sư chuyên ngành: Dùng làm tài liệu tra cứu phương pháp luận trong công tác kiểm chuẩn thiết bị, thiết kế phương án kỹ thuật đo đạc ngoại nghiệp và đánh giá độ chính xác dữ liệu nội nghiệp.

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

1. Giáo trình này phù hợp cho những đối tượng nào?

Giáo trình được biên soạn phục vụ đào tạo đại học chuyên ngành Kỹ thuật Trắc địa - Bản đồ, Quản lý đất đai và các ngành kỹ thuật công trình có học phần trắc địa. Ngoài ra, học viên cao học và kỹ sư trắc địa có thể dùng làm tài liệu tra cứu giải thuật bình sai.

2. Cần chuẩn bị kiến thức nền tảng nào trước khi học?

Người học cần tích lũy kiến thức từ 3 học phần tiên quyết: Trắc địa đại cương (thao tác và cấu tạo máy đo), Xác suất thống kê (luật phân phối xác suất, kỳ vọng, phương sai) và Phương pháp tính / Đại số tuyến tính (phép toán ma trận, vi phân hàm nhiều biến).

3. Giáo trình này có điểm gì khác so với tài liệu lý thuyết xác suất thông thường?

Tài liệu không dừng lại ở lý thuyết xác suất thuần túy mà chuyển hóa toàn bộ các định lý toán học thành công cụ đo đạc thực tế: ứng dụng phân phối Gauss để đánh giá sai số máy đo, dùng luật truyền sai số để tính độ chính xác diện tích/tọa độ, và giải quyết bài toán xử lý trị đo thừa qua bình sai lưới trắc địa.

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

Người học nên kết hợp học lý thuyết với việc tự giải lại các bảng tính số liệu mẫu (như bảng tính 30 trị đo góc kinh vĩ, bảng tính kiểm tra máy đo cự ly điện tử), sau đó tự thực hiện hệ thống bài tập ở cuối các trang 82, 141 và 203. Cần đối chiếu các ước lượng với Bảng tích phân xác suất tại trang 208.

5. Có tài liệu bổ trợ nào kèm theo giáo trình?

Sau khi hoàn thành giáo trình này, người học cần tiếp tục nghiên cứu giáo trình Xử lý số liệu trắc địa và các tài liệu tham khảo chuyên sâu về bình sai trắc địa, phần mềm xử lý dữ liệu GNSS được liệt kê tại trang 209 của sách.

Kết luận

Giáo trình Lý thuyết sai số (Trường Đại học Tài nguyên và Môi trường Hà Nội, 2015) là tài liệu học thuật hoàn chỉnh, cung cấp hệ thống cơ sở lý thuyết và giải thuật toán học cho việc đánh giá chất lượng và xử lý số liệu đo đạc thực nghiệm.

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

$$\text{Trắc địa đại cương} \longrightarrow \text{Lý thuyết sai số} \longrightarrow \text{Xử lý số liệu trắc địa} \longrightarrow \text{Bình sai lưới trắc địa chuyên sâu}$$

Người học có thể khai thác các công cụ tính toán sẵn có tại Phụ lục bảng giá trị hàm tích phân xác suất (trang 208) cùng hệ thống danh mục tài liệu tham khảo trong và ngoài nước (trang 209) để mở rộng nghiên cứu sang các thuật toán ước lượng hiện đại.