Phương pháp chứng minh tính đúng của thuật toán

Tóm tắt Luận án Tiến sĩ Kỹ thuật điện tử: "Nghiên cứu giải pháp nâng cao chất lượng phân loại tín hiệu thủy âm tại vùng biển nước nông ứng dụng trí tuệ nhân tạo" được nghiên cứu với mục tiêu: Đề xuất thuật toán, xây dựng mô hình toán học, chứng minh tính hiệu quả của phương pháp tiền xử lý tín hiệu trong trích chọn đặc trưng dữ liệu. Bên cạnh đó, xây dựng cấu trúc mô hình mạng trí tuệ nhân tạo nâng cao khả năng học từ cấu trúc dữ liệu. Đánh giá, so sánh hiệu quả với các kết quả trên cùng tập dữ liệu.

27p vilazada 02-02-2024 13 4   Download

Bài viết "Thiết kế bộ điều khiển trượt thích nghi cho robot song song 4 DOF" đề xuất hai thuật toán điều khiển SMC (Sliding Mode Control) và SMCNN (Sliding Mode Control Neural Network) cho robot song song 4DOF. Chất lượng của hệ thống được sử dụng lý thuyết lyapunop để chứng minh tính ổn định. Kết quả mô phỏng của hai thuật toán điều khiển với các thành phần bất định khác nhau được so sánh với nhau cho thấy sự hiệu quả của phương pháp điều khiển mới ứng dụng cho robot song song 4DOF.

5p phocuuvan0201 02-02-2024 13 6   Download

Mục tiêu nghiên cứu của luận án "Nghiên cứu nâng cao chất lượng điều khiển cho nghịch lưu ba mức hình T trong chế độ nối lưới và độc lập" là đề xuất áp dụng phương pháp điều chế cải tiến nhằm có thể vừa cân bằng được điện áp điểm trung tính DC, vừa giảm điện áp common-mode. Nghiên cứu khả năng áp dụng một số phương pháp điều khiển như điều khiển PI, điều khiển chế độ trượt…cho mạch vòng điều khiển của bộ biến đổi. Kiểm chứng các phương pháp điều chế, thuật toán chuyển mạch và phương pháp điều khiển thông qua những minh chứng bằng mô phỏng và thực nghiệm.

150p kimphuong1135 18-10-2023 20 9   Download

Mục tiêu nghiên cứu của luận án "Nghiên cứu nâng cao chất lượng điều khiển cho nghịch lưu ba mức hình T trong chế độ nối lưới và độc lập" là đề xuất áp dụng phương pháp điều chế cải tiến nhằm có thể vừa cân bằng được điện áp điểm trung tính DC, vừa giảm điện áp common-mode. Nghiên cứu khả năng áp dụng một số phương pháp điều khiển như điều khiển PI, điều khiển chế độ trượt…cho mạch vòng điều khiển của bộ biến đổi. Kiểm chứng các phương pháp điều chế, thuật toán chuyển mạch và phương pháp điều khiển thông qua những minh chứng bằng mô phỏng và thực nghiệm.

29p kimphuong1135 18-10-2023 20 7   Download

Tình hình sử dụng kháng sinh trong chăn nuôi gia cầm ngày càng trở nên phổ biến với các mục đích kích thích tăng trưởng, phòng bệnh và trị bệnh, điều đó làm tăng sự đề kháng kháng sinh và tồn dư kháng sinh trong thực phẩm gây ảnh hưởng đến sức khỏe con người. Sodium butyrate là một giải pháp thay thế kháng sinh an toàn và hiệu quả đã được chứng minh qua nhiều nghiên cứu.

6p viintuit 06-09-2023 8 2   Download

Bài báo này đề xuất một giải pháp điều hướng cho robot di động dựa trên thuật toán Q-Learning và phương pháp tránh vật cản tự động. Bên cạnh đó, mối quan hệ và đặc điểm giữa các hành vi của robot và điều kiện môi trường cũng được phân tích. Kết quả của mô phỏng trên nền tảng Gazebo được so sánh với kết quả khi ứng dụng thuật toán SARSA để chứng minh tính hiệu quả của phương pháp đề xuất.

