Tổng quan luận án

Tình trạng quá tải tại các cơ sở y tế, đặc biệt trong lĩnh vực chẩn đoán hình ảnh (X-quang, CT, MRI, siêu âm), là thực trạng phổ biến tại Việt Nam và nhiều quốc gia đang phát triển. Nguyên nhân cốt lõi bắt nguồn từ sự phân bổ không đồng đều nguồn nhân lực chuyên môn cao giữa bệnh viện tuyến trung ương (bệnh viện hạt nhân) và các bệnh viện tuyến tỉnh, tuyến huyện, cùng với sự gia tăng nhanh chóng của các trang thiết bị chẩn đoán hình ảnh kỹ thuật cao. Nhằm hỗ trợ giảm tải, việc thiết lập mạng chẩn đoán hình ảnh từ xa (Teleradiology) qua môi trường Internet là yêu cầu cấp thiết.

Tuy nhiên, việc truyền tải dữ liệu hình ảnh y tế đối mặt với các rào cản kỹ thuật đặc thù:

  1. Chuẩn hình ảnh y tế DICOM (ISO 12052:2006) đặt ra các yêu cầu nghiêm ngặt về việc cố định địa chỉ IP, định danh thực thể ứng dụng (AETitle) và giao thức gọi thủ tục từ xa (RPC).
  2. Môi trường Internet công cộng chủ yếu sử dụng cơ chế cấp phát IP động, kỹ thuật biên dịch địa chỉ mạng (NAT) và hệ thống tường lửa, gây cản trở kết nối trực tiếp.
  3. Các giải pháp truyền dẫn dùng riêng (mạng cáp quang thuê riêng, vệ tinh, mạng quân sự) có chi phí vận hành rất cao, không phù hợp để triển khai thường quy trên diện rộng.
  4. Mô hình xử lý dữ liệu và định tuyến tập trung bộc lộ nguy cơ nghẽn cổ chai tại trung tâm dữ liệu vào các khung giờ cao điểm khám bệnh (khoảng 9 giờ sáng), tiềm ẩn nguy cơ mất an toàn thông tin bệnh án và không tương thích với mô hình chỉ đạo tuyến phân tầng của ngành y tế.

Từ khoảng trống nghiên cứu trên—khi mạng De Bruijn trước đó chỉ mới được ứng dụng trong mạng cáp quang và vi mạch tích hợp cỡ lớn (VLSI) mà chưa được khai thác cho Teleradiology—luận án xác định các mục tiêu và nhiệm vụ nghiên cứu:

  1. Nghiên cứu lý thuyết mạng De Bruijn và hoàn thiện, cải tiến các giải thuật định tuyến tìm đường đi ngắn nhất so với các công trình của Samantham, Pradhan, Liu và Mao.
  2. Đề xuất mô hình mạng hội chẩn phân tầng MHC(d,k) đóng vai trò là lớp mạng logic (Lớp 4 - Giao vận/VPN) hoạt động phía trên hạ tầng mạng vật lý TCP/IP phục vụ Teleradiology và cân bằng tải lưu trữ, truyền nhận hồ sơ bệnh án điện tử (EMR/HMR).
  3. Xây dựng và kiểm chứng các giải thuật định tuyến trên mạng MHC(d,k) trong các điều kiện đường truyền đồng nhất, không đồng nhất (tồn tại chi phí đường truyền - link cost) và có lỗi liên kết (link failure).

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

  • Đối tượng nghiên cứu: Cấu trúc mạng De Bruijn (hướng $UdBG$ và vô hướng $BdBG$), các giải thuật định tuyến mạng logic, chuẩn truyền nhận hình ảnh y tế DICOM, hệ thống PACS/RIS/HIS, và mô hình mạng MHC(d,k).
  • Phạm vi không gian và thời gian: Đề tài thực hiện trong giai đoạn 2014–2017; khảo sát dữ liệu thực tế tại 8 bệnh viện khu vực phía Nam (Bệnh viện Nhi Đồng 1, Bệnh viện Nhân dân Gia Định, Bệnh viện Bình Dân, Bệnh viện quận Thủ Đức, Bệnh viện Đa khoa Đồng Tháp, Bệnh viện Đa khoa Sa Đéc, Bệnh viện Đa khoa Tam Nông, Bệnh viện Đa khoa Hồng Ngự) và kiểm chứng qua 4.484 ca CT thực tế kết nối giữa Bệnh viện Bình An (Kiên Giang), Bệnh viện Medic Cà Mau về Bệnh viện Medic Hòa Hảo (TP.HCM).

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

