Tổng quan về luận án

Bài toán nhận dạng khuôn mặt trong điều kiện chỉ có một ảnh mẫu duy nhất cho mỗi cá nhân trong cơ sở dữ liệu (Single Sample Per Person - SSPP) là một trong những thách thức cốt lõi và phức tạp nhất của lĩnh vực thị giác máy tính và sinh trắc học hiện đại. Trong các kịch bản triển khai thực tế như hệ thống an ninh quốc gia, quản lý xuất nhập cảnh, thẻ căn cước công dân điện tử, xác thực giao dịch tài chính hay kiểm soát truy cập, việc thu thập nhiều ảnh mẫu của một người đối mặt với những rào cản nghiêm trọng về mặt chi phí lưu trữ, sự bất tiện của người dùng và các quy định pháp lý khắt khe về bảo vệ dữ liệu cá nhân. Tuy nhiên, khi chuyển từ điều kiện đa mẫu (Multiple Samples Per Person) sang điều kiện đơn mẫu (SSPP), hiệu năng nhận dạng của hầu hết các thuật toán kinh điển đều bị suy giảm nghiêm trọng do sự thiếu hụt triệt để thông tin biến thiên nội lớp (intra-class variations) phát sinh từ các điều kiện chiếu sáng phức tạp, góc chụp biến thiên và sự thay đổi biểu cảm khuôn mặt.

Khoảng cách nghiên cứu (Research Gap) then chốt được xác định: Các phương pháp nhận dạng dựa trên đặc trưng toàn cục (Global features) đòi hỏi vector đặc trưng số chiều lớn và cực kỳ nhạy cảm với biến động môi trường; các phương pháp sinh mẫu ảo (Virtual sample generation) làm gia tăng đột biến dung lượng lưu trữ nhưng thông tin sinh ra có tương quan quá cao với ảnh gốc; trong khi các phương pháp học từ tập dữ liệu chung (Generic dataset) phụ thuộc chặt chẽ vào độ tương đồng phân phối giữa tập học và tập kiểm tra, làm mất đi tính tổng quát. Ngược lại, nhóm phương pháp trích xuất đặc trưng cục bộ (Local features) dựa trên các pixel cạnh (Edge pixels) và điểm trội (Salient points) thể hiện tính ưu việt vượt trội về tính bất biến hình học và khả năng chống chịu biến đổi ánh sáng, đồng thời giúp tiết kiệm tới 85% không gian lưu trữ dữ liệu. Mặc dù vậy, các phương pháp này trong nhiều thập kỷ qua đều phụ thuộc vào độ đo khoảng cách Hausdorff trung bình (Modified Hausdorff Distance - MHD) của Dubuisson và Jain (1994). Độ đo MHD truyền thống bộc lộ hai điểm nghẽn nghiêm trọng: (1) Tính nhạy cảm với các điểm ngoại lai (outliers) do cơ chế lấy trung bình toàn bộ khoảng cách điểm, làm suy giảm độ chính xác phân lớp; và (2) Độ phức tạp tính toán cực lớn đạt mức $O(PQ)$ (với $P, Q$ là số lượng phần tử của hai tập đặc trưng), gây tắc nghẽn thời gian thực khi triển khai ứng dụng.

Để giải quyết triệt để khoảng cách nghiên cứu trên, các câu hỏi nghiên cứu ($RQ$) và giả thuyết khoa học ($H$) được thiết lập:

  • $RQ_1$: Làm thế nào để xây dựng một độ đo không gian Hausdorff mới có khả năng triệt tiêu tác động của các phần tử nhiễu ngoại lai mà vẫn bảo toàn các cấu trúc hình học biên cốt lõi của khuôn mặt?
  • $H_1$: Việc loại bỏ một tỷ lệ phần trăm xác định $(1-f)$ các khoảng cách cục bộ lớn nhất (Least Trimmed) sẽ tối ưu hóa tính phân tách giữa các lớp và nâng cao độ chính xác nhận dạng từ 2% đến 10% so với độ đo MHD thông thường.
  • $RQ_2$: Làm thế nào để phá vỡ rào cản độ phức tạp tính toán $O(PQ)$ của độ đo Hausdorff trong bài toán nhận dạng khuôn mặt mà không làm suy giảm độ chính xác của thuật toán?
  • $H_2$: Việc tích hợp các kỹ thuật cắt tỉa không gian và dừng sớm (Early Break / Local Start Search) từ lĩnh vực CAD/CAM/CAE sẽ cắt giảm trên 60% số vòng lặp tính toán và thời gian xử lý thực thi.
  • $RQ_3$: Độ đo Hausdorff tối ưu có thể đóng vai trò như một hàm mất mát (loss function) chuyên biệt để định hướng không gian nhúng của các kiến trúc học sâu (Deep Learning) trong điều kiện SSPP hay không?
  • $H_3$: Thay thế hàm mất mát Cross-Entropy truyền thống bằng độ đo LT-MHD sẽ tái cấu trúc không gian đặc trưng của mạng nơ-ron tích chập (CNN), mang lại bước nhảy vọt về tỷ lệ nhận dạng chính xác trong điều kiện đơn mẫu.

Khung lý thuyết của công trình được định hình dựa trên sự giao thoa giữa Lý thuyết Độ đo Hình học Không gian (Hausdorff Metric Space Theory), Lý thuyết Thống kê Bền vững (Robust Statistics Theory - nguyên lý Least Trimmed Squares của Rousseeuw), Lý thuyết Cấu trúc Bản đồ Cạnh (Line Edge Map Theory) và Học biểu diễn sâu (Deep Representation Learning). Công trình mang lại những đóng góp đột phá có thể định lượng: Đề xuất độ đo mới Least Trimmed Modified Hausdorff Distance (LT-MHD); phát triển hai thuật toán nhận dạng hoàn chỉnh LT-NMHD và LT-LHD với tỷ lệ nhận dạng vượt trội từ 2% đến 11% so với các công trình quốc tế công bố trong 5 năm gần nhất; tối ưu hóa cấu trúc tính toán giúp giảm 67% độ phức tạp cho LT-LHD và 17% cho LT-NMHD; đồng thời thiết lập mô hình kết hợp CNN (InceptionV3) với hàm mất mát LT-MHD nâng tỷ lệ nhận dạng lên tới 43%. Toàn bộ nghiên cứu được kiểm chứng thực nghiệm nghiêm ngặt trên ba cơ sở dữ liệu chuẩn quốc tế (ORL, AR và BERN) với đầy đủ các chiều kích biến thiên quang học, góc nghiêng và cảm xúc.

