Tổng quan về luận án

Phương pháp Bề mặt Đáp ứng (Response Surface Methodology - RSM), khởi xướng từ công trình kinh điển của Box & Wilson (1951), đóng vai trò nền tảng trong tối ưu hóa các quy trình công nghệ và phân tích thực nghiệm công nghiệp. Tuy nhiên, việc áp dụng mô hình đa thức bậc hai trong thực tế gặp phải rào cản lớn về chi phí và tính khả thi khi số lượng nhân tố ($m$) gia tăng, dẫn đến sự bùng nổ về số lượng phép thử ($n$). Luận án tiến sĩ toán học chuyên ngành Lý thuyết xác suất và Thống kê Toán học (Mã số: 62 46 01 06) của nghiên cứu sinh Phạm Đình Tùng, dưới sự hướng dẫn khoa học của TS. Nguyễn Kỳ Nam và GS. Nguyễn Hữu Dư tại Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội (2016), đã giải quyết triệt để bài toán tối ưu hóa cấu trúc thực nghiệm thông qua đề tài: "Thiết kế mặt đáp ứng 3-mức với tính chất hiệu ứng bậc hai trực giao".

Khoảng trống nghiên cứu (research gap) trọng tâm mà luận án xác định bao gồm hai vấn đề cốt lõi:

  1. Các thiết kế Box-Behnken (BBD) kinh điển (Box & Behnken, 1960) đòi hỏi số phép thử quá lớn khi số nhân tố tăng cao, đồng thời không thể chia nhóm trực giao đối với một số trường hợp như $m = 3$ và $m = 11$. Các nỗ lực rút gọn gần đây như thiết kế Box-Behnken nhỏ (Small Box-Behnken Design - SBBD) của Zhang và cộng sự (2011) hoàn toàn không có khả năng chia nhóm trực giao. Trong khi đó, các thiết kế của Dey & Kole (2013) tuy chia nhóm được nhưng ma trận thông tin $X^T X$ không đạt cấu trúc trực giao hoàn toàn giữa hiệu ứng chính và tương tác.
  2. Trong các bài toán thực nghiệm tồn tại nhân tố khó thay đổi mức giá trị (Hard-to-Change - HTC / Whole-Plot - WP) kết hợp nhân tố dễ thay đổi (Easy-to-Change - ETC / Sub-Plot - SP), mô hình Split-Plot (SPD) xuất hiện cấu trúc sai số ngẫu nhiên hai tầng phức tạp. Các thiết kế ước lượng tương đương SPLIT-PLOT (Equivalent-Estimation Split-Plot Design - EE-SPD) trước đây (Vining và cộng sự, 2005; Macharia & Goos, 2010; Jones & Goos, 2012) có chỉ số $D$-hiệu quả ($D_{eff}$) chưa tối ưu hoặc thiếu vắng tính chất trực giao cho các hiệu ứng bậc hai.

Luận án đặt ra hai câu hỏi nghiên cứu và giả thuyết khoa học:

  • Câu hỏi 1 (Q1): Làm thế nào để xây dựng các thiết kế bậc hai 3-mức rút gọn từ các thiết kế nhóm không đầy đủ (Incomplete Block Design - IBD) với kích thước khối không đồng đều, vừa tối thiểu hóa số phép thử vừa bảo toàn cấu trúc ma trận thông tin trực giao $X^T X = \begin{pmatrix} A & 0 \ 0 & D \end{pmatrix}$ (với $D$ là ma trận đường chéo) và khả năng chia nhóm trực giao?

  • Câu hỏi 2 (Q2): Bằng cơ chế thuật toán nào có thể thiết lập các thiết kế EE-SPD 3-mức bảo đảm tính chất ước lượng bình phương tối thiểu thông thường trùng khớp với bình phương tối thiểu tổng quát ($\hat{\beta}{OLS} \equiv \hat{\beta}{GLS}$), đồng thời tối ưu hóa chỉ số $D_{eff}$ vượt trội so với các thuật toán trao đổi điểm ngẫu nhiên?

  • Giả thuyết 1 (H1): Việc kết hợp kỹ thuật thêm/bớt phần tử từ thiết kế nhóm không đầy đủ và cân bằng (BIBD) tuần hoàn cho phép kiến tạo các SBBD có số phép thử ít hơn đáng kể so với BBD và Dey & Kole (2013) nhưng vẫn duy trì chỉ số xoay quanh $Q^* > 0.5$ và khả năng chia nhóm trực giao bởi 2 nhân tố.

  • Giả thuyết 2 (H2): Thuật toán hoán đổi mức nhân tố ô nhỏ (SP) dựa trên công thức cập nhật nhanh ma trận thông tin $M_{updated} = M \mp \frac{1}{k+1}(A_r - B_r)$ sẽ tìm được các thiết kế $SPD^*$ có cấu trúc trực giao và $D_{eff}$ cao hơn các thiết kế của Jones & Goos (2012).

