1. Trang chủ
  2. » Giáo Dục - Đào Tạo

Cơ sở lý thuyết của phân tích svd và ứng dụng svd để khử nhiễu hình ảnh

11 16 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề Cơ sở lý thuyết của phân tích SVD và ứng dụng SVD để khử nhiễu hình ảnh
Tác giả Nhóm tác giả, Nguyễn Hoàng Anh, Tạ Nguyễn Tiến Dũng, Võ Nguyên Giáp, Nguyễn Sỹ Lâm, Vũ Nhật Minh, Đoàn Minh Nhân, Vũ Tuấn Kha
Người hướng dẫn PTS. Đặng Văn Vinh, TS. Bùi Thị Khuyên
Trường học Trường Đại Học Bách Khoa, Đại Học Quốc Gia Thành Phố Hồ Chí Minh
Chuyên ngành Khoa học Ứng dụng
Thể loại Đề tài nghiên cứu
Năm xuất bản 2022
Thành phố Thành phố Hồ Chí Minh
Định dạng
Số trang 11
Dung lượng 272,65 KB

Các công cụ chuyển đổi và chỉnh sửa cho tài liệu này

Nội dung

Phương pháp phân tích Singular Value Decompositions SVD là một trong những phương pháp thuộc nhóm matrix factorization phân tích nhân tử ma trận được phát triển lần đầu bởi những nhà hìn

Trang 1

ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH

TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA KHOA HỌC ỨNG DỤNG MÔN ĐẠI SỐ TUYẾN TÍNH

-* -Đề tài số 10:

CƠ SỞ LÝ THUYẾT CỦA PHÂN TÍCH SVD

VÀ ỨNG DỤNG SVD ĐỂ KHỬ NHIỄU HÌNH ẢNH

GV dạy lý thuyết: Đặng Văn Vinh

GV dạy bài tập: Bùi Thị Khuyên

Lớp : L10 Nhóm : 08

Tp HCM, tháng 04 năm 2022 MỤC LỤC

1

Trang 2

1 Lời nói đầu……….2

2 Cơ sở lí thuyết của phân tích SVD………3

2.1 Trị riêng, vector riêng của một ma trận……… 3

2.2 Chéo hóa ma trận……….4

2.3 Chéo hóa ma trận trực giao……… 5

2.4 Phân tích SVD……….7

3 Ứng dụng của phân tích SVD để khử nhiễu hình ảnh………9

3.1 Các bước để khử nhiễu hình ảnh……… 9

3.2 Một số ứng dụng của phân tích SVD……… 10

4 Kết luận………

-1 LỜI NÓI ĐẦU

Lời đầu tiên, em xin trân trọng bày tỏ lòng biết ơn chân thành tới các thầy

cô mà chúng em đã có dịp học tập tại trường Đại học Bách Khoa đã truyền đạt kiến thức cho chúng em, đặc biệt là thầy Đặng Văn Vinh vì đã truyền dạt kiến thức cho chúng em Do chỉ là sinh viên năm nhất nên chúng em không thể tránh khỏi những sai sót do kiến thức còn hạn chế nên chúng em mong nhận được sự góp ý và đánh giá từ các bạn để bài tập lớn của chúng em được hoàn thiện hơn Phương pháp phân tích Singular Value Decompositions (SVD) là một trong những phương pháp thuộc nhóm matrix factorization (phân tích nhân tử ma trận) được phát triển lần đầu bởi những nhà hình học vi phân Phương pháp này được ứng dụng rộng rãi trong các lĩnh vực như hình học vi phân, xử lý hình ảnh, các thuật toán nền và giảm chiều dữ liệu, hiệu quả trong các bài toán Để hiểu rõ hơn về phương pháp này, ta sẽ tìm hiểu về cơ sở lý thuyết, các ứng dụng

và các ví dụ được trình bày cụ thể dưới đây Ban đầu các nhà hình học vi phân muốn xác định xem liệu một dạng song tuyến thực có thể được tạo ra bằng một dạng khác thông qua các phép biến đổi trực giao độc lập của hai không gian mà

nó tác động hay không Họ bắt đầu nghiên cứu và phát hiện ra phương pháp phân tích Singular Value Decompositions (SVD), trong đó, nhà toán học

2

Trang 3

Beltrami (Ý) và Jordan (Pháp) là những người khởi xướng cho phương pháp này (1873) Đây là công trình của năm tác giả là các nhà toán học: Euginio Beltrami (Ý), Camille Jordan (Pháp), James Sylvester (Anh), Erhard Schmidt