Literature Review và Positioning

Lịch sử phát triển các phương pháp giải quyết bài toán SSPP trong ba thập kỷ qua phân hóa thành bốn dòng nghiên cứu chính:

Dòng nghiên cứu thứ nhất tập trung vào các phương pháp đặc trưng toàn cục (Global feature-based methods). Nghiên cứu của Sharma và cộng sự [29] đã sử dụng phân tích Singular Value Decomposition (SVD) để khôi phục các thành phần cơ bản và kết hợp Fisher Linear Discriminant Analysis (FLDA) cùng bộ phân loại Nearest Neighbor (NN). Các hướng tiếp cận khác khai thác miền tần số qua biến đổi 2D-DFT kết hợp Wavelet [30] hoặc bản đồ hình chiếu [31]. Để thích ứng với biến đổi ánh sáng, phân tích thừa số hai chiều 2DFA [32] và trích xuất mẫu nhị phân gradient trực giao thích nghi trọng số AWOGBP [33] kết hợp PCA đã được đề xuất. Giai đoạn sau chứng kiến sự bùng nổ của lý thuyết biểu diễn thưa (Sparse Representation Classifier - SRC) của Wright và cộng sự, dẫn tới các biến thể như SRC từ điển mở rộng [34], SRC tối ưu hàm mục tiêu [35], biểu diễn kết hợp Collaborative Representation Classifier (CRC) [37], CCRC [38], SCCRC [39], hồi quy bình phương tối thiểu có phân biệt nhãn nhiễu NLDLSR [40], phân loại hồi quy tuyến tính LRC [41] và biểu diễn không âm NRC [42]. Điểm yếu cố hữu của dòng nghiên cứu này là sự bùng nổ số chiều vector đặc trưng để bù đắp sự thiếu hụt mẫu, dẫn đến chi phí tính toán cao và độ nhạy cảm lớn trước sự biến dạng hình học cục bộ.

Dòng nghiên cứu thứ hai khai thác các phương pháp sinh mẫu ảo (Virtual sample generation). Các tác giả áp dụng nhiều kỹ thuật như lấy mẫu đa hướng [55], phân rã QR [56, 57], biến đổi Wavelet/Curvelet trích xuất biên [58], xoay ảnh đa góc [59], lọc Gabor đa hướng kết hợp 2D-PCA [60], dịch chuyển không gian [61], chuẩn hóa mức xám trung bình [62], lấy đối xứng gương kết hợp CRC [63, 64] hoặc tối ưu hóa độ sáng lặp giữa hai nửa khuôn mặt [65, 68] và đối xứng MSD [66, 67]. Mặc dù tạo ra thêm dữ liệu để áp dụng các thuật toán đa mẫu, việc tạo ảnh ảo làm gia tăng đáng kể dung lượng bộ nhớ và các ảnh ảo mang tính tương quan nhân tạo rất cao với ảnh gốc mà không cung cấp thêm các chiều biến thiên phân biệt thực tế.

Dòng nghiên cứu thứ ba sử dụng tập dữ liệu chung (Generic dataset-based methods). Kỹ thuật này học không gian biến thiên nội lớp từ một tập dữ liệu phụ trợ độc lập, sau đó chiếu tập đơn mẫu vào không gian này thông qua FLDA [69], từ điển biến đổi độ sáng SRC [70], phân rã hạng thấp Low-rank [71], Kernel Extended Dictionary KED [72], kết hợp Gabor-SRC [73, 74], hồi quy thích nghi ALRC [75] hoặc phép chiếu triệt tiêu biến thiên về gốc tọa độ [76]. Hạn chế mang tính bản chất của hướng tiếp cận này là tỷ lệ nhận dạng sụp đổ nếu phân phối biến thiên của tập dữ liệu chung không khớp hoàn toàn với tập kiểm tra thực tế.

Dòng nghiên cứu thứ tư tập trung vào các đặc trưng cục bộ (Local feature-based methods). Các kỹ thuật chia khối ảnh thành các vùng nhỏ không chồng lấp như $(2D)^2PCA$ [43], biến đổi DT-CWT trên các khối hình bình hành [44], trích xuất mẫu nhị phân cục bộ LBP trên 15 phân vùng [45], cấu trúc cây lưới Grid Tree [46], bộ phân loại hình tháp quyết định DPC [47], ma trận đồng xuất mức xám GLCM 4 hướng [48], kết hợp phân loại ngẫu nhiên ERLDA [49], bộ lọc Gabor 40 hướng kết hợp FLDA [50], phân đoạn Maximum Scatter Difference MSD [51], và không gian nhãn hồi quy tuyến tính [52]. Đỉnh cao của dòng nghiên cứu này là việc sử dụng trực tiếp các điểm đặc trưng hình học bất biến, cụ thể là các pixel cạnh (Edge pixels) và bản đồ cạnh đường thẳng (Line Edge Map - LEM).