Khung lý thuyết của nghiên cứu được định hình dựa trên lý thuyết thiết kế tổ hợp (Combinatorial Design Theory), lý thuyết mô hình tuyến tính tổng quát (Generalized Linear Models) và lý thuyết tối ưu hóa bề mặt đáp ứng. Đóng góp đột phá của luận án được định lượng qua việc thiết lập 7 thiết kế SBBD hoàn toàn mới cho $m = 5, 6, 8, 10, 11, 12, 15$ nhân tố, giúp giảm tới 19.05% số phép thử (tại $m=5$ giảm từ 42 xuống 34 phép thử), đồng thời cải tiến vượt bậc 25 cấu hình EE-SPD so với công bố quốc tế của Jones & Goos (2012). Phạm vi nghiên cứu bao quát các không gian thực nghiệm từ 4 đến 16 nhân tố, được kiểm chứng thực nghiệm trên quy trình sinh tổng hợp enzym Lipase từ chủng nấm men Pichia anomala VTCC Y0787 với mô hình đạt hệ số xác định $R^2 = 0.9616$ và mức ý nghĩa thống kê $p = 6.365 \times 10^{-6}$.

Literature Review và Positioning

Lịch sử phát triển của thiết kế thực nghiệm ghi nhận dấu ấn khởi nguồn từ R. Fisher (1930s) tại Trạm Nông học Rothamsted với ba nguyên lý nền tảng: ngẫu nhiên hóa (randomization), lặp lại (replication), và chia nhóm (blocking). Box & Wilson (1951) đã tạo bước ngoặt khi chuyển giao phương pháp luận này sang môi trường công nghiệp bằng việc giới thiệu RSM và thiết kế tổng hợp trung tâm (Central Composite Design - CCD). Tiếp đó, Box & Behnken (1960) đề xuất lớp thiết kế bậc hai 3-mức (BBD) dựa trên việc chồng chất các thiết kế nhân tố $2^k$ lên các khối của thiết kế nhóm không đầy đủ và cân bằng (BIBD) hoặc bán cân bằng (PBIBD). BBD nhanh chóng trở thành tiêu chuẩn vàng nhờ chỉ yêu cầu 3 mức giá trị ($-1, 0, 1$), có tính xoay quanh (rotatability) hoặc gần xoay quanh, và cấu trúc ma trận $X^T X$ dạng khối đường chéo giúp ước lượng độc lập các hiệu ứng.

Tuy nhiên, y văn quốc tế chứng kiến sự tranh luận gay gắt giữa hai luồng quan điểm:

  1. Tối thiểu hóa số lượng phép thử (Run-size Economy): Draper & Lin (1990) cùng Nguyen & Lin (2011) phát triển các thiết kế tổng hợp nhỏ (Small Composite Design - SCD); Morris (2000) đưa ra thiết kế tăng cặp (Augmented-Pair Design - APD); Zhang và cộng sự (2011) đề xuất SBBD. Điểm hạn chế chí tử của nhánh nghiên cứu này là sự hy sinh tính chất trực giao của ma trận thông tin, khiến $X^T X$ có dạng $\begin{pmatrix} A & 0 \ 0 & B \end{pmatrix}$ (với $B$ không phải ma trận đường chéo), hoặc làm mất hoàn toàn khả năng chia nhóm trực giao để triệt tiêu biến gây nhiễu môi trường.
  2. Bảo toàn tính chất trực giao và chia nhóm (Orthogonal Blocking & Structure Preservation): Dey (2009) và Nguyen & Borkowski (2008) nỗ lực bảo toàn tính xoay quanh và cấu trúc trực giao nhưng số lượng phép thử vẫn tăng nhanh theo $m$. Dey & Kole (2013) sử dụng IBD cỡ 3 và thiết kế một phần nhân tố $2^{3-1}{III}$ để chia nhóm trực giao, nhưng lại chịu sự suy giảm chỉ số $D$-hiệu quả nghiêm trọng ở một số cấu hình (ví dụ $m=10$ chỉ đạt $D{eff} = 67.5%$).