Lý thuyết đồ thị De Bruijn được giới thiệu lần đầu bởi N. G. De Bruijn (1946) nhằm tính toán chu kỳ tối đa của chuỗi bậc $d$. Đến những năm 1970, Schlumberger đưa mạng De Bruijn vào lĩnh vực mạng thông tin. Pradhan, Reddy và Kuhl (1981, 1982) mở rộng ứng dụng đồ thị De Bruijn thành mạng liên kết các bộ vi xử lý phục vụ tính toán song song và đề xuất họ đồ thị tổng quát $RPK_{d,n}$ cùng $H_{d,n}$. Dự án Galileo của NASA (JPL) là một minh chứng tiêu biểu khi ứng dụng kiến trúc logic De Bruijn để liên kết 8.192 bộ vi xử lý thực thi giải thuật giải mã Viterbi. Trong lĩnh vực truyền thông quang, Mukherjee và các cộng sự (1992, 1993) đã chứng minh mạng đa bước De Bruijn vượt trội hơn các cấu trúc tô pô như ShuffleNet, Toroid (Manhattan Street) và Hypercube về khả năng hỗ trợ số lượng trạm lớn hơn với cùng bậc nút và đường kính nhỏ hơn.

Về mặt giải thuật định tuyến trên mạng De Bruijn:

  • Samantham và Pradhan (1989) đề xuất kỹ thuật dịch trái/phải dựa trên chuỗi trùng khớp lớn nhất ở hai đầu địa chỉ nguồn và đích.
  • Liu (1990) và Mao (1993) phát triển các giải thuật tìm đường đi ngắn nhất dựa trên ma trận kế cận và cây tiền tố (prefix tree), phân loại các dạng dịch chuyển $R^m L^n R^p$ hoặc $L^m R^n L^p$.
  • Esfahanian (1985) đề xuất giải thuật đường đi nhất quán ngắn nhất (Shortest Consistent Path - SCP).
  • Feng và Yang (1994, 2002) phát triển các giải thuật làm mới (Refreshing - RFR), tìm kiếm lân cận (Neighbour Searching - NSC) và so khớp mẫu (Pattern Matching - PMC).

Khoảng trống nghiên cứu luận án lựa chọn giải quyết:

  1. Các giải thuật định tuyến của Samantham và Pradhan bỏ sót nhiều trường hợp đường đi ngắn nhất do chỉ kiểm tra chuỗi trùng ở biên. Trong khi đó, các mô hình của Liu và Mao chứa các giả định sai lầm khi coi các dạng chuỗi như $R^mLR$, $L^mRL$, $R_1L_1R_2L_2$, $L_1R_1L_2R_2$ là đường đi ngắn nhất, đồng thời đòi hỏi xây dựng cây tiền tố hoặc ma trận phức tạp gây tốn tài nguyên tính toán.
  2. Chưa có công trình nào tích hợp tô pô De Bruijn làm mạng logic Lớp 4 trên nền hạ tầng VPN/Internet để giải quyết triệt để các ràng buộc của chuẩn dữ liệu y tế DICOM (ISO 12052:2006) và bài toán tự định tuyến (self-routing) trong phân tầng y tế.

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

Cơ sở lý thuyết và khung phân tích

  • Đồ thị De Bruijn có hướng $UdBG(d,k)$: Tập hợp các đỉnh được biểu diễn bằng chuỗi độ dài $k$ từ bảng chữ cái gồm $d$ ký tự ($N = d^k$ đỉnh). Cung có hướng xuất hiện từ nút $x = (x_0, x_1, \dots, x_{k-1})$ đến nút $y = (y_0, y_1, \dots, y_{k-1})$ khi dịch trái: $y = (x_1, \dots, x_{k-1}, a)$ với $a \in {0, \dots, d-1}$, tương ứng phép đồng dư $y \equiv dx + a \pmod{d^k}$. Đường kính mạng bằng $k$, bậc của mỗi nút là $d$. Ma trận kế cận $M$ thỏa mãn $M^k = J$ ($J$ là ma trận đơn vị toàn 1).
  • Đồ thị De Bruijn hai hướng $BdBG(d,k)$: Đồ thị vô hướng thu được bằng cách bỏ hướng của các cung, xóa các vòng tự lặp và gộp các cạnh song song, có bậc $2d$ và đường kính $k$.
  • Lý thuyết tập hợp rời rạc ($DS_m$): Tập hợp rời rạc bậc $m$ ($DS_m$) chứa tất cả các nút lân cận của các phần tử thuộc $DS_{m-1}$ mà không trùng với các phần tử thuộc $DS_h$ ($h < m$) hoặc nút lỗi. Các bổ đề chứng minh rằng các nút lân cận của $DS_k$ chỉ nằm trong $DS_{k-1}, DS_k, DS_{k+1}$, tạo cơ sở toán học cho kiến trúc phân tầng dữ liệu y tế.
  • Tiêu chuẩn dữ liệu y tế: Chuẩn DICOM (phát triển từ ACR-NEMA 1983/1985/1988 đến chuẩn ISO 12052:2006), hệ thống lưu trữ và truyền hình ảnh PACS, hệ thống thông tin chẩn đoán hình ảnh RIS, hệ thống thông tin bệnh viện HIS, và quy chế quản lý hồ sơ bệnh án theo Quyết định 4069/2001/QĐ-BYT của Bộ Y tế.