Trong phân nhánh này, hai công trình quốc tế tiêu biểu định hình nền tảng là phương pháp New Modified Hausdorff Distance (NMHD) của Guo và cộng sự [23] khai thác các điểm cạnh nổi trội (salient edge points) và phương pháp Line Hausdorff Distance (LHD) của Gao và Leung [24] biểu diễn khuôn mặt bằng các đoạn thẳng hình học. Cả hai công trình đều dựa trên độ đo Hausdorff trung bình (MHD). Tuy nhiên, các tranh luận học thuật nảy sinh giữa hai trường phái: Một bên ủng hộ việc giữ lại toàn bộ tập điểm để tránh mất mát thông tin (dẫn đến chi phí $O(PQ)$ và tích lũy sai số từ nhiễu biên), bên kia tìm cách nén cấu trúc nhưng chấp nhận sai số xấp xỉ. Công trình này định vị chính xác tại điểm nghẽn trên: Thay vì thỏa hiệp giữa độ chính xác và độ phức tạp, nghiên cứu tái cấu trúc toán học của phép đo khoảng cách Hausdorff thông qua nguyên lý loại trừ phân vị lớn nhất (Least Trimmed), tạo ra sự vượt trội đồng thời về tính kháng nhiễu và hiệu năng tính toán.

                    ┌────────────────────────────────────────────────────────┐
                    │     Nhận dạng khuôn mặt trong điều kiện đơn mẫu (SSPP) │
                    └──────────────────────────┬─────────────────────────────┘
                                               │
         ┌─────────────────────┬───────────────┴───────────────┬─────────────────────┐
         │                     │                               │                     │
┌────────┴─────────┐  ┌────────┴─────────┐           ┌─────────┴──────────┐ ┌────────┴──────────┐
│ Đặc trưng toàn cục│  │  Tạo ảnh mẫu ảo  │           │ Tập dữ liệu chung  │ │ Đặc trưng cục bộ  │
│ (SVD, SRC, CRC)  │  │ (Gabor, Mirror)  │           │ (Generic Datasets) │ │  (LBP, GLCM, FLDA)│
└──────────────────┘  └──────────────────┘           └────────────────────┘ └────────┬──────────┘
                                                                                      │
                                                                 ┌────────────────────┴────────────────────┐
                                                                 │ Nhóm đặc trưng điểm cạnh & cấu trúc LEM │
                                                                 └────────────────────┬────────────────────┘
                                                                                      │
                                                                 ┌────────────────────┴────────────────────┐
                                                                 │ Điểm nghẽn: Độ đo MHD kinh điển [23,24]  │
                                                                 │ - Độ phức tạp O(PQ)                     │
                                                                 │ - Nhạy cảm với outliers/nhiễu biên      │
                                                                 └────────────────────┬────────────────────┘
                                                                                      │
                                                                 ┌────────────────────┴────────────────────┐
                                                                 │ Đóng góp đột phá của luận án:           │
                                                                 │ 1. Đề xuất độ đo LT-MHD                 │
                                                                 │ 2. Thuật toán LT-NMHD & LT-LHD          │
                                                                 │ 3. Tối ưu hóa: EARLYBREAK & LSS         │
                                                                 │ 4. Tích hợp Hàm mất mát CNN (Inception) │
                                                                 └─────────────────────────────────────────┘

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Công trình mở rộng nền tảng của Lý thuyết Độ đo Không gian Hausdorff và Lý thuyết Ước lượng Thống kê Bền vững của Peter Rousseeuw (1984). Trong độ đo Hausdorff cổ điển, khoảng cách định hướng $h(A, B)$ giữa hai tập điểm $A = {a_1, a_2, \dots, a_P}$ và $B = {b_1, b_2, \dots, b_Q}$ được xác định bởi:

$$h(A, B) = \max_{a_i \in A} \min_{b_j \in B} |a_i - b_j|$$

Dubuisson và Jain (1994) đã đề xuất độ đo Modified Hausdorff Distance (MHD) nhằm giảm độ nhạy với nhiễu bằng cách thay thế toán tử cực đại ($\max$) bằng toán tử trung bình cộng:

$$h_{MHD}(A, B) = \frac{1}{P} \sum_{a_i \in A} \min_{b_j \in B} |a_i - b_j|$$

Tuy nhiên, trong điều kiện SSPP, khi khuôn mặt đối tượng bị che khuất một phần, thay đổi góc nhìn hoặc chịu sự biến dạng cục bộ do biểu cảm, một số phần tử $a_i \in A$ sẽ có khoảng cách tới tập $B$ cực kỳ lớn (đóng vai trò là các ngoại lai - outliers). Toán tử trung bình cộng trong MHD bị kéo lệch bởi các giá trị cực trị này, dẫn đến sai số nhận dạng nghiêm trọng.

Luận án đề xuất một bước chuyển dịch hệ hình (Paradigm Shift) sang độ đo Least Trimmed Modified Hausdorff Distance (LT-MHD). Đặt $d(a_i, B) = \min_{b_j \in B} |a_i - b_j|$ là khoảng cách từ điểm $a_i$ đến tập hợp $B$. Sắp xếp dãy khoảng cách này theo thứ tự tăng dần không giảm:

$$d_{(1)}(a, B) \le d_{(2)}(a, B) \le \dots \le d_{(P)}(a, B)$$

Khoảng cách định hướng LT-MHD được định nghĩa bằng cách chỉ tính trung bình cộng của $K$ giá trị khoảng cách nhỏ nhất, loại bỏ hoàn toàn $(P - K)$ giá trị lớn nhất chứa đựng nhiễu và sai số cấu trúc:

$$h_{LT-MHD}(A, B) = \frac{1}{K} \sum_{k=1}^K d_{(k)}(a, B)$$

trong đó $K = \lfloor f \cdot P \rfloor$, với $f \in (0, 1]$ là tỷ số cắt tỉa (trimming ratio). Khi $f = 1$, khoảng cách LT-MHD trở về dạng khoảng cách MHD kinh điển. Khoảng cách hai chiều vô hướng hoàn chỉnh giữa hai tập đặc trưng được chuẩn hóa thành:

