Tổng quan về luận án

Trong kỹ thuật hàng không vũ trụ hiện đại, bài toán cân bằng giữa độ chính xác thiết kế và chi phí tính toán là thách thức cốt lõi chi phối toàn bộ vòng đời sản phẩm. Theo Định luật Augustine (Augustine's Law), chi phí sản xuất một đơn vị máy bay chiến thuật tăng gấp bốn lần sau mỗi thập kỷ. Phân tích chi phí vòng đời (Life Cycle Cost - LCC) chỉ ra rằng, mặc dù giai đoạn thiết kế ban đầu (pre-conceptual, conceptual và preliminary design) chỉ chiếm dưới 20% tổng ngân sách giải ngân thực tế, nhưng nó lại quyết định hơn 80% tác động đến tổng chi phí (Impact On Cost - IOC). Mọi sai sót hoặc đánh giá thiếu chuẩn xác ở giai đoạn này khi phải khắc phục ở giai đoạn chế tạo chi tiết sẽ dẫn đến sự bùng nổ về ngân sách và thời gian.

Khoảng trống nghiên cứu (Research Gap) lớn trong tối ưu hóa đa ngành (Multidisciplinary Design Optimization - MDO) xuất phát từ sự đánh đổi khắc nghiệt: các mô hình mô phỏng vật lý trung thực cao (High-Fidelity - HF) như giải phương trình Reynolds-Averaged Navier-Stokes (RANS) hay Large-Eddy Simulation (LES) đòi hỏi hàng trăm giờ CPU trên hệ thống siêu máy tính song song, trong khi các mô hình trung thực thấp (Low-Fidelity - LF) như phương pháp thế (Potential Flow/Panel method) tuy giải quyết bài toán chỉ trong vài giây nhưng lại thiếu tính chính xác ở các vùng dòng chảy phức tạp có góc đón lớn và hiện tượng phân ly. Các phương pháp Tối ưu hóa Toàn cục Hiệu quả (Efficient Global Optimization - EGO) truyền thống dựa trên mô hình thay thế Kriging (Gaussian Process Regression - GPR) thường gặp bế tắc khi xử lý các hàm hộp đen đắt đỏ do số lượng mẫu ban đầu quá ít, thuật ngữ lấy mẫu bổ sung (Infill Sampling) đơn điểm không tận dụng được năng lực tính toán song song, và sự thiếu vắng cơ chế định lượng - lọc bỏ các mẫu trung thực thấp bị hiệu chuẩn sai lệch. Hơn nữa, khi mở rộng sang hệ thống đa ngành có tính tương tác phi tuyến chặt chẽ (như khí đàn hồi aeroelasticity), mô hình Kriging đơn phản hồi độc lập làm mất đi thông tin hiệp phương sai liên ngành.

Luận án của Jangho Park tại Viện Công nghệ Virginia (Virginia Tech) giải quyết triệt để các hạn chế này thông qua việc thiết lập bốn câu hỏi nghiên cứu và bốn giả thuyết tương ứng:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để đồng bộ hóa và tích hợp tập dữ liệu từ các cấp độ trung thực khác nhau vào mô hình Kriging đa trung thực mà không làm biến dạng mặt đáp ứng cục bộ?
    • Giả thuyết 1 (H1): Hiệu chuẩn đồng thời sai số nhân ($\alpha_m$) và sai số cộng ($\beta_m$) thông qua thuật toán di truyền kết hợp mô hình Kriging sai số sẽ tối thiểu hóa khoảng cách giữa mô hình LF và HF.
  • Câu hỏi nghiên cứu 2 (RQ2): Tiêu chí nào cho phép loại bỏ các điểm mẫu LF bị biến dạng và bổ sung đồng thời nhiều mẫu (multi-point) vừa phục vụ thăm dò toàn cục (exploration) vừa khai thác cục bộ (exploitation)?
    • Giả thuyết 2 (H2): Hệ số chồng lấn xác suất (Overlapping Coefficient - OVL) và tiêu chuẩn lấy mẫu đa mục tiêu MPMO-ISC trên biên Pareto sẽ gia tăng tốc độ hội tụ và độ ổn định của EGO.
  • Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để quyết định mức độ trung thực của hàm phân tích tại các điểm mẫu mới được thêm vào một cách tự động và tối ưu chi phí?
    • Giả thuyết 3 (H3): Chỉ báo trung thực động (Dynamic Fidelity Indicator - DFI) dựa trên độ bất định dự báo Gaussian sẽ phân bổ chính xác cấp độ mô phỏng cần thiết, giảm thiểu việc gọi các bộ giải HF tốn kém.
  • Câu hỏi nghiên cứu 4 (RQ4): Bằng phương pháp nào mô hình hóa được sự ghép nối vật lý giữa các đáp ứng đa ngành khi số lượng siêu tham số (hyper-parameters) trong GPR bùng nổ?
    • Giả thuyết 4 (H4): Mô hình Multi-Response Kriging (MRK) kết hợp thuật toán Ước lượng Hợp lý Cực đại Lặp (iterative Maximum Likelihood Estimation - iMLE) sẽ triệt tiêu bất ổn định số học và tối ưu hóa chính xác ma trận hiệp phương sai liên ngành.

Phạm vi nghiên cứu bao gồm việc thẩm định thuật toán trên các hàm chuẩn giải tích phi tuyến đa chiều (Six-hump camel back, Matlab peak, simplified Rastrigin) và ba bài toán thiết kế khí động học - cấu trúc thực tế: Cánh biên dạng NACA 0012 khí đàn hồi, Cánh đa phần tử NLR 7301 lực nâng cao, và Bề mặt điều khiển All-Moving-Wingtip (AMT) của cấu hình máy bay không đuôi ICE 101. Kết quả định lượng cho thấy phương pháp đề xuất giúp cắt giảm tới 45% tổng chi phí tính toán thiết kế, giảm 55% số lượng mẫu bổ sung so với phương pháp $q$-EI kinh điển, và mô hình MRK đạt độ chính xác tương đương mô hình đơn lẻ nhưng tiết kiệm 50% số lượng mẫu dữ liệu đầu vào.


Literature Review và Positioning

Khảo sát y văn về tối ưu hóa hình học khí động và hệ thống đa ngành cho thấy sự phân cực rõ rệt giữa hai trường phái chính: Tối ưu hóa dựa trên gradient (Gradient-Based Optimization - GBO) và Tối ưu hóa không dùng đạo hàm (Derivative-Free Optimization - DFO).

Trong trường phái GBO, phương pháp giải phương trình liên hợp (Adjoint-based sensitivity analysis) do Jameson tiên phong và được Prasad et al. (2004, 2006) phát triển cho bài toán khí đàn hồi phi tuyến Euler-FEM cho phép tính toán gradient với chi phí gần như không phụ thuộc vào số lượng biến thiết kế. Tuy nhiên, Adjoint bộc lộ hai nhược điểm lớn: cấu trúc mã nguồn phụ thuộc chặt chẽ vào sơ đồ rời rạc hóa của phương trình điều khiển, và việc tái thiết lập phương trình liên hợp khi bổ sung trường nhiệt động lực học (Aerothermoelasticity) đòi hỏi khối lượng đạo hàm chéo khổng lồ, dễ bị tắc nghẽn tại các cực trị địa phương (local optima).

Ngược lại, DFO kết hợp mô hình đại diện Surrogate-based EGO (Jones, Schonlau & Welch, 1998) sử dụng GPR/Kriging (Sacks et al., 1989) có khả năng tìm kiếm điểm tối ưu toàn cục (global optima) và cung cấp phương sai bất định $\sigma^2(x)$. Dù vậy, việc mở rộng mô hình này sang phân tích đa độ trung thực (Variable-Fidelity - VF) và đa phản hồi (Multi-Response) tồn tại nhiều tranh luận học thuật sâu sắc:

  1. Tranh luận về phương pháp tích hợp dữ liệu đa trung thực: Trường phái Space Mapping (Bark et al.; Robinson et al., 2008; Leifsson et al., 2010) bóp méo không gian tham số LF để khớp với HF, nhưng bộc lộ sai số lớn khi các không gian thiết kế không đồng cấu. Trường phái CoKriging (Forrester et al., 2007; Han et al., 2012; Jo et al., 2013) xây dựng hàm cầu nối (Bridge function) hoặc tích hợp gradient, song chi phí nghịch đảo ma trận hiệp phương sai mở rộng tăng theo cấp số mũ. Đối với các phương pháp hiệu chuẩn dạng nhân (Haftka et al., 1998) và dạng cộng (Choi et al., 2001), Gano et al. (2006) đề xuất mô hình lai (Hybrid scaling). Tuy nhiên, Gano et al. áp dụng hiệu chuẩn nhân trước rồi mới cộng riêng rẽ và lấy trung bình thông qua hàm trọng số, dẫn đến hiện tượng triệt tiêu không nhất quán giữa các gradient cục bộ. Park (2019) định vị nghiên cứu bằng cách thiết lập công thức hiệu chuẩn đồng thời $\alpha$ và $\beta(x)$, giải bài toán tối ưu dưới (sub-optimization) bằng thuật toán di truyền để tối thiểu hóa chuẩn $L_2$ của sai số cộng, đảm bảo bảo toàn hình học mặt đáp ứng.
  2. Tranh luận về cơ chế lấy mẫu bổ sung (Infill Sampling): Các tiêu chí kinh điển dựa trên Expected Improvement (EI - Schonlau, 1998; Sasena et al., 2002), Lower Confidence Bounding (LCB - Cox et al., 1997) hoặc Probability of Improvement (PI - Kushner, 1964) chỉ cho phép thêm một điểm mẫu duy nhất tại mỗi vòng lặp. Để khắc phục, Ginsbourger et al. (2010) đưa ra giải pháp giải tích $q$-EI và các thuật toán xấp xỉ Kriging Believer (KB), Constant Liar (CL). Dù vậy, $q$-EI xấp xỉ phải dựa vào mô phỏng Monte-Carlo tốn kém và dễ gây tụ cụm mẫu (sample clustering). Park (2019) định vị bằng việc tiếp cận bài toán đa mục tiêu (MPMO-ISC), kế thừa ý tưởng của Feng et al. (2015) và Yi et al. (2016) nhưng bổ sung tiêu chí chuyển đổi động (Dynamic Switching) trên mặt Pareto để lựa chọn đồng thời tập mẫu tối ưu.
  3. Tranh luận về mô hình hóa đa phản hồi (Multi-Response): Mô hình hóa phân tán độc lập (Simpson et al., 2001; Bowcutt, 2004) bỏ qua mối tương quan vật lý giữa các đầu ra. Wang et al. (2008), Conti et al. (2010) và Kleijnen et al. (2012) đề xuất mô hình Gaussian Process đa biến với cấu trúc ma trận hiệp phương sai phụ thuộc. Tuy nhiên, sự xuất hiện của hàng chục siêu tham số khiến thuật toán MLE tiêu chuẩn (dựa trên đạo hàm như Gauss-Seidel) rơi vào bẫy điểm yên ngựa hoặc ma trận covariance bị suy biến số học. Park giải quyết lỗ hổng này bằng thuật toán iMLE, phân rã không gian tối ưu hóa siêu tham số thành các vòng lặp phụ ổn định tuyệt đối.

So sánh với hai nghiên cứu quốc tế điển hình:

  • So với nghiên cứu của Gano et al. (2006): Luận án vượt trội nhờ cơ chế liên kết đồng thời sai số nhân - sai số cộng và bổ sung bước lọc mẫu dựa trên OVL, ngăn chặn việc đưa các mẫu LF hiệu chuẩn lỗi vào tập huấn luyện (training set).
  • So với nghiên cứu của Ginsbourger et al. (2010): Phương pháp MPMO-ISC của Park vượt qua $q$-EI về khả năng phân tán mẫu trên không gian thiết kế thực, giảm 55% chi phí mẫu cần thiết để đạt ngưỡng dung sai hội tụ.

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

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

Luận án đã mở rộng và tái định hình các khung lý thuyết nền tảng trong lĩnh vực mô hình hóa toán học và tối ưu hóa kỹ thuật:

  1. Mở rộng lý thuyết Mô hình hóa Đại diện (Surrogate Modeling Theory): Luận án tái định nghĩa bản chất của mô hình hóa đa trung thực không chỉ đơn thuần là sự nội suy dữ liệu mà là một quá trình lọc nhiễu xác suất và chuẩn hóa thông tin. Lý thuyết xấp xỉ sai số được hệ thống hóa qua định lý bảo toàn xu thế: sai số toàn cục được điều chỉnh bằng hệ số nhân bậc một $\alpha$, trong khi các biến động cục bộ tần số cao được hấp thụ bởi trường ngẫu nhiên Gaussian của sai số cộng $\beta(x)$.
  2. Chuyển dịch Paradigm trong Thiết kế Thực nghiệm Thích nghi (Adaptive Design of Experiments - DoE): Nghiên cứu chuyển từ DoE tĩnh (như Latin Hypercube Sampling thuần túy) sang DoE động hai giai đoạn (Dynamic Filtering - Infilling). Định chế lọc mẫu (Filtering Criterion) mang tính đột phá khi áp dụng lý thuyết đo lường khoảng cách phân phối xác suất (Inman & Bradley, 1989) vào việc đánh giá độ tin cậy của mẫu thử.
  3. Mở rộng lý thuyết Hồi quy Quá trình Gaussian Đa biến (Multivariate GPR Theory): Mở rộng công thức hiệp phương sai tách biệt (Separable Covariance) của Wang et al. (2008) và ma trận phi tách biệt của Kleijnen et al. (2012) thành hai biến thể hoàn chỉnh: Reduced-Covariance MRK (RC-MRK) và Fully-Expanded-Covariance MRK (FEC-MRK), giải quyết triệt để sự tương tác liên ngành trong MDO.

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

Khung phân tích của Park tích hợp hữu cơ 4 mô hình lý thuyết: Lý thuyết quá trình Gaussian (Sacks et al.), Tối ưu hóa đa mục tiêu Pareto (Deb et al.), Lý thuyết chồng lấn phân phối xác suất (Overlapping Coefficient), và Nguyên lý Ước lượng Hợp lý Cực đại (MLE).

Công thức toán học cốt lõi: Giả sử hệ thống phân cấp độ trung thực gồm $r$ mức ($m = 1, 2, \dots, r$), trong đó $m=r$ là cấp độ trung thực cao nhất (HF). Mối quan hệ giữa giá trị hàm ước lượng trung bình của mô hình cấp $m-1$ ($\bar{f}{m-1}$) và cấp $m$ ($f_m$) tại các vị trí mẫu của cấp cao hơn $x_i \in I_m^{(k)}$ được thiết lập: $$\bar{f}{m-1}(x_i) = \alpha_{m-1} f_m(x_i) + \beta_{m-1}(x_i), \quad \forall i \in I_m^{(k)}$$

Hệ số co giãn đồng thời $\alpha$ và vector sai số cộng $\beta$ được giải quyết thông qua bài toán quy hoạch tối ưu dưới nhằm tối thiểu hóa chuẩn Euclidean: $$\min_{\alpha_1, \dots, \alpha_{r-1}} \sum_{m=1}^{r-1} |\beta_m(x_i)|2 = \min{\alpha_1, \dots, \alpha_{r-1}} \sum_{m=1}^{r-1} \sqrt{\sum_{i \in I_r^{(k)}} \left( \bar{f}_m(x_i) - \alpha_m f_r(x_i) \right)^2}$$

Sau khi tìm được $\alpha_m^$ qua thuật toán di truyền, trường sai số cộng $\beta_m^(x)$ được mô hình hóa bằng một quá trình Kriging riêng biệt: $$\hat{\beta}_m(x) = \text{KRG}\left({\beta_m^*(x_i) \mid i \in I_r^{(k)}}\right)$$

Từ đó, các điểm mẫu trung thực thấp $f_m(x_j)$ ($j \in I_m^{(k)}$) được hiệu chuẩn chính xác về mức trung thực cao nhất: $$f_m'(x_j) = \frac{f_m(x_j) - \hat{\beta}_m(x_j)}{\alpha_m^*}$$

Điều kiện biên và Giới hạn áp dụng (Boundary Conditions):

  • Tính tương quan vật lý: Phương pháp đòi hỏi các bộ giải LF và HF phải mô tả cùng một hiện tượng vật lý bản chất và có hệ số tương quan dương đáng kể ($\rho > 0.5$).
  • Tính trơn của trường sai số: Hàm sai số cộng $\beta(x)$ phải là một trường liên tục, khả vi từng đoạn để đảm bảo nhân hiệp phương sai Gaussian (Gaussian kernel) không bị kỳ dị.

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

Thiết kế nghiên cứu

Nghiên cứu được định vị vững chắc trên nền tảng triết học thực chứng hiện đại (Post-positivism / Computational Determinism), nơi các quá trình mô phỏng số được xem là các phép đo số học có sai số tất định có thể định lượng và kiểm soát thông qua mô hình thống kê Bayesian.

Thiết kế nghiên cứu đa cấp độ (Multi-level Hierarchical Design) kết hợp giữa nghiên cứu thuật toán giải tích và thực nghiệm mô phỏng động lực học chất lưu (CFD) / phân tích phần tử hữu hạn (FEA):

Quy trình nghiên cứu rigorous

  1. Giao thức Lọc mẫu (Dynamic Filtering Protocol): Độ chính xác của mẫu hiệu chuẩn $f_m'(x_i)$ được kiểm định với dự báo của mô hình HF $\hat{f}r(x_i)$ bằng diện tích tích phân trùng lặp giữa hai hàm mật độ xác suất (PDF): $$\text{OVL}(f_m'(x_i), \hat{f}r(x_i)) = \int{-\infty}^{+\infty} \min \left[ \phi(y; \mu{m}', \sigma_m'^2), \phi(y; \mu_r, \sigma_r^2) \right] dy$$ Ngưỡng chuẩn được thiết lập chặt chẽ: nếu $\text{OVL} < 0.5$, điểm mẫu $i$ bị loại khỏi tập huấn luyện của vòng lặp hiện tại ($I^{-(k)}$). Điểm độc đáo là tập $I^{-(k)}$ không bị hủy bỏ vĩnh viễn mà được đánh giá lại ở vòng lặp $(k+1)$ khi mô hình $\hat{f}_r$ đã được cập nhật chính xác hơn nhờ các mẫu bổ sung.
  2. Quy trình Lấy mẫu bổ sung đa điểm (MPMO-ISC Protocol): Thay vì chỉ tìm $\max \text{EI}(x)$, thuật toán giải bài toán tối ưu hóa đa mục tiêu: $$\min_{x} \left{ -f_1(x) = -\text{EI}(x), \quad -f_2(x) = -\sigma^2(x) \right}$$ Tập hợp các điểm tối ưu trên biên Pareto được chọn lọc qua tham số chuyển đổi động $\kappa$ và ngưỡng $T$, cho phép bộ giải vừa đào sâu vào vùng có tiềm năng đạt cực trị toàn cục, vừa quét qua các vùng không gian có độ bất định cao.
  3. Quy trình Ước lượng Hợp lý Cực đại Lặp (iMLE Protocol) cho MRK: Ma trận hiệp phương sai tổng thể của hệ thống $q$ phản hồi được phân rã thành tích Kronecker: $C = B \otimes R$, trong đó $B$ kích thước $(q \times q)$ là ma trận tương quan giữa các phản hồi vật lý, và $R$ kích thước $(n \times n)$ là ma trận tương quan không gian. Thay vì tối ưu đồng thời $p \times q + q(q+1)/2$ siêu tham số gây suy biến ma trận, thuật toán iMLE cố định $B$ để tối ưu $R$ bằng Gauss-Seidel, sau đó cố định $R$ để cập nhật giải tích $B$, lặp lại cho đến khi hàm log-likelihood đạt hội tụ tuyệt đối: $$\min_{\theta, B} \psi(\theta, B) = \frac{1}{2} \ln |C| + \frac{1}{2} (Y - \mu)^T C^{-1} (Y - \mu)$$

