Các bài toán thỏa rằng buộc

Trong bài báo này, tác giả trình bày phương pháp mô hình hóa bài toán đường đi ngắn nhất có ràng buộc dựa trên mô hình qui hoạch tuyến tính. Theo đó, việc thêm ràng buộc cho bài toán sẽ đơn giản và linh hoạt có thể đáp ứng việc tìm đường đi ngắn nhất thỏa các ràng buộc như bắt buộc đi qua một số đỉnh trong đồ thị hoặc bắt buộc không đi qua một số đỉnh trong đồ thị hoặc ràng buộc đường đi ngắn nhất bao gồm/không bao gồm một đường con cho trước.

7p gaupanda051 13-09-2024 5 2   Download

Bài giảng Trí tuệ nhân tạo (Artificial intelligence) - Chương 3.3: Giải quyết vấn đề - Tìm kiếm dựa trên thỏa mãn ràng buộc. Chương này cung cấp cho sinh viên những nội dung gồm: tìm kiếm dựa trên thỏa mãn ràng buộc; ràng buộc; bài toán thỏa mãn ràng buộc; đồ thị các ràng buộc; các kiểu ràng buộc; các bài toán CSP thực tế; tìm kiếm bằng kiểm thử;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

39p codabach1016 03-05-2024 10 6   Download

Bài viết này đề xuất một phương pháp điều khiển tối ưu dựa trên dữ liệu cho trường hợp hệ tuyến tính dừng trong đó mô hình toán của hệ chưa biết và hệ phải thỏa mãn các điều kiện giới hạn của trạng thái và tín hiệu đầu vào với hệ điều khiển. Cụ thể, bài toán được đưa về hệ các bất đẳng thức ma trận (LMI), và hệ này giải được bằng các phương pháp số hiện hành. Phương pháp điều khiển này được minh họa bằng ví dụ mô phỏng thực hiện trên Matlab.

6p vimarissamayer 02-06-2022 25 4   Download

Bài viết đưa ra thuật toán lập lịch cho các yêu cầu với các ràng buộc QoS như chi phí, deadline, ngân sách, khối lượng, tỉ lệ lãi suất phạt, kích cỡ file đầu vào và đầu ra. Sử dụng các máy ảo đã có trên các trung tâm dữ liệu để ánh xạ vào các yêu cầu nhằm mục tiêu làm cho chi phí của hệ thống là nhỏ nhất nhưng vẫn thỏa mãn deadline và ngân sách của các yêu cầu.

10p viplato 05-04-2022 27 2   Download

Trong bài viết này, một cơ chế chia tải được thực hiện luân phiên cho thiết bị hỗ trợ được đề xuất nhằm tối ưu năng lượng tổng thể của các thiết bị trong khi vẫn thỏa mãn các điều kiện ràng buộc về trễ và yêu cầu tính toán. Thuật toán đề xuất được chứng minh bằng phương pháp mô phỏng số cho thấy những ưu điểm nhất định của đề xuất này.

7p vijihyo2711 25-09-2021 37 2   Download

Bài toán tích hợp ontology mờ có thể được chia thành hai giai đoạn: Giai đoạn khớp giữa các ontology và giải quyết mâu thuẫn trong các giá trị mờ. Bài viết này tập trung vào các vấn đề của giai đoạn so khớp, với phương pháp vét cạn và theo kinh nghiệm hiện có. Hướng vét cạn thường xảy ra nhiều lỗi khớp, tuy nhiên hầu hết các cặp so khớp giữa hai ontology đều được phát hiện.

7p vijihyo2711 25-09-2021 17 2   Download

Trong bài báo này phát biểu bài toán khai thác luật tuần tự với ràng buộc Itemset ở vế trái của luật và đề xuất hai thuật toán MSRIC_R và MSRIC_P để giải quyết bài toán này. Trong đó, MSRIC_R thực hiện đưa ràng buộc vào giai đoạn sinh luật từ tập mẫu tìm được, còn MSRIC_P thực hiện ở giai đoạn tìm mẫu trước. Mời các bạn cùng tham khảo!

7p sotritu 18-09-2021 12 1   Download

Bài giảng nhập môn Trí tuệ nhân tạo bao gồm 7 chương với các nội dung: giới thiệu chung về trí tuệ nhân tạo; logic hình thức; không gian trạng thái và các phương pháp tìm kiếm mù; các phương pháp tìm kiếm có sử dụng thông tin; các chiến lược tìm kiếm có đối thủ; các bài toán thỏa rằng buộc; nhập môn học máy.

0p cothumenhmong7 05-09-2020 64 4   Download

Luận án được nghiên cứu với mục tiêu nhằm Đề xuất một thuật toán dưới đạo hàm giải bài toán chấp nhận tách với toán tử chuyển là tựa tuyến tính và chứng minh sự hội tụ của nó. Thuật toán được áp dụng cho mô hình Nash–Cournot có ràng buộc chung, cụ thể là dùng để tính toán thử nghiệm giải mô hình sản xuất điện thỏa mãn tỉ lệ của các loại điện trên nhiều số liệu khác nhau được tạo ngẫu nhiên.

27p soninhduc888 28-05-2020 46 2   Download

Luận án trình bày ứng dụng của các phương pháp thông minh nhân tạo để giải các bài toán phối hợp tối ưu hệ thống thủy nhiệt điện với mục tiêu giảm thiểu chi phí phát điện của các nhà máy nhiệt điện khi không xét đến chi phí phát điện của các nhà máy thủy điện sao cho các ràng buộc cân bằng và bất cân bằng của hệ thống như ràng buộc cân bằng công suất có xét đến tổn hao truyền tải đường dây, các giới hạn công suất phát của nhà máy thủy điện và nhiệt điện và các ràng buộc từ hồ thủy điện như thể tích hồ chứa, lưu lượng xả, thể tích nước cho phép sử dụng phải được thỏa mãn.

