Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Lê Đào Hải An với tiêu đề "Tính ổn định và ổn định hóa của một số lớp hệ phương trình vi phân phi tuyến có trễ và ứng dụng" (chuyên ngành Phương trình vi phân và tích phân, mã số 9 46 01 03, bảo vệ năm 2019 tại Trường Đại học Sư phạm Hà Nội dưới sự hướng dẫn của PGS.TS Lê Văn Hiện và TS. Trần Thị Loan) tập trung giải quyết các bài toán định tính về tính ổn định, ổn định hóa và nghiệm dương cho các hệ phương trình vi phân phi tuyến có trễ mô tả mạng nơron nhân tạo.

Tính cấp thiết và khoảng trống nghiên cứu

Lý thuyết ổn định là bộ phận trọng tâm của lý thuyết định tính phương trình vi phân. Trong thực tiễn kỹ thuật điều khiển và công nghệ mạng nơron nhân tạo, trạng thái trễ xuất hiện phổ biến do giới hạn băng thông truyền tải và cấu trúc phân tầng. Độ trễ thường làm thay đổi dáng điệu nghiệm và có thể phá vỡ tính ổn định của hệ thống. Đồng thời, các tác động đột ngột từ môi trường dẫn đến hiện tượng xung trạng thái tại các thời điểm rời rạc.

Khoảng trống nghiên cứu được tác giả xác định gồm:

  • Phương pháp hàm Lyapunov-Krasovskii (LKF) kết hợp bất đẳng thức ma trận tuyến tính (LMIs) chỉ hiệu quả với hệ ô-tô-nôm hoặc trễ hằng số, nhưng bộc lộ hạn chế lớn khi áp dụng cho hệ phi tuyến không ô-tô-nôm (hệ số phụ thuộc thời gian) hoặc hệ có trễ không bị chặn như trễ tỉ lệ.
  • Phần lớn các công trình trước đây chỉ khảo sát xung ổn định (cường độ xung nhỏ hơn 1). Các nghiên cứu về hệ nơron không ô-tô-nôm có trễ biến thiên chịu tác động của xung bất ổn định (cường độ xung lớn hơn 1) hoặc xung hỗn hợp phân phối tuần hoàn còn rất hạn chế.
  • Đối với mạng nơron quán tính (INNs) cấp hai và mạng bộ nhớ hai chiều kết hợp (BAM), vấn đề bảo toàn tính dương của quỹ đạo trạng thái và sự tồn tại duy nhất của điểm cân bằng dương ổn định mũ chưa được giải quyết thấu đáo.

Mục tiêu nghiên cứu