Data và phân tích

Hệ thống công cụ mô phỏng và phần mềm được chuẩn hóa cao độ:

  • Khí động học: Mã nguồn Panel method giải thế tuyến tính; Bộ giải RANS 2D/3D thương mại liên kết lưới phi cấu trúc với mô hình nhiễu loạn Spalart-Allmaras (SA) và $k$-$\omega$ SST; Dữ liệu thực nghiệm hầm gió NASA Langley và NLR.
  • Cấu trúc & Ghép nối đa ngành: Phần mềm phân tử hữu hạn tính toán độ cứng uốn và xoắn khí đàn hồi; Thuật toán iMLE và EGO được lập trình hoàn toàn trên nền tảng MATLAB kết hợp bộ công cụ Genetic Algorithm and Direct Search Toolbox.
Trường hợp kiểm thử Số chiều không gian ($p$) Số phản hồi ($q$) Mô hình HF sử dụng Mô hình LF sử dụng Quy mô mẫu DoE ban đầu
Six-hump camel back 2 1 Giải tích chuẩn Hàm làm mịn méo dạng 10 HF, 30 LF
Simplified Rastrigin 2 1 Giải tích dao động cao Giải tích bậc thấp 12 HF, 40 LF
Khí đàn hồi NACA 0012 3 2 ($C_l, \theta_{twist}$) RANS + FEA uốn-xoắn Panel + Dầm Euler 8 HF, 32 LF
Cánh NLR 7301 đa phần 5 1 ($C_l/C_d$) RANS ($M=0.185, Re=2.51\times10^6$) Euler / Panel 15 HF, 60 LF
Bề mặt AMT (ICE 101) 6 2 ($C_L, C_m$) RANS 3D (64 CPUs, 6h/mẫu) Vortex Lattice / Panel (1 CPU, vài giây) 20 HF, 80 LF

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

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

  1. Hiệu năng cắt giảm chi phí tính toán đột phá (45% Computational Cost Reduction): Trong bài toán tối ưu hóa bề mặt điều khiển All-Moving-Wingtip (AMT) của máy bay tàng hình không đuôi ICE 101, phương pháp VF-EGO chỉ sử dụng 20 mẫu RANS 3D kết hợp 80 mẫu Panel method. Tổng thời gian tính toán giảm từ 600 giờ CPU (nếu dùng 100% RANS thuần túy) xuống còn xấp xỉ 120 giờ CPU mà vẫn đạt được hình học tối ưu cục bộ có sai số hệ số nâng $C_L$ và hệ số mô-men chúi $C_m$ dưới $0.8%$ so với nghiệm RANS chuẩn.
  2. Vượt trội về mật độ mẫu tối ưu so với $q$-EI (55% Infill Sample Reduction): Trên hàm kiểm thử chuẩn Simplified Rastrigin đa cực trị, chiến lược MPMO-ISC kết hợp DFI đạt ngưỡng hội tụ toàn cục chỉ sau 24 điểm lấy mẫu bổ sung, trong khi phương pháp $q$-EI tiên tiến của Ginsbourger et al. đòi hỏi tới 54 điểm mẫu do bị rơi vào bẫy phân tán không đồng đều ở các thung lũng giả.
  3. Mô hình hóa chính xác tương tác vật lý liên ngành qua iMLE: Đối với bài toán cánh NACA 0012 khí đàn hồi, mô hình FEC-MRK huấn luyện bằng iMLE chứng minh rằng việc nắm bắt ma trận hiệp phương sai chéo giữa lực khí động $C_l$ và góc xoắn đàn hồi $\theta_{twist}$ giúp giảm 50% số lượng mẫu thử nghiệm cần thiết so với việc xây dựng hai mô hình Kriging đơn lẻ độc lập để đạt cùng chỉ số sai số căn phương trung bình (RMSE < 0.015).
  4. Phát hiện nghịch trực giác về tác động tiêu cực của mẫu LF chưa lọc: Dữ liệu thực nghiệm chứng minh một kết quả quan trọng: việc bổ sung một số lượng lớn mẫu trung thực thấp nếu không có bộ lọc OVL sẽ làm giảm độ chính xác của mô hình đại diện so với việc chỉ dùng một lượng rất ít mẫu trung thực cao. Hiện tượng "nhiễm bẩn mô hình" (surrogate contamination) này được triệt tiêu hoàn toàn khi áp dụng ngưỡng $\text{OVL} \ge 0.5$.

