Tổng quan nghiên cứu

Khai phá dữ liệu chuỗi thời gian là một trong những lĩnh vực mũi nhọn của khoa học máy tính, đặc biệt khi các hệ thống giám sát hiện đại liên tục sản sinh hàng triệu điểm dữ liệu mỗi giây. Trong thực tế, các nguồn dữ liệu từ thị trường tài chính với hơn 1.000 mã giao dịch biến động theo từng phút, cảm biến y tế theo dõi nhịp tim 24/7, hay trạm quan trắc khí tượng ghi nhận lượng mưa định kỳ đều có đặc tính tích lũy liên tục theo thời gian. Khi cơ sở dữ liệu mở rộng, các phương pháp khai phá mẫu tĩnh truyền thống buộc phải quét lại toàn bộ kho dữ liệu từ đầu, gây lãng phí từ 60% đến 80% tài nguyên tính toán và tạo độ trễ lớn trong quá trình ra quyết định.

Vấn đề nghiên cứu trọng tâm của luận văn là giải quyết bài toán khai phá mẫu phổ biến gia tăng trên cơ sở dữ liệu chuỗi thời gian. Mục tiêu cụ thể là phát triển một giải thuật tối ưu có khả năng tự động cập nhật tập mẫu phổ biến hoàn chỉnh ngay khi xuất hiện dữ liệu mới mà không cần tính toán lại các phần dữ liệu lịch sử đã phân tích. Đề tài được triển khai trong phạm vi nghiên cứu từ tháng 2 năm 2017 đến tháng 6 năm 2017 tại Khoa Khoa học và Kỹ thuật Máy tính thuộc Trường Đại học Bách Khoa, Đại học Quốc gia Thành phố Hồ Chí Minh.

Ý nghĩa khoa học và thực tiễn của công trình thể hiện qua việc xử lý trọn vẹn cả 3 trường hợp biến động dữ liệu: gia tăng theo chiều ngang (thêm điểm đo vào chuỗi hiện có), gia tăng theo chiều dọc (thêm các chuỗi thời gian mới), và gia tăng đồng thời cả hai chiều. Kết quả nghiên cứu giúp giảm hơn 50% thời gian xử lý so với thuật toán duyệt toàn bộ, đồng thời cho phép duy trì ngưỡng hỗ trợ tối thiểu cố định từ 2% đến 10% cùng khoảng cách ràng buộc linh hoạt từ 1 đến 5 đơn vị thời gian.

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

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên sự kết hợp chặt chẽ giữa các nền tảng lý thuyết khai phá dữ liệu cổ điển và hiện đại. Đầu tiên là nền tảng khai phá mẫu phổ biến với giải thuật Apriori và giải thuật FP-Growth, đóng vai trò định hình nguyên lý tập mẫu ứng viên và kỹ thuật chia để trị thông qua cấu trúc cây. Tiếp theo, lý thuyết khai phá mẫu tuần tự với các giải thuật kinh điển như GSP, SPADE và PrefixSpan được kế thừa để xử lý tính thứ tự trước sau của các sự kiện. Đối với bài toán dữ liệu biến động, nghiên cứu tham chiếu sâu các giải thuật gia tăng tuần tự gồm IncSpan, ISM và đặc biệt là IncSP với kỹ thuật trộn tiềm ẩn cùng thủ tục đếm riêng biệt.

Bên cạnh đó, 4 khái niệm then chốt được chuẩn hóa xuyên suốt luận văn gồm:

  • Chuỗi thời gian: Dãy các giá trị số thực được thu thập tại những thời điểm cách đều nhau với độ dài n điểm đo.
  • Chuỗi con và cửa sổ trượt: Phân đoạn liên tiếp gồm m phần tử (m nhỏ hơn hoặc bằng n) được trích xuất nhằm bảo toàn tính liên tục cục bộ.
  • Ngưỡng hỗ trợ tối thiểu (min_supp): Tỷ lệ xuất hiện tối thiểu của một mẫu trong cơ sở dữ liệu để được công nhận là mẫu phổ biến, thường dao động trong khoảng 2% đến 15%.
  • Khoảng cách ràng buộc (gap): Số lượng điểm dữ liệu tối đa cho phép xen giữa 2 phần tử liên tiếp trong một mẫu phổ biến, giúp giải thuật bắt được các quy luật biến động ngầm dù có nhiễu thời gian.

Để giảm độ phức tạp không gian, các kỹ thuật tiền xử lý như xấp xỉ gộp từng đoạn (PAA), biểu diễn xấp xỉ tuyến tính (PLA) và rời rạc hóa ký tự (SAX, ESAX) được vận dụng nhằm nén chuỗi thời gian n chiều về N đoạn đặc trưng với bảng ký tự từ 4 đến 8 mức.

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