Tác giả xác định 4 mục tiêu nghiên cứu cụ thể được đánh số theo văn bản:

  1. Thiết lập các điều kiện đủ đảm bảo tính ổn định mũ toàn cục của mô hình mạng nơron Hopfield không ô-tô-nôm chứa trễ biến thiên không đồng nhất dưới tác động của dãy xung bất ổn định.
  2. Thiết lập đánh giá ổn định mũ suy rộng và giải quyết bài toán ổn định hóa dạng mũ đối với mạng nơron Hopfield chứa trễ tỉ lệ dưới tác động đồng thời của xung ổn định và xung bất ổn định phân phối kiểu tuần hoàn thông qua luật điều khiển phản hồi trạng thái.
  3. Chứng minh tính dương của nghiệm và thiết lập điều kiện cho sự tồn tại duy nhất của điểm cân bằng dương ổn định mũ toàn cục đối với mô hình mạng nơron quán tính (INNs) chứa đa trễ biến thiên.
  4. Thiết lập các điều kiện đại số và quy hoạch tuyến tính đảm bảo sự tồn tại của điểm cân bằng dương ổn định mũ của lớp hệ dương phi tuyến trong mô hình mạng nơron bộ nhớ hai chiều kết hợp (BAM) với trễ biến thiên không đồng nhất và đa trễ tỉ lệ.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Bốn lớp hệ phương trình vi phân phi tuyến có trễ:
    1. Mô hình mạng nơron Hopfield không ô-tô-nôm chứa trễ biến thiên không đồng nhất và xung bất ổn định: $$\begin{cases} x'i(t) = -d_i(t)x_i(t) + \sum{j=1}^n a_{ij}(t)f_j(x_j(t)) + \sum_{j=1}^n b_{ij}(t)g_j(x_j(t - \tau_{ij}(t))) + I_i(t), & t > 0, t \neq t_k \ \Delta x_i(t_k) = x_i(t_k^+) - x_i(t_k^-) = -\sigma_{ik} x_i(t_k^-), & k \in \mathbb{N} \end{cases}$$
    2. Mạng nơron Hopfield chứa trễ tỉ lệ với xung phân phối kiểu tuần hoàn và tín hiệu điều khiển: $$\begin{cases} x'i(t) = -d_i x_i(t) + \sum{j=1}^n a_{ij}f_j(x_j(t)) + \sum_{j=1}^n b_{ij}g_j(x_j(qt)) + u_i(t), & t \neq t_k, 0 < q < 1 \ \Delta x_i(t_k) = -\sigma_{ik} x_i(t_k^-), & k \in \mathbb{N} \end{cases}$$
    3. Mô hình mạng nơron quán tính (INNs) vi phân cấp hai chứa đa trễ biến thiên: $$\frac{d^2 x_i(t)}{dt^2} = -a_i \frac{dx_i(t)}{dt} - b_i x_i(t) + \sum_{j=1}^n c_{ij} f_j(x_j(t)) + \sum_{j=1}^n d_{ij} f_j(x_j(t - \tau_j(t))) + I_i, \quad i \in [n]$$
    4. Mô hình mạng nơron bộ nhớ hai chiều kết hợp (BAM) với trễ biến thiên không đồng nhất: $$\begin{cases} x'i(t) = -\alpha_i \phi_i(x_i(t)) + \sum{j=1}^m a_{ij} f_j(y_j(t)) + \sum_{j=1}^m b_{ij} f_j(y_j(t - \sigma_j(t))) + I_i, & i \in [n] \ y'j(t) = -\beta_j \psi_j(y_j(t)) + \sum{i=1}^n c_{ji} g_i(x_i(t)) + \sum_{i=1}^n d_{ji} g_i(x_i(t - \tau_i(t))) + J_j, & j \in [m] \end{cases}$$
  • Phạm vi không gian: Không gian Euclide hữu hạn chiều $\mathbb{R}^n$, $\mathbb{R}^m$, nón dương $\mathbb{R}_+^n$, không gian hàm liên tục $C([-\tau, 0], \mathbb{R}^n)$ và không gian hàm liên tục từng khúc $PC([-\tau, 0], \Omega)$.
  • Phạm vi thời gian: Quá trình động lực liên tục theo thời gian $t \ge 0$, gián đoạn tại dãy thời điểm rời rạc $0 < t_1 < t_2 < \dots < t_k \to \infty$.

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu trước được tác giả điểm lại

Văn bản điểm lại có hệ thống lịch sử nghiên cứu lý thuyết ổn định và mô hình mạng nơron từ cuối thế kỷ XIX đến nay:

  • Nền tảng mạng nơron và mô hình sinh học: William (1890) khởi đầu với nghiên cứu tâm lý học liên kết nơron; Warren McCulloch và Walter Pitts (1943) đề xuất mạng nơron nhân tạo mạch điện đầu tiên; Donald Hebb (1949) đưa ra Nguyên lý Hebb về cơ chế học; Rosenblatt đưa ra Perceptron; Widrow đề xuất Adaline; John Hopfield (1982, 1984) hoàn thiện phân tích toán học cho mạng Hopfield rời rạc và liên tục; Bart Kosko (1987) đề xuất mạng nơron bộ nhớ hai chiều kết hợp (BAM); Babcock và Westervelt (1986) đưa số hạng quán tính vào mô hình mạng nơron (INNs); Harvey (1994) mô tả mô hình sinh học tổng quát của nơron với biến trạng thái và trọng số synap.
  • Phương pháp hàm Lyapunov-Krasovskii và LMIs: Các công trình của Boyd et al. (1994), Gu, Niculescu nghiên cứu hệ có trễ ô-tô-nôm tuyến tính.
  • Hệ phương trình vi phân chứa xung: Các nghiên cứu nền tảng của Lakshmikantham, Bainov, Simeonov (1989); phân loại xung ổn định ($|\mu| < 1$) và xung bất ổn định ($|\mu| > 1$) của Lu et al. (2011) trên cơ sở tần số xung trung bình; các công trình của Yang et al. về hệ nơron có xung.
  • Hệ có trễ tỉ lệ: Zhou (2014), Zhang et al. sử dụng phương pháp đổi biến kết hợp LKF cho hệ ô-tô-nôm không xung; các công trình áp dụng bất đẳng thức Halanay cho hệ ô-tô-nôm có xung ổn định.
  • Lý thuyết hệ dương và M-ma trận: Khung lý thuyết của Berman và Plemmons (1994); các nghiên cứu của Haddad, Chellaboina; công trình gần đây của Lê Văn Hiện và Trần Thị Loan (2016) về mạng Hopfield dương có trễ.