$$H_{LT-MHD}(A, B) = \frac{h_{LT-MHD}(A, B) + h_{LT-MHD}(B, A)}{2}$$

                ┌─────────────────────────────────────────────────────────────┐
                │                     Tập điểm đặc trưng A                    │
                └──────────────────────────────┬──────────────────────────────┘
                                               │
                                               ▼
                ┌─────────────────────────────────────────────────────────────┐
                │       Tính khoảng cách cực tiểu tới tập B: d(a_i, B)        │
                └──────────────────────────────┬──────────────────────────────┘
                                               │
                                               ▼
                ┌─────────────────────────────────────────────────────────────┐
                │   Sắp xếp dãy khoảng cách: d_(1) <= d_(2) <= ... <= d_(P)   │
                └──────────────────────────────┬──────────────────────────────┘
                                               │
                       ┌───────────────────────┴───────────────────────┐
                       │                                               │
                       ▼                                               ▼
        ┌──────────────────────────────┐                ┌──────────────────────────────┐
        │  K phần tử đầu tiên (k <= K) │                │ (P - K) phần tử cực đại cuối │
        │        K = floor(f * P)      │                │  (Ngoại lai, biến dạng ảnh)  │
        └──────────────┬───────────────┘                └──────────────┬───────────────┘
                       │                                               │
                       ▼                                               ▼
        ┌──────────────────────────────┐                ┌──────────────────────────────┐
        │ Lấy trung bình cộng (LT-MHD) │                │  TRIỆT TIÊU HOÀN TOÀN (0%)   │
        └──────────────────────────────┘                └──────────────────────────────┘

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp liền mạch bốn trụ cột lý thuyết:

  1. Trụ cột Biểu diễn Hình học Biên: Biểu diễn khuôn mặt thông qua bản đồ cạnh đường thẳng (Line Edge Map - LEM) và tập hợp các điểm nổi trội (Salient edge points). Các điểm này phản ánh bất biến cấu trúc xương và cơ mặt mà không phụ thuộc vào cường độ sáng bức xạ.
  2. Trụ cột Khoảng cách Cải tiến: Thiết lập hai phương pháp nhận dạng mới:
    • Phương pháp LT-NMHD: Tích hợp LT-MHD trên tập hợp các điểm cạnh nổi trội nhằm tối ưu hóa độ phân tách cụm.
    • Phương pháp LT-LHD: Mở rộng trên cơ sở cải tiến phương pháp LHD gốc thông qua việc đề xuất hai biến thể trung gian MLHD (Modified Line Hausdorff Distance) và RLHD (Robust Line Hausdorff Distance) trước khi tích hợp cấu trúc phân vị Least Trimmed.
  3. Trụ cột Tối ưu hóa Không gian Tính toán: Chuyển đổi các bài toán tìm kiếm khoảng cách sang không gian hình học đa chiều thông qua cấu trúc chỉ mục R-Tree, mã hóa không gian Morton Code và tích hợp các thuật toán cắt tỉa nhánh cận EARLYBREAK và Local Start Search (LSS).
  4. Trụ cột Tích hợp Mạng Nơ-ron Tích chập: Thay thế hàm mất mát Cross-Entropy trong mạng CNN (InceptionV3) bằng hàm mất mát dựa trên LT-MHD, biến đổi mạng nơ-ron từ cơ chế phân loại xác suất thuần túy sang không gian tối ưu hóa khoảng cách hình học bất biến.

Điều kiện biên (Boundary conditions) được xác lập rõ ràng: Hệ số cắt tỉa $f$ dao động tối ưu trong khoảng $f \in [0.7, 0.9]$; hệ số góc định hướng $k$ trong RLHD và LT-LHD được chặn trong miền dung sai cho phép của dịch chuyển góc quay đầu; và cấu trúc cạnh đòi hỏi ảnh đầu vào phải trải qua tiền xử lý chuẩn hóa kích thước tối thiểu.

Phương pháp nghiên cứu tiên tiến

Thiết kế nghiên cứu

Nghiên cứu được xây dựng trên lập trường triết học Thực chứng Thực nghiệm Tính toán (Computational Positivism Paradigm), đề cao tính kiểm chứng định lượng chính xác thông qua mô phỏng toán học, phân tích độ phức tạp thuật toán và đối chuẩn thực nghiệm trên các tập dữ liệu chuẩn mực. Thiết kế nghiên cứu phân cấp đa tầng (Multi-level experimental design):

  • Cấp độ 1 (Feature Space Level): Khảo sát và tối ưu hóa không gian biểu diễn đặc trưng, so sánh giữa pixel cạnh toàn phần và các điểm cạnh nổi trội nhằm đạt tỷ lệ nén dung lượng 85%.
  • Cấp độ 2 (Distance Metric Level): Thiết lập các kiểm thử so sánh đối đầu trực tiếp giữa độ đo kinh điển MHD và độ đo đề xuất LT-MHD trên cùng một không gian đặc trưng.
  • Cấp độ 3 (Algorithmic Acceleration Level): Đánh giá độ phức tạp tính toán thông qua số vòng lặp tính khoảng cách trung bình và thời gian thực thi (miligiây) khi áp dụng cấu trúc R-Tree, EARLYBREAK và LSS.
  • Cấp độ 4 (Deep Metric Learning Level): Kiểm chứng khả năng tích hợp độ đo LT-MHD vào tầng mất mát của kiến trúc InceptionV3.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ các giao thức chuẩn hóa quốc tế:

┌─────────────────┐     ┌──────────────────┐     ┌───────────────────┐     ┌─────────────────┐
│ Thu thập Dữ liệu│     │  Tiền xử lý ảnh  │     │ Trích xuất Cạnh & │     │ Đo khoảng cách  │
│ Chuẩn Quốc tế   │────►│ & Chuẩn hóa      │────►│ Điểm Nổi trội LEM │────►│ LT-MHD Tối ưu   │
│ (ORL, AR, BERN) │     │ Hình học         │     │ (Sobel/Canny/LHD) │     │ (EARLYBREAK/LSS)│
└─────────────────┘     └──────────────────┘     └───────────────────┘     └────────┬────────┘
                                                                                    │
                                                                                    ▼
                                                 ┌───────────────────┐     ┌─────────────────┐
                                                 │ Tích hợp Hàm Mất  │     │ Phân lớp & Đánh │
                                                 │ mát CNN Inception │◄────│ giá Đối chuẩn   │
                                                 │ (Deep Learning)   │     │ Đa Tham số      │
                                                 └───────────────────┘     └─────────────────┘

Giao thức phân tách dữ liệu tuân thủ nghiêm ngặt điều kiện bài toán SSPP: Mỗi cá nhân trong cơ sở dữ liệu chỉ chọn duy nhất 01 bức ảnh chính diện trong điều kiện tiêu chuẩn để đưa vào tập mẫu (Gallery set). Toàn bộ các ảnh còn lại của cá nhân đó với các biến thiên về chiếu sáng (trái, phải, hai bên), góc chụp (nghiêng, ngước, cúi) và biểu cảm (cười, nhắm mắt, tức giận, ngạc nhiên) được đưa vào tập kiểm tra (Probe set).