Nghiên cứu sử dụng nguồn dữ liệu thực nghiệm gồm 3 bộ dữ liệu chuẩn trong phân tích chuỗi thời gian:

  • Bộ dữ liệu 1: Thống kê 365 ca sinh nở theo ngày tại California năm 1959.
  • Bộ dữ liệu 2: Chuỗi 600 quan sát số lượng vết đen mặt trời hàng tháng tại Zuerich giai đoạn 1750-1800.
  • Bộ dữ liệu 3: Tập dữ liệu mô phỏng tổng hợp gồm 10 chuỗi thời gian với độ dài cơ sở 100 điểm đo mỗi chuỗi.

Phương pháp chọn mẫu áp dụng kỹ thuật lấy mẫu tất định theo chu kỳ thời gian kết hợp phân đoạn cửa sổ trượt có kích thước cố định từ 10 đến 50 điểm. Phương pháp này đảm bảo tính đại diện cho các quy luật tuần hoàn và duy trì đầy đủ đặc tính liên tục của dữ liệu chuỗi.

Lý do lựa chọn phương pháp phân tích mở rộng dựa trên giải thuật Optimized-Join năm 2008 là vì giải thuật này có cấu trúc lưu trữ phân tầng hiệu quả gồm cấu trúc dữ liệu toàn cục (GDS_Q, GDS_H) và cấu trúc dữ liệu cục bộ (LDS_Ri, LDS_Li). Luận văn tập trung khắc phục nhược điểm cốt tử của mô hình gốc: chỉ hỗ trợ gia tăng chiều ngang và gặp lỗi logic khi xử lý các mẫu ứng viên 2 phần tử. Toàn bộ quá trình nghiên cứu, thiết kế giải thuật và kiểm thử thực nghiệm được hoàn thành trong chu kỳ 5 tháng làm việc liên tục.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Nghiên cứu đã đạt được 4 phát hiện cốt lõi mang tính đột phá về mặt thuật toán và hiệu năng xử lý:

Thứ nhất, phát hiện và hiệu chỉnh thành công lỗi logic trong thủ tục Counting Procedure của giải thuật gốc năm 2008 đối với tập mẫu ứng cử gồm 2 phần tử. Khi mẫu ban đầu P có độ dài bằng 1, việc loại bỏ phần tử trái cùng sẽ tạo ra tập rỗng, khiến điều kiện kiểm tra trong bảng toàn cục GDS_H không bao giờ được thỏa mãn. Việc bổ sung nhánh kiểm tra phân loại đã giúp nhận diện chính xác 100% các mẫu phổ biến 2 phần tử mới sinh, ngăn chặn hoàn toàn hiện tượng bảng GDS_H bị rỗng.

Thứ hai, tối ưu hóa điều kiện của phép toán Merge-Join giữa 2 danh sách vị trí Lp và Lk. Kết quả thực nghiệm cho thấy việc tích hợp thêm điều kiện ràng buộc min_supp trực tiếp theo từng giá trị khoảng cách gap cụ thể đã giúp loại bỏ trung bình 40% các mẫu ứng viên giả định (ví dụ từ 5 mẫu giảm xuống còn 3 mẫu hợp lệ thực sự tại mức gap bằng 0 với min_supp lớn hơn hoặc bằng 3).

Thứ ba, hoàn thiện cơ chế nén nhóm của bảng Compressed_CFP. Bằng cách gộp các mẫu ứng viên tiềm năng có cùng tiền tố P và chỉ số k liên tiếp thành một entry duy nhất, giải thuật đã cắt giảm hơn 50% dung lượng bộ nhớ RAM cần cấp phát và tăng tốc độ tìm kiếm mẫu lên khoảng 2.5 lần.

Thứ tư, xây dựng thành công môi trường giả lập hỗ trợ khai phá gia tăng theo chiều dọc khi tiếp nhận thêm chuỗi thời gian mới. Khi thử nghiệm mở rộng đồng thời 1 chuỗi thời gian mới và gia tăng 100 điểm đo trên các chuỗi hiện hữu, thời gian thực thi của giải thuật cải tiến nhanh gấp 3 đến 8 lần so với phương pháp duyệt toàn bộ Brute-Force.

Thảo luận kết quả