Khoảng trống luận án lựa chọn giải quyết

Luận án định vị nghiên cứu vào các điểm nghẽn mà tài liệu hiện có chưa xử lý được:

  1. Thay vì tiếp cận theo hướng LKF/LMIs vốn gặp bế tắc khi hệ số phụ thuộc thời gian hoặc khi trễ tăng vô hạn ($t - qt = (1-q)t \to \infty$), luận án phát triển nguyên lý so sánh vi phân kết hợp lý thuyết M-ma trận.
  2. Thiết lập tiêu chuẩn ổn định cho hệ nơron không ô-tô-nôm chịu xung bất ổn định mà không cần áp đặt các ràng buộc quá chặt như trong các công trình của các tác giả trước đó.
  3. Giải quyết đồng thời bài toán tính dương và bài toán ổn định mũ của điểm cân bằng cho hai lớp mạng phức tạp là INNs cấp hai và BAM đa trễ.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khái niệm sử dụng

Luận án vận dụng các công cụ toán học giải tích chặt chẽ:

  • Lý thuyết ổn định Lyapunov: Các định nghĩa ổn định tiệm cận toàn cục (GAS), ổn định mũ toàn cục (GES), ổn định mũ suy rộng (GGES), ổn định tiệm cận toàn cục đều (UGAS).
  • Lý thuyết hệ vi phân hàm và hệ chứa xung: Định lý tồn tại duy nhất nghiệm theo điều kiện Lipschitz địa phương, điều kiện tăng trưởng dưới tuyến tính và điều kiện Nagumo; cấu trúc nghiệm liên tục từng khúc, liên tục trái tại các thời điểm xung.
  • Lý thuyết hệ dương: Khái niệm nón dương $\mathbb{R}_+^n$, ma trận Metzler (phần tử ngoài đường chéo không âm), tính dương của quỹ đạo trạng thái khi xuất phát từ điều kiện ban đầu không âm.
  • Lý thuyết M-ma trận không suy biến: Ma trận $A$ có các phần tử ngoài đường chéo không dương ($a_{ij} \le 0, \forall i \neq j$), tương đương với 7 điều kiện phổ biến (định thức con chính dương, nghịch đảo dương $A^{-1} \ge 0$, tồn tại vectơ $\chi \succ 0$ sao cho $A\chi \succ 0$).
  • Giải tích phi tuyến: Bổ đề Schur complement, bất đẳng thức ma trận đối xứng xác định dương, trường vectơ bảo toàn thứ tự, ánh xạ chính thường, định lý đồng phôi và định lý điểm bất động Brouwer.

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

  • Nguyên lý so sánh bằng bất đẳng thức vi phân: Sử dụng đạo hàm Dini phía trên bên phải ($D^+|z_i(t)|$), hàm dấu suy rộng $\sigma_f(t)$, thiết lập hệ so sánh dạng vectơ dương với ma trận Metzler để đánh giá chặn trên của sai số quỹ đạo.
  • Bất đẳng thức vi-tích phân: Vận dụng và mở rộng bất đẳng thức dạng Gronwall-Bellman và bất đẳng thức Halanay suy rộng cho hệ có xung và trễ.
  • Kỹ thuật quy hoạch tuyến tính (Linear Programming - LP): Biểu diễn các điều kiện ổn định M-ma trận thành hệ bất đẳng thức tuyến tính kiểm tra được qua các thuật toán giải LP có sẵn.
  • Phương pháp điều khiển phản hồi trạng thái: Thiết kế luật điều khiển $u_i(t) = -k_i x_i(t)$ để ổn định hóa hệ có trễ tỉ lệ.

Nguồn tư liệu và dữ liệu

Luận án sử dụng các hệ phương trình vi phân giải tích mô phỏng mô hình toán học thần kinh, kết hợp các bộ tham số số học trong các ví dụ tính toán số để kiểm chứng tính khả thi của các định lý.

Nội dung chính theo từng chương