Thuộc tính tô pô Mạng De Bruijn ($BdBG(d,k)$) Mạng Hypercube ($K$-cube)
Số lượng nút ($N$) $d^k$ (Linh hoạt chọn $d, k$) $2^k$ (Cố định $d=k$)
Quy mô tại $d=k=4$ 256 nút 16 nút
Quy mô tại $d=k=6$ 46.656 nút 64 nút
Quy mô tại $d=k=8$ 16.777.216 nút 256 nút
Bậc nút cực đại Cố định ($2d$) Tăng tuyến tính theo chiều ($k$)
Cơ chế định tuyến Dịch chuỗi ký tự (Self-routing) Đảo bit theo từng chiều

Phương pháp nghiên cứu thực tế

  • Phương pháp diễn dịch toán học: Sử dụng phương pháp chứng minh phản chứng và quy nạp toán học để xác lập các định lý loại trừ đường đi không tối ưu và xây dựng công thức tính chiều dài đường đi ngắn nhất trực tiếp từ chuỗi địa chỉ.
  • Phương pháp mô phỏng thuật toán:
    • Lập trình phần mềm bằng ngôn ngữ C để tính toán tổng lưu lượng nội mạng và lưu lượng ngoại mạng, từ đó xác định chiều dài đường đi trung bình qua $N(N-1)$ cặp nút nhằm so sánh giải thuật MTR với SCP, RFR, NSC và PMC.
    • Sử dụng phần mềm Cisco Packet Tracer để mô phỏng cấu hình mạng IP, bảng định tuyến router, cấu hình FTP server, kiểm thử truyền file dữ liệu DICOM mẫu trên mô hình MHC so với mô hình TCP/IP truyền thống dùng giải thuật OSPF (Dijkstra).
  • Phương pháp khảo sát và dữ liệu thực tế: Khảo sát hạ tầng công nghệ thông tin, lưu lượng ảnh X-quang, CT, MRI tại 8 bệnh viện thực tế và thu thập số liệu vận hành 4.484 ca CT chẩn đoán từ xa.

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

Chương 1: Giới thiệu tổng quan

Chương 1 phân tích bối cảnh phát triển của Teleradiology trên thế giới (điển hình như chương trình y tế từ xa tại Nga từ năm 1991, Anh, Mỹ, Pháp, Đức) và tại Việt Nam. Tác giả điểm lại các dự án trong nước:

  • Đề án Bệnh viện vệ tinh của Bệnh viện Việt Đức (2003–2007) kết nối 6 bệnh viện tỉnh (Việt Tiệp, Sơn Tây, Nam Định, Bắc Ninh, Phú Thọ, Thanh Hóa) qua mạng cáp quang dùng riêng.
  • Cầu truyền hình phẫu thuật tim mạch trực tiếp giữa Viện Tim mạch Việt Nam và Singapore (2006) qua vệ tinh VTI.
  • Dự án Y học từ xa của Bộ Quốc phòng (2010) kết nối Bệnh viện 108, Bệnh viện 175 và Bệnh đảo Trường Sa qua mạng quân sự riêng.