Nguyên nhân chính dẫn đến sự vượt trội của giải thuật cải tiến nằm ở khả năng tái sử dụng triệt để các vết lịch sử lưu trong cấu trúc cục bộ LDS_Li và cấu trúc nén Compressed_CFP. Thay vì phải quét lại toàn bộ N chuỗi với độ dài T điểm đo (độ phức tạp bậc hai), giải thuật chỉ duyệt qua phần dữ liệu gia tăng có kích thước delta và tập ứng viên đã lọc sẵn.

Trong quá trình phân tích, dữ liệu thực nghiệm được trực quan hóa hiệu quả thông qua các bảng so sánh ma trận thời gian và biểu đồ đường đa trục. Biểu đồ thể hiện rõ đường cong thời gian thực thi của phương pháp Brute-Force tăng vọt theo hàm số mũ khi kích thước dữ liệu tăng từ 100 lên 500 điểm đo, trong khi đường cong của giải thuật cải tiến duy trì độ dốc tuyến tính nhẹ với mức tiết kiệm thời gian đạt trên 75%.

Khi so sánh với các thuật toán gia tăng chuỗi tuần tự như IncSP hay IncSpan, giải thuật đề xuất có ưu thế vượt trội khi xử lý được dữ liệu số thực có ràng buộc khoảng cách gap linh hoạt, thay vì chỉ làm việc trên các sự kiện danh mục rời rạc.

Đề xuất và khuyến nghị

Nhằm đưa kết quả nghiên cứu vào ứng dụng thực tế và tiếp tục hoàn thiện mô hình, 4 giải pháp chiến lược được đề xuất:

  • Tích hợp module khai phá gia tăng vào hệ thống giao dịch chứng khoán: Các doanh nghiệp công nghệ tài chính cần triển khai thuật toán vào hạ tầng phân tích kỹ thuật trong quý 1 năm 2024, nhằm mục tiêu giảm 35% độ trễ nhận diện các mẫu biến động giá đột biến cho hơn 500 mã cổ phiếu theo thời gian thực.
  • Phát triển tính năng tự động tối ưu hóa ngưỡng gap thích ứng: Đội ngũ kỹ sư phần mềm cần xây dựng thuật toán Auto-gap Tuning trong vòng 6 tháng tới, giúp hệ thống tự động điều chỉnh khoảng cách gap từ 1 đến 5 điểm đo dựa trên mức độ nhiễu của tín hiệu đầu vào, nâng độ chính xác nhận diện mẫu lên trên 92%.
  • Nâng cấp cấu trúc Compressed_CFP lên nền tảng phân tán: Bộ phận kỹ sư dữ liệu lớn cần thực hiện chuyển đổi cấu trúc bảng nén sang kiến trúc phân tán Apache Spark và Flink trong năm 2025, hướng đến năng lực xử lý ổn định trên 1.000.000 bản ghi chuỗi thời gian mỗi giây.
  • Mở rộng thuật toán cho chuỗi thời gian đa biến phức tạp: Các nhóm nghiên cứu tại các trường đại học và viện công nghệ cần triển khai thử nghiệm trên chuỗi tín hiệu y tế đa kênh (như điện tim ECG và điện não EEG) trong quý 4 năm 2024, mục tiêu mở rộng độ phủ dữ liệu thêm 50% và hỗ trợ chẩn đoán sớm các bất thường tim mạch.

Đối tượng nên tham khảo luận văn

Nội dung và kết quả nghiên cứu của luận văn mang lại giá trị thiết thực cho 4 nhóm đối tượng chuyên môn:

  • Kỹ sư phát triển hệ thống IoT và phân tích dữ liệu lớn: Tiếp cận phương pháp luận xử lý luồng dữ liệu liên tục từ mạng lưới hàng chục nghìn cảm biến công nghiệp với độ trễ thấp dưới 100 mili-giây mà không gây nghẽn tài nguyên máy chủ.
  • Chuyên gia phân tích định lượng trong lĩnh vực tài chính ngân hàng: Vận dụng cơ chế nhận diện mẫu phổ biến gia tăng để xây dựng các mô hình dự báo xu hướng giá tài sản, quản trị rủi ro thanh khoản với cửa sổ phân tích linh hoạt từ 30 đến 90 ngày.
  • Học viên cao học và nghiên cứu sinh chuyên ngành Khoa học máy tính: Sử dụng công trình như một tài liệu tham khảo chuẩn mực về phương pháp thu giảm số chiều (PAA, SAX), độ đo tương tự chuỗi thời gian (DTW) và kỹ thuật tối ưu hóa giải thuật cây mẫu để phát triển các đề tài nghiên cứu chuyên sâu.
  • Giảng viên và nhà nghiên cứu công nghệ thông tin: Khai thác hệ thống 14 bảng dữ liệu thực nghiệm và 13 sơ đồ thuật toán chi tiết để phục vụ công tác giảng dạy các học phần Khai phá dữ liệu nâng cao và Xử lý dữ liệu lớn tại các trường đại học.

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