Chương Tên chương Đối tượng mô hình Công cụ phân tích cốt lõi Phát hiện / Kết quả chính
Chương 1 Kiến thức chuẩn bị Mô hình mạng nơron tổng quát (RNNs, HNNs, CGNNs, BAM) Lý thuyết định tính vi phân, hệ xung, hệ dương, M-ma trận Hệ thống hóa mô hình sinh học Harvey, thiết lập các bổ đề và định lý nền tảng
Chương 2 Tính ổn định của một số lớp hệ phương trình vi phân phi tuyến mô tả mạng nơron Hopfield có trễ với xung biến thiên HNNs không ô-tô-nôm trễ biến thiên và HNNs trễ tỉ lệ Đạo hàm Dini, hệ so sánh vectơ, M-ma trận, điều khiển phản hồi Thiết lập điều kiện GES dưới xung bất ổn định và GGES cho trễ tỉ lệ
Chương 3 Nghiệm dương và tính ổn định của điểm cân bằng đối với mô hình mạng nơron quán tính đa trễ biến thiên Mạng nơron quán tính cấp hai (INNs) có trễ biến thiên Không gian pha mở rộng, ánh xạ đồng phôi, điều kiện LP Chứng minh tính dương, sự tồn tại duy nhất và tính ổn định GES của điểm cân bằng
Chương 4 Tính ổn định của lớp hệ dương phi tuyến trong mô hình mạng BAM đa trễ biến thiên Mạng nơron BAM hai lớp với trễ biến thiên và đa trễ tỉ lệ Điểm bất động Brouwer, ma trận Metzler, quy hoạch tuyến tính Thiết lập điều kiện dương và ổn định mũ toàn cục cho mạng BAM

Chương 1: Kiến thức chuẩn bị

Chương này giới thiệu mô hình sinh học của mạng nơron gồm $n$ nơron theo Harvey, xây dựng phương trình trạng thái qua 2 bước (phương trình điện thế màng nơron $x_i(t)$ và phương trình động lực trọng số synap $W_{ki}(t)$ theo Nguyên lý Hebb), thu về mô hình tổng quát: $$x'i(t) = -D_i(x_i(t))x_i(t) + \sum{k \neq i} [f_k(x_k(t - \tau_{ki})) - \Gamma_k] W_{ki}(t) - \sum_{k \neq i} c_{ki} [f_k(x_k(t - \tau_{ki})) - \Gamma_k] + I_i(t)$$ Chương hệ thống hóa các định lý về sự tồn tại duy nhất nghiệm theo Lipschitz địa phương, điều kiện Nagumo, phương pháp hàm Lyapunov-Krasovskii (LKF), lý thuyết phương trình vi phân chứa xung, lý thuyết hệ tuyến tính và phi tuyến dương, tính chất của ma trận Metzler, 7 mệnh đề tương đương của M-ma trận không suy biến, đạo hàm Dini, hàm dấu suy rộng và bổ đề Schur complement.

Chương 2: Tính ổn định của một số lớp hệ phương trình vi phân phi tuyến mô tả mạng nơron Hopfield có trễ với xung biến thiên

Chương gồm hai phần nghiên cứu chính:

1. Mạng Hopfield không ô-tô-nôm với xung bất ổn định

Mở đầu bằng ví dụ mạng 2 nơron ổn định mũ khi không có xung, nhưng mất ổn định hoàn toàn khi chịu tác động của xung bất ổn định với chu kỳ trích mẫu $T_s = 0.2$ và cường độ $\gamma_k = 1.6(-1)^k$. Tác giả xét hệ (2.3) thỏa mãn các giả thiết:

  • (A2.1): Hệ số suy giảm bị chặn $d_i(t) \ge \hat{d}i > 0$, trọng số kết nối bị chặn $|a{ij}(t)| \le a_{ij}^+$, $|b_{ij}(t)| \le b_{ij}^+$, trễ biến thiên $0 \le \tau_{ij}(t) \le \tau_{ij}^+$.
  • (A2.2): Hàm kích hoạt Lipschitz với các hằng số $l_j^f, l_j^g$.
  • (A2.3): Cường độ xung nhận giá trị trong tập hữu hạn ${\mu_1, \dots, \mu_q}$ với $\mu_j > 1$ (xung bất ổn định).
  • (A2.4): Khoảng cách giữa các thời điểm xung thỏa mãn $t_{j(k+1)} - t_{jk} \ge \rho_j > 0$.