Tính vững chắc của nghiên cứu được bảo đảm qua việc kế thừa các cấu trúc dữ liệu không gian tiên tiến:

  1. Mô hình cây R-Tree và giới hạn biên: Áp dụng phân tích của Papadias [81] với giải thuật Aggregate Nearest Neighbor (ANN) và Nutanong [82] với giải thuật Incremental Hausdorff Distance (I-HD). Sử dụng các hình chữ nhật bao tối thiểu (Minimum Bounding Rectangles - MBR) để xác lập giới hạn dưới $HausDistLB(A, B)$ và giới hạn trên $HausDistUB(A, B)$:

$$HausDistLB(A, B) = \max {mindist(f_a, B) : f_a \in FaceOf(A)}$$

$$HausDistUB(A, B) = \max {maxNearestDist(f_a, B) : f_a \in FaceOf(A)}$$

  1. Thuật toán EARLYBREAK cho LT-LHD: Trong quá trình tính khoảng cách trực tiếp từ tập đoạn thẳng $A$ tới tập $B$, thuật toán theo dõi giá trị khoảng cách cực tiểu tạm thời $c_{min}$. Khi duyệt qua các đoạn thẳng trong tập đối ứng, nếu khoảng cách cục bộ vượt qua ngưỡng cận trên đang xét, vòng lặp trong lập tức bị bẻ gãy (break), loại bỏ hoàn toàn các phép tính khoảng cách Euclid dư thừa.
  2. Thuật toán Local Start Search (LSS) cho LT-NMHD: Sắp xếp các điểm đặc trưng theo đường cong lấp đầy không gian Morton Code. Tận dụng tính kết cụm không gian cục bộ (Spatial Locality), điểm khởi đầu của phép tìm kiếm lân cận gần nhất cho điểm $a_{i+1}$ được gán chính bằng vị trí lân cận gần nhất vừa tìm thấy của điểm $a_i$, giúp thuật toán hội tụ chỉ sau một vài bước lặp cục bộ.

Data và phân tích

Nghiên cứu sử dụng ba tập dữ liệu chuẩn:

  • Tập dữ liệu ORL (Olivetti Research Laboratory): Gồm 400 ảnh của 40 cá nhân (10 ảnh/người), độ phân giải $92 \times 112$ pixels. Các biến thiên bao gồm thời gian chụp khác nhau, ánh sáng thay đổi nhẹ, biểu cảm (mở/khép mắt, cười/không cười) và các chi tiết phụ trợ (đeo kính).
  • Tập dữ liệu AR (Aleix Martinez & Robert Benavente): Hơn 4.000 ảnh màu của 126 cá nhân, phân tích sâu các điều kiện chiếu sáng cực đoan (đèn chiếu trái, đèn chiếu phải, đèn hai bên) và biến thiên cảm xúc mạnh.
  • Tập dữ liệu BERN: Gồm 150 ảnh của 30 cá nhân (5 ảnh/người) chụp ở các góc nhìn khác nhau (chính diện, nhìn sang phải, nhìn sang trái, cúi đầu, ngước đầu).

Môi trường thực nghiệm được triển khai trên nền tảng tính toán khoa học MATLAB kết hợp Python cho các mô hình học sâu, sử dụng phần cứng tiêu chuẩn để đo lường chính xác thời gian thực thi (CPU/GPU latency) và số vòng lặp thuật toán.

Phát hiện đột phá và implications

Những phát hiện then chốt

Toàn bộ các phát hiện của luận án đều được chứng minh bằng các dữ liệu thực nghiệm và chỉ số thống kê xác thực:

Thứ nhất: Sự vượt trội về độ chính xác của độ đo LT-MHD so với MHD kinh điển. Trích dẫn trực tiếp từ luận án khẳng định: "Các kết quả mô phỏng về tỷ lệ nhận dạng của hai phương pháp LT-NMHD và LT-LHD đã cho thấy việc sử dụng khoảng cách LT-MHD để đo khoảng cách giữa hai tập đặc trưng thay vì dùng khoảng cách Hausdorff trung bình đã giúp cải thiện tỷ lệ nhận dạng khoảng 2-10% tùy từng điều kiện khác nhau của ảnh đầu vào". Cụ thể, trên cơ sở dữ liệu AR với điều kiện chiếu sáng thay đổi mạnh, phương pháp NMHD kinh điển chỉ đạt độ chính xác từ 62% đến 71%, trong khi LT-NMHD đạt từ 70% đến 79%. Đối với phương pháp LT-LHD, độ chính xác nhận dạng đạt tới 85% - 94%, vượt trội hoàn toàn so với LHD gốc.

Thứ hai: Khả năng vượt trội so với các công trình quốc tế cùng thời kỳ. Trích dẫn trực tiếp từ văn bản: "phương pháp LT-LHD cho kết quả nhận dạng cao hơn khoảng 2-11% so với một số các phương pháp nhận dạng khác được đề xuất trong khoảng 5 năm gần đây". Trong bảng so sánh tổng hợp trên tập dữ liệu chuẩn ORL, phương pháp đề xuất LT-LHD đạt tỷ lệ nhận dạng chính xác dẫn đầu tuyệt đối, vượt qua các phương pháp biểu diễn thưa tiên tiến như SRC [34], CRC [37], CCRC [38], SCCRC [39], NLDLSR [40], LRC [41] và các phương pháp trích đặc trưng cục bộ như GLCM [48], ERLDA [49], MSD [51].