và Herman Weyl (Đức)

Phương pháp phân tích Singular Value Decompositions (SVD) là một trong những phương pháp thuộc nhóm matrix factorization (phân tích nhân tử ma trận) được phát triển lần đầu bởi những nhà hình học vi phân Phương pháp này được ứng dụng rộng rãi trong các lĩnh vực như hình học vi phân, xử lý hình ảnh, các thuật toán nền và giảm chiều dữ liệu, hiệu quả trong các bài toán Để hiểu rõ hơn về phương pháp này, ta sẽ tìm hiểu về cơ sở lý thuyết, các ứng dụng

và các ví dụ được trình bày cụ thể dưới đây Ban đầu các nhà hình học vi phân muốn xác định xem liệu một dạng song tuyến thực có thể được tạo ra bằng một dạng khác thông qua các phép biến đổi trực giao độc lập của hai không gian mà

nó tác động hay không Họ bắt đầu nghiên cứu và phát hiện ra phương pháp phân tích Singular Value Decompositions (SVD), trong đó, nhà toán học Beltrami (Ý) và Jordan (Pháp) là những người khởi xướng cho phương pháp này (1873) Đây là công trình của năm tác giả là các nhà toán học: Euginio Beltrami (Ý), Camille Jordan (Pháp), James Sylvester (Anh), Erhard Schmidt

và Herman Weyl (Đức)

Cuối cùng, chúng em xin kính chúc thầy, cô thật nhiều sức khỏe, hạnh phúc bên gia đình, bình an trong cuộc sống và thành công trên con đường dạy học của mình Chúng em xin chân thành cảm ơn

2 CƠ SỞ LÝ THUYẾT CỦA PHÂN TÍCH SVD.

2.1 Trị riêng, vector riêng của một ma trận

Định nghĩa 1 : Cho A ∈ Mn(K) Số λ 0 ∈ K được gọi là giá trị riêng của ma trận A,

- Khi đó vector X0 được gọi là vector riêng (VTR) của ma trận A ứng với giá

- Tập hợp tất cả các giá trị riêng của A được gọi là phổ của ma trận A và kí

hiệu bởi δ(A)

Tính chất:

1 Mỗi vector riêng có một giá trị riêng duy nhất.

3

Trang 4

2 Nếu x là vector riêng ứng với giá trị riêng λ của ma trận vuông A thì kx cũng

Các bước tìm giá trị riêng và vector riêng của ma trận A:

Bước 1 : Tìm giá trị riêng

- Lập phương trình đặc trưng det (A – λI) = 0

- Tính định thức, giải phương trình

Bước 2 : Tìm vector riêng

- Tương ứng với trị riêng 1 Giải hệ phương trình (A - 1I) = 0

- Tất cả các nghiệm khác 0 của hệ là tất cả các vector riêng của A ứng với trị

- Tương tự tìm vector riêng của A ứng với các trị riêng còn lại.

Tính chất của trị riêng, vector riêng.

1 Tổng tất cả các trị riêng của A bằng với vết của ma trận A, tức là bằng với tổng các phần tử trên đường chéo của A

2 Tích tất cả các trị riêng của A bằng với det(A)

3 Tổng tất cả các bội đại số của các trị riêng bằng với cấp của A

4 Tổng tất cả các bội hình học của các trị riêng bằng với số vector độc lập tuyến tính cực đại

2.2 Chéo hóa ma trận.

Định nghĩa : Ma trận vuông A được gọi là chéo hóa được khi và chỉ khi tồn

4

Trang 5

Các bước chéo hóa ma trận A.

Bước 1: Tìm giá trị riêng

- Lập phương trình đặc trưng det (A – λI) = 0.

- Nghiệm của phương trình dặc trưng là các trị riêng của A.

- Với mọi λk tìm bội đại số BĐS( λ∈ k)

Bước 2: Tìm cơ sở của các không gian con riêng

- Với λk Giải hệ phương trình ∈ (A – λkI)X = 0

- Tìm nghiệm tổng quát, suy ra cơ sở của không gian con riêng EλK

- Xác định bội hình học của λk : BHH(λk)= dim (EλK)

Bước 3: Kết luận

1 Nếu tồn tại một trị riêng mà bội hình học nhỏ hơn bội đại sô của nó thì ma trận A không chéo hóa được

2 Nếu với mọi trị riêng, bội hình học bằng bội đại số của nó, thì ma trận A

