Tổng quan về luận án

Trong kỷ nguyên vạn vật kết nối (IoT) và mạng cảm biến không dây (Wireless Sensor Networks - WSN), việc đảm bảo an toàn thông tin trước sự bùng phát của các phần mềm độc hại (malware, sâu mạng, virus) trở thành bài toán sống còn. Luận án tiến sĩ Toán ứng dụng với đề tài "Nghiên cứu một số mô hình truyền nhiễm phân thứ mờ và ứng dụng trong mạng cảm biến không dây" (Mã số: 9 46 01 12) do Nghiên cứu sinh Nguyễn Phương Đông thực hiện tại Học viện Khoa học và Công nghệ – Viện Hàn lâm Khoa học và Công nghệ Việt Nam, dưới sự hướng dẫn của PGS. Hoàng Việt Long và PGS. Nguyễn Long Giang (bảo vệ năm 2023, nhận tài trợ từ Quỹ Đổi mới Sáng tạo VinGroup - VinIF), là công trình tiên phong tích hợp ba trụ cột toán học hiện đại: giải tích phân thứ (Fractional Calculus), lý thuyết tập mờ (Fuzzy Set Theory) và lý thuyết mạng phức hợp không đồng nhất (Heterogeneous Complex Networks).

Khác với các mô hình dịch tễ học cổ điển dựa trên phương trình vi phân bậc nguyên vốn giả định môi trường truyền dẫn thuần nhất và không có bộ nhớ, nghiên cứu giải quyết trực tiếp khoảng trống học thuật (research gap) cốt lõi: sự thiếu vắng các khung lý thuyết có khả năng mô hình hóa đồng thời hiệu ứng nhớ dài hạn (memory effect), tính phi địa phương (non-local dynamics), độ bất định của dữ liệu đo đạc thực tế và cấu trúc liên kết không đồng nhất phụ thuộc năng lượng của các nút mạng WSN. Nghiên cứu thiết lập ba câu hỏi nghiên cứu (RQs) và ba giả thuyết trung tâm:

  1. RQ1: Làm thế nào để giải tích hóa bài toán Cauchy cho hệ vi phân phân thứ nhận giá trị mờ với nhân Mittag-Leffler phi suy biến? Giả thuyết H1: Tồn tại và duy nhất nghiệm mờ theo tính gH-khả vi trên không gian metric có trọng $H_\lambda$.
  2. RQ2: Sự kết hợp giữa cấu trúc mạng quy mô tự do (Scale-Free) và luật suy luận mờ có làm thay đổi ngưỡng bùng phát dịch $R_0$ và dáng điệu tiệm cận của mạng WSN? Giả thuyết H2: Tồn tại ngưỡng tới hạn $R_0$ quyết định tính ổn định toàn cục và rẽ nhánh tiến (forward bifurcation) tại $R_0 = 1$.
  3. RQ3: Làm thế nào để kiểm soát và triệt tiêu mã độc khi năng lực xử lý cách ly bị bão hòa? Giả thuyết H3: Mô hình xuất hiện rẽ nhánh lùi (backward bifurcation) tại $R_0 = 1$ và có thể ổn định hóa toàn cục thông qua hệ mờ Takagi-Sugeno phân thứ liên kết dưới dạng các bất đẳng thức ma trận tuyến tính (LMI).

Phạm vi nghiên cứu bao quát các mạng quy mô tự do Barabási-Albert từ $N = 100$ đến hàng nghìn nút cảm biến, phân phối bậc lũy thừa $P(k) = c k^{-\gamma}$ ($\gamma = 3$), bậc phân thứ $\beta \in (0, 1)$, mở ra bước đột phá định lượng trong thiết kế giao thức an ninh WSN tiết kiệm năng lượng.

Literature Review và Positioning