6p phuong3676 03-07-2023 15 7   Download

Bài viết Mô phỏng số khung thép không gian chịu lửa đều tập trung vào nghiên cứu ảnh hưởng của khung thép chịu lửa đều. Kết quả thu được đã chứng minh rằng phương pháp đề xuất là chính xác và cải thiện đáng kể hiệu suất tính toán. Do đó, nó sẽ cung cấp một công cụ mới cho thực hành thiết kế kết cấu khung thép chịu lửa đều.

17p viironman 02-06-2023 17 4   Download

Bài viết "Một phương pháp tra cứu ảnh hiệu quả kết hợp đặc trưng mức thấp và đặc trưng học sâu nhúng với đánh hạng đa tạp" đề xuất sử dụng đặc trưng kết hợp các đặc trưng mức thấp và DFE để tận dụng cả các đặc điểm của đặc trưng mức thấp và DFE. Các thử nghiệm đã được tiến hành đã chứng minh tính hiệu quả của các đặc trưng được đề xuất khi làm tăng đáng kể kết quả đánh hạng của EMR. Mời các bạn cùng tham khảo!

7p lieuyeuyeu18 23-12-2022 8 3   Download

Bài viết "Đề xuất cải tiến lược đồ độ đo trong lý thuyết tập thô" nhằm cải tiến một số độ đo nhằm nâng cao hiệu năng trong lý thuyết tập thô cho bảng quyết định không đầy đủ và chứng minh tính đúng đắn của các độ đo đề xuất. Mời các bạn cùng tham khảo!

2p lieuyeuyeu18 23-12-2022 23 4   Download

Giáo trình Thống kê sinh học được biên soạn với mục tiêu nhằm giúp sinh viên nắm vững được các phương pháp, thuật toán trong việc tổng hợp, phân tích và luận giải những dữ kiện. Áp dụng được các thuật toán để chứng minh tính đúng đắn của các dữ kiện, các biến cố. Xử lý được các số liệu sinh học thu thập qua các thí nghiệm, nghiên cứu khoa học bằng phương pháp thông kê. Mời các bạn cùng tham khảo!

99p namkimcham25 03-10-2022 24 9   Download

Đề tài "Giải thuật cho bài toán tối ưu không trơn trong chỉnh hóa và ứng dụng" trình bày các khái niệm, định lý cơ bản về giải tích hàm và giải tích lồi; một số tính chất của hàm phạt có tính chất thưa, toán tử co rút mềm sẽ sử dụng trong luận văn; giải thuật kiểu Gradient và giải thuật cải tiến của Beck. Luận văn tập trung vào chứng minh các tính chất hội tụ của các phương pháp này trong không gian Hilbert và cách chọn kích thước bước của mỗi giải thuật.

53p unforgottennight02 20-08-2022 18 4   Download

Bài viết có nội dung khảo sát phương pháp xử lý số liệu đo hướng chuẩn. Trên cơ sở phân tích đặc điểm đồ hình của phép đo hướng chuẩn đã xây dựng thuật toán chặt chẽ để bình sai các trị đo hướng chuẩn theo đúng nguyên lý số bình phương nhỏ nhất. Tính đúng đắn của hệ thống công thức và quy trình tính toán số liệu hướng chuẩn đã được minh chứng thông qua các thực nghiệm với số liệu đo đạc thực tế.

3p viirenerosenfeld 26-05-2022 32 2   Download

Bài viết đề xuất một phương pháp xác thực đa yếu tố khai thác khả năng nhận diện khuôn mặt và đặc điểm vật lý của thiết bị của người dùng để tăng cường bảo mật cho các hệ thống nhà thông minh. Hơn nữa, kết hợp với kỹ thuật thùy vân ảnh, phương pháp được đề xuất có tính khả thi và phù hợp với môi trường thiết bị có cấu hình phần cứng thấp, môi trường có các kết nối mở. Cuối cùng, chúng tôi tiến hành các thử nghiệm để đánh giá thời gian chạy của các thuật toán.

6p vistephenhawking 26-04-2022 31 6   Download