sở của các không gian con riêng đã tìm được ở bước 2 và ma trận D có các phần tử trên đường chéo là các giá trị riêng của A

Ví dụ: Chéo hóa ma trận C =

Bước 1: Tìm trị riêng:

- det(A-λI) = 0 ⇔ (4 – λ )( - 3 – λ ) – 3 (- 2 ) = 0 ⇔ λ1 = 3, λ2 = -2.

Bước 2: Tìm cơ sở của các không gian con riêng :

- Xét λ1 = 3, xét hệ (A – λ1I)X = 0 ⇒ ⇔ x1 = 2x2 ⇔ X = (2α; α) ⇒ Cơ sở của

không gian con Eλ1 = (2, 1).

- Xét λ2 = -2 , xét hệ (A – λ1I)X = 0 ⇒ 3 ⇔ x1 = x2 ⇔ X = (α; 3α) ⇒ Cơ sở của

không gian con Eλ2 = (1, 3).

D =

2.3 Chéo hóa ma trận trực giao.

Định nghĩa 1: Cho A Mn(K) được gọi là ma trận đối xứng thực nếu A∈ T = A

Định nghĩa 2: Cho A Mn[R] được gọi là ma trận trực giao nếu A∈ -1 = AT

5

Trang 6

Ví dụ: Trong R3, chọn cơ sở E = (1; 1; 1), (1; 2; 1), (1; 1; 2) Ta dùng quá trình trực giao hóa Gram-Smidth, ta được họ trực giao :

F = (1; 1; 1), (1; -2; , 1), (-1; 0; 1)

Chia mỗi vecto cho độ dài của nó, ta được họ trực chuẩn:

Q =

Lập ma trận trực giao có họ vecto cột là Q: A =

Định nghĩa 3: Ma trận vuông A gọi là chéo hóa được nếu A = P DP-1 = P DPT, với

D là ma trận chéo còn P là ma trận trực giao

Các bước để chéo hóa ma trận đối xứng A :

Bước 1: Tìm trị riêng của A

Bước 2: Tìm một cơ sở của trực chuẩn của từng không gian con riêng

- Chọn cơ sở Ek tùy ý

- Dùng quá trình trực giao hóa Gram - Smidth để tìm cơ sở trực giao của Fk

- Chia mỗi vector trong Fk cho độ dài của nó ta có cơ sở trực chuẩn Qk

đó ma trận chéo D có các phần tử trên đương chéo là các trị riêng của A, họ vector cột của ma trận trực giao P từ các vector riêng trong các cơ sở trực chuẩn ở bước 2

Ví dụ: Chéo hóa trực giao ma trận đối xứng, thực sau: A =

Bước 2: Tìm một cơ sở của trực chuẩn của từng không gian con riêng

- Ứng với λ1 = 7, giải hệ (A – λ1I)X = 0 X = α(-1, 2, 0)⇔ T + β(0, 2, 1)T Cơ⇒ sở

- Dùng quá trình trực giao hóa Gram - Smidth, ta được cơ sở trực giao:

- Ứng với λ2 = -2, giải hệ (A – λ2I)X = 0 X = α(2, 1, -2)⇔ T Cơ sở trực giao⇒

6

Downloaded by vu ga (vuchinhhp2@gmail.com)

Trang 7

D = , P =

2.4 Phân tích SVD ( Singular Value Decomposition).

Cho A là một ma trận kích cỡ m×n Ta chứng minh rằng tập hợp các trị riêng

khác không của là trùng nhau Thật vậy, giả sử là một trị riêng khác 0 của và là vector riêng của tương ứng Khi đó:

Điều này tương đương với ) =, vì khác 0 nên khác 0 Suy ra là trị riêng của Ma

trận là hai ma trận đối xứng, nên chúng chéo hóa trực giao được

Phân tích SVD của ma trận A: Cho ma trận A ∈ , r(A)=r Ma trận A có thể

phân tích thành dạng A =, trong đó Q và P đều là hai ma trận đều có họ vector cột

Khi đó:

và Suy ra các cột Q là các vector riêng của và ;;…; là các trị riêng khác 0 của Các cột của P là các vector riêng của và ;;…; cũng là các trị riêng khác 0 của Trong D, ta sắp xếp các sigular values của A theo thứ tự giảm dần

12r

Gọi và ,

Ma trận A có thể ghi dạng: +…+, với mỗi là một ma trận có hạng bằng 1.

Như vậy ma trận A chỉ phụ thuộc vào r cột đầu tiên của P, Q và r phần tử khác