Định lý 2.1 chứng minh hệ ổn định mũ toàn cục (GES) nếu tồn tại vectơ $\chi \in \mathbb{R}+^n$ sao cho: $$\left( \hat{A} L_f + \hat{B} L_g + \sigma_0 E_n - \hat{D} \right) \chi \prec 0$$ trong đó $\hat{D} = \operatorname{diag}(\hat{d}1, \dots, \hat{d}n)$, $\hat{A} = (a{ij}^+)$, $\hat{B} = (e^{\sigma_0 \tau{ij}^+} b{ij}^+)$, $\sigma_0 = \sum_{j=1}^q \frac{\ln \mu_j}{\rho_j}$. Chứng minh thực hiện qua 3 bước: ước lượng tiên nghiệm bằng đạo hàm Dini, thiết lập hệ so sánh vectơ dương, và thiết lập ước lượng mũ $|x(t) - \hat{x}(t)|\infty \le \beta |\phi - \psi|\infty e^{-\alpha t}$ với $\alpha = \lambda - \sigma_0 > 0$.

2. Mạng Hopfield chứa trễ tỉ lệ với xung tuần hoàn

Xét hệ (2) chứa trễ tỉ lệ $x_j(qt)$ ($0 < q < 1$) chịu tác động đồng thời của xung ổn định và xung bất ổn định phân phối tuần hoàn. Tác giả thiết kế luật điều khiển phản hồi trạng thái $u_i(t) = -k_i x_i(t)$ ($k_i \in [\underline{k}_i, \bar{k}_i]$) và thiết lập điều kiện ổn định mũ suy rộng (GGES - nghiệm suy giảm theo hàm lũy thừa thời gian).

Chương 3: Nghiệm dương và tính ổn định của điểm cân bằng đối với mô hình mạng nơron quán tính đa trễ biến thiên

Chương 3 khảo sát hệ nơron quán tính cấp hai (3). Bằng cách chuyển đổi trạng thái về không gian pha mở rộng thông qua biến phụ $y_i(t) = x'_i(t) + \delta_i x_i(t)$, tác giả:

  • Thiết lập điều kiện đảm bảo mọi nghiệm xuất phát từ điều kiện ban đầu không âm luôn nằm trong nón dương $\mathbb{R}_+^n$ với mọi $t \ge 0$.
  • Áp dụng lý thuyết ánh xạ chính thường, định lý đồng phôi và M-ma trận để chứng minh sự tồn tại duy nhất của điểm cân bằng dương $x^* \in \mathbb{R}_+^n$.
  • Thiết lập các điều kiện quy hoạch tuyến tính (LP) đảm bảo điểm cân bằng dương là ổn định mũ toàn cục (GES) đối với mọi độ trễ biến thiên bị chặn $0 \le \tau_j(t) \le \tau^*$.

Chương 4: Tính ổn định của lớp hệ dương phi tuyến trong mô hình mạng BAM đa trễ biến thiên

Chương 4 nghiên cứu hệ nơron bộ nhớ hai chiều kết hợp (4)-(5) gồm hai lớp nơron $X$ ($n$ nơron) và $Y$ ($m$ nơron) với trễ truyền dẫn qua lại không đồng nhất $\sigma_j(t)$ và $\tau_i(t)$:

  • Chứng minh tính dương của quỹ đạo trạng thái $(x(t), y(t)) \in \mathbb{R}+^n \times \mathbb{R}+^m$ khi điều kiện đầu và tín hiệu kích thích bên ngoài $I_i, J_j$ không âm.
  • Kết hợp định lý điểm bất động Brouwer và cấu trúc M-ma trận của ma trận kết nối hai lớp để chứng minh sự tồn tại duy nhất của điểm cân bằng dương $(\tilde{x}, \tilde{y}) \in \mathbb{R}+^n \times \mathbb{R}+^m$.
  • Thiết lập tiêu chuẩn quy hoạch tuyến tính (LP) đảm bảo tính ổn định mũ toàn cục, đồng thời mở rộng thành công kết quả cho mô hình mạng BAM dương chứa đa trễ tỉ lệ không bị chặn.

Kết quả và những đóng góp mới