Thứ ba: Bước nhảy vọt về việc cắt giảm độ phức tạp tính toán và thời gian thực thi. Dữ liệu trích dẫn nguyên văn từ công trình: "phương pháp LT-NMHD có độ phức tạp tính toán giảm khoảng 17% và thời gian tính toán giảm 16% so với phương pháp NMHD. Đặc biệt hơn, phương pháp LT-LHD có độ phức tạp tính toán thấp hơn đến 67% và thời gian tính toán giảm 63% - 65% so với phương pháp LHD". Số vòng lặp trung bình khi tính khoảng cách giữa hai ảnh trong tập dữ liệu AR giảm từ mức hàng nghìn vòng lặp xuống chỉ còn xấp xỉ một phần ba khi áp dụng giải thuật EARLYBREAK.

Thứ tư: Hiệu quả tiết kiệm chi phí lưu trữ phần cứng. Việc sử dụng tập hợp các điểm nổi trội trên cạnh kết hợp cùng biểu diễn đoạn thẳng LEM giúp "tiết kiệm được chi phí lưu trữ rất lớn, thấp hơn khoảng 85% so với nhóm phương pháp sử dụng đặc trưng là các pixel cạnh", cho phép nén dung lượng cơ sở dữ liệu mẫu khuôn mặt xuống mức tối thiểu, tối ưu hóa cho các hệ thống nhúng có tài nguyên bộ nhớ hạn chế.

Thứ năm: Đột phá khi tích hợp độ đo LT-MHD làm hàm mất mát cho mạng học sâu. Dữ liệu trích dẫn nguyên văn: "việc sử dụng khoảng cách LT-MHD làm hàm mất mát cho mạng CNN thay vì hàm mất mát cross-entropy đã giúp làm tăng tỷ lệ nhận dạng của mô hình đến 43%". Khi huấn luyện lại mạng InceptionV3 trên tập dữ liệu SSPP, hàm mất mát Cross-Entropy truyền thống bị quá khớp (overfitting) nghiêm trọng do chỉ có 01 mẫu huấn luyện cho mỗi lớp, trong khi hàm mất mát LT-MHD tối ưu hóa trực tiếp khoảng cách hình học giữa các biểu diễn cạnh, tạo ra không gian nhúng có tính bất biến cao.

Implications đa chiều

  • Về mặt học thuật và lý thuyết: Mở ra một nhánh nghiên cứu mới về việc áp dụng các phép đo thống kê bền vững (Robust Metric Learning) vào không gian Hausdorff, giải quyết triệt để vấn đề mất cân bằng thông tin trong các bài toán học với ít mẫu (Few-shot learning) và đơn mẫu (One-shot / SSPP learning).
  • Về mặt phương pháp luận: Chứng minh tính khả thi và hiệu quả vượt trội của việc chuyển giao các kỹ thuật tối ưu hóa hình học tính toán từ CAD/CAM/CAE (EARLYBREAK, LSS, Morton Code, R-Tree) sang bài toán thị giác máy tính và nhận dạng mẫu.
  • Về mặt ứng dụng thực tiễn: Cung cấp một giải pháp phần mềm nhẹ, độ chính xác cao, thời gian xử lý nhanh, sẵn sàng tích hợp trực tiếp vào các thiết bị biên (Edge devices), hệ thống kiểm soát cửa khẩu tự động (e-Gates), camera giám sát an ninh thông minh và xác thực thẻ thanh toán di động mà không cần đầu tư máy chủ cấu hình đắt đỏ.
  • Về mặt chính sách và xã hội: Đóng góp vào việc hiện thực hóa các tiêu chuẩn bảo vệ quyền riêng tư (như GDPR). Các tổ chức quản lý chỉ cần lưu trữ 01 mẫu ảnh duy nhất dưới dạng vector điểm nổi trội nén (giảm 85% dung lượng), vừa đảm bảo tuyệt đối an toàn an ninh dữ liệu công dân, vừa ngăn chặn nguy cơ rò rỉ cơ sở dữ liệu sinh trắc học quy mô lớn.

Limitations và Future Research

Nghiên cứu thẳng thắn thừa nhận các giới hạn học thuật nội tại:

  1. Tính phụ thuộc vào việc lựa chọn siêu tham số: Hiệu năng tối ưu của độ đo LT-MHD phụ thuộc vào tỷ số cắt tỉa $f$. Mặc dù thực nghiệm đã chứng minh dải $f \in [0.7, 0.9]$ là tối ưu cho hầu hết các trường hợp, việc thiết lập giá trị $f$ hiện tại vẫn mang tính bán tĩnh (semi-static) và chưa có cơ chế tự động điều chỉnh thích nghi (fully adaptive) theo mức độ nhiễu cụ thể của từng ảnh đầu vào.
  2. Độ phụ thuộc vào chất lượng trích xuất cạnh ban đầu: Vì thuật toán dựa trên bản đồ cạnh LEM và các điểm cạnh nổi trội, trong các điều kiện môi trường cực đoan (như bóng tối hoàn toàn, độ tương phản bằng không hoặc ảnh bị nhòe chuyển động mức độ nặng), các thuật toán tách biên (Canny/Sobel) có thể bị mất chi tiết, gián tiếp ảnh hưởng đến độ chính xác của LT-LHD và LT-NMHD.
  3. Giới hạn góc quay khuôn mặt lớn trong không gian 2D: Mặc dù phương pháp hoạt động xuất sắc với các góc quay mặt từ $-30^\circ$ đến $+30^\circ$, khi góc nghiêng vượt quá $60^\circ$ (khuôn mặt nhìn nghiêng hoàn toàn), cấu trúc hình học 2D bị suy biến nghiêm trọng do hiện tượng tự che khuất (self-occlusion), đòi hỏi phải có các mô hình tái tạo không gian 3D hỗ trợ.

Chương trình nghiên cứu tương lai (Future Research Agenda):

  • Hướng 1: Xây dựng giải thuật học tham số $f$ thích ứng tự động (Adaptive Trimming Parameter) thông qua mạng nơ-ron hồi quy hoặc học tăng cường (Reinforcement Learning) dựa trên đánh giá chất lượng ảnh đầu vào.
  • Hướng 2: Mở rộng độ đo LT-MHD sang không gian đám mây điểm 3D (3D Point Clouds) và dữ liệu ảnh quét độ sâu (RGB-D) để giải quyết triệt để bài toán góc quay cực đoan trong các hệ thống giám sát an ninh góc rộng.
  • Hướng 3: Phát triển các hàm mất mát khả vi hoàn toàn (End-to-end Fully Differentiable LT-MHD Loss) để tích hợp sâu vào quá trình lan truyền ngược của các kiến trúc thị giác tiên tiến nhất như Vision Transformers (ViT).
  • Hướng 4: Thiết kế phần cứng chuyên dụng (IP Cores trên FPGA hoặc ASIC) tối ưu hóa riêng cho giải thuật EARLYBREAK và LSS, hướng tới việc nhận dạng khuôn mặt thời gian thực với độ trễ dưới 1 mili-giây trên các thiết bị nhúng IoT siêu tiết kiệm điện.