Chương này chỉ rõ dung lượng luân chuyển dữ liệu chẩn đoán hình ảnh là rất lớn (chụp cắt lớp CT 64 lát cắt tạo dung lượng khoảng 1.500 MB/ca; chụp cộng hưởng từ MRI 1.5 Tesla khoảng 600 MB/ca). Từ việc phân tích các nhược điểm của mô hình truyền dữ liệu tập trung qua Internet (nguy cơ quá tải băng thông trung tâm lúc 9 giờ sáng, nguy cơ lộ lọt dữ liệu nhạy cảm, điểm lỗi đơn làm sụp đổ toàn mạng), chương đề xuất mô hình phân tán, phân tầng kết nối theo mô hình bệnh viện hạt nhân - bệnh viện vệ tinh. Lớp mạng logic De Bruijn ở Lớp 4 (trên nền TCP/IP và VPN) được xác định là giải pháp đáp ứng yêu cầu tự định tuyến, đường kính nhỏ, bậc cố định và khả năng chịu lỗi cao.

Chương 2: Các kiến thức căn bản

Chương 2 trình bày có hệ thống các cơ sở toán học và kỹ thuật:

  1. Lý thuyết mạng De Bruijn: Trình bày 3 cách định nghĩa mạng De Bruijn: định nghĩa qua chuỗi ký tự, định nghĩa qua đồ thị hướng tuyến tính xấp xỉ ($Line\ digraph\ iteration - LG$), và định nghĩa qua phép đồng dư modulo $d^k$. Phân tích tính chất đại số của ma trận kế cận ($M^k = J$), cấu trúc vô hướng $BdBG(d,k)$, và dạng tổng quát hóa $RPK_{d,n}$ cùng $H_{d,n}$. Khẳng định mạng De Bruijn có cấu trúc Hamiltonian (chứng minh bởi Du và Hwang) và hỗ trợ nhúng cây $d$-ary cũng như mạng vòng.
  2. Lý thuyết tập hợp rời rạc ($DS_m$): Thiết lập Định nghĩa 2.1 cùng Bổ đề 2.1 ($DS_m$ không chứa nút lỗi), Bổ đề 2.2 (mọi nút lân cận của $DS_k$ đều thuộc $DS_{k-1}, DS_k, DS_{k+1}$), và Bổ đề 2.3 (tính không giao cắt của các tập cách nhau $\ge 2$ bậc), tạo tiền đề phân lớp các tuyến bệnh viện.
  3. Chuẩn DICOM và Hệ thống thông tin y tế: Lịch sử chuẩn từ ACR-NEMA phiên bản 1 (1985), phiên bản 2 (1988) đến DICOM 3.0 (ISO 12052:2006). Kiến trúc 4 thành phần của PACS, mối liên kết giữa HIS, LIS, RIS và PACS. Phân tích pháp lý của hồ sơ bệnh án theo Quyết định 4069/2001/QĐ-BYT (thời gian lưu trữ 10 năm đối với bệnh án thông thường, 15 năm đối với tai nạn, 20 năm đối với tâm thần hoặc tử vong) và nhu cầu chuyển đổi sang bệnh án điện tử (EMR/HMR).

Chương 3: Giải thuật định tuyến trên mạng De Bruijn dBG(d,k)

Chương 3 tập trung giải quyết bài toán định tuyến đường đi ngắn nhất trên mạng De Bruijn vô hướng. Tác giả chứng minh các hạn chế của giải thuật kinh điển:

  • Samantham và Pradhan (1989): Chỉ xét dịch trái hoặc dịch phải thuần túy dựa vào ký tự biên, dẫn đến việc tìm đường đi giữa nút $S = 2010111001$ và $D = 1101110002$ trên $dBG(3,10)$ mất 9 bước, trong khi đường đi tối ưu chỉ mất 5 bước ($2010111001 \to 0201011100 \to 2010111000 \to 0101110002 \to 1011100020 \to 1101110002$) dựa vào chuỗi trùng "1011100".
  • Liu (1990) và Mao (1993): Đưa ra các dạng đường đi không phải là ngắn nhất.