Trong mảng thiết kế Split-Plot, sau khi Vining và cộng sự (2005) cùng Parker và cộng sự (2006, 2007) đặt nền móng cho EE-SPD, Goos (2006) đã chỉ ra rằng các EE-SPD chuyển hóa từ BBD và CCD truyền thống có $D_{eff}$ rất thấp. Macharia & Goos (2010) và Jones & Goos (2012) áp dụng thuật toán tìm kiếm điểm/tọa độ ngẫu nhiên trên máy tính. Dù tìm được 60 thiết kế EE-SPD cải tiến, thuật toán của Jones & Goos (2012) mang tính chất "hộp đen", tạo ra các mức giá trị phân số phức tạp và không kiểm soát được cấu trúc ma trận thông tin trực giao cho các nhân tố ô nhỏ.

Công trình của Phạm Đình Tùng định vị chính xác tại giao điểm của các tranh luận trên: lấp đầy khoảng trống bằng cách sử dụng các IBD có kích thước khối không đồng đều để tạo ra các SBBD vừa có số phép thử tối thiểu, vừa bảo toàn ma trận $X^T X = \begin{pmatrix} A & 0 \ 0 & D \end{pmatrix}$, đồng thời thiết lập thuật toán hoán đổi SPLIT có kiểm soát giải tích để đánh bại thuật toán của Jones & Goos (2012) trên 25 bài toán chuẩn quốc 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 sâu sắc lý thuyết thiết kế thực nghiệm của Box & Behnken (1960) và lý thuyết ước lượng mô hình hỗn hợp tuyến tính (Linear Mixed Models) thông qua ba đột phá:

Thứ nhất, luận án chứng minh về mặt toán học rằng việc sử dụng các IBD có kích thước khối không bằng nhau — tạo lập bằng cách thêm hoặc xóa phần tử từ các BIBD tuần hoàn — vẫn bảo toàn nguyên vẹn tính chất hiệu ứng bậc hai trực giao. Ma trận mở rộng $X_{n \times p}$ của mô hình bậc hai: $$y_u = \beta_0 + \sum_{i=1}^m \beta_{ii} x_{ui}^2 + \sum_{i=1}^m \beta_i x_{ui} + \sum_{i=1}^{m-1}\sum_{j=i+1}^m \beta_{ij} x_{ui} x_{uj} + \varepsilon_u$$ luôn bảo đảm ma trận thông tin $X^T X$ phân rã thành dạng khối: $$X^T X = \begin{pmatrix} A & 0 \ 0 & D \end{pmatrix}$$ trong đó $A$ là ma trận vuông cấp $m+1$, và $D$ là ma trận đường chéo cấp $m(m+1)/2$. Điều này bảo đảm $m$ hiệu ứng chính và $\binom{m}{2}$ hiệu ứng tương tác được ước lượng hoàn toàn trực giao, triệt tiêu sự phụ thuộc lẫn nhau giữa các hệ số hồi quy.

Thứ hai, trong lý thuyết thiết kế Split-Plot, luận án mở rộng điều kiện ước lượng tương đương của Parker và cộng sự (2007) và Jones & Goos (2012). Tác giả đã chứng minh chặt chẽ đẳng thức đại số ma trận: $$C^T C = kB - B(X^T X)^{-1} B$$ với $B = X^T J_b X$, $J_b = I_b \otimes J_{k \times k}$, và ma trận hình chiếu lũy linh $A = I_n - X(X^T X)^{-1}X^T$ thỏa mãn $A^2 = A$. Đẳng thức này chuyển đổi việc kiểm tra điều kiện $\text{trace}(C^T C) = 0$ từ việc nhân ma trận cỡ lớn $n \times n$ sang tính toán trên ma trận $p \times p$, tạo bước nhảy vọt về tốc độ tính toán đại số.

Thứ ba, luận án thiết lập định nghĩa cấu trúc ma trận thông tin mong muốn $SPD^*$ cho mô hình Split-Plot: $$M = X^T V^{-1} X = \begin{pmatrix} M_{11} & 0 \ 0 & D \end{pmatrix}$$ trong đó $M_{11}$ có cấp $(1 + m + m_W) \times (1 + m + m_W)$ và $D$ là ma trận đường chéo. Cấu trúc này giải phóng hoàn toàn giả định khắt khe của CCD và BBD truyền thống (vốn đòi hỏi mọi cặp ước lượng hiệu ứng bậc hai phải có hệ số tương quan bằng nhau), cho phép các nhà thống kê ước lượng trực giao toàn bộ $m_S$ hiệu ứng chính của nhân tố ô nhỏ và các hiệu ứng tương tác liên quan.

