Bài toán thỏa mãn ràng buộc

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 3 2   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 21 3   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 22 1   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 36 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 15 1   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 42 1   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 52 4   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 47 3   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 55 2   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 25 0   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 74 5   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 73 4   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 106 16   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 98 8   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 171 10   Download

Việc đi tìm phương án thiết kế tối ưu theo mục tiêu đề ra và thỏa mãn các điều kiện ràng buộc liên quan đến độ bền vững của công trình là cần thiết trong lĩnh vực xây dựng. Bài toán thiết kế tối ưu kết cấu thép dạng dàn với hàm mục tiêu là trọng lượng bản thân tòan bộ các thanh dàn. Các biến thiết kế là các diện tích tiết diện các thanh dàn. Các điều kiện ràng buộc cần thỏa mãn bao gồm: ràng buộc về điều kiện bền, ràng buộc về điều kiện ổn định Euler, ràng buộc về điều...

9p truongthanhnghiepgtt 23-08-2012 338 99   Download

Chúng ta đã quen biết bài toán tìm cực trị của hai biến có một điều kiện ràng buộc, chẳng hạn như bài toán sau: VD1: Tìm GTLN của tích xy với x, y là các số dương thoả mãn điều kiện x + y = s, trong đó s là số dương cho trước

7p paradise8 22-12-2011 473 48   Download

Phương pháp 3 : đặt ẩn phụ: + /. Các ví dụ : Ví dụ 1: Giải phương trình: 2x2 + 3x + 2 x 2  3 x  9 =33 ĐKXĐ :  x  R Phương trình đã cho tương đương với: 2x2 + 3x +9 + 2 x 2  3 x  9 - 42= 0 (1) Đặt 2x2 + 3x +9 = y 0 (Chú ý rằng học sinh thường mắc sai lầm không đặt điều kiện bắt buộc cho ẩn phụ y) Ta được phương trình mới : y2 + y – 42 = 0  y1 = 6 , y2 = -7 .Có nghiệm y =6 thoả mãn y 0

5p paradise8 22-12-2011 130 7   Download

Dữ liệu đầu vào để giải quyết một bài toán bao gồm việc biểu diễn bài toán bằng các biểu thức toán học, xác định các ràng buộc, các điều kiện ban đầu, giới hạn nghiệm…Để giải quyết được bài toán nhanh nhất, đảm bảo được độ chính xác thì tất cả các yếu tố đầu vào phải được cung cấp đầy đủ trước khi tiến hành xây dựng các thuật toán để giải bài toán. Đối với bài toán thiết kế kết cấu tàu vỏ thép thỏa mãn yêu cầu của Quy phạm ta cần các yếu tố đầu...

9p conloc01 17-12-2010 169 33   Download

Có nhiều phương pháp để tìm giá trị lớn nhất (GTLN) , giá trị nhỏ nhất (GTNN) của một biểu thức có từ một biến số trở lên . Bài viết này chúng tôi xin trao đổi về phương pháp tìm cực trị của biểu thức hai biến số nhờ miền giá trị , trong đó hai biến bị ràng buộc bởi một điều kiện cho trước . Bài toán : Cho các số thực x , y thoả mãn điều kiện : G(x ; y) = 0 ( hoặc G(x;y) ≥ 0 hoặc G(x;y) ≤ 0 ) ....

6p lequocdo1 14-12-2010 4767 418   Download