Tác giả thiết lập và chứng minh hệ thống các định lý toán học:

  • Định lý 3.1: Đường đi ngắn nhất không thể có dạng $R_1L_1R_2L_2$ hoặc $L_1R_1L_2R_2$.
  • Định lý 3.2: Đường đi ngắn nhất không thể có dạng $R^mLR$ hoặc $L^mRL$.
  • Hệ quả 3.1: Chuỗi dịch chuyển kết thúc ở dạng $RLR$ hoặc $LRL$ (tương ứng chuỗi bit 101 hoặc 010) không thể là đường đi ngắn nhất.
  • Định lý 3.3: Nếu tập đường dẫn $T$ có tính chất $R \leftrightarrow T$ (số phép dịch phải nhiều hơn dịch trái) thì đường đi ngắn nhất không thể có dạng $TLR$; tương tự, nếu có tính chất $L \leftrightarrow T$ thì không thể có dạng $TRL$.
  • Hệ quả 3.2: Đường đi ngắn nhất chỉ thuộc 6 dạng cơ bản: $R^x$, $L^y$, $R^m L^n$, $L^m R^n$, $R^m L^n R^p$, $L^m R^n L^p$ (phân rã thành 8 trường hợp cụ thể).
  • Định lý 3.4: Chiều dài đường đi từ nút nguồn $s$ đến nút đích $d$ được xác định trực tiếp bằng công thức: $$\text{Chiều dài} = \min(2s_j + s_i + d_i,; 2s_i + s_j + d_j)$$ trong đó $s_i, d_i$ lần lượt là khoảng cách bên trái và $s_j, d_j$ là khoảng cách bên phải của chuỗi trùng khớp giữa $s$ và $d$.
  • Định lý 3.5: Nếu $p$ là chiều dài đường đi ngắn nhất từ $s$ đến $d$ trên $dBG(d,k)$, thì độ dài ngắn nhất của chuỗi trùng nhau giữa hai nút là $k - p$.

Từ hệ thống định lý trên, tác giả đề xuất Giải thuật định tuyến so khớp chuỗi MTR (Matched sTring Routing algorithm) gồm 6 bước thực thi trực tiếp trên chuỗi địa chỉ, loại bỏ hoàn toàn việc tạo ma trận hay cây tiền tố.

Giải thuật Nguyên lý tính toán Độ phức tạp cấu trúc dữ liệu Chiều dài đường đi trung bình mạng lớn ($N \ge 16$)
SCP (Esfahanian) Dịch trái/phải đơn thuần Rất thấp (so sánh chuỗi) Kém tối ưu (bị dài)
RFR / NSC / PMC (Yang) So khớp mẫu / tìm lân cận Trung bình (cần bảng trạng thái) Trung bình
Liu / Mao Duyệt cây tiền tố / ma trận Cao (Prefix tree / Matrix) Tồn tại nhánh không tối ưu
MTR (Luận án đề xuất) So khớp chuỗi trực tiếp + 5 định lý Rất thấp (thao tác chuỗi trực tiếp) Ngắn nhất toàn diện

Kết quả mô phỏng bằng chương trình C tính toán chiều dài đường đi trung bình: $$\text{Chiều dài đường đi trung bình} = \frac{\text{Tổng lưu lượng nội mạng}}{\text{Tổng lưu lượng ngoại mạng}}$$ được thực nghiệm trên các họ đồ thị từ $dBG(2,2)$ đến $dBG(2,6)$, $dBG(3,2)$ đến $dBG(3,6)$, $dBG(4,2)$ đến $dBG(4,5)$, $dBG(5,2)$ đến $dBG(5,4)$, và $dBG(6,2)$ đến $dBG(6,3)$. Kết quả khẳng định MTR đạt chiều dài đường đi trung bình ngắn nhất trên các không gian mạng lớn trong khi giữ công suất tính toán ở mức thấp nhất.

Chương 4: Ứng dụng mạng De Bruijn dBG(d,k) để đề xuất mô hình mạng ứng dụng trong chẩn đoán từ xa và bệnh án điện tử EMR/HMR

Chương 4 xây dựng mô hình mạng đề xuất mang tên Mạng Hội Chẩn MHC(d,k):

  • Kiến trúc mô hình: Sử dụng lý thuyết tập hợp rời rạc trên mạng De Bruijn để phân lớp hệ thống y tế. Các bệnh viện trung tâm đóng vai trò nút gốc/hạt nhân, các bệnh viện tuyến tỉnh/thành phố (Cấp 1), tuyến quận/huyện (Cấp 2) và tuyến xã/phường (Cấp 3) được ánh xạ vào các tập rời rạc $DS_m$.
  • Cơ chế hoạt động: Thiết lập lớp mạng logic Lớp 4 vận hành trên giao thức VPN/TCP/IP. Địa chỉ logic cố định của các thực thể DICOM (AETitle, IP logic) được gán theo quy tắc chuỗi địa chỉ De Bruijn, cho phép các gói tin DICOM tự định tuyến (self-routing) bằng các phép dịch chuyển địa chỉ logic mà không phụ thuộc vào địa chỉ IP động bên dưới của nhà cung cấp dịch vụ Internet (ISP).
  • Khả năng cân bằng tải: Phân tán lưu lượng lưu trữ hình ảnh và hồ sơ bệnh án điện tử (EMR/HMR) qua các nút trung gian, triệt tiêu tình trạng tập trung quá mức về trung tâm dữ liệu.