graph TD
    A["Lý thuyết Thiết kế Tổ hợp (IBD / BIBD / PBIBD)"] --> D["Khung Phân tích Tích hợp"]
    B["Lý thuyết Mô hình Tuyến tính Hỗn hợp (GLS / OLS)"] --> D
    C["Tiêu chuẩn Tối ưu Thông tin (D-optimality / Rotatability)"] --> D
    D --> E["Lớp Thiết kế SBBD Mới (m = 5 đến 15)"]
    D --> F["Lớp Thiết kế EE-SPD* (Thuật toán SPLIT)"]
    E --> G["Đặc tính: X^T X = diag(A, D); Chia nhóm trực giao"]
    F --> H["Đặc tính: beta_OLS = beta_GLS; M = diag(M11, D)"]

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

Khung phân tích của luận án tích hợp ba trụ cột: lý thuyết tổ hợp đại số ma trận, tối ưu hóa rời rạc thông tin Fisher, và kiểm định thực nghiệm thông số. Điểm độc đáo nằm ở hàm mục tiêu hoán đổi: $$f = \sum_{i,j} (M_{12}){ij}^2 + \sum{i \ne j} (M_{22})_{ij}^2$$ Bài toán tìm kiếm thiết kế tối ưu được chuyển hóa thành bài toán cực tiểu hóa hàm mục tiêu $f \to 0$.

Điều kiện biên (Boundary Conditions) của khung phân tích được xác định rõ ràng:

  • Áp dụng cho các nhân tố định lượng có 3 mức giá trị rời rạc chuẩn hóa ${-1, 0, 1}$.
  • Không gian Split-Plot cân bằng với $b$ ô lớn, mỗi ô chứa chính xác $k$ ô nhỏ ($n = bk$).
  • Tỷ số thành phần phương sai giả định chuẩn tắc $\sigma_\gamma^2 / \sigma_\varepsilon^2 = 1$ trong giai đoạn tối ưu hóa hàm thông tin.

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

Thiết kế nghiên cứu

Luận án tuân thủ triết lý thực chứng (Positivism) kết hợp giải tích toán học suy diễn và mô phỏng thuật toán số học. Thiết kế nghiên cứu đa tầng (Multi-level design) được cấu trúc chặt chẽ nhằm giải quyết đồng thời hai lớp bài toán: lớp thiết kế hoàn toàn ngẫu nhiên (SBBD) và lớp thiết kế hạn chế ngẫu nhiên hóa (Split-Plot).

Tiêu chí chọn mẫu ma trận bao quát toàn diện không gian thực nghiệm: số lượng nhân tố $m \in [4, 16]$, số ô lớn $b \in [5, 12]$, kích thước ô $k \in [3, 10]$, bảo đảm đáp ứng mọi quy mô thí nghiệm từ phòng thí nghiệm quy mô nhỏ đến dây chuyền sản xuất công nghiệp nặng.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được thực hiện qua các giao thức toán học chuẩn xác:

  1. Quy trình sinh thiết kế SBBD:

    • Xây dựng ma trận liên kết $N = (n_{it}){\nu \times b}$ và ma trận lặp lại $NN^T = (\lambda{ij})$.
    • Biến đổi BIBD tuần hoàn bằng cách thêm hoặc xóa phần tử để tạo ra IBD có kích thước khối không đồng đều với $\lambda_{ij} \in {1, 2}$.
    • Chồng chất các thiết kế nhân tố $2^k$ (hoặc phân số $2^{k-p}$) lên các phần tử của IBD.
    • Thêm $n_0$ điểm tâm $(0, 0, \dots, 0)$ để kiểm soát phương sai dự báo tại gốc tọa độ.
    • Phân hoạch ma trận thiết kế thành các nhóm trực giao thỏa mãn đồng thời hai điều kiện: $$\sum_{u \in \text{khối } l} x_{ui} = 0, \quad \sum_{u \in \text{khối } l} x_{ui} x_{uj} = 0 \quad (\forall i \ne j)$$ $$\sum_{u \in \text{khối } l} x_{ui}^2 = \frac{n_l}{n} \sum_{u=1}^n x_{ui}^2 \quad (\forall i = 1, \dots, m)$$
  2. Quy trình thuật toán hoán đổi SPLIT:

    • Bước 1: Khởi tạo thiết kế đầu vào $D_0$ cỡ $n \times m$ ($m_W$ nhân tố WP, $m_S$ nhân tố SP). Trong mỗi ô lớn, tổng mức giá trị của từng nhân tố SP luôn triệt tiêu: $\sum x_{SP} = 0$.
    • Bước 2: Ngẫu nhiên hóa các mức của SP để tạo ma trận khởi tạo $D$. Tính toán ma trận thông tin $M = \sum_{r=1}^b \frac{1}{k+1}(A_r - B_r)$ và hàm mục tiêu $f$.
    • Bước 3: Rút ô lớn thứ $r$ ($r = 1, \dots, b$) ra khỏi thiết kế và cập nhật nhanh: $$M_{\text{updated}} = M - \frac{1}{k+1}(A_r - B_r)$$
    • Bước 4: Tiến hành hoán đổi từng cặp mức giá trị của nhân tố SP trong ô lớn $r$. Nếu phép hoán đổi làm giảm $f$, chấp nhận trạng thái mới và cập nhật $M_{\text{updated}} = M + \frac{1}{k+1}(A'_r - B'_r)$.
    • Bước 5: Lặp lại liên tục cho đến khi $f = 0$ (thiết kế đạt chuẩn $SPD^*$) hoặc $f$ đạt cực tiểu địa phương không thể tối ưu thêm.