Lịch sử mô hình hóa các đối tượng truyền nhiễm khởi nguồn từ mô hình ngăn SIR kinh điển của Kermack và McKendrick (1927), sau đó được phát triển rộng rãi cho các đại dịch sinh học như HIV, Ebola, ZIKA và COVID-19. Đến năm 2001, Pastor-Satorras và Vespignani đã tạo nên bước ngoặt khi nhúng mô hình dịch SIS vào mạng phức hợp không đồng nhất, khẳng định rằng tính không đồng nhất về bậc liên kết làm thay đổi căn bản ngưỡng dịch tễ. Tiếp nối hướng đi này, Huo và cộng sự (2016) đề xuất mô hình dịch ba ngăn trên mạng quy mô tự do, trong khi Li và Yousef (2020) tích hợp hàm xử lý bão hòa để mô tả giới hạn điều trị thực tế.

Tuy nhiên, văn hiến học thuật tồn tại hai luồng tranh luận đối nghịch gay gắt:

  • Luồng quan điểm thứ nhất (Mô hình giải tích cổ điển): Duy trì việc sử dụng phương trình vi phân bậc nguyên với tham số tiền định xác định (deterministic parameters), cho rằng tính toán phân thứ và logic mờ làm tăng chi phí tính toán không cần thiết và khó giải tích hóa giải pháp điều khiển tối ưu theo nguyên lý Pontryagin (Chen et al., 2014; Fu & Wang, 2022).
  • Luồng quan điểm thứ hai (Mô hình phi địa phương và mờ hóa): Chỉ ra rằng sự truyền dẫn tín hiệu vô tuyến trong môi trường phi Newton, đầm lầy hay mạng tán xạ luôn mang "bộ nhớ" cấu trúc và chịu tác động của các yếu tố khí hậu, địa hình bất định (Agarwal et al., 2010; Atangana & Baleanu, 2016; Gómez-Aguilar et al., 2016). Các tham số không thể là hằng số tiền định mà phải là số mờ hoặc hàm logic mờ (Zan et al., 2014; Hosseini & Zandvakili, 2020).

So sánh trực tiếp với hai nghiên cứu quốc tế tiêu biểu:

  1. So với nghiên cứu của Fu và Wang (2022) về mô hình SEIQR phân thứ dựa trên mạng có cách ly: Fu và Wang chỉ sử dụng đạo hàm Caputo thông thường với tham số thực tiền định và tiếp cận điều khiển qua nguyên lý cực trị Pontryagin – vốn cực kỳ khó giải số cho mạng quy mô lớn; trong khi luận án của Nguyễn Phương Đông mở rộng sang đạo hàm Caputo Atangana-Baleanu mờ và giải quyết triệt để bài toán điều khiển ổn định hóa qua hệ Takagi-Sugeno phân thứ liên kết và LMI.
  2. So với nghiên cứu của Li và Yousef (2020) về mô hình SIRS với hàm xử lý bão hòa bậc nguyên: Công trình của Li và Yousef bị giới hạn ở hệ động lực bậc 1 không có bộ nhớ; luận án đã tổng quát hóa lên hệ động lực phân thứ $\beta \in (0, 1)$, chứng minh sự tồn tại của hiện tượng rẽ nhánh lùi (backward bifurcation) phức tạp hơn nhiều dưới tác động của toán tử vi tích phân phi địa phương.

Luận án định vị chính xác tại điểm giao thoa giữa giải tích phân thứ hiện đại, giải tích mờ và lý thuyết điều khiển mạng phức hợp, thiết lập một tiêu chuẩn mới cho việc phân tích định tính dịch tễ mạng.