Chương 5: Giải thuật định tuyến trên mạng chẩn đoán từ xa MHC(d,k)

Chương 5 phát triển giải thuật định tuyến MHCSP trên mạng MHC(d,k) trong các điều kiện thực tế phức tạp:

  1. Mạng không đồng nhất có trọng số đường truyền (link cost) dựa trên băng thông và độ trễ.
  2. Mạng có lỗi liên kết (link failure), giải thuật tự động cô lập tuyến lỗi và định tuyến qua nhánh De Bruijn phụ cận dựa trên cấu trúc liên kết vô hướng.

Tác giả thu thập số liệu khảo sát thực tế tại 8 bệnh viện:

  • Bệnh viện Nhi Đồng 1, Bệnh viện Bình Dân, Bệnh viện Nhân dân Gia Định, Bệnh viện quận Thủ Đức (TP.HCM).
  • Bệnh viện Đa khoa Đồng Tháp, Bệnh viện Đa khoa Sa Đéc, Bệnh viện Đa khoa Tam Nông, Bệnh viện Đa khoa Hồng Ngự (tỉnh Đồng Tháp).

Trên cơ sở dữ liệu khảo sát, tác giả tiến hành mô phỏng trên Cisco Packet Tracer:

  • Thiết lập cấu hình router qua giao diện dòng lệnh (CLI), cấu hình gán địa chỉ IP, cấu hình FTP server và truyền các tệp tin hình ảnh y tế mẫu.
  • So sánh hiệu năng giữa mô hình mạng MHC(d,k) chạy giải thuật đề xuất và mô hình mạng TCP/IP truyền thống chạy giải thuật định tuyến trạng thái liên kết OSPF (Dijkstra). Kết quả chứng minh giải thuật trên mạng MHC giảm độ phức tạp tính toán từ $O(V^2)$ của Dijkstra xuống mức tính toán trực tiếp trên chuỗi địa chỉ, giảm độ trễ truyền gói tin và duy trì tính thông suốt khi xảy ra sự cố đứt kết nối.

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

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

  1. Hoàn thiện lý thuyết định tuyến trên đồ thị De Bruijn: Phát hiện và chứng minh toán học các trường hợp sai lệch trong các công trình của Liu và Mao; chứng minh các Định lý 3.1, 3.2, 3.3 và các Hệ quả 3.1, 3.2 nhằm xác lập đầy đủ 6 dạng đường đi ngắn nhất duy nhất trên mạng De Bruijn vô hướng $BdBG(d,k)$.
  2. Đề xuất công thức tính và giải thuật MTR: Xây dựng Định lý 3.4 và Định lý 3.5, chuyển đổi việc tìm đường đi ngắn nhất thành bài toán so khớp chuỗi ký tự trực tiếp với công thức $\min(2s_j + s_i + d_i, 2s_i + s_j + d_j)$, loại bỏ hoàn toàn việc phải tạo dựng cây tiền tố (prefix tree) hoặc ma trận kế cận, giảm thiểu tài nguyên tính toán.
  3. Đề xuất mô hình mạng logic y tế MHC(d,k): Ứng dụng lý thuyết tập hợp rời rạc trên mạng De Bruijn để xây dựng mô hình mạng hội chẩn phân tầng Lớp 4 đầu tiên tại Việt Nam dành riêng cho lĩnh vực Teleradiology và EMR/HMR.