Tính giá trị (validity) và độ tin cậy (reliability) của thuật toán được bảo đảm thông qua việc kiểm tra tính lũy linh của ma trận hình chiếu và đối chiếu trực tiếp định thức ma trận thông tin với các mốc tối ưu lý thuyết ($D$-optimal benchmarks).

Data và phân tích

Phân tích định lượng được thực thi trên môi trường lập trình kép: gói phần mềm Gendex với các mô-đun chuyên sâu IBD, CIBD, CUT (Nguyen, 2011) kết hợp hệ thống mã nguồn Java do tác giả tự xây dựng cho thuật toán SPLIT, và gói lệnh rsm trên nền tảng ngôn ngữ R.

Dữ liệu thực nghiệm từ quy trình sinh tổng hợp Lipase của Bui & Nguyen (2013) được tái phân tích toàn diện. Giai đoạn sàng lọc 11 yếu tố sử dụng thiết kế Plackett-Burman (PBD) 12 phép thử đã xác định 3 nhân tố có ý nghĩa thống kê quyết định ($p < 0.003$): chiết nấm men ($X_6$), tỷ lệ giống ($X_{10}$), và tỷ lệ dầu ăn ($X_{11}$). Giai đoạn tối ưu hóa bậc hai sử dụng CCD với 20 phép thử (8 điểm nhân tố, 6 điểm sao $\alpha = 1.68$, và 6 điểm tâm).

Bảng phân tích phương sai ANOVA cho thấy mô hình đa thức bậc hai đạt độ tương thích hoàn hảo:

  • Hệ số hồi quy ước lượng: $$\hat{y} = 17.83 + 1.25x_6 - 0.35x_{10} + 1.53x_{11} - 1.15x_6^2 - 1.15x_{10}^2 - 1.17x_{11}^2 + 0.17x_6 x_{10} - 0.40x_6 x_{11} - 0.65x_{10} x_{11}$$
  • Thống kê kiểm định: $F = 27.83$, giá trị $p = 6.365 \times 10^{-6}$, sai số thiếu tương thích (Lack of fit) không có ý nghĩa thống kê ($p = 0.4395$).

