Kiểm chứng ràng buộc

Phần 1 của cuốn sách "Các phương pháp thiết kế tối ưu (Optimal design methods)" gồm 5 chương đầu, trình bày về: Chương 1 - Giới thiệu chung về thiết kế tối ưu; Chương 2 - Các phương pháp tối ưu hóa không ràng buộc; Chương 3 - Các phương pháp tìm kiếm để giải các bài toán cực tiểu hóa không ràng buộc; Chương 4 - Các phương pháp gián tiếp để giải các bài toán có ràng buộc; Chương 5 - Qui hoạch tuyến tính;...

114p khuynhlinhnguyet1009 05-04-2024 17 4   Download

Luận án “Một số phương pháp kiểm chứng các hệ thống hướng đối tượng” bao gồm sáu chương. Trong đó, Chương 1 trình bày bài toán mà luận án sẽ nghiên cứu, Chương 2 trình bày một cách tóm tắt các hướng nghiên cứu chính của bài toán kiểm chứng tính nhất quán trong tái cấu trúc. Chương 3 đề xuất phương pháp kiểm chứng các ràng buộc về bất biến trong tái cấu trúc biểu đồ lớp;...

28p viyeri2711 14-09-2021 11 3   Download

Nghiên cứu này tiến thêm một bước nữa trong việc kiểm định xem liệu rằng có độ lệch trung bình của tỷ suất sinh lợi các cổ phiếu trong một thị trường có chịu tác động của các thị trường khác không. Qua đó hàm ý đến tác động của đa dạng hóa danh mục đầu tư cũng như tính ổn định tài chính của khu vực Châu Á nói chung, và Đông Nam Á nói riêng.

61p thiennhaikhach06 25-07-2021 31 2   Download

Bài viết này đề xuất một tiếp cận mới trong khai thác mẫu tuần tự có trọng số bằng việc kết hợp giá trị trọng số thực của các item trong cơ sở dữ liệu chuỗi cùng với độ hỗ trợ của chúng để tìm ra tập mẫu phổ biến có giá trị hơn. Hơn nữa, thuật toán đề xuất sử dụng phương pháp tiếp cận dữ liệu theo chiều dọc nên thuật toán chỉ cần duyệt cơ sỡ dữ liệu một lần, do đó tiết kiệm được thời gian thực thi. Mời các bạn cùng tham khảo!

9p tunelove 12-06-2021 28 3   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

Mục đích của luận án là phát triển một phương pháp hình thức để đặc tả và kiểm chứng các giao diện của các thành phần phần mềm có tính tương tranh và ràng buộc thời gian. Sau đó luận án áp dụng phương pháp được đề xuất vào việc đặc tả, phân tích và kiểm chứng các mô hình khác nhau của các hệ thống phần mềm dựa trên thành phần. Mời các bạn cùng tham khảo nội dung chi tiết.

135p tamynhan0 04-07-2020 47 5   Download

Trong bài báo này, chúng tôi sử dụng mô hình tập hợp cổ điển ba chiều để nghiên cứu vai trò của các cơ chế ion hóa trong sự tái va chạm nhiều lần của quá trình ion hóa kép không liên tiếp trong trường mạnh của nguyên tử argon. Trong nghiên cứu này, độ dài xung laser được thay đổi tương ứng với N = 4, 6, 8 chu kì quang học khi laser có bước sóng và cường độ không đổi. Các kết quả cho thấy rằng trong trường hợp laser có độ dài xung gần một chu kì, sự tái va chạm nhiều lần gần như bị loại bỏ hoàn toàn.

10p caygaocaolon6 22-07-2020 50 3   Download

Luận án nghiên cứu xây dựng bộ quan sát trạng thái và bộ ước lượng, bù thành phần bất định mới. Áp dụng nguyên lý điều khiển dự báo MPC trên cơ sở tuyến tính hóa từng đoạn mô hình phi tuyến để xây dựng bộ điều khiển tàu có mô hình toán dạng thiếu cơ cấu chấp hành bám theo quỹ đạo đặt có ràng buộc tín hiệu và mô hình tàu có chứa thành phần bất định. Mô phỏng và thực nghiệm theo phương pháp HIL (Hardware In the Loop) để kiểm chứng bộ điều khiển.

166p kethamoi2 15-12-2019 59 10   Download

hIGF-1 (human Insulin-like Growth Factor 1) là nhân tố tăng trưởng do gan tiết ra dưới sự kích thích của hormone tăng trưởng GH. hIGF-1 được chỉ định để điều trị bệnh lùn ở trẻ do thiếu hụt hIGF-1 và được sử dụng để kích thích sự phát triển khối lượng cơ ở các vận động viên thể dục thể thao. Nhiều nghiên cứu đã chỉ ra rằng, hIGF-1 có khả năng kiểm soát lượng glucose trong máu ở bệnh nhân đái tháo đường type 1 và type 2, có tác động tích cực đến một số bệnh thần kinh như bệnh alzheimer, một số bệnh tim mạch và nhiều nghiên cứu ứng dụng chức năng của hIGF-1 vẫn đang được tiến hành.

6p trinhthamhodang 24-10-2019 79 1   Download

Bài viết đề xuất một thuật toán mới sử dụng MPC và đã mô phỏng kiểm chứng hiệu quả cho một hệ thống cầu trục không gian hai chiều (2-D). Để thực hiện điều này tác giả đã sử dụng mô hình gián đoạn của cầu trục kết hợp thuật toán tối ưu hóa với ràng buộc là giới hạn góc lắc tải trọng. Kết quả mô phỏng trên Matlab đã cho thấy hiệu quả của giải pháp điều khiển hoàn toàn có thể ứng dụng vào thực tiễn.

7p visumika2711 17-07-2019 22 1   Download