Đóng góp mới về mặt thực tiễn và ứng dụng

  1. Giải quyết bài toán kỹ thuật chuẩn DICOM qua Internet: Cung cấp giải pháp định tuyến logic cố định trên nền mạng VPN, giúp các thiết bị chụp hình ảnh y tế (X-quang, CT, MRI, siêu âm) truyền nhận dữ liệu DICOM thông suốt qua mạng Internet công cộng mà không cần đầu tư hạ tầng mạng riêng đắt tiền.
  2. Giải thuật MHCSP chịu lỗi: Cung cấp phương thức định tuyến tự thích nghi khi xảy ra sự cố đứt đường truyền hoặc khi đường truyền có chi phí không đồng nhất giữa các tuyến bệnh viện.
  3. Kiểm chứng thực tế trong các đề tài, dự án cấp nhà nước và thành phố:
    • Đề tài cấp TP. Hồ Chí Minh: "Ứng dụng thiết bị tổng đài IP và Video Conference Bách Khoa phục vụ hội chẩn y tế trực tuyến tại Bệnh viện Nhân dân 115" (nghiệm thu tháng 03/2014, đạt loại Khá).
    • Dự án công nghệ cao cấp nhà nước: "Hoàn thiện công nghệ chế tạo thiết bị hệ thống thu thập, lưu trữ hình ảnh DICOM, hệ thống Hội chẩn Y tế trực tuyến Video và phần mềm bảo mật, khai thác cơ sở dữ liệu hình ảnh DICOM phục vụ chẩn đoán bệnh" (nghiệm thu cơ sở tháng 05/2017), ứng dụng truyền tải dữ liệu hình ảnh DICOM cho 4.484 ca CT từ xa từ Bệnh viện Bình An (Kiên Giang) và Bệnh viện Medic Cà Mau về Bệnh viện Medic Hòa Hảo (TP.HCM).

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

  • Hạn chế: Luận án tập trung xây dựng lớp mạng logic ở Lớp 4 (Transport/VPN) dựa trên cấu trúc De Bruijn truyền thống và các tập rời rạc, chưa khảo sát sâu sự tác động của hiện tượng mất gói tin đột biến ở các lớp mạng vật lý bên dưới khi triển khai trên hạ tầng mạng di động không dây (3G/4G/5G). Các thử nghiệm thực tế giới hạn trong mạng lưới giữa các bệnh viện được khảo sát tại khu vực phía Nam.
  • Hướng nghiên cứu tiếp: Mở rộng mô hình MHC(d,k) với các cấu trúc De Bruijn tổng quát hóa ($RPK_{d,n}$, $H_{d,n}$) nhằm thích ứng linh hoạt hơn khi số lượng bệnh viện trong mạng thay đổi liên tục; nghiên cứu tích hợp cơ chế bảo mật mã hóa nâng cao cho dữ liệu hồ sơ bệnh án điện tử HMR trên các nút mạng logic; phát triển giải thuật cân bằng tải động theo thời gian thực dựa trên lưu lượng chụp thực tế tại các khoa chẩn đoán hình ảnh.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị cao đối với:

  1. Nghiên cứu sinh, học viên cao học, giảng viên ngành Kỹ thuật Điện tử, Viễn thông và Khoa học Máy tính: Tham khảo phương pháp đại số hóa đồ thị De Bruijn, kỹ thuật chứng minh đường đi ngắn nhất trong lý thuyết đồ thị và phương pháp thiết kế giải thuật định tuyến MTR/MHCSP.
  2. Kỹ sư tin học y tế, chuyên viên phát triển hệ thống PACS/RIS/HIS: Ứng dụng mô hình mạng logic Lớp 4 để triển khai hệ thống truyền tải ảnh DICOM và bệnh án điện tử qua mạng diện rộng mà không vi phạm các tiêu chuẩn ISO 12052:2006.
  3. Các nhà quản lý y tế và cơ quan hoạch định chính sách CNTT y tế: Cung cấp cơ sở khoa học để thiết kế kiến trúc mạng y tế từ xa (Telemedicine/Teleradiology) phân tầng, giúp tối ưu hóa chi phí đầu tư hạ tầng công nghệ thông tin cho các bệnh viện vệ tinh và bệnh viện tuyến cơ sở.

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

1. Tại sao luận án lựa chọn mạng De Bruijn làm tô pô logic Lớp 4 thay vì sử dụng định tuyến trực tiếp trên nền mạng TCP/IP?

Chuẩn ảnh y tế DICOM (ISO 12052:2006) bắt buộc các thiết bị phải cố định địa chỉ IP, định danh AETitle và phương thức RPC, vốn chỉ hoạt động trên mạng nội bộ. Mạng Internet thực tế sử dụng IP động, NAT và tường lửa. Việc sử dụng mạng De Bruijn làm tô pô logic (Lớp 4 trên nền VPN) cung cấp không gian địa chỉ logic cố định, cho phép tự định tuyến (self-routing) bằng các phép dịch chuỗi địa chỉ đơn giản, đạt đường kính mạng nhỏ (độ trễ thấp), bậc nút cố định và không bị phụ thuộc vào sự biến đổi địa chỉ vật lý của mạng TCP/IP bên dưới.

2. Giải thuật MTR đã khắc phục những điểm sai và hạn chế nào của các tác giả Liu, Mao, Samantham và Pradhan?