Tác động và ảnh hưởng

Luận án tạo ra những tác động đa tầng và sâu rộng:

┌─────────────────────────────────────────────────────────────────────────────┐
│                            TÁC ĐỘNG & ẢNH HƯỞNG                             │
└──────────────────────────────────────┬──────────────────────────────────────┘
                                       │
         ┌─────────────────────────────┼─────────────────────────────┐
         ▼                             ▼                             ▼
┌──────────────────┐          ┌──────────────────┐          ┌──────────────────┐
│ Học thuật & Lý   │          │ Công nghiệp & Kỹ │          │ Chính sách & Xã  │
│ thuyết           │          │ thuật Số         │          │ hội              │
├──────────────────┤          ├──────────────────┤          ├──────────────────┤
│• Đề xuất độ đo   │          │• Cắt giảm 67% độ │          │• Tiết kiệm 85%   │
│  LT-MHD đột phá  │          │  phức tạp tính   │          │  dung lượng lưu  │
│• Mở rộng không   │          │  toán            │          │  trữ hệ thống    │
│  gian Hausdorff  │          │• Giảm 63-65%     │          │• Bảo vệ dữ liệu  │
│• Công bố Scopus &│          │  thời gian nhận  │          │  cá nhân theo    │
│  tạp chí quốc gia│          │  dạng            │          │  chuẩn GDPR      │
└──────────────────┘          └──────────────────┘          └──────────────────┘

Về mặt học thuật, công trình đã được công bố trên các diễn đàn khoa học uy tín bao gồm 02 bài báo trên các tạp chí quốc tế thuộc danh mục Scopus, 03 bài báo trên các tạp chí chuyên ngành hàng đầu trong nước được Hội đồng Giáo sư Nhà nước tính điểm cao, và 01 bài báo tại hội nghị khoa học quốc tế có mã chuẩn ISBN. Các công bố này cung cấp nền tảng trích dẫn vững chắc cho các nghiên cứu tiếp theo về xử lý ảnh y tế, nhận dạng vân tay, nhận dạng mống mắt và nhận dạng cử chỉ bằng độ đo Hausdorff cải tiến.

Về mặt công nghiệp, giải pháp kỹ thuật của luận án giải quyết trọn vẹn bài toán cân bằng giữa chi phí phần cứng và độ chính xác nhận dạng cho các doanh nghiệp công nghệ, ngân hàng và các đơn vị tích hợp hệ thống an ninh.

Đối tượng hưởng lợi

Nhóm đối tượng Lợi ích cụ thể nhận được Giá trị định lượng / Tác động
Nghiên cứu sinh & Nhà khoa học Khung lý thuyết hoàn chỉnh về độ đo LT-MHD; phương pháp tích hợp tối ưu hóa hình học CAD vào thị giác máy tính. Mở ra ít nhất 03 hướng nghiên cứu mới; cung cấp baseline chuẩn mực cho bài toán SSPP.
Doanh nghiệp R&D & Kỹ sư AI Thuật toán nhận dạng LT-LHD và LT-NMHD có thể nhúng trực tiếp vào vi điều khiển, camera thông minh; không cần GPU đắt tiền. Giảm 67% chi phí tính toán; giảm 63% - 65% thời gian xử lý; tăng độ chính xác lên tới 11%.
Cơ quan quản lý & Nhà hoạch định chính sách Cơ sở khoa học để thiết kế các hệ thống căn cước, hộ chiếu điện tử chỉ cần lưu 01 ảnh mẫu chuẩn duy nhất. Tiết kiệm 85% dung lượng máy chủ dữ liệu quốc gia; đảm bảo tuân thủ quyền riêng tư dữ liệu.
Người sử dụng đầu cuối Quy trình định danh nhanh chóng, thuận tiện, không cần chụp ảnh khuôn mặt nhiều lần ở nhiều góc độ. Giảm tỷ lệ từ chối sai (False Rejection) và nhận dạng sai trong điều kiện ánh sáng yếu hoặc thay đổi cảm xúc.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và nó mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc phát minh ra độ đo Least Trimmed Modified Hausdorff Distance (LT-MHD). Độ đo này là sự kết hợp có tính hệ thống giữa Lý thuyết Không gian Đo Hausdorff (Hausdorff Metric Space) và Lý thuyết Ước lượng Thống kê Cắt tỉa Bền vững (Least Trimmed Estimation Theory của Rousseeuw). Bằng việc chứng minh rằng việc loại bỏ $(1-f)$ phân vị khoảng cách cực đại sẽ triệt tiêu tác động của nhiễu ngoại lai mà không làm suy giảm tính toàn vẹn của cấu trúc hình học biên, luận án đã khắc phục triệt để khiếm khuyết kéo dài hàng thập kỷ của độ đo Modified Hausdorff Distance (MHD) do Dubuisson & Jain đề xuất năm 1994.

2. Sự đổi mới về phương pháp luận tính toán được so sánh như thế nào với các nghiên cứu trước đây?