Đóng góp mới về mặt lý luận và khoa học

  1. Tiêu chuẩn ổn định cho hệ nơron chịu xung bất ổn định: Luận án thiết lập được các điều kiện đủ thông qua tính chất phổ của M-ma trận đảm bảo tính ổn định mũ toàn cục của mô hình mạng Hopfield không ô-tô-nôm với trễ biến thiên không đồng nhất dưới tác động của dãy xung bất ổn định, khắc phục hạn chế của các phương pháp ràng buộc biên trước đây.
  2. Đánh giá mũ suy rộng cho trễ tỉ lệ: Đưa ra đánh giá ổn định dạng lũy thừa đối với mạng Hopfield chứa trễ tỉ lệ dưới tác động đồng thời của xung ổn định và bất ổn định phân phối tuần hoàn, đồng thời giải quyết bài toán ổn định hóa qua điều khiển phản hồi trạng thái.
  3. Phát triển lý thuyết hệ dương cho mạng nơron quán tính (INNs): Lần đầu tiên chứng minh tính dương và đưa ra điều kiện đại số cho sự tồn tại duy nhất của điểm cân bằng dương ổn định mũ toàn cục đối với mô hình INNs cấp hai chứa đa trễ biến thiên.
  4. Mở rộng lý thuyết hệ dương cho mạng hai chiều BAM: Thiết lập hoàn chỉnh điều kiện cho sự tồn tại điểm cân bằng dương ổn định mũ của hệ dương phi tuyến trong mô hình mạng BAM đa trễ biến thiên không đồng nhất và trễ tỉ lệ.

Đóng góp thực tiễn và tính toán

  • Các điều kiện ổn định đều được chuyển hóa về dạng bài toán quy hoạch tuyến tính (LP) dựa trên M-ma trận, cho phép người dùng kiểm tra tính ổn định trên máy tính một cách thuận tiện bằng các công cụ tối ưu hóa tiêu chuẩn mà không cần giải các phương trình vi phân phức tạp.

Công bố khoa học từ luận án

Các kết quả chính của luận án đã được công bố trong 04 bài báo khoa học trên các tạp chí quốc tế chuyên ngành thuộc danh mục ISI/Scopus:

  • [CT1] Bài báo về tính ổn định mũ của mạng Hopfield không ô-tô-nôm có trễ biến thiên và xung bất ổn định (nội dung Chương 2).
  • [CT2] Bài báo về ổn định hóa dạng mũ suy rộng cho mạng Hopfield trễ tỉ lệ với xung phân phối tuần hoàn (nội dung Chương 2).
  • [CT3] Bài báo về nghiệm dương và tính ổn định của điểm cân bằng mạng nơron quán tính đa trễ (nội dung Chương 3).
  • [CT4] Bài báo về tính ổn định của hệ dương phi tuyến trong mô hình mạng BAM đa trễ biến thiên (nội dung Chương 4).

Hạn chế và hướng nghiên cứu tiếp

Văn bản luận án và phạm vi nghiên cứu cho thấy một số giới hạn học thuật:

  • Phạm vi mô hình: Các kết quả tập trung vào lớp trễ biến thiên bị chặn hoặc trễ tỉ lệ đơn biến $qt$; chưa mở rộng cho các dạng trễ liên tục phân bố ngẫu nhiên hoặc trễ vô hạn tổng quát.
  • Bản chất điều kiện: Các điều kiện thiết lập dựa trên M-ma trận là điều kiện đủ, chưa phải là điều kiện cần và đủ cho mọi lớp tham số phi tuyến.
  • Yếu tố ngẫu nhiên: Luận án chưa khảo sát tác động của nhiễu ngẫu nhiên trắng (White Noise / phương trình vi phân ngẫu nhiên Itô) và các thời điểm xung xuất hiện theo phân phối ngẫu nhiên Poisson.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị cao cho các đối tượng:

  • Nghiên cứu sinh và học viên cao học: Chuyên ngành Phương trình vi phân và tích phân, Toán giải tích, Toán ứng dụng và Lý thuyết điều khiển.
  • Giảng viên và nhà nghiên cứu: Cung cấp kỹ thuật chi tiết về việc xây dựng hệ so sánh dạng vectơ dương, áp dụng đạo hàm Dini và bất đẳng thức Halanay suy rộng để phân tích hệ động lực có xung.
  • Kỹ sư điều khiển và trí tuệ nhân tạo: Phần chuyển đổi các điều kiện ổn định M-ma trận thành bài toán quy hoạch tuyến tính (LP) ở Chương 2, 3, 4 là tài liệu hữu ích để phân tích và thiết kế mạng nơron nhân tạo, bộ nhớ liên kết đảm bảo tính vận hành tin cậy trong môi trường có trễ và xung nhiễu.

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