Implications đa chiều

  • Về mặt Lý thuyết: Cung cấp cơ sở toán học chứng minh rằng việc ghép nối thông tin đa nguồn (Multi-source information fusion) trong học máy kỹ thuật bắt buộc phải đi kèm với việc định lượng độ bất định của chính quá trình chuyển đổi (Transformation Uncertainty).
  • Về mặt Phương pháp luận: Mở ra quy trình chuẩn cho việc tích hợp tính toán song song quy mô lớn (High-Performance Computing) với các giải thuật tối ưu hóa thích nghi DoE.
  • Về mặt Ứng dụng thực tiễn: Áp dụng trực tiếp vào quy trình R&D của các tập đoàn hàng không quân sự và dân dụng, rút ngắn chu kỳ thiết kế sơ bộ máy bay thế hệ mới từ hàng năm xuống hàng tháng, giảm thiểu rủi ro vượt ngân sách theo Định luật Augustine.

Limitations và Future Research

Mặc dù đạt được những bước tiến vượt bậc, luận án cũng chỉ rõ các giới hạn nội tại và phạm vi biên của phương pháp:

  1. Phụ thuộc vào mật độ mẫu HF ban đầu: Quá trình tối ưu dưới tìm hệ số nhân $\alpha$ và xây dựng mô hình sai số cộng $\beta(x)$ dựa trên việc nội suy tại các vị trí mẫu HF. Nếu số lượng mẫu HF quá ít ($n_{HF} < p+1$), ma trận hiệp phương sai của $\beta$ có thể không ổn định, dẫn đến hiệu chuẩn sai lệch trên toàn miền.
  2. Giả định phân phối chuẩn Gaussian của sai số: Phương pháp giả định nhiễu và sai số giữa các cấp độ trung thực tuân theo phân phối chuẩn $G(0, \sigma^2)$. Trong các chế độ bay chuyển tiếp hoặc có sóng xung kích cực mạnh (transonic shockwave buffeting), sai số khí động có thể biểu hiện tính phi đối xứng hoặc phân phối đuôi dày (heavy-tailed distribution).
  3. Chi phí tính toán ma trận khi chiều không gian cực lớn ($p > 50$): Thuật toán iMLE tuy giải quyết được số lượng phản hồi $q$, nhưng khi số chiều biến thiết kế $p$ vượt quá 50, việc tính định thức và nghịch đảo ma trận tương quan không gian $R$ kích thước $(n \times n)$ vẫn đòi hỏi tài nguyên bộ nhớ đáng kể.

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

  • Mở rộng phân phối sai số: Ứng dụng quá trình Student-$t$ (Student-$t$ Process) thay cho Gaussian Process để xử lý các phân phối dữ liệu có bước nhảy đột ngột hoặc ngoại lai.
  • Tích hợp Gradient từ Adjoint vào MRK: Kết hợp Gradient-Enhanced Kriging (GEK) vào cấu trúc Multi-Response để tận dụng đạo hàm giải tích từ các bộ giải CFD trung thực cao.
  • Tối ưu hóa đa trung thực cho bài toán đa điểm thiết kế (Multi-point design): Mở rộng khung VF-EGO để tối ưu hóa đồng thời trên toàn bộ dải bay (envelope) từ cận âm, xuyên âm đến siêu âm.

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

  • Tác động Học thuật: Công trình tạo tiền đề cho một loạt nghiên cứu tiếp nối về tối ưu hóa Bayesian đa nguồn (Multi-fidelity Bayesian Optimization) trong cơ học tính toán. Ước tính các thuật toán iMLE và MPMO-ISC có tiềm năng thu hút hàng trăm trích dẫn trong các tạp chí đầu ngành như AIAA Journal, Structural and Multidisciplinary Optimization, và Computer Methods in Applied Mechanics and Engineering.
  • Chuyển đổi Công nghiệp: Thay đổi căn bản phương thức thiết kế trong ngành công nghiệp hàng không (Airbus, Boeing, Lockheed Martin) và công nghiệp ô tô. Việc ứng dụng VF-EGO cho phép các kỹ sư tự tin đưa các mô phỏng RANS/LES phức tạp vào giai đoạn thiết kế ý niệm mà không sợ bùng nổ chi phí tính toán.
  • Lợi ích Xã hội & Môi trường: Giúp tối ưu hóa các hình học khí động học tiên tiến có lực cản siêu thấp (như cấu hình Blended Wing Body - BWB hoặc cánh có độ giãn dài cao), trực tiếp giảm lượng tiêu thụ nhiên liệu hóa thạch và phát thải khí nhà kính trong vận tải hàng không toàn cầu.

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

  • Nghiên cứu sinh & Nhà nghiên cứu sau tiến sĩ (Doctoral & Postdoc Researchers): Tiếp cận một khung phân tích toán học mẫu mực về xử lý dữ liệu đa trung thực, cung cấp các hướng mở về chứng minh toán học cho tính hội tụ của iMLE.
  • Giáo sư & Học giả cao cấp (Senior Academics): Kế thừa mô hình Multi-Response Kriging để giảng dạy và phát triển các bài toán tương tác chất lưu - kết cấu - nhiệt (Aerothermoelasticity) phức tạp.
  • Kỹ sư R&D trong Công nghiệp (Industry R&D Teams): Nhận được quy trình thuật toán hoàn chỉnh có thể tích hợp trực tiếp vào các chuỗi công cụ CAD/CAE hiện hữu để tối ưu hóa hình học cánh máy bay, tuabin gió và vỏ khí động xe điện.
  • Các Nhà hoạch định Chính sách & Quản lý Dự án Hàng không (Program Managers): Có công cụ khoa học vững chắc để thẩm định rủi ro kỹ thuật và kiểm soát ngân sách trong giai đoạn đấu thầu và phát triển ý niệm của các chương trình phương tiện bay quốc gia.

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 thiết lập mô hình hiệu chuẩn sai số đồng thời dạng nhân - cộng $(\alpha - \beta)$ kết hợp tiêu chuẩn lọc xác suất OVL, mở rộng trực tiếp lý thuyết mô hình đại diện đa trung thực của Gano et al. (2006). Khác với các phương pháp truyền thống áp dụng hệ số nhân và số hạng cộng một cách tuần tự và rời rạc, Park thiết lập bài toán tối ưu dưới (sub-optimization) giải bằng GA để tìm hệ số co giãn toàn cục $\alpha^*$, đồng thời trích xuất trường sai số cộng $\beta(x)$ dưới dạng một quá trình ngẫu nhiên Gaussian độc lập. Điều này giúp loại bỏ triệt để hiện tượng méo dạng mặt đáp ứng khi tích hợp dữ liệu từ các bộ giải có độ chính xác chênh lệch nhau nhiều bậc.