Đó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à thách thức các lý thuyết toán học nền tảng qua 4 phát triển mang tính đột phá:

  • Phát triển Giải tích phân thứ mờ Atangana-Baleanu: Mở rộng toán tử đạo hàm Caputo Atangana-Baleanu (Atangana & Baleanu, 2016) từ không gian thực sang không gian hàm nhận giá trị mờ $E$ dưới khái niệm vi phân Hukuhara suy rộng (gH-differentiability). Định nghĩa toán tử đạo hàm Caputo Atangana-Baleanu phân thứ mờ bậc $\beta \in (0, 1)$ trích dẫn trực tiếp từ văn bản: $$\text{abc}\mathcal{D}{+}^\beta f(t) := \frac{\Phi(\beta)}{1-\beta} \int_0^t E\beta\left(-\frac{\beta}{1-\beta}(t-\tau)^\beta\right) f'(\tau) d\tau$$ với $\Phi(\beta)$ là hàm chuẩn hóa thỏa mãn $\Phi(0) = \Phi(1) = 1$, và $E_{\beta}(z) = \sum_{k=0}^\infty \frac{z^k}{\Gamma(\beta k + 1)}$ là hàm Mittag-Leffler một tham số.
  • Thiết lập Khung phương trình Cauchy phân thứ mờ: Xây dựng biến đổi Laplace mờ $\widetilde{\mathcal{L}}{\text{abc}\mathcal{D}{+}^\beta \tilde{x}(t)}(s) = \frac{\Phi(\beta)}{1-\beta + \beta s^{-\beta}} \left[ \widetilde{\mathcal{L}}{\tilde{x}(t)}(s) - s^{-1} \tilde{x}(0) \right]$, chứng minh sự tồn tại và duy nhất nghiệm mờ thông qua nguyên lý ánh xạ co Banach suy rộng trên không gian metric có trọng $H\lambda(\varphi, \psi) = \sup_{t \in [0, T]} D_n(\varphi(t), \psi(t))e^{-\lambda t}$.
  • Mở rộng Lý thuyết ổn định Lyapunov cho Hệ động lực phân thứ: Thiết lập các đánh giá giải tích chặt chẽ dựa trên bất đẳng thức kiểu Volterra phân thứ: $${}_0^C\mathcal{D}_t^\beta \left[ x(t) - x^* - x^* \ln\left(\frac{x(t)}{x^}\right) \right] \le \left(1 - \frac{x^}{x(t)}\right) {}_0^C\mathcal{D}_t^\beta x(t)$$ và bất đẳng thức ma trận đạo hàm phân thứ: $\frac{1}{2} {}_0^C\mathcal{D}_t^\beta [x^\top(t) P x(t)] \le x^\top(t) P {}_0^C\mathcal{D}_t^\beta x(t)$ với $P \in \mathbb{S}_n^{++}$.
  • Chuyển dịch Paradigm điều khiển sang Hệ Takagi-Sugeno phân thứ liên kết: Lần đầu tiên đưa ra cấu trúc mô hình hóa mờ TS phân thứ quy mô lớn gồm $n$ hệ con liên kết, khắc phục hạn chế bùng nổ số chiều khi xấp xỉ hệ phi tuyến mạng.

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

Khung phân tích của luận án tích hợp chặt chẽ ba lý thuyết:

  1. Lý thuyết Mạng phức hợp không đồng nhất Barabási-Albert có tính đến giới hạn năng lượng (Energy-Aware Scale-Free Network), xác suất kết nối ưu tiên của nút $i$ phụ thuộc đồng thời vào bậc kết nối $p_i$ và năng lượng dư $E_i = E_0 - p_i \Delta E$: $$P(i) = \lambda_d \frac{p_i}{\sum_j p_j} + \lambda_e \frac{E_i}{\sum_j E_j} \quad (\lambda_d + \lambda_e = 1)$$
  2. Lý thuyết Suy luận mờ Takagi-Sugeno/Mamdani đa đầu vào một đầu ra (MISO): Chuyển đổi các biến ngôn ngữ "Thấp", "Trung bình", "Cao" của mật độ lân cận và năng lượng dư thành các hàm truyền động lực $\sigma_1(k), \sigma_2(k)$.
  3. Phương pháp Ma trận thế hệ mới (Next-Generation Matrix Method): Tính toán bán kính phổ $\rho(FV^{-1})$ để xác định công thức giải tích đóng của chỉ số ngưỡng lan truyền cơ bản $R_0$.