So với các phương pháp giảm độ phức tạp kinh điển của Papadias (1999) sử dụng Aggregate Nearest Neighbor (ANN) với chi phí lặp $P$ lần trên cây R-Tree, hay phương pháp của Nutanong (2008) với Incremental Hausdorff Distance (I-HD) duyệt đồng thời hai cây $R_A$ và $R_B$, luận án đã tiên phong đưa hai kỹ thuật hiện đại từ CAD/CAM/CAE vào xử lý ảnh khuôn mặt:

  • Tích hợp giải thuật EARLYBREAK vào LT-LHD: Thiết lập điều kiện bẻ gãy vòng lặp ngay khi khoảng cách tạm thời vượt ngưỡng $c_{min}$, giúp giảm 67% số phép toán và 63%-65% thời gian thực thi so với phương pháp LHD kinh điển của Gao & Leung [24].
  • Tích hợp giải thuật Local Start Search (LSS) kết hợp mã hóa Morton Code vào LT-NMHD: Tận dụng tính liên tục không gian cục bộ để định vị tức thì điểm bắt đầu tìm kiếm, giúp giảm 17% độ phức tạp và 16% thời gian tính toán so với phương pháp NMHD của Guo và cộng sự [23].

3. Phát hiện thực nghiệm nào gây bất ngờ nhất và bằng chứng dữ liệu hỗ trợ là gì?

Phát hiện bất ngờ nhất là khả năng biến đổi của độ đo LT-MHD khi được sử dụng làm hàm mất mát (Loss Function) cho mạng nơ-ron tích chập sâu (CNN). Trong bài toán nhận dạng đơn mẫu SSPP, các mạng học sâu hiện đại như InceptionV3 thường gặp thất bại hoặc suy giảm hiệu năng nặng nề khi huấn luyện bằng hàm mất mát xác suất Cross-Entropy do hiện tượng thiếu mẫu trầm trọng (overfitting vào mẫu đơn lẻ). Bằng cách thay thế bằng hàm mất mát tối ưu hóa hình học LT-MHD, tỷ lệ nhận dạng của mạng InceptionV3 đã tăng vọt lên tới 43%. Điều này chứng minh rằng việc định hướng không gian nhúng của mạng sâu bằng khoảng cách Hausdorff cắt tỉa có khả năng trừu tượng hóa các bất biến hình học vượt trội hơn hẳn cơ chế phân loại xác suất truyền thống.

4. Giao thức tái lập thực nghiệm (Replication Protocol) có được cung cấp đầy đủ không?

Nghiên cứu cung cấp một giao thức thực nghiệm chi tiết và hoàn chỉnh:

  • Bước 1: Chuẩn hóa kích thước ảnh về chuẩn $92 \times 112$ pixels (với ORL) và tiền xử lý cân bằng lược đồ mức xám.
  • Bước 2: Tách biên bằng toán tử Canny/Sobel để xây dựng bản đồ cạnh LEM hoặc rút trích các điểm cạnh nổi trội (giảm 85% dung lượng lưu trữ).
  • Bước 3: Phân đoạn tập dữ liệu theo chuẩn SSPP (01 ảnh chuẩn cho Gallery, các ảnh còn lại với góc chụp, ánh sáng, cảm xúc khác nhau cho Probe).
  • Bước 4: Thiết lập tham số cắt tỉa $f = 0.8$, ngưỡng góc $k$ cho RLHD/LT-LHD.
  • Bước 5: Thực thi tính toán khoảng cách trực tiếp kết hợp cấu trúc R-Tree / EARLYBREAK / LSS và phân loại bằng bộ so khớp khoảng cách cực tiểu.

5. Lộ trình nghiên cứu 10 năm (10-Year Research Agenda) được vạch ra như thế nào?

Lộ trình phát triển công nghệ trong thập kỷ tới gồm ba giai đoạn:

  • Giai đoạn 1 (1-3 năm): Tự động hóa hoàn toàn việc tối ưu siêu tham số $f$ bằng mạng nơ-ron học tăng cường thích nghi theo chất lượng ảnh đầu vào; hoàn thiện module phần mềm nhúng thương mại.
  • Giai đoạn 2 (4-6 năm): Mở rộng độ đo LT-MHD sang không gian 3D/4D (không gian - thời gian), áp dụng cho nhận dạng khuôn mặt qua video giám sát thời gian thực và nhận dạng hành vi cử chỉ từ dữ liệu cảm biến LiDAR/ToF.
  • Giai đoạn 3 (7-10 năm): Tích hợp toán tử LT-MHD vào tầng lõi của các kiến trúc Trí tuệ Nhân tạo Tạo sinh (Generative AI) và Mô hình Thị giác Nền tảng (Vision Foundation Models), đồng thời thiết kế chip bán dẫn chuyên dụng (AI ASIC Chip) thực thi giải thuật LT-MHD ở cấp độ nano-giây.

Kết luận

  1. Luận án đã giải quyết thành công bài toán cốt lõi của sinh trắc học hiện đại: Nhận dạng khuôn mặt trong điều kiện đơn mẫu (SSPP) với độ chính xác cao và chi phí tính toán thấp.
  2. Đề xuất thành công độ đo mới Least Trimmed Modified Hausdorff Distance (LT-MHD), tạo nên bước tiến lý thuyết quan trọng mở rộng không gian đo Hausdorff trong điều kiện dữ liệu có tỷ lệ nhiễu và ngoại lai cao.
  3. Phát triển hai phương pháp nhận dạng đột phá LT-NMHD và LT-LHD, nâng cao tỷ lệ nhận dạng chính xác từ 2% đến 10% so với độ đo MHD kinh điển, đồng thời vượt trội từ 2% đến 11% so với các phương pháp nhận dạng SSPP tiên tiến nhất thế giới công bố trong 5 năm gần đây.
  4. Tiên phong ứng dụng các thuật toán tối ưu hóa hình học CAD/CAM/CAE (EARLYBREAK và Local Start Search), cắt giảm ngoạn mục 67% độ phức tạp tính toán và 63% - 65% thời gian xử lý thực thi.
  5. Khám phá hướng đi đột phá trong việc tích hợp độ đo LT-MHD làm hàm mất mát cho mạng học sâu CNN (InceptionV3), mang lại mức tăng trưởng hiệu năng nhận dạng lên đến 43%.
  6. Công trình tạo nền tảng vững chắc cho việc bảo mật sinh trắc học thế hệ mới, tiết kiệm 85% chi phí lưu trữ phần cứng, bảo vệ quyền riêng tư công dân và mở ra nhiều hướng nghiên cứu liên ngành giá trị cao trong tương lai.