2. Sự đổi mới về mặt phương pháp luận (Methodology Innovation) khi so sánh với ít nhất hai nghiên cứu tiền nhiệm?

So với phương pháp $q$-EI của Ginsbourger et al. (2010), phương pháp MPMO-ISC của Park không sử dụng các giả định gượng ép như Kriging Believer hay Constant Liar mà trực tiếp giải quyết bài toán đa mục tiêu thực sự giữa Thăm dò ($\sigma^2$) và Khai thác (EI), giúp giảm 55% số lượng mẫu bổ sung cần thiết. So với mô hình hồi quy đa biến của Kleijnen et al. (2012), Park phát triển thuật toán iMLE tách rời việc tính toán ma trận tương quan phản hồi $B$ và ma trận tương quan không gian $R$, loại bỏ hoàn toàn hiện tượng ma trận bị suy biến số học (singularity) khi số lượng siêu tham số tăng cao.

3. Phát hiện bất ngờ nhất (Most surprising finding) có dữ liệu minh chứng là gì?

Phát hiện bất ngờ nhất là hiện tượng "nhiễm bẩn mô hình đại diện do mẫu trung thực thấp": việc bổ sung thêm các mẫu phân tích trung thực thấp (LF) chưa qua chọn lọc có thể làm sai số toàn cục của mô hình Kriging tăng lên gấp 2.3 lần so với việc chỉ sử dụng một tập mẫu HF rất nhỏ ban đầu. Chỉ khi áp dụng tiêu chuẩn lọc thích nghi $\text{OVL} \ge 0.5$ để loại trừ các mẫu LF hiệu chuẩn lỗi, mô hình mới phát huy được ưu thế vượt trội, giúp cắt giảm 45% tổng chi phí tính toán.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) rõ ràng không?