Samantham và Pradhan chỉ tìm chuỗi trùng ở hai đầu biên (trái hoặc phải ngoài cùng) nên bỏ sót đường đi ngắn nhất nằm ở chuỗi con trung gian. Liu và Mao tuy phân loại các dạng dịch chuyển nhưng lại chứa các giả định sai lầm khi coi dạng $R^mLR$, $L^mRL$, $R_1L_1R_2L_2$ là ngắn nhất (đã bị luận án phản chứng tại Định lý 3.1 và 3.2), đồng thời đòi hỏi tạo cây tiền tố hoặc ma trận phức tạp. Giải thuật MTR khắc phục triệt để các sai sót này và thực hiện tính toán trực tiếp trên chuỗi địa chỉ.

3. Công thức tính chiều dài đường đi ngắn nhất trong giải thuật MTR được xác định như thế nào?

Theo Định lý 3.4 của luận án, chiều dài đường đi ngắn nhất từ nút nguồn $s$ đến nút đích $d$ được tính bằng: $$\text{Chiều dài} = \min(2s_j + s_i + d_i,; 2s_i + s_j + d_j)$$ Trong đó:

  • $s_i, d_i$: lần lượt là khoảng cách từ phía bên trái đến chuỗi trùng nhau của nút nguồn $s$ và nút đích $d$.
  • $s_j, d_j$: lần lượt là khoảng cách từ phía bên phải đến chuỗi trùng nhau của nút nguồn $s$ và nút đích $d$.

4. Mô hình mạng MHC(d,k) phân tầng giải quyết bài toán của mô hình trung tâm dữ liệu tập trung như thế nào?

Mô hình tập trung tiếp nhận toàn bộ yêu cầu từ các tuyến đổ về một trung tâm dữ liệu duy nhất, dễ gây nghẽn băng thông vào giờ cao điểm (9 giờ sáng), tiềm ẩn rủi ro bảo mật và làm tê liệt toàn ngành nếu trung tâm gặp sự cố. Mô hình MHC(d,k) ứng dụng lý thuyết tập hợp rời rạc ($DS_m$) để phân tán dữ liệu theo từng cụm phân tầng (bệnh viện hạt nhân - bệnh viện vệ tinh). Khi một khu vực gặp sự cố, các tuyến khác vẫn hoạt động bình thường, đồng thời chi phí hạ tầng giảm mạnh do không cần xây dựng trung tâm dữ liệu siêu lớn.

5. Kết quả nghiên cứu của luận án đã được triển khai kiểm chứng thực tế tại những đâu?

Kết quả nghiên cứu đã được nghiệm thu qua 2 công trình thực tiễn: Đề tài cấp TP.HCM tại Bệnh viện Nhân dân 115 (nghiệm thu tháng 03/2014) và Dự án công nghệ cao cấp nhà nước (nghiệm thu tháng 05/2017) với 4.484 ca CT chẩn đoán từ xa truyền từ Bệnh viện Bình An (Kiên Giang) và Bệnh viện Medic Cà Mau về Bệnh viện Medic Hòa Hảo (TP.HCM). Ngoài ra, mô hình còn được mô phỏng kiểm chứng dựa trên số liệu khảo sát thực tế tại 8 bệnh viện thuộc TP.HCM và tỉnh Đồng Tháp.

Kết luận

Luận án của tác giả Nguyễn Chí Ngọc đã giải quyết thành công bài toán thiết kế mạng lưu trữ và truyền tải dữ liệu hình ảnh y tế DICOM phục vụ chẩn đoán từ xa (Teleradiology) và bệnh án điện tử (EMR/HMR) thông qua việc ứng dụng tô pô logic mạng De Bruijn trên nền TCP/IP/VPN. Công trình có đóng góp học thuật nổi bật thông qua việc chứng minh hệ thống định lý toán học hoàn thiện các dạng đường đi ngắn nhất trên đồ thị De Bruijn vô hướng và xây dựng giải thuật định tuyến MTR tối ưu về độ phức tạp. Mô hình mạng phân tầng đề xuất MHC(d,k) và giải thuật MHCSP không chỉ được chứng minh qua mô phỏng mà còn được kiểm chứng thực tế qua 4.484 ca chẩn đoán CT từ xa và các đề tài nghiên cứu cấp nhà nước, mang lại giải pháp công nghệ khả thi, tiết kiệm chi phí cho hệ thống y tế tại Việt Nam.