Độ vững (robustness) của các thiết kế SBBD được kiểm định qua chỉ số xoay quanh Draper-Pukelsheim: $$Q^* = \frac{m(m+2) \sum_{u=1}^n x_{u1}^2 x_{u2}^2}{3 \sum_{u=1}^n x_{u1}^4} \in [0.7412, 0.9974]$$ chỉ ra rằng phương sai dự báo $\text{Var}(\hat{y}(x))$ hoàn toàn ổn định trên toàn bộ mặt cầu bán kính $\rho = \sum x_i^2$ trong miền thực nghiệm.

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

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

  1. Khám phá 7 thiết kế SBBD mới có cấu trúc trực giao: Luận án công bố lần đầu tiên trong y văn thế giới 7 thiết kế SBBD cho $m = 5, 6, 8, 10, 11, 12, 15$ nhân tố. Tại $m = 15$, thiết kế đạt chỉ số xoay quanh gần như tuyệt đối $Q^* = 0.9974$ với $D_{eff} = 79.46%$.
  2. Cắt giảm đột phá số lượng phép thử thực nghiệm: So với các thiết kế chuẩn quốc tế, SBBD của luận án thiết lập kỷ lục mới về số phép thử tối thiểu ở các không gian nhân tố phổ biến:
    • Với $m = 5$: SBBD chỉ cần 34 phép thử (chia 2 nhóm trực giao), trong khi BBD kinh điển và thiết kế của Dey & Kole (2013) đều cần 42 phép thử (tiết kiệm 19.05% chi phí vận hành).
    • Với $m = 6$: SBBD chỉ cần 46 phép thử (chia 2 nhóm trực giao), vượt trội hơn BBD (50 phép thử) và Dey & Kole (51 phép thử).
  3. Phát hiện phản trực giác về tối ưu hóa IBD tuần hoàn: Luận án phát hiện rằng sự suy giảm hiệu quả trong thiết kế của Dey & Kole (2013) tại $m = 10$ ($D_{eff} = 67.5%$) không phải do giới hạn của lý thuyết phân khối, mà do việc chọn IBD cơ sở chưa tối ưu. Bằng việc thay thế bằng IBD tuần hoàn $(\nu, b, r) = (10, 20, 6)$ sinh bởi hai nhóm $(0, 1, 5)$ và $(0, 1, 8)$, tác giả đã nâng vọt $D_{eff}$ lên 74.8%.
  4. Vượt trội thuật toán quốc tế trong 25 bài toán Split-Plot: Trong tổng số 111 cấu hình benchmark của Macharia & Goos (2010) và Jones & Goos (2012), thuật toán SPLIT đã tạo ra 25 thiết kế EE-SPD có chỉ số $D_{eff}$ cao hơn hẳn kết quả của Jones & Goos (2012), đồng thời bảo đảm $100%$ các mức giá trị là số nguyên chuẩn hóa ${-1, 0, 1}$ và ma trận đạt chuẩn trực giao $SPD^*$.
  5. Xác định tọa độ tối ưu sinh học chính xác: Phân tích ma trận đạo hàm riêng $\hat{B}$ trên mô hình Lipase cho thấy tất cả các giá trị riêng đều mang dấu âm, khẳng định điểm dừng là điểm cực đại toàn cục tại tọa độ mã hóa: $$(x_6^, x_{10}^, x_{11}^*) = (1.180, -0.331, 1.434)$$ tương ứng với nồng độ chiết nấm men $3.180%$, tỷ lệ giống $2.331%$, và tỷ lệ dầu ăn $4.434%$, nâng sản lượng enzyme lên mức cực đại trong môi trường nuôi cấy.
Nhân tố ($m$) Số tham số ($p$) IBD cỡ $(\nu, b, r)$ Số phép thử ($n$) Điểm tâm ($n_0$) $D_{eff}$ (%) Chỉ số xoay quanh ($Q^*$)
5 21 $(5, 8, 4)$ 34 2 87.26 0.7412
6 28 $(6, 11, 5)$ 46 2 82.52 0.8228
8 45 $(8, 14, 6)$ 82 2 75.31 0.8841
10 66 $(10, 20, 6)$ 122 2 74.80 0.8247
11 78 $(11, 24, 7)$ 154 2 78.89 0.9416
12 91 $(12, 22, 7)$ 178 2 73.18 0.9026
15 136 $(15, 30, 8)$ 258 2 79.46 0.9974

Implications đa chiều

  • Về mặt lý thuyết: Tái định hình phương pháp luận xây dựng thiết kế bậc hai thông qua việc hợp nhất lý thuyết khối không cân bằng và lý thuyết thông tin tối ưu, mở đường cho các nghiên cứu mở rộng sang mô hình bậc ba.
  • Về mặt phương pháp luận: Cung cấp thuật toán SPLIT với cơ chế cập nhật ma trận $O(1)$, trở thành công cụ đắc lực thay thế các thuật toán tìm kiếm ngẫu nhiên chậm chạp trong không gian thiết kế bị hạn chế ngẫu nhiên hóa.
  • Về mặt thực tiễn sản xuất: Giúp các doanh nghiệp hóa chất, dược phẩm, công nghệ sinh học và vật liệu cắt giảm từ 15% đến 25% ngân sách thử nghiệm, rút ngắn thời gian R&D sản phẩm mới mà vẫn bảo đảm độ tin cậy thống kê tuyệt đối.
  • Về mặt chính sách quản lý chất lượng: Cung cấp cơ sở khoa học định lượng để chuẩn hóa các quy trình tối ưu hóa thực nghiệm trong khuôn khổ chương trình Quản lý chất lượng Six Sigma và ISO/IEC 17025.

Limitations và Future Research