Có. Luận án cung cấp chi tiết toàn bộ cấu trúc toán học từ các phương trình giải tích ma trận hiệp phương sai, thuật toán phân rã iMLE, giả mã (pseudocode) cho quy trình MPMO-ISC, cho đến các thông số hình học và điều kiện biên của các bài toán kiểm thử: tọa độ cánh NACA 0012, các thông số góc lệch và khe hở của cánh NLR 7301, cũng như mô hình bề mặt và điều kiện dòng chảy tự do ($M=0.15, \alpha=0^\circ \dots 10^\circ$) của cấu hình máy bay không đuôi ICE 101.

5. Chương trình nghiên cứu 10 năm (10-year research agenda) được vạch ra như thế nào?

Chương trình nghiên cứu dài hạn tập trung vào ba trụ cột: (1) Tích hợp học sâu (Deep Learning / Physics-Informed Neural Networks - PINNs) vào cấu trúc mô hình đại diện đa trung thực để thay thế GPR trong không gian siêu nhiều chiều; (2) Mở rộng khung EGO sang các bài toán tối ưu hóa đa mục tiêu thời gian thực (Real-time MDO) trong điều kiện bay không ổn định (Unsteady aerodynamics); (3) Chuẩn hóa quy trình chứng thực và kiểm định độ tin cậy (Verification & Validation - V&V) cho các hệ thống phần mềm hàng không đạt chuẩn an toàn bay FAA/EASA.


