Mở Rộng Hàm Lồi và Ứng Dụng: Luận Văn Thạc Sĩ Toán Học (ĐH Đà Nẵng)
Khám phá mở rộng hàm lối & ứng dụng trong toán học! Bài viết 1 trình bày chi tiết các khái niệm, ví dụ minh họa dễ hiểu, giúp bạn nắm vững kiến thức.
Trường đại học
Trường Đại học Sư phạm, Đại học Đà NẵngChuyên ngành
Phương pháp toán sơ cấpNgười đăng
Ẩn danhThể loại
Luận văn thạc sĩPhí lưu trữ
35 PointMục lục chi tiết
Tóm tắt
I. Khám Phá Hàm Lồi và Ứng Dụng Tầm Quan Trọng Trong Nghiên Cứu
Lý thuyết về hàm lồi và tập lồi giữ vị trí nền tảng trong nhiều lĩnh vực toán học hiện đại, bao gồm giải tích lồi, giải tích hàm, hình học, toán kinh tế và đặc biệt là tối ưu hóa. Sự hiện diện của hàm lồi không chỉ giới hạn trong lý thuyết mà còn lan tỏa mạnh mẽ vào các ứng dụng thực tiễn, cung cấp khung phân tích mạnh mẽ cho việc giải quyết các bài toán phức tạp. Từ việc chứng minh các bất đẳng thức kinh điển trong chương trình bồi dưỡng học sinh giỏi toán phổ thông đến việc xây dựng các mô hình toán học tiên tiến trong khoa học kỹ thuật, khái niệm hàm lồi đã chứng minh giá trị không thể thay thế. Ngày nay, nghiên cứu khoa học về hàm lồi không ngừng phát triển, vượt ra ngoài các định nghĩa cơ bản để khám phá những mở rộng của hàm lồi, nhằm đạt được những kết quả sâu sắc hơn và mở rộng phạm vi ứng dụng thực tiễn. Luận văn "Một số mở rộng của hàm lồi và ứng dụng" của Võ Thị Ánh Ly (2021) là một minh chứng rõ ràng cho xu hướng này, hệ thống hóa các tính chất hàm lồi và khám phá các phiên bản mở rộng cùng các tác động ứng dụng của chúng. Mục tiêu chính là cung cấp cái nhìn toàn diện về vai trò của hàm lồi và khả năng mở rộng & nghiên cứu của nó trong việc giải quyết các vấn đề đa dạng, từ đó nâng cao chất lượng dạy và học trong toán học. Điều này đặt nền móng cho việc hiểu rõ hơn về lý thuyết tối ưu và các giải thuật tối ưu hiện đại.
1.1. Hiểu Rõ Khái Niệm Hàm Lồi Nền Tảng của Tối Ưu Hóa Lồi
Để nắm bắt được tối ưu hóa lồi và các ứng dụng thực tiễn của nó, việc hiểu sâu sắc về khái niệm hàm lồi là điều cần thiết. Một hàm số được gọi là hàm lồi nếu "epi f" (epi đồ thị của f) là một tập lồi trong không gian X × R (Võ Thị Ánh Ly, 2021). Định nghĩa này liên kết chặt chẽ với tập lồi, một tập hợp mà với bất kỳ hai điểm nào thuộc tập, đoạn thẳng nối hai điểm đó cũng nằm hoàn toàn trong tập. Tính chất này đảm bảo rằng mọi cực tiểu cục bộ của một hàm lồi cũng là cực tiểu toàn cục, một điều kiện cực kỳ thuận lợi trong lý thuyết tối ưu. Các tính chất hàm lồi bao gồm sự liên tục, khả vi và các phép toán bảo toàn tính lồi như tổng của các hàm lồi hoặc hợp của hàm lồi với hàm lồi không giảm. Ví dụ, hàm chỉ của một tập lồi cũng là hàm lồi. Việc nhận diện và vận dụng các tính chất hàm lồi giúp đơn giản hóa đáng kể quá trình phân tích và tìm kiếm lời giải cho các bài toán tối ưu hóa lồi phức tạp, từ đó mở đường cho các giải thuật tối ưu hiệu quả.
1.2. Tại Sao Hàm Lồi Lại Quan Trọng Với Các Giải Thuật Tối Ưu
Hàm lồi đóng vai trò cực kỳ quan trọng trong sự phát triển của giải thuật tối ưu và lý thuyết tối ưu vì những đặc tính toán học "thân thiện" của nó. Điểm cốt lõi là bất kỳ cực tiểu cục bộ nào của một hàm lồi trên một tập lồi đều là cực tiểu toàn cục. Điều này loại bỏ vấn đề về "mắc kẹt" tại các cực tiểu cục bộ, một thách thức lớn trong tối ưu hóa phi lồi. Các giải thuật tối ưu như gradient descent (giảm độ dốc) hay subgradient (dưới đạo hàm) được đảm bảo hội tụ về nghiệm tối ưu toàn cục khi áp dụng cho hàm lồi. Ngoài ra, tính chất hàm lồi cho phép áp dụng các công cụ mạnh mẽ như bất đẳng thức Jensen, đạo hàm bậc hai và ma trận Hessian để xác định tính lồi và điều kiện tối ưu. Sự đơn giản hóa này giúp các nhà nghiên cứu và kỹ sư phát triển các phương pháp số hiệu quả, đáng tin cậy cho một loạt các ứng dụng thực tiễn từ Machine Learning đến tài chính định lượng, khẳng định vị thế không thể thiếu của hàm lồi trong nghiên cứu khoa học và kỹ thuật hiện đại.
II. Phương Pháp Phân Tích Hàm Lồi Bí Quyết Giải Quyết Vấn Đề Tối Ưu Hóa
Phân tích lồi cung cấp một khung lý thuyết và công cụ mạnh mẽ để nghiên cứu khoa học về hàm lồi và các biến thể của chúng. Việc nắm vững các khái niệm hàm lồi cơ bản, các tính chất hàm lồi và cách áp dụng chúng là chìa khóa để giải quyết các bài toán tối ưu hóa lồi hiệu quả. Một trong những công cụ toán học mạnh mẽ nhất để nhận diện và chứng minh tính lồi của hàm số là đạo hàm bậc hai. Đối với hàm một biến, nếu đạo hàm bậc hai không âm trên một khoảng, hàm đó là lồi. Với hàm đa biến, ma trận Hessian đóng vai trò tương tự: nếu ma trận Hessian là nửa xác định dương, hàm đó là lồi. Bên cạnh đó, bất đẳng thức Jensen là một định lý lồi cổ điển nhưng vô cùng linh hoạt, cho phép chứng minh nhiều bất đẳng thức kinh điển và các kết quả quan trọng trong xác suất thống kê. Các phương pháp số dựa trên phân tích lồi đã mở ra những cánh cửa mới cho việc giải quyết các bài toán có quy mô lớn trong ứng dụng thực tiễn, từ đó thúc đẩy sự phát triển của lý thuyết tối ưu và các giải thuật tối ưu hiện đại. Việc hiểu rõ các điều kiện tối ưu KKT (Karush-Kuhn-Tucker) cũng rất quan trọng, đặc biệt khi giải quyết các bài toán tối ưu hóa lồi có ràng buộc, cung cấp các điều kiện cần và đủ cho nghiệm tối ưu.
2.1. Xác Định Tính Lồi Vai Trò của Đạo Hàm Bậc Hai và Ma Trận Hessian
Việc xác định một hàm có phải là hàm lồi hay không là bước đầu tiên và quan trọng nhất trong nhiều bài toán tối ưu hóa lồi. Đối với hàm một biến, một hàm khả vi hai lần được coi là hàm lồi trên một khoảng nếu đạo hàm bậc hai của nó không âm trên khoảng đó. Điều này cung cấp một kiểm tra trực quan và dễ dàng để xác định tính chất hàm lồi. Khi mở rộng sang hàm nhiều biến, khái niệm này được tổng quát hóa thông qua ma trận Hessian. Ma trận Hessian là ma trận các đạo hàm riêng cấp hai của hàm số. Một hàm khả vi hai lần trên một tập lồi là hàm lồi nếu và chỉ nếu ma trận Hessian của nó là nửa xác định dương tại mọi điểm trong tập đó. Khả năng kiểm tra tính xác định dương của ma trận Hessian cung cấp một công cụ mạnh mẽ cho phân tích lồi trong không gian đa chiều, giúp các nhà nghiên cứu khoa học và kỹ sư nhanh chóng nhận diện các hàm lồi phù hợp cho các mô hình toán học và giải thuật tối ưu của họ.
2.2. Áp Dụng Bất Đẳng Thức Jensen Giải Mã Các Bài Toán Tối Ưu Cơ Bản
Bất đẳng thức Jensen là một trong những định lý lồi cơ bản và mạnh mẽ nhất, thể hiện sâu sắc tính chất hàm lồi. Định lý này khẳng định rằng đối với một hàm lồi f và một tổ hợp lồi của các điểm (hoặc giá trị kỳ vọng của một biến ngẫu nhiên), giá trị của hàm tại tổ hợp lồi đó sẽ nhỏ hơn hoặc bằng tổ hợp lồi của các giá trị hàm tại các điểm. Cụ thể, nếu f là hàm lồi, thì f(Σtᵢxᵢ) ≤ Σtᵢf(xᵢ) với tᵢ ≥ 0 và Σtᵢ = 1. Đây là công cụ đắc lực để chứng minh nhiều bất đẳng thức kinh điển trong đại số, hình học và giải tích, như bất đẳng thức Cauchy, Holder, Minkowski, Young, Petrovica và Vasic (Võ Thị Ánh Ly, 2021). Khả năng áp dụng rộng rãi của bất đẳng thức Jensen làm cho nó trở thành một phần không thể thiếu trong phân tích lồi và là một kỹ thuật then chốt trong việc giải quyết các bài toán tối ưu hóa lồi, cung cấp những ước lượng chặt chẽ và chứng minh sự hội tụ của các giải thuật tối ưu.
III. Mở Rộng Hàm Lồi và Ứng Dụng Cách Tiếp Cận Các Bài Toán Phức Tạp
Trong bối cảnh nghiên cứu khoa học hiện đại, việc mở rộng khái niệm hàm lồi truyền thống đã trở thành một hướng đi quan trọng để giải quyết những hạn chế của chúng trong các ứng dụng thực tiễn phức tạp. Mặc dù hàm lồi cổ điển có nhiều đặc tính tốt cho tối ưu hóa lồi, nhưng không phải mọi bài toán mô hình toán học đều thỏa mãn điều kiện lồi nghiêm ngặt. Do đó, các nhà toán học đã phát triển nhiều mở rộng của hàm lồi như hàm tựa lồi, hàm lồi mạnh, hàm quasi-lồi, hàm log-lồi, hàm s-lồi, hàm h-lồi và hàm GA-lồi (Võ Thị Ánh Ly, 2021). Mỗi dạng mở rộng này mang những tính chất hàm lồi riêng, cho phép nó được áp dụng trong các tình huống mà hàm lồi thông thường không thể. Ví dụ, hàm tựa lồi vẫn đảm bảo rằng các tập mức dưới của nó là tập lồi, giúp tìm cực tiểu một cách hiệu quả ngay cả khi hàm không lồi. Hàm lồi mạnh cung cấp một giới hạn dưới chặt chẽ hơn cho tính lồi, cải thiện tốc độ hội tụ của các giải thuật tối ưu như gradient descent. Việc nghiên cứu và ứng dụng các mở rộng của hàm lồi không chỉ làm phong phú lý thuyết tối ưu mà còn mở ra những khả năng mới cho việc xây dựng các mô hình toán học chính xác hơn và các giải thuật tối ưu linh hoạt hơn cho các bài toán tối ưu hóa phi lồi hoặc gần lồi trong nhiều lĩnh vực, từ Machine Learning đến kinh tế lượng.
3.1. Phân Tích Các Dạng Mở Rộng Hàm Tựa Lồi và Hàm Lồi Mạnh
Các mở rộng của hàm lồi cung cấp những công cụ linh hoạt để giải quyết các bài toán tối ưu hóa đa dạng. Hàm tựa lồi (quasiconvex function) là một trong những mở rộng quan trọng. Một hàm f là tựa lồi nếu tất cả các tập mức dưới C(f; α) = {x | f(x) ≤ α} của nó là tập lồi. Điều này vẫn đảm bảo rằng mọi cực tiểu cục bộ trên một tập lồi cũng là cực tiểu toàn cục, một tính chất hàm lồi quý giá, ngay cả khi hàm không thỏa mãn định nghĩa lồi truyền thống. Luận văn của Võ Thị Ánh Ly (2021) cũng trình bày các tính chất hàm tựa lồi như điều kiện liên quan đến dưới đạo hàm khi hàm không khả vi. Một dạng mở rộng khác là hàm lồi mạnh (strongly convex function). Hàm lồi mạnh yêu cầu một điều kiện chặt chẽ hơn so với hàm lồi thông thường: f(tx + (1-t)y) ≤ tf(x) + (1-t)f(y) - ct(1-t)(x-y)² với một môđun c > 0. Điều kiện này đảm bảo rằng hàm có một "độ cong" tối thiểu, dẫn đến tính hội tụ nhanh hơn của các giải thuật tối ưu như gradient descent và subgradient, và mang lại những lợi ích đáng kể trong việc tìm kiếm cực tiểu toàn cục hiệu quả hơn. Các tính chất hàm lồi mạnh cũng cho phép áp dụng các phiên bản ngược của bất đẳng thức Jensen để đưa ra các ước lượng chặt chẽ hơn trong phân tích lồi.
3.2. Giải Thuật Tối Ưu Hóa Cải Tiến Với Tính Chất Hàm Lồi Mở Rộng
Việc tích hợp tính chất hàm lồi mở rộng vào các giải thuật tối ưu đã mang lại những cải tiến đáng kể, đặc biệt trong việc xử lý các bài toán có độ phức tạp cao hoặc tối ưu hóa phi lồi. Các hàm tựa lồi, mặc dù không chặt chẽ như hàm lồi nhưng vẫn cho phép sử dụng các phương pháp số để tìm cực tiểu toàn cục hiệu quả, vì các tập mức của chúng là tập lồi. Điều này hữu ích trong các lĩnh vực như kinh tế lượng và lý thuyết quyết định. Đối với hàm lồi mạnh, các giải thuật tối ưu như gradient descent và subgradient được hưởng lợi từ tốc độ hội tụ nhanh hơn và khả năng chống chịu tốt hơn với nhiễu. Tính chất lồi mạnh đảm bảo rằng hàm mục tiêu có một độ cong nhất định, giúp các thuật toán "tìm đường" đến nghiệm tối ưu một cách hiệu quả hơn. Các điều kiện tối ưu KKT cũng được áp dụng và mở rộng cho các hàm này, cung cấp các tiêu chí chính xác để xác định điểm tối ưu có ràng buộc. Ngoài ra, việc nghiên cứu về dual Lagrange (đối ngẫu Lagrange) cho các bài toán với hàm lồi mở rộng cũng góp phần phát triển các phương pháp số mới, cho phép giải quyết các bài toán phức tạp bằng cách chuyển chúng sang không gian đối ngẫu với những tính chất hàm lồi thuận lợi hơn.
IV. Ứng Dụng Thực Tiễn Hàm Lồi Cơ Hội Vàng Trong Machine Learning Kỹ Thuật
Phạm vi ứng dụng thực tiễn của hàm lồi và các mở rộng của hàm lồi là vô cùng rộng lớn, trải dài từ Machine Learning đến kỹ thuật, kinh tế và tài chính. Trong Machine Learning và trí tuệ nhân tạo, nhiều mô hình toán học cơ bản như hồi quy tuyến tính, SVM (Support Vector Machine) và một số mạng nơ-ron được xây dựng dựa trên các hàm mất mát (loss functions) có tính chất hàm lồi. Điều này đảm bảo rằng quá trình huấn luyện có thể tìm thấy cực tiểu toàn cục thông qua các giải thuật tối ưu như gradient descent, giúp các mô hình hoạt động hiệu quả và ổn định. Ngoài ra, hàm lồi còn có ứng dụng thực tiễn quan trọng trong xử lý tín hiệu và xử lý ảnh, nơi các bài toán khôi phục tín hiệu, nén dữ liệu hoặc lọc nhiễu thường được xây dựng dưới dạng các bài toán tối ưu hóa lồi. Trong kinh tế và tài chính, hàm lồi được sử dụng để mô hình toán học hóa các vấn đề về tối ưu danh mục đầu tư, quản lý rủi ro và lý thuyết trò chơi. Việc mở rộng & nghiên cứu các dạng hàm lồi như hàm s-lồi hay hàm GA-lồi đã mang lại những đột phá mới, cho phép giải quyết các bài toán phức tạp hơn, phù hợp với dữ liệu và điều kiện thực tế không hoàn hảo. Như Võ Thị Ánh Ly (2021) đã nêu, nghiên cứu khoa học về các mở rộng của hàm lồi có thể cung cấp tài liệu tham khảo bổ ích, góp phần nâng cao chất lượng dạy và học về phần mở rộng của hàm lồi và các ứng dụng thực tiễn của chúng, khẳng định vị thế của phân tích lồi trong giải quyết các thách thức hiện đại.
4.1. Tối Ưu Hóa Lồi Trong Machine Learning Nền Tảng của Học Máy Hiện Đại
Trong lĩnh vực Machine Learning, tối ưu hóa lồi là một nền tảng không thể thiếu. Rất nhiều thuật toán học máy, từ hồi quy logistic, máy véc-tơ hỗ trợ (SVM) đến LASSO, dựa trên việc tối thiểu hóa các hàm mục tiêu có tính chất hàm lồi. Ví dụ, hàm mất mát bình phương (squared error) trong hồi quy tuyến tính hay hàm mất mát bản lề (hinge loss) trong SVM đều là các hàm lồi. Tính lồi này đảm bảo rằng các giải thuật tối ưu như gradient descent sẽ hội tụ về nghiệm tối ưu toàn cục, tránh được các cực tiểu cục bộ. Điều này cực kỳ quan trọng đối với khả năng học và khái quát hóa của mô hình toán học. Ngay cả trong mô hình toán học mạng nơ-ron sâu, mặc dù hàm mục tiêu tổng thể là tối ưu hóa phi lồi, việc phân tích các thành phần lồi hoặc xấp xỉ lồi vẫn cung cấp những hiểu biết sâu sắc và phương pháp giải quyết hữu ích. Sự kết hợp giữa hàm lồi và các phương pháp số đã tạo ra những đột phá trong việc xây dựng các hệ thống trí tuệ nhân tạo hiệu quả và đáng tin cậy.
4.2. Khám Phá Ứng Dụng Mở Rộng Giải Quyết Các Bài Toán Đặc Thù
Các mở rộng của hàm lồi như hàm tựa lồi và hàm lồi mạnh đã mở rộng đáng kể phạm vi ứng dụng thực tiễn của lý thuyết tối ưu vào các bài toán đặc thù mà hàm lồi truyền thống không thể xử lý. Hàm tựa lồi hữu ích trong các vấn đề kinh tế học liên quan đến hàm lợi ích hoặc hàm chi phí mà không nhất thiết phải là lồi nhưng vẫn giữ được tính chất quan trọng là tập mức là tập lồi. Ví dụ, trong tối ưu hóa các hệ thống điều khiển, việc sử dụng các hàm lồi mạnh có thể dẫn đến các thuật toán điều khiển mạnh mẽ hơn với khả năng hội tụ nhanh và ổn định cao hơn. Trong xử lý tín hiệu và xử lý ảnh, các mở rộng của hàm lồi có thể được dùng để xây dựng các bộ lọc và thuật toán khôi phục hiệu quả hơn, đặc biệt khi dữ liệu có nhiễu hoặc có những đặc điểm phi tuyến tính phức tạp. Các hàm s-lồi, hàm GA-lồi hay hàm lồi hình học cũng đang được nghiên cứu khoa học để áp dụng vào các lĩnh vực mới như tối ưu hóa trong hóa học hoặc sinh học, nơi các mô hình toán học thường thể hiện những tính chất hàm lồi không chuẩn. Điều này chứng tỏ sự linh hoạt và tiềm năng to lớn của các mở rộng của hàm lồi trong việc giải quyết các thách thức đổi mới.
V. Tương Lai của Hàm Lồi Hướng Nghiên Cứu và Tiềm Năng Phát Triển
Việc mở rộng & nghiên cứu về hàm lồi không chỉ dừng lại ở các khái niệm hàm lồi truyền thống mà còn liên tục khám phá những chân trời mới. Lý thuyết tối ưu liên tục được làm giàu bởi những phát hiện mới về tính chất hàm lồi và các mở rộng của hàm lồi. Các hướng nghiên cứu khoa học trong tương lai sẽ tập trung vào việc phát triển các lý thuyết và giải thuật tối ưu cho những dạng hàm lồi phức tạp hơn như hàm m-lồi, hàm (s, m)-lồi, hay hàm lồi ngẫu nhiên, như đã được đề cập trong luận văn của Võ Thị Ánh Ly (2021). Những mở rộng này sẽ cho phép xây dựng các mô hình toán học chính xác hơn, phù hợp hơn với sự không chắc chắn và tính ngẫu nhiên của dữ liệu trong ứng dụng thực tiễn. Hơn nữa, việc tích hợp phân tích lồi với các lĩnh vực mới nổi như học sâu (deep learning) và học tăng cường (reinforcement learning) đang tạo ra những thách thức và cơ hội mới. Mặc dù các mô hình này thường là tối ưu hóa phi lồi, việc hiểu và khai thác các khía cạnh lồi hoặc xấp xỉ lồi của chúng có thể dẫn đến các phương pháp số hiệu quả hơn để đạt được cực tiểu toàn cục hoặc gần cực tiểu toàn cục. Cuối cùng, sự phát triển của các phần mềm và thư viện hỗ trợ tối ưu lồi như CVX, CVXPY, Gurobi, MOSEK sẽ tiếp tục đẩy nhanh quá trình nghiên cứu khoa học và ứng dụng, biến các lý thuyết phức tạp thành các giải pháp kỹ thuật có thể triển khai được.
5.1. Tóm Lược Giá Trị Cốt Lõi Hàm Lồi và Những Đóng Góp Vượt Trội
Hàm lồi và các mở rộng của hàm lồi đã chứng tỏ giá trị cốt lõi và không thể thay thế trong một loạt các lĩnh vực nghiên cứu khoa học và ứng dụng thực tiễn. Từ việc cung cấp nền tảng vững chắc cho lý thuyết tối ưu, đến việc là xương sống của các giải thuật tối ưu hiệu quả trong Machine Learning và xử lý tín hiệu, hàm lồi đã đơn giản hóa đáng kể quá trình giải quyết các bài toán phức tạp. Các tính chất hàm lồi như việc cực tiểu cục bộ cũng là cực tiểu toàn cục, hay khả năng áp dụng bất đẳng thức Jensen, đã biến những thách thức toán học thành những cơ hội để phát triển các mô hình toán học mạnh mẽ và đáng tin cậy. Dù là hàm lồi cổ điển hay các phiên bản mở rộng như hàm tựa lồi và hàm lồi mạnh, tầm quan trọng của chúng trong việc định hình các giải pháp hiện đại là không thể phủ nhận. Chúng đã tạo ra một hệ thống kiến thức logic và phong phú, hỗ trợ rất nhiều cho giáo viên và học viên trong việc tiếp cận các vấn đề toán học chuyên sâu.
5.2. Các Hướng Nghiên Cứu Mới Mở Rộng Lý Thuyết và Khai Phá Tiềm Năng
Tương lai của hàm lồi hứa hẹn nhiều nghiên cứu khoa học đột phá, đặc biệt trong việc mở rộng lý thuyết tối ưu để giải quyết các bài toán ngày càng phức tạp. Một trong những hướng chính là khám phá sâu hơn các dạng mở rộng của hàm lồi như hàm m-lồi, hàm (s, m)-lồi, hàm lồi ngẫu nhiên, và hàm lồi hình học. Các nhà nghiên cứu đang tìm cách phát triển các điều kiện tối ưu KKT và dual Lagrange mới cho các hàm này, cũng như xây dựng các giải thuật tối ưu và phương pháp số phù hợp để xử lý chúng. Ví dụ, hàm lồi ngẫu nhiên có tiềm năng lớn trong việc mô hình toán học hóa và tối ưu hóa các hệ thống có yếu tố bất định, điển hình trong tài chính hoặc quản lý chuỗi cung ứng. Hơn nữa, việc tìm kiếm cách "lồi hóa" (convexification) các bài toán tối ưu hóa phi lồi phức tạp, thông qua các kỹ thuật xấp xỉ lồi hoặc thư giãn lồi, vẫn là một lĩnh vực nghiên cứu khoa học sôi động. Mục tiêu cuối cùng là không ngừng mở rộng ranh giới của tối ưu hóa lồi để giải quyết những thách thức lớn nhất của thời đại, từ Machine Learning đến khoa học vật liệu và kỹ thuật y sinh.