Bài viết đề xuất một thuật toán mới sử dụng MPC và đã mô phỏng kiểm chứng hiệu quả cho một hệ thống cầu trục không gian hai chiều (2-D). Để thực hiện điều này tác giả đã sử dụng mô hình gián đoạn của cầu trục kết hợp thuật toán tối ưu hóa với ràng buộc là giới hạn góc lắc tải trọng.

7p vicolor2711 16-07-2019 38 3   Download

Bài 4 - Thiết kế và thực hiện một thử nghiệm ngẫu nhiên có kiểm soát (RCT). Nội dung trình bày trong chương này: Các ràng buộc thực tế, phương pháp ngẫu nhiên hóa, các dạng thực hiện đối với thử nghiệm tham gia đối chứng đơn giản.

43p shiwo_ding4 02-05-2019 44 4   Download

Assertion là ràng buộc bổ sung và được kiểm tra bởi bộ phân tích xem chúng có đúng hay không. Bài giảng Đặc tả hình thức: Chương 5 do Nguyễn Thị Minh Tuyền sau đây sẽ giúp các bạn nắm chi tiết hơn về Assertion. Mời các bạn cùng tham khảo!

14p sangbanmai_0906 17-01-2018 57 6   Download

Nội dung của khóa luận đưa ra một cái nhìn tổng quát về công nghệ Web Service, phân tích và tìm hiểu các thành phần chuẩn được sử dụng trong công nghệ Web Service, đi vào nghiên cứu kiến trúc về Web Service.

85p vhuyenthao 03-01-2018 95 11   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ằng cách mô phỏng, các tác giả kiểm chứng kết quả thực nghiệm về việc chụp ảnh động của lớp điện tử ngoài cùng (HOMO) và lớp liền kề bên trong (HOMO-1) của phân tử N2 từ nguồn phát xạ sóng hài bậc cao do tương tác với chùm lade mạnh xung cực ngắn. Kết quả mô phỏng phù hợp với kết quả thực nghiệm. Các tác giả cũng chỉ ra rằng để có được hình ảnh HOMO như kết quả thực nghiệm, nguồn lade cần có bước sóng ít nhất là 1200nm thay vì 800nm và với bước sóng 2400nm hình ảnh sẽ trở nên hoàn hảo.

8p uocvongxua10 18-09-2015 51 3   Download

Bài báo đề xuất một số ứng dụng của thuật toán di truyền để xác định cấu trúc lưới điện phân phối tối ưu cho mục đích giảm tổn thất công suất với các ràng buộc như: Tải không bị cô lập, giới hạn công suất trên đường dây và trạm biến áp và sụt áp nhỏ nhất. Tính chính xác của giải thuật được kiểm chứng thông qua lưới điện và kết quả bài toán được so sánh với các kết quả khác.

10p uocvongxua09 04-09-2015 125 16   Download

Bài 9 Tiết 1.... Văn bản:.. XA NGẮM THÁC NÚI LƯ (Vọng lư sơn bộc bố).. ĐÊM ĐỖ THUYỀN Ở PHONG KIỀU (Phong kiều dạ bạc)....A-Mục tiêu bài học:..Giúp hs thấy được..- Vẻ đẹp tráng lệ, huyền ảo của thác núi Lư trong con mắt tác giả...- Tình yêu thiên nhiên say đắm, tâm hồn hào phóng, trí t ưởng tượng mãnh li ệt.của nhà thơ Lí Bạch...- Bước đầu có ý thức và biết sử dụng phần dịch nghĩa (kể cả phần dịch.nghĩa từng chữ) trong việc phân tích tác phẩm và ph ần nào trong vi ệc tích lu ỹ.vốn từ Hán Việt...B- Chuẩn bị:..- Đồ dùng: Bảng phụ chép bản phiên âm...

9p nguyenhoanglanktth 08-08-2014 595 26   Download

Bài 9 Tiết 1.... Văn bản:.. XA NGẮM THÁC NÚI LƯ (Vọng lư sơn bộc bố).. ĐÊM ĐỖ THUYỀN Ở PHONG KIỀU (Phong kiều dạ bạc)....A-Mục tiêu bài học:..Giúp hs thấy được..- Vẻ đẹp tráng lệ, huyền ảo của thác núi Lư trong con mắt tác giả...- Tình yêu thiên nhiên say đắm, tâm hồn hào phóng, trí t ưởng tượng mãnh li ệt.của nhà thơ Lí Bạch...- Bước đầu có ý thức và biết sử dụng phần dịch nghĩa (kể cả phần dịch.nghĩa từng chữ) trong việc phân tích tác phẩm và ph ần nào trong vi ệc tích lu ỹ.vốn từ Hán Việt...B- Chuẩn bị:..

9p nguyenhoanglanktth 08-08-2014 307 11   Download

Bài 9 Tiết 1.... Văn bản:.. XA NGẮM THÁC NÚI LƯ (Vọng lư sơn bộc bố).. ĐÊM ĐỖ THUYỀN Ở PHONG KIỀU (Phong kiều dạ bạc)....A-Mục tiêu bài học:..Giúp hs thấy được..- Vẻ đẹp tráng lệ, huyền ảo của thác núi Lư trong con mắt tác giả...- Tình yêu thiên nhiên say đắm, tâm hồn hào phóng, trí t ưởng tượng mãnh li ệt.của nhà thơ Lí Bạch...- Bước đầu có ý thức và biết sử dụng phần dịch nghĩa (kể cả phần dịch.nghĩa từng chữ) trong việc phân tích tác phẩm và ph ần nào trong vi ệc tích lu ỹ.vốn từ Hán Việt...B- Chuẩn bị:..

9p nguyenhoanglanktth 08-08-2014 292 7   Download