Kết luận

  1. Thiết lập Khung Tối ưu hóa Toàn cục Hiệu quả Đa trung thực (VF-EGO) Toàn diện: Tích hợp thành công 4 trụ cột kỹ thuật: hiệu chuẩn sai số đồng thời $\alpha - \beta$, lọc mẫu động qua hệ số chồng lấn xác suất OVL, lấy mẫu đa điểm đa mục tiêu MPMO-ISC kết hợp chỉ báo trung thực DFI, và mô hình Multi-Response Kriging với thuật toán iMLE.
  2. Cắt giảm 45% Tổng chi phí Thiết kế Kỹ thuật: Chứng minh tính hiệu quả vượt bậc trên cả các hàm giải tích phức tạp lẫn các bài toán thiết kế khí động học - cấu trúc thực tế quy mô lớn của máy bay không đuôi ICE 101.
  3. Tiết kiệm 55% Số lượng Mẫu Huấn luyện Bổ sung: Đánh bại các tiêu chuẩn lấy mẫu đa điểm tiên tiến nhất trong y văn (như $q$-EI) nhờ cơ chế cân bằng tối ưu giữa thăm dò toàn cục và khai thác cục bộ trên biên Pareto.
  4. Giải quyết Triệt để Vấn đề Bùng nổ Siêu tham số trong MDO: Thuật toán iMLE cung cấp giải pháp ổn định số học tuyệt đối cho các mô hình quá trình Gaussian đa biến ghép nối chặt chẽ giữa khí động học và độ võng cấu trúc.
  5. Mở ra 3 Dòng Nghiên cứu Mới (New Research Streams): (a) Lý thuyết DoE động dựa trên khoảng cách phân phối xác suất; (b) Tối ưu hóa đa ngành đa trung thực kết hợp độ nhạy liên hợp Adjoint; (c) Mô hình hóa đại diện cho các hệ thống ghép nối đa trường vật lý phi tuyến sâu (Aerothermoelasticity).
  6. Di sản và Tầm ảnh hưởng Đo lường được: Luận án của Jangho Park tại Virginia Tech tạo nên một chuẩn mực phương pháp luận mới cho ngành kỹ thuật hàng không vũ trụ tính toán, cung cấp giải pháp cốt lõi để hiện thực hóa mục tiêu tối ưu hóa vòng đời và giảm thiểu chi phí phát triển phương tiện bay trong thế kỷ 21.