SVD: , với , là các ma trận tạo nên từ các cột vủa Q và P tương ứng.

Trong lưu trữ hình ảnh, thông thường chỉ một vài có giá trị cao và các còn lại có giá trị xấp xỉ bằng 0 nên có thể bỏ qua Khi đó ta có xấp xỉ:

Và sai số trong xấp xỉ trên được xác định bởi công thức sau:

Ví dụ: Tìm phân tích SVD của ma trận

Ta có Chéo hóa trực giao: , với

7

Downloaded by vu ga (vuchinhhp2@gmail.com)

Trang 8

Ta có

Chéo hóa trực giao : , với

Trong thời đại kỹ thuật số hiện nay, phân tích SVD có một số ứng dụng trong khi làm việc với dữ liệu lớn:

- Khử nhiễu âm thanh;

- Nén ảnh;

- Giảm số chiều dữ liệu;

- Ứng dụng trong phân tích thành phần chính (PCA: principle component analysis);…

3 ỨNG DỤNG PHÂN TÍCH SVD ĐỂ KHỬ NHIỄU HÌNH ẢNH.

Phân tích SVD sẽ tìm ra một lớp các ma trận xấp xỉ tốt nhất với một ma trận cho trước Những điểm dữ liệu trong không gian mới có thể giữ được 100% thông tin ban đầu hoặc chỉ giữ được một phần lớn so với thông tin của dữ liệu ban đầu thông qua các phép “Truncate SVD“ Bằng cách sắp xếp các trị riêng theo thứ tự giảm dần trên đường chéo chính, thuật toán SVD có thể thu được ma trận xấp xỉ tốt nhất

mà vẫn đảm bảo được hạng của ma trận sau biến dổi và kích thước của các ma trận nhân tử trong giới hạn cho phép Do đó nó tiết kiệm được thời gian và chi phí tính toán, đồng thời cũng tìm ra được một giá trị dự báo cho ma trận gốc với mức độ chính xác cao

Phương pháp “Truncate SVD“ sẽ giữ lại k sigular values đầu tiên lớn nhất, và lược bỏ những sigular values còn lại ( gần bằng 0)

3.1 Các bước khử nhiễu hình ảnh:

- Bước 1: Thu thập dữ liệu, file cần được xử nhiễu Đưa dữ liệu từ dạng vector cột về dạng ma trận M có kích cỡ m×n, có hạng bằng r

8

Downloaded by vu ga (vuchinhhp2@gmail.com)

Trang 9

- Bước 2: Tìm phân tích SVD của ma trận M Giữ lại k sigular values đầu tiên của M, chọn k càng gần với r càng tốt, sao cho độ nhiễu của hình ảnh bị giảm đi đáng kể và những chi tiết của ảnh gần như còn nguyên vẹn, khi đó ta thu được

nhiễu

Hình 1: Hình ảnh trước và sau khi được khử nhiễu

3.2 Một số ứng dụng của phân tích SVD để khử nhiễu hình ảnh trong thực tế:

-

9

Downloaded by vu ga (vuchinhhp2@gmail.com)

Trang 10

4 KẾT LUẬN

còn có rất nhiều ứng dụng khác như trong tối ưu cực trị rời rạc, lát cắt cực đại, K-means Clustering, Graph Partitioning, …Qua đó ta có thể thấy SVD có tầm ảnh hưởng rất quan trọng đối với các ngành kĩ thuật, đặc biệt là trong thời đại khoa học

kĩ thuật và công nghệ phát trển mạnh mẽ này

***TÀI LIỆU THAM KHẢO:

[1] Giáo trình đại số tuyến tính 2020 - Đặng Văn Vinh

[2] https://machinelearningcoban.com

[3] https://viblo.asia/p/handbook-singular-values-decompocition-va-mot-so-ung-dung-yMnKOoml7P

[4]

https://www.kaggle.com/code/phamdinhkhanh/singular-value-decomposition/notebook

[5] https://www.researchgate.net/publication/333199772_Singular_

Value_Decomposition_in_image_noise_filtering

[6] https://scholarworks.gsu.edu

[7] https://text.123docz.net/document/3470646-khai-trien-svd-va-ung-dung-trong-phan-tich-anh.html

10

Downloaded by vu ga (vuchinhhp2@gmail.com)

Trang 11

Downloaded by vu ga (vuchinhhp2@gmail.com)

Ngày đăng: 22/06/2023, 20:50

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

🧩 Sản phẩm bạn có thể quan tâm

w