208p cotithanh999 05-05-2020 56 5   Download

Luận án trình bày ứng dụng các phương pháp thông minh nhân tạo điều độ tối ưu hệ thống thủy nhiệt điện. Mục tiêu của các bài toán là cực tiểu chi phí phát điện và khí thải tại các nhà máy nhiệt điện sao cho các ràng buộc cân bằng và bất cân bằng của hệ thống như ràng buộc cân bằng công suất có xét đến tổn hao truyền tải đường dây, các giới hạn công suất phát của nhà máy thủy điện và nhiệt điện và các ràng buộc từ hồ thủy điện phải được thỏa mãn.

34p cotithanh999 05-05-2020 48 4   Download

Bài viết giới thiệu một nghiên cứu về tối ưu trọng lượng cho khung thép bao gồm cột đặc liên kết với mái dàn vì kèo. Quá trình tối ưu dựa trên thuật toán tiến hóa vi phân được triển khai bằng ngôn ngữ lập trình VBA với các biến thiết kế là tiết diện của cột thép và các thanh dàn, hàm mục tiêu là trọng lượng của cả khung thép và ràng buộc thiết kế gồm thỏa mãn đồng thời cả trạng thái giới hạn về chịu lực và trạng thái giới hạn về điều kiện sử dụng.

10p vilusaka2711 19-11-2019 59 4   Download

Bài báo này trước hết giới thiệu mô hình cân bằng của bài toán kinh tế bao gồm các nhà sản xuất và các đại lý tiêu thụ, giá của các mặt hàng do nhà sản xuất quy định, đồng thời nhà sản xuất cũng quy định tỉ lệ lợi nhuận chia cho các đại lý. Một cân bằng của bài toán là một gói hàng hoá cùng với hệ thống giá của gói hàng hoá đó sao cho các ràng buộc về cân bằng cung cầu và ràng buộc về ngân sách được thoả mãn.

7p cumeo2005 02-07-2018 26 1   Download

Bài báo sử dụng phương pháp quy hoạch toán học để đưa ra phương án lựa chọn máy, thiết bị thi công công trình. Bài toán này, căn cứ vào các ràng buộc cụ thể như khối lượng đào, san lấp, đầm nén, vận chuyển. . . nhằm đáp ứng đầy đủ khối lượng công việc theo kế hoạch. Ngoài ra, mô hình bài toán còn phải thỏa mãn hàm mục tiêu cho trước là cực tiểu chi phí ca máy và đảm bảo thời gian thi công là ngắn nhất.

8p advanger 04-05-2018 75 5   Download

Bài giảng Nhập môn trí tuệ nhân tạo: Chương 6 do TS. Ngô Hữu Phúc biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Bài toán thoả ràng buộc (CSP), tìm kiếm backtracking cho CSP, tìm kiếm địa phương cho CSP,...

37p thiennga_12 06-03-2018 105 11   Download

Bài toán căn cứ vào các ràng buộc cụ thể nhằm thỏa mãn mục tiêu về kinh tế - kỹ thuật để lựa chọn máy, thiết bị sao cho tổng chi phí ca máy là nhỏ nhất nhưng vẫn đáp ứng đầy đủ khối lượng công việc theo kế hoạch, tính năng kỹ thuật của máy phù hợp với đặc điểm của đối tượng khai thác, không vượt quá vốn đầu tư cho trước và thời gian thi công công trình là ngắn nhất. Mời các bạn cùng tham khảo.

11p nguyenthilamha 09-04-2017 74 5   Download

Quay lui (backtracking) là một chiến lược tìm kiếm lời giải cho các bài toán thỏa mãn ràng buộc. Trong chương này chúng ta sẽ cùng tìm hiểu một số kiến thức liên quan tới giải thuật quay lui và giải thuật nhánh và cận. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

37p youcanletgo_01 04-01-2016 110 17   Download

Bài giảng 'Trí tuệ nhân tạo: Giải quyết vấn đề" cung cấp cho sinh viên các kiến thức: Ràng buộc, bài toán thảo mãn ràng buộc, đồ thị với ràng buộc, các bài toán thỏa mãn ràng buộc, tìm kiếm bằng kiểm thử, tìm kiếm quay lui, biến bị ràng buộc nhiều nhất,... Mời các bạn cùng tham khảo nội dung chi tiết.

43p nhasinhaoanh_09 13-10-2015 100 9   Download

Mục đích của Bài giảng Lập trình trực quan - Bài 6: Tính toán thống kê là giúp người dùng khi muốn thống kê trên RecordSet : Tổng, Max, Min,...; Thống kê trên một số bản ghi thoả mãn điều kiện. Tài liệu này giúp ích cho quá trình học tập và giảng dạy, mời tham khảo.

10p nhihoangpham 06-11-2014 173 10   Download

Phương pháp nhân tử Lagrange (sẽ được học trong chương trình toán cao cấp của bậc đại học) khá hiệu quả trong những bài toán cực trị có điều kiện ràng buộc ngoài ra còn có thể dùng để tìm điều kiện xảy ra dẫu bằng của bất đẳng thức. Định nghĩa: Cực trị (cực đại hoặc cực tiểu) có điều kiện của hàm hai biến z=f(x:y) là cực trị của hàm này với điều kiện là các biến x, y phải thoả ràng buộc bởi phương trình (x;y)=0...

11p sarahhottest 08-04-2013 1060 77   Download