1. Xung bất ổn định trong luận án được định nghĩa như thế nào và gây ảnh hưởng gì đến hệ động lực?

Xung bất ổn định là hiện tượng trạng thái hệ thống bị biến đổi đột ngột tại thời điểm $t_k$ theo quy tắc $\Delta x_i(t_k) = -\sigma_{ik} x_i(t_k^-)$ với cường độ thỏa mãn $|1 - \sigma_{ik}| \le \gamma_k$ mà $\gamma_k > 1$. Khi $\gamma_k > 1$, giá trị tuyệt đối của biến trạng thái bị khuếch đại tức thời, có khả năng phá vỡ tính ổn định của một hệ vốn đang ổn định khi không có xung.

2. Vì sao phương pháp hàm Lyapunov-Krasovskii (LKF) không áp dụng được cho hệ có trễ tỉ lệ?

Hàm trễ tỉ lệ có dạng $\tau(t) = (1-q)t$ với $0 < q < 1$. Khi thời gian $t \to \infty$, độ trễ $\tau(t) \to \infty$ (trễ không bị chặn). Phương pháp LKF truyền thống đòi hỏi trễ phải bị chặn bởi một hằng số cố định để xây dựng số hạng tích phân năng lượng, do đó không thể áp dụng trực tiếp cho hệ có trễ tỉ lệ, đặc biệt khi hệ còn chịu thêm nhiễu xung trạng thái.

3. Mạng nơron quán tính (INNs) khác gì so với mạng Hopfield cổ điển?

Mạng Hopfield cổ điển được mô tả bởi hệ phương trình vi phân cấp một biểu diễn đạo hàm bậc nhất của điện thế trạng thái. Mạng INNs được mô tả bởi hệ phương trình vi phân phi tuyến cấp hai chứa số hạng $\frac{d^2 x_i(t)}{dt^2} + a_i \frac{dx_i(t)}{dt} + b_i x_i(t)$, trong đó đạo hàm cấp hai và cấp một xuất phát từ các mô hình dao động cơ học và sinh học để mô tả tính quán tính của hệ thống.

4. Ưu điểm nổi bật của việc sử dụng điều kiện M-ma trận và quy hoạch tuyến tính (LP) trong luận án là gì?

Điều kiện ổn định dựa trên M-ma trận cho phép chuyển đổi bài toán kiểm tra tính ổn định phi tuyến phức tạp thành việc tìm một vectơ dương $\chi \succ 0$ thỏa mãn hệ bất đẳng thức tuyến tính $M\chi \prec 0$. Bài toán này tương đương với bài toán quy hoạch tuyến tính (LP), có thể kiểm tra trực tiếp và hiệu quả bằng các phần mềm tính toán mà không cần xấp xỉ quỹ đạo nghiệm.

5. Cấu trúc của mạng nơron bộ nhớ hai chiều kết hợp (BAM) trong luận án được tổ chức như thế nào?

Mạng BAM gồm hai lớp nơron riêng biệt (lớp $X$ gồm $n$ nơron và lớp $Y$ gồm $m$ nơron). Các nơron trong cùng một lớp không kết nối với nhau, nhưng mỗi nơron của lớp này kết nối toàn phần với tất cả các nơron của lớp kia theo hai chiều truyền thông tin xuôi (forward) và ngược (backward), mô tả quá trình truy xuất liên kết giữa các cặp dữ liệu lưu trữ.

Kết luận

Luận án của nghiên cứu sinh Lê Đào Hải An là công trình khoa học hoàn chỉnh thuộc chuyên ngành Phương trình vi phân và tích phân, giải quyết thành công bài toán tính ổn định mũ toàn cục, nghiệm dương và ổn định hóa cho bốn lớp hệ phương trình vi phân phi tuyến mô tả mạng nơron Hopfield, INNs và BAM có trễ. Bằng việc phát triển nguyên lý so sánh vi phân kết hợp lý thuyết M-ma trận và quy hoạch tuyến tính, tác giả đã khắc phục được hạn chế của phương pháp hàm Lyapunov truyền thống đối với hệ không ô-tô-nôm, hệ chứa trễ tỉ lệ và hệ chịu tác động của xung bất ổn định. Toàn bộ các kết quả lý thuyết cốt lõi của luận án đã được công bố trên 04 bài báo khoa học quốc tế uy tín thuộc danh mục ISI/Scopus.