Mặc dù đạt được những đột phá học thuật xuất sắc, luận án thẳng thắn thừa nhận 4 giới hạn nghiên cứu:

  1. Sự phụ thuộc vào cấu trúc khởi tạo $D_0$: Thuật toán SPLIT đòi hỏi người nghiên cứu phải thiết lập cấu trúc ma trận đầu vào $D_0$ và mức nhân tố WP dựa trên kinh nghiệm hoặc phương pháp thử và sai (trial and error), chưa tự động hóa hoàn toàn khâu khởi tạo không gian ô lớn.
  2. Khoảng trống cấu hình tại $m = 14$: Luận án chưa tìm được thiết kế nhóm không đầy đủ (IBD) tương thích để xây dựng thiết kế SBBD cho trường hợp 14 nhân tố.
  3. Giả định tỷ số phương sai đơn vị: Việc tối ưu hóa ma trận thông tin trong EE-SPD dựa trên giả định $\sigma_\gamma^2 / \sigma_\varepsilon^2 = 1$. Mặc dù tính chất ước lượng tương đương $\hat{\beta}{OLS} \equiv \hat{\beta}{GLS}$ bảo đảm ước lượng luôn không chệch với mọi tỷ số phương sai, hiệu quả tương đối ($D_{eff}$) có thể dao động khi phương sai ô lớn quá vượt trội so với phương sai ô nhỏ.
  4. Không gian nhân tố 3-mức rời rạc: Nghiên cứu tập trung chuyên biệt vào các mức rời rạc ${-1, 0, 1}$, chưa mở rộng cho các bài toán tối ưu trên miền pha trộn (mixture designs) hoặc các biến liên tục có ràng buộc phi tuyến phức tạp.

Chương trình nghiên cứu tương lai (Future Research Agenda) mở ra 4 hướng đi chiến lược:

  • Tích hợp giải thuật di truyền (Genetic Algorithm) hoặc tối ưu bầy đàn (Particle Swarm Optimization) để tự động hóa việc khởi tạo ma trận $D_0$ trong thuật toán SPLIT.
  • Khai phá cấu trúc đại số tổ hợp để hoàn thiện thiết kế SBBD cho $m = 14$ và mở rộng cho $m > 16$.
  • Phát triển lớp thiết kế ước lượng tương đương cho mô hình Split-Split-Plot 3 tầng sai số.
  • Xây dựng phần mềm giao diện đồ họa (GUI) độc lập tích hợp trên nền tảng đám mây phục vụ chuyển giao công nghệ trực tiếp cho doanh nghiệp.

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

  • Tác động học thuật quốc tế: Các kết quả của luận án đã được công bố trên các tạp chí thống kê chuyên ngành uy tín và hệ thống thư viện thiết kế toàn cầu tại http://designcomputing.net/blockedSBBD/. Công trình tạo tiền đề cho hàng loạt trích dẫn trong lĩnh vực DoE và tối ưu hóa bề mặt đáp ứng.
  • Chuyển đổi công nghiệp: Ứng dụng trực tiếp trong ngành công nghệ thực phẩm (như ví dụ làm bánh công nghiệp với 2 nhân tố chia nhóm lò nướng và thời điểm), sản xuất vật liệu chịu lực ống gốm công nghiệp, và công nghệ lên men vi sinh.
  • Lợi ích kinh tế - xã hội: Giúp tiết kiệm hàng triệu kilowatt-giờ năng lượng và hàng tấn hóa chất thử nghiệm trong các ngành công nghiệp nặng nhờ tối ưu hóa chính xác với số lần thử nghiệm ít nhất.

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

  • Nghiên cứu sinh & Nhà nghiên cứu thống kê: Tiếp cận hệ thống lý thuyết đại số ma trận tiên tiến và các phương pháp xây dựng IBD không cân bằng.
  • Giảng viên đại học: Sử dụng làm tài liệu giảng dạy mẫu mực cho các học phần Thống kê ứng dụng cao học, Thiết kế thực nghiệm và Phân tích hồi quy nâng cao.
  • Kỹ sư R&D & Trưởng phòng thí nghiệm công nghiệp: Khai thác trực tiếp bảng ma trận thiết kế SBBD và EE-SPD để tối ưu hóa công thức sản phẩm mà không cần phần mềm thương mại đắt tiền.
  • Chuyên gia Six Sigma & Quản trị chất lượng: Ứng dụng công cụ DoE bậc cao để giải quyết triệt để các bài toán biến thiên chất lượng trong dây chuyền sản xuất phức tạp.

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à đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc chứng minh sự bảo toàn cấu trúc trực giao của ma trận thông tin $X^T X = \begin{pmatrix} A & 0 \ 0 & D \end{pmatrix}$ khi sử dụng các IBD có kích thước khối không đồng đều, mở rộng trực tiếp lý thuyết nền tảng của Box & Behnken (1960). Đồng thời, việc chứng minh đẳng thức $C^T C = kB - B(X^T X)^{-1} B$ đã nâng cấp lý thuyết ước lượng tương đương của Vining và cộng sự (2005) lên một tầm mức toán học chặt chẽ và tối ưu hơn về mặt tính toán.