Điều kiện biên được xác định tường minh trên tập bất biến dương compact $\Omega = \left{ (S_k, E_{1,k}, E_{2,k}, I_k, Q_k, R_k) \in \mathbb{R}+^{6n} : 0 \le S_k + E{1,k} + E_{2,k} + I_k + Q_k + R_k \le \frac{\Lambda(k)}{\mu} \right}$.

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ủ thế giới quan thực chứng nghiêm ngặt (positivism and critical realism), kết hợp phương pháp giải tích toán học thuần túy (rigorous analytical proofs) với mô phỏng số học tính toán cao (high-performance numerical simulations). Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Cấp độ nút vi mô): Trạng thái mờ và mức năng lượng tiêu hao $\Delta E$ trên từng nút cảm biến.
  • Tầng 2 (Cấp độ topo trung mô): Phân nhóm các nút mạng theo bậc kết nối $k \in {1, 2, \dots, n}$ với phân phối xác suất liên kết có điều kiện $\Theta(t) = \frac{1}{\langle k \rangle} \sum_{k=1}^n k P(k) I_k(t)$.
  • Tầng 3 (Cấp độ toàn cục vĩ mô): Hệ động lực gồm $6n$ phương trình vi phân phân thứ mô tả mật độ toàn mạng.

Quy trình nghiên cứu rigorous

Quy trình giải tích và tính toán được chuẩn hóa qua 4 bước:

  1. Thiết lập mô hình toán học: Xây dựng hệ phương trình vi phân phân thứ (FDE) với các toán tử Caputo và Caputo Atangana-Baleanu. Trích dẫn phương trình hệ SIQR mờ (FDE1) từ văn bản: $$\begin{cases} \text{abc}\mathcal{D}{+}^\beta S(t) = A - \lambda S(t)I(t) + \omega Q(t) + \sigma R(t) - \mu S(t) \ \text{abc}\mathcal{D}{+}^\beta I(t) = \lambda S(t)I(t) - (\nu + \gamma + \mu)I(t) \ \text{abc}\mathcal{D}{+}^\beta Q(t) = \gamma I(t) - (\eta + \mu + \omega)Q(t) \ \text{abc}\mathcal{D}{+}^\beta R(t) = \nu I(t) + \eta Q(t) - (\sigma + \mu)R(t) \end{cases}$$
  2. Chứng minh tính hợp lý toán học: Chứng minh tính dương và tính bị chặn của nghiệm, bảo toàn tính chất sinh học/vật lý của mật độ nút mạng.
  3. Phân tích định tính điểm cân bằng: Sử dụng ma trận Jacobi tại điểm cân bằng không có mã độc $P_0$ và điểm cân bằng đặc hữu $P^*$, áp dụng tiêu chuẩn ổn định Matignon cho hệ phân thứ: $|\arg(\lambda_i)| > \frac{\beta \pi}{2}$.
  4. Kiểm tra độ tin cậy và phân tích rẽ nhánh: Sử dụng định lý Sotomayor để xác định điều kiện tồn tại rẽ nhánh biên (transcritical bifurcation / forward bifurcation) và rẽ nhánh lùi (backward bifurcation).

Data và phân tích

  • Công cụ phần mềm: Toàn bộ thuật toán mô phỏng giải hệ phương trình vi phân phân thứ được lập trình trên MATLAB, kết hợp giải bất đẳng thức ma trận tuyến tính thông qua LMI Control Toolbox và thuật toán tối ưu hóa Sedumi/YALMIP.
  • Kiểm tra tính vững (Robustness Checks): Kiểm tra độ nhạy tham số thông qua chỉ số độ nhạy chuẩn hóa (Normalized Forward Sensitivity Index) của $R_0$: $\Upsilon_p^{R_0} = \frac{\partial R_0}{\partial p} \frac{p}{R_0}$, đánh giá trực tiếp tác động của các tham số cách ly $\gamma, c, \omega_1, \omega_2$ và tốc độ hồi phục $r_1, r_2, \nu, \eta$.

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

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