Khai phá dữ liệu gia tăng khác biệt như thế nào so với khai phá dữ liệu tĩnh truyền thống? Khai phá tĩnh đòi hỏi phải nạp và quét lại toàn bộ cơ sở dữ liệu mỗi khi có bản ghi mới xuất hiện, dẫn đến chi phí tính toán tăng đột biến. Ngược lại, khai phá gia tăng chỉ xử lý phần dữ liệu mới phát sinh kết hợp với tập mẫu phổ biến đã có từ trước, giúp tiết kiệm hơn 70% thời gian tính toán và giảm tải bộ nhớ tối đa.

Gia tăng theo chiều dọc trong cơ sở dữ liệu chuỗi thời gian là gì? Gia tăng theo chiều dọc là trường hợp cơ sở dữ liệu tiếp nhận thêm một hoặc nhiều chuỗi thời gian hoàn toàn mới chưa từng xuất hiện trước đó, ví dụ như lắp đặt thêm một trạm cảm biến mới vào mạng lưới 50 trạm hiện có. Giải thuật cải tiến trong luận văn cho phép cập nhật tập mẫu chung mà không cần khởi tạo lại cấu trúc dữ liệu từ đầu.

Khoảng cách ràng buộc (gap) đóng vai trò gì trong việc tìm kiếm mẫu phổ biến? Khoảng cách gap xác định số lượng điểm dữ liệu tối đa được phép xuất hiện xen giữa 2 phần tử liên tiếp của một mẫu. Tham số này giúp giải thuật nhận diện được các quy luật mang tính chu kỳ thực tế dù dữ liệu bị nhiễu hoặc gián đoạn tạm thời, tăng khả năng bao quát mẫu đúng lên khoảng 25%.

Cấu trúc bảng Compressed_CFP mang lại lợi ích gì cho hiệu năng bộ nhớ? Bảng Compressed_CFP nhóm các mẫu ứng viên tiềm năng có cùng mẫu tiền tố và các chỉ số k liền kề thành một mục duy nhất. Kỹ thuật này giúp giảm hơn 50% số lượng dòng cần quản lý so với cách lưu trữ từng mục riêng lẻ, từ đó tối ưu hóa đáng kể tốc độ truy vấn và dung lượng RAM cần thiết.

Giải thuật cải tiến có thể áp dụng trực tiếp cho luồng dữ liệu thời gian thực không? Giải thuật hoàn toàn có thể ứng dụng trực tiếp cho các luồng dữ liệu thời gian thực nhờ cơ chế lưu vết trạng thái cục bộ và thủ tục đếm riêng biệt. Khi kết hợp với các kỹ thuật rời rạc hóa như SAX, mô hình có thể phản hồi kết quả mẫu mới với độ trễ tính bằng mili-giây trên các luồng dữ liệu liên tục.

Kết luận

  • Đóng góp khoa học then chốt: Luận văn đã hoàn thiện toàn diện bài toán khai phá mẫu phổ biến gia tăng trên cơ sở dữ liệu chuỗi thời gian, mở rộng khả năng xử lý cho cả trường hợp gia tăng theo chiều ngang và chiều dọc.
  • Đột phá về mặt thuật toán: Hiệu chỉnh thành công lỗi logic đối với mẫu ứng viên 2 phần tử trong giải thuật Optimized-Join năm 2008 và hoàn thiện phép toán Merge-Join, đảm bảo tính đúng đắn 100% cho tập mẫu đầu ra.
  • Tối ưu hóa hiệu năng hệ thống: Thiết kế cấu trúc bảng Compressed_CFP dạng nhóm giúp tiết kiệm trên 50% không gian lưu trữ và tăng tốc độ thực thi gấp 3 đến 8 lần so với phương pháp Brute-Force.
  • Kế hoạch phát triển tiếp theo: Tiếp tục mở rộng thuật toán để xử lý chuỗi thời gian đa biến phức tạp và thử nghiệm phân tán trên các nền tảng điện toán đám mây trong vòng 12 tháng tới.
  • Lời kêu gọi hành động: Quý độc giả, các kỹ sư hệ thống và nhà nghiên cứu quan tâm có thể khai thác các nguyên lý giải thuật cải tiến trong luận văn để nâng cấp các hệ thống phân tích luồng dữ liệu lớn ngay hôm nay.