Mục đích của luận văn là giới thiệu thuật toán tính cơ sở Groebner cho các Iđêan đa thức, để trình bày một số ứng dụng các lý thuyết cơ sở Groebner trong tính toán hình thức bằng máy tính là đại số giao hoán và Hình học đại số. Hiện nay, có nhiều phần mềm xử lý toán học như Maple, Macaulay, CoCoA ... để phục vụ cho việc tính toán.

60p badbuddy09 05-04-2022 23 4   Download

Bài viết đề xuất một phương pháp mã hóa khóa công khai có thể chối từ đồng thời hai bên dựa trên việc cải tiến phương pháp hóa khóa công khai có thể chối từ bên nhận sử dụng thuật toán Elgamal đã được đề xuất trong bằng cách sử dụng một biến thể của thuật toán mã hóa ElGamal được đề xuất trong, phương pháp đề xuất có khả năng chối từ đồng thời cả hai bên và được chứng minh đầy đủ tính chất đúng đắn, an toàn và chối từ của một giao thức mã hóa có thể chối từ.

4p visergeybrin 25-11-2021 43 6   Download

Mục tiêu nghiên cứu của sáng kiến kinh nghiệm là cung cấp lí thuyết về số phức: Khái niệm số phức, phần thực, phần ảo của số phức, hai số phức bằng nhau, số phức liên hợp, biểu diễn hình học của số phức và môđun của số phức, các phép toán cộng, trừ, nhân, chia trên tập số phức, căn bặc hai của số thực âm, căn bậc hai của số phức, giải phương trình bậc hai với hệ số thực, hệ số phức trên tập hợp số phức. Chia thành nhiều dạng bài tập, có những bài tập nâng cao. Ứng với mỗi dạng bài tập, chúng tôi hướng dẫn học sinh phương pháp giải, bài tập minh họa và cho bài tập tự luyện.

39p chubongungoc 23-09-2021 34 3   Download

Mục tiêu của luận án nhằm đề xuất mô hình biểu diễn môi trường theo hướng tiếp cận lai ngữ nghĩa; nâng cao độ chính xác của giải thuật xây dựng bản đồ và định vị sử dụng hình ảnh; đề xuất phương pháp phát hiện một số vật cản phù hợp với ngữ cảnh của bài toán robot dẫn đường; chứng minh bằng thực nghiệm tính khả thi của giải pháp đề xuất thông qua việc phát triển ứng dụng trợ giúp định hướng người khiếm thị sử dụng robot.

212p army 22-09-2021 21 6   Download

Mục tiêu nghiên cứu của đề tài là phân tích lý thuyết tính toán thanh thành mỏng chịu uốn theo quy phạm AS/NZS 4600-2005 để đưa ra phương pháp tìm tiết diện hợp lý. Thực hiện một số ví dụ tính toán để chứng minh, làm rõ cách xác định tiết diện hợp lý thanh thành mỏng chịu uốn theo quy phạm AS/NZS 4600-2005. Trên cơ sở phân tích những kết quả có được trong quá trình tính toán, đưa ra những nhận xét và khuyến nghị khi chọn tiết diện thanh thành mỏng chịu uốn.

26p tabicani 24-09-2021 14 3   Download

Bài viết này giới thiệu và áp dụng thuật toán Rao để tối ưu hóa kết cấu khung thép phi tuyến, vốn được coi là một bài toán tối ưu mang tính thực tế và phi tuyến cao, do các ứng xử phi tuyến hình học và vật liệu của kết cấu, tính không liên tục của biến thiết kế. Để chứng minh hiệu quả của phương pháp đề xuất, một khung thép không gian hai tầng được nghiên cứu. Mời các bạn cùng tham khảo!

5p despicableme36 12-09-2021 36 1   Download

Bài viết đề xuất và chứng minh sự hội tụ của thuật toán xấp xỉ liên kết quán tính đề giải bài toán cực tiểu lồi, một bài toán thường áp dụng trong xử lý phục chế ảnh. Đây là một phương pháp mới để giải quyết bài toán này. So với các thuật toán khác, thuật toán này không cần thực hiện phép chiếu, mà chỉ sử dụng các bước lặp tính toán.

8p vinayeon2711 09-08-2021 37 2   Download