Luận án mang lại 5 phát hiện cốt lõi có giá trị khoa học vượt trội:

  1. Sự tồn tại duy nhất của nghiệm mờ phi địa phương: Chứng minh thành công bài toán Cauchy cho mô hình SIQR phân thứ với dữ liệu mờ luôn có duy nhất một nghiệm mờ khả vi Hukuhara suy rộng. Mô phỏng chỉ ra độ mở của tập mức $\alpha$-cắt giảm dần theo thời gian, chứng minh tính ổn định nội tại của hệ bất định.
  2. Tác động làm trễ đỉnh dịch của đạo hàm phân thứ: Khi bậc phân thứ $\beta$ giảm từ $1.0$ xuống $0.6$ (thể hiện hiệu ứng nhớ và cản trở của môi trường truyền thông tin tăng lên), thời gian đạt đỉnh lây nhiễm $I(t)$ bị kéo lùi đáng kể, đồng thời biên độ đỉnh dịch giảm từ $15%$ đến $35%$.
  3. Hiện tượng Rẽ nhánh lùi (Backward Bifurcation) tại $R_0 = 1$ do bão hòa điều trị: Trong mô hình SIRS với hàm xử lý bão hòa $\frac{r I_k(t)}{1 + \gamma \Theta(t)}$, khi năng lực xử lý mã độc bị quá tải ($\gamma > \gamma^$), hệ xuất hiện đồng thời hai trạng thái cân bằng ổn định (bistability): điểm cân bằng không dịch $P_0$ và điểm cân bằng đặc hữu $P^$ ngay cả khi $R_0 < 1$. Đây là kết quả cảnh báo mang tính then chốt: điều kiện $R_0 < 1$ không còn đủ để dập tắt mã độc nếu mật độ lây nhiễm ban đầu vượt ngưỡng phân cách.
  4. Ưu thế vượt trội của cấu trúc phân loại đa ngăn $SE_1E_2IQR$ kết hợp Logic mờ: Việc phân tách trạng thái phơi nhiễm thành Mang mã độc loại 1 ($E_1$ - mật độ thấp) và Mang mã độc loại 2 ($E_2$ - mật độ cao) cho phép hệ thống cách ly phân tầng chính xác, giảm chỉ số $R_0$ xuống dưới $1$ nhanh hơn $40%$ so với các mô hình truyền thống.
  5. Ổn định hóa toàn cục qua LMI cho Hệ Takagi-Sugeno phân thứ liên kết: Xác lập bộ điều khiển phản hồi trạng thái $u_i(t) = K_i x_i(t)$ dập tắt hoàn toàn mã độc, đưa hệ về trạng thái $P_0$ với thời gian xác lập hữu hạn, được bảo đảm bằng nghiệm xác định dương của hệ LMI cấp $n$.

Implications đa chiều

  • Về mặt Lý thuyết: Cung cấp cầu nối giải tích vững chắc giữa giải tích phân thứ không kỳ dị (non-singular fractional calculus) và đại lượng bất định mờ, làm phong phú lý thuyết hệ động lực phi tuyến trên mạng phức hợp.
  • Về mặt Phương pháp luận: Cung cấp quy trình từng bước chuẩn hóa để chuyển đổi một hệ vi phân mạng phi tuyến phức tạp thành hệ mờ Takagi-Sugeno phân thứ liên kết có thể giải quyết triệt để bằng công cụ LMI.
  • Về mặt Ứng dụng Thực tiễn và Chính sách:
    • Giao thức an ninh mạng cảm biến: Cho phép các kỹ sư an ninh WSN xác định chính xác ngưỡng cách ly tối thiểu $c^, \omega_1^$ để ngăn chặn hiện tượng rẽ nhánh lùi mà không làm tiêu hao cạn kiệt năng lượng các nút cảm biến.
    • Quản lý năng lượng WSN: Tối ưu hóa cấu trúc liên kết mạng dựa trên tham số $\lambda_e$, kéo dài tuổi thọ mạng cảm biến thêm $25-30%$ trong điều kiện bị mã độc tấn công liên tục.

Limitations và Future Research

Nhìn nhận khách quan theo chuẩn mực học thuật, luận án có các giới hạn nghiên cứu (limitations) cần tiếp tục hoàn thiện:

  1. Giả định về Topo mạng tĩnh hoặc bán tĩnh: Mô hình Barabási-Albert trong luận án giả định cấu trúc liên kết mạng cố định sau quá trình tăng trưởng, chưa xét đến tính di động cao (high mobility) của các nút cảm biến trong mạng cảm biến không dây di động (WSN di động hoặc mạng VANETs).
  2. Bậc phân thứ đồng nhất: Luận án áp dụng cùng một bậc phân thứ $\beta$ cho toàn bộ các ngăn trong hệ phương trình, trong khi trên thực tế, các quá trình lây nhiễm, cách ly và hồi phục có thể sở hữu các hàm nhớ với bậc phân thứ khác nhau (incommensurate fractional-order systems).
  3. Kiểm chứng thực nghiệm trên Testbed thực tế: Các kết luận chủ yếu dựa trên chứng minh giải tích toán học và mô phỏng số trên MATLAB, chưa được triển khai thử nghiệm trên phần cứng mạng cảm biến vật lý thực (physical WSN testbeds như TelosB hay MicaZ).

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

  • Phát triển mô hình lan truyền mã độc trên mạng phức hợp hai lớp (Multiplex/Multilayer Networks) có tính đến sự tương tác giữa mạng truyền thông tin và mạng xã hội người dùng.
  • Khảo sát hệ phương trình vi phân phân thứ với bậc thay đổi theo thời gian (Variable-order fractional differential equations).
  • Nghiên cứu bài toán điều khiển thích ứng phân thứ mờ kháng nhiễu ngẫu nhiên (Stochastic fractional adaptive fuzzy control).

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

Luận án khẳng định tầm ảnh hưởng học thuật sâu rộng thông qua chuỗi công bố quốc tế uy tín:

  • 03 bài báo ISI chất lượng cao:
    1. Fuzzy Sets and Systems (Q1, Tạp chí đầu ngành về hệ mờ, Vol. 429, 2022) [P1].
    2. Communications in Nonlinear Science and Numerical Simulation (Q1, Tạp chí hàng đầu về khoa học phi tuyến, Vol. 111, 2022) [P2].
    3. Iranian Journal of Fuzzy Systems (Q2, Vol. 20(1), 2023) [P3].
  • 01 bản thảo gửi đăng tạp chí quốc tế chuyên ngành (2023) [P4].
  • Báo cáo tại các diễn đàn khoa học đỉnh cao: Đại hội Toán học Việt Nam lần thứ X (2023), Hội nghị Quốc tế về Hệ Mờ và Thông minh (CFIS 2022 - Iran), Hội thảo Tối ưu và Lý thuyết Điều khiển (Viện Toán học, 2023).

Về mặt công nghiệp và xã hội, các thuật toán kiểm soát lan truyền mã độc của luận án đóng góp giải pháp toán học cốt lõi cho các hệ thống giám sát môi trường, IoT công nghiệp (IIoT), hạ tầng đô thị thông minh và an ninh viễn thông quốc gia.

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

  • Nghiên cứu sinh và Giảng viên Toán ứng dụng: Tiếp cận khung lý thuyết hoàn chỉnh về vi tích phân phân thứ Atangana-Baleanu mờ và phương pháp hàm Lyapunov cho hệ động lực phức hợp.
  • Nhà nghiên cứu Khoa học Dữ liệu và An toàn Thông tin: Khai thác các công thức giải tích đóng của chỉ số $R_0$ và điều kiện rẽ nhánh để thiết kế thuật toán phát hiện và ngăn chặn mã độc tự động.
  • Kỹ sư R&D Hệ thống Nhúng và IoT: Ứng dụng mô hình mạng Barabási-Albert giới hạn năng lượng để tối ưu hóa giao thức định tuyến an toàn và tiết kiệm pin cho các thiết bị biên (Edge devices).
  • Nhà hoạch định chính sách an ninh mạng: Nhận được cơ sở khoa học định lượng để xây dựng kịch bản ứng phó khi hệ thống phòng thủ mạng bị quá tải bão hòa.

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ì?

Đóng góp độc đáo nhất là việc xây dựng thành công giải tích phân thứ Atangana-Baleanu cho hàm nhận giá trị mờ dưới tính gH-khả vi. Luận án đã giải quyết trọn vẹn bài toán Cauchy cho hệ vi phân mờ phi địa phương với nhân Mittag-Leffler, khắc phục triệt để tính kỳ dị của đạo hàm Caputo truyền thống và sự thiếu vắng tính linh hoạt của đạo hàm bậc nguyên.

2. Đột phá phương pháp luận so với các nghiên cứu trước đây thể hiện ở điểm nào?

So với các nghiên cứu của Huo & Zhao (2016) và Fu & Wang (2022), luận án đã kết hợp đột phá mô hình mạng phức hợp không đồng nhất với Hệ mờ Takagi-Sugeno phân thứ liên kết. Thay vì xử lý bài toán điều khiển phi tuyến phức tạp qua phương trình liên hợp Pontryagin khó hội tụ, luận án quy đổi toàn bộ bài toán ổn định hóa mạng WSN về việc giải hệ bất đẳng thức ma trận tuyến tính (LMI) có nghiệm số học tuyệt đối tin cậy.

3. Phát hiện bất ngờ nhất có sự hỗ trợ của dữ liệu mô phỏng là gì?

Phát hiện bất ngờ nhất là hiện tượng rẽ nhánh lùi (backward bifurcation) tại $R_0 = 1$ trong mô hình SIRS có hàm xử lý bão hòa. Khi tốc độ xử lý bị giới hạn bởi tham số $\gamma$, dịch bệnh mã độc vẫn có thể bùng phát và tồn tại ổn định ngay cả khi chỉ số lây nhiễm cơ bản $R_0 < 1$, bác bỏ hoàn toàn trực giác dịch tễ học cổ điển cho rằng $R_0 < 1$ luôn đảm bảo an toàn tuyệt đối.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) không?

Có. Luận án cung cấp chi tiết toàn bộ các tập tham số mô phỏng (Bảng 2.1, Bảng 3.1), biểu thức tường minh của các tập mờ tiền đề, hàm thuộc dạng tam giác/hình thang, cấu trúc mạng Barabási-Albert với $N_0 = 5, m = 2$, cùng các thuật toán giải số được chuẩn hóa trên môi trường MATLAB, đảm bảo khả năng tái lập 100% các kết quả định tính và định lượng.

5. Định hướng chương trình nghiên cứu 10 năm tới được phác thảo ra sao?

Định hướng 10 năm tới tập trung vào việc mở rộng lý thuyết vi tích phân phân thứ mờ ngẫu nhiên (Stochastic Fuzzy Fractional Calculus) trên các siêu mạng đa tầng (Multilayer Hypergraphs), ứng dụng trí tuệ nhân tạo (PINNs - Physics-Informed Neural Networks) để tự động học các bậc phân thứ $\beta$ tối ưu từ dữ liệu lưu lượng mạng WSN thời gian thực.

Kết luận

Luận án tiến sĩ của Nghiên cứu sinh Nguyễn Phương Đông là một công trình khoa học mẫu mực, kết hợp hài hòa giữa toán học lý thuyết hàn lâm đỉnh cao và bài toán kỹ thuật công nghệ thông tin cấp thiết. Tóm tắt 5 đóng góp cốt lõi:

  1. Xây dựng hoàn chỉnh giải tích phân thứ Atangana-Baleanu mờ và chứng minh sự tồn tại duy nhất nghiệm bài toán Cauchy cho mô hình SIQR mờ.
  2. Thiết lập mô hình $SE_1E_2IQR$ phân thứ trên mạng quy mô tự do với hàm truyền luật mờ, tính toán chính xác chỉ số ngưỡng $R_0$ và điều kiện rẽ nhánh tiến.
  3. Khám phá và giải thích bản chất hiện tượng rẽ nhánh lùi tại $R_0 = 1$ dưới tác động của hàm xử lý mã độc bão hòa trong mô hình SIRS phân thứ.
  4. Đề xuất lý thuyết hệ mờ Takagi-Sugeno phân thứ liên kết và giải quyết triệt để bài toán điều khiển ổn định hóa mạng WSN bằng bất đẳng thức ma trận tuyến tính (LMI).
  5. Công bố 03 công trình ISI uy tín hàng đầu thế giới, khẳng định vị thế tiên phong của toán học ứng dụng Việt Nam trên trường quốc tế.