2. Đổi mới phương pháp luận của thuật toán SPLIT so với các nghiên cứu quốc tế tiền nhiệm?

So với thuật toán tìm kiếm điểm ngẫu nhiên của Macharia & Goos (2010) và thuật toán hoán đổi tọa độ của Jones & Goos (2012), thuật toán SPLIT mang tính đột phá nhờ:

  1. Duy trì giá trị biến nguyên rời rạc ${-1, 0, 1}$, hoàn toàn khả thi trong thực nghiệm công nghiệp thay vì các mức phân số phức tạp.
  2. Áp dụng công thức cập nhật ma trận thông tin siêu tốc $M_{\text{updated}} = M \mp \frac{1}{k+1}(A_r - B_r)$ giúp giảm độ phức tạp thuật toán từ $O(n^3)$ xuống $O(1)$ cho mỗi bước thử hoán đổi.
  3. Thiết lập lớp thiết kế $SPD^*$ bảo đảm ước lượng trực giao cho toàn bộ hiệu ứng nhân tố ô nhỏ.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất từ góc độ dữ liệu?

Phát hiện gây bất ngờ nhất là việc chứng minh thiết kế 10 nhân tố của Dey & Kole (2013) bị tổn thất hiệu năng $D_{eff}$ nghiêm trọng (chỉ đạt $67.5%$) là do cấu trúc IBD nền tảng bị lỗi thời. Chỉ bằng thao tác thay thế giải tích bằng IBD tuần hoàn $(\nu, b, r) = (10, 20, 6)$, chỉ số $D_{eff}$ đã tăng vọt lên $74.8%$ mà không cần tăng thêm bất kỳ phép thử nào.

4. Giao thức tái lập nghiên cứu (Replication Protocol) có được cung cấp minh bạch không?

Hoàn toàn minh bạch. Toàn bộ ma trận thiết kế chi tiết cho các trường hợp từ 4 đến 16 nhân tố, mã nguồn thuật toán Java, cùng các mô-đun phần mềm Gendex (IBD, CIBD, CUT) được lưu trữ công khai và miễn phí tại cổng thông tin khoa học: http://designcomputing.net/blockedSBBD/http://designcomputing.net/gendex/cut/.

5. Luận án đã phác thảo lộ trình nghiên cứu 10 năm như thế nào?

Lộ trình hướng tới việc hợp nhất lý thuyết thiết kế thực nghiệm tối ưu với Trí tuệ Nhân tạo (AI-driven Experimental Design), mở rộng thuật toán sang các cấu trúc Split-Plot đa tầng phức tạp (Split-Split-Plot), và phát triển các thiết kế mặt đáp ứng thích ứng (Adaptive Response Surface Designs) phục vụ tự động hóa phòng thí nghiệm thế hệ 4.0.

Kết luận

Luận án tiến sĩ của NCS. Phạm Đình Tùng đại diện cho một công trình toán học ứng dụng xuất sắc, giải quyết trọn vẹn những thách thức tồn tại suốt nhiều thập kỷ trong phương pháp bề mặt đáp ứng. Sáu đóng góp cụ thể mang tính dấu ấn bao gồm:

  1. Thiết lập phương pháp luận mới xây dựng thiết kế bậc hai 3-mức từ các IBD có kích thước khối không đồng đều.
  2. Khám phá 7 thiết kế Box-Behnken nhỏ (SBBD) mới ($m = 5, 6, 8, 10, 11, 12, 15$) có số phép thử tối thiểu, chỉ số xoay quanh cao ($Q^* > 0.5$) và khả năng chia nhóm trực giao hoàn hảo.
  3. Chứng minh đẳng thức đại số ma trận rút gọn $C^T C = kB - B(X^T X)^{-1} B$, tạo bước ngoặt trong tính toán ma trận thông tin mô hình Split-Plot.
  4. Định nghĩa và hiện thực hóa thành công lớp thiết kế cấu trúc trực giao $SPD^*$ cho các nhân tố ô nhỏ.
  5. Phát triển thuật toán SPLIT vượt trội, cải tiến thành công 25 thiết kế EE-SPD chuẩn quốc tế so với công bố của Jones & Goos (2012).
  6. Ứng dụng thành công trên dữ liệu thực nghiệm sinh tổng hợp Lipase, minh chứng sự kết hợp hoàn hảo giữa toán học lý thuyết và công nghệ sinh học hiện đại.

Công trình không chỉ tạo ra bước chuyển dịch mô hình (paradigm shift) trong lý thuyết thiết kế thực nghiệm mà còn để lại di sản ứng dụng thực tiễn to lớn cho cộng đồng khoa học và công